Showing 1–14 of 14 results for author: Dias, L R G

Tangent cones at infinity

Authors: Luis Renato Gonçalves Dias, Nilva Rodrigues Ribeiro

Abstract: Let $X\subset\mathbb{C}^m$ be an unbounded pure $k$-dimensional algebraic set. We define the tangent cones $C_{4, \infty}(X)$ and $C_{5,\infty}(X)$ of $X$ at infinity. We establish some of their properties and relations. We prove that $X$ must be an affine linear subspace of $\mathbb{C}^m$ provided that $C_{5, \infty}(X)$ has pure dimension $k$. Also, we study the relation between the tangent cone… ▽ More Let $X\subset\mathbb{C}^m$ be an unbounded pure $k$-dimensional algebraic set. We define the tangent cones $C_{4, \infty}(X)$ and $C_{5,\infty}(X)$ of $X$ at infinity. We establish some of their properties and relations. We prove that $X$ must be an affine linear subspace of $\mathbb{C}^m$ provided that $C_{5, \infty}(X)$ has pure dimension $k$. Also, we study the relation between the tangent cones at infinity and representations of $X$ outside a compact set as a branched covering. Our results can be seen as versions at infinity of results of Whitney and Stutz. △ Less

Submitted 29 April, 2024; originally announced April 2024.

Symmetry defect of $n$-dimensional complete intersections in $\mathbb{C}^{2n-1}$

Authors: L. R. G. Dias, Z. Jelonek

Abstract: Let $X, Y \subset \mathbb{C}^{2n-1}$ be $n$-dimensional strong complete intersections in a general position. In this note, we consider the set of midpoints of chords connecting a point $x \in X$ to a point $y \in Y$. This set is defined as the image of the map $Φ(x,y)=\frac{x+y}{2}.$ Under geometric conditions on $X$ and $Y$, we prove that the symmetry defect of $X$ and $Y$, which is the bifurcati… ▽ More Let $X, Y \subset \mathbb{C}^{2n-1}$ be $n$-dimensional strong complete intersections in a general position. In this note, we consider the set of midpoints of chords connecting a point $x \in X$ to a point $y \in Y$. This set is defined as the image of the map $Φ(x,y)=\frac{x+y}{2}.$ Under geometric conditions on $X$ and $Y$, we prove that the symmetry defect of $X$ and $Y$, which is the bifurcation set $B(X,Y)$ of the mapping $Φ$, is an algebraic variety, characterized by a topological invariant. We introduce a hypersurface that approximates the set $B(X,Y)$ and we present an estimate for its degree. Moreover, for any two $n$-dimensional strong complete intersections $X,Y\subset \mathbb{C}^{2n-1}$ (including the case $X=Y$) we introduce a generic symmetry defect set $\tilde{B}(X,Y)$ of $X$ and $Y$, which is defined up to homeomorphism. △ Less

Submitted 29 April, 2024; originally announced April 2024.

A Thom Isotopy Theorem for nonproper semialgebraic maps

Authors: Luis Renato Gonçalves Dias, Giovanny Snaider Barrera Ramos

Abstract: We prove a version of the Thom Isotopy Theorem for nonproper semialgebraic maps $f\colon X\rightarrow \mathbb{R}^m$, where $X \subset\mathbb{R}^n$ is a semialgebraic set and $f$ is the restriction to $X$ of a smooth semialgebraic map $F:\mathbb{R}^n\to \mathbb{R}^m$. We prove a version of the Thom Isotopy Theorem for nonproper semialgebraic maps $f\colon X\rightarrow \mathbb{R}^m$, where $X \subset\mathbb{R}^n$ is a semialgebraic set and $f$ is the restriction to $X$ of a smooth semialgebraic map $F:\mathbb{R}^n\to \mathbb{R}^m$. △ Less

Submitted 29 April, 2024; originally announced April 2024.

Generic symmetry defect set of an algebraic curve

Authors: L. R. G. Dias, M. Farnik, Z. Jelonek

Abstract: Let $X \subset \mathbb{C}^{2n}$ be an $n$-dimensional algebraic variety. We define the algebraic version of the generic symmetry defect set (Wigner caustic) of $X$. Moreover, we compute its singularities for $X_d$ being a generic curve of degree $d$ in $\mathbb{C}^2$. Let $X \subset \mathbb{C}^{2n}$ be an $n$-dimensional algebraic variety. We define the algebraic version of the generic symmetry defect set (Wigner caustic) of $X$. Moreover, we compute its singularities for $X_d$ being a generic curve of degree $d$ in $\mathbb{C}^2$. △ Less

Submitted 6 March, 2022; originally announced March 2022.

MSC Class: 14 D 06; 14 Q 20

Surjectivity of linear operators and semialgebraic global diffeomorphisms

Authors: Francisco Braun, Luis Renato Gonçalves Dias, Jean Venato Santos

Abstract: We prove that a $C^{\infty}$ semialgebraic local diffeomorphism of $\mathbb{R}^n$ with non-properness set having codimension greater than or equal to $2$ is a global diffeomorphism if $n-1$ suitable linear partial differential operators are surjective. Then we state a new analytic conjecture for a polynomial local diffeomorphism of $\mathbb{R}^n$. Our conjecture implies a very known conjecture of… ▽ More We prove that a $C^{\infty}$ semialgebraic local diffeomorphism of $\mathbb{R}^n$ with non-properness set having codimension greater than or equal to $2$ is a global diffeomorphism if $n-1$ suitable linear partial differential operators are surjective. Then we state a new analytic conjecture for a polynomial local diffeomorphism of $\mathbb{R}^n$. Our conjecture implies a very known conjecture of Z. Jelonek. We further relate the surjectivity of these operators with the fibration concept and state a general global injectivity theorem for semialgebraic mappings which turns out to unify and generalize previous results of the literature. △ Less

Submitted 3 October, 2021; originally announced October 2021.

Journal ref: Journal d'Analyse Mathématique, 2023

Lipschitz normally embedded set and tangent cones at infinity

Authors: L. R. G. Dias, N. R. Ribeiro

Abstract: We prove that any analytic set in $\C^n$ with a unique tangent cone at infinity is an algebraic set. We prove that the degree of a complex algebraic set in $\C^n$, which is Lipschitz normally embedded at infinity, is equal to the degree of its tangent cone at infinity. We prove that any analytic set in $\C^n$ with a unique tangent cone at infinity is an algebraic set. We prove that the degree of a complex algebraic set in $\C^n$, which is Lipschitz normally embedded at infinity, is equal to the degree of its tangent cone at infinity. △ Less

Submitted 21 March, 2021; originally announced March 2021.

Journal ref: 2021, The Journal of Geometric Analysis

On global invertibility of semi-algebraic local diffeomorphisms

Authors: Francisco Braun, Luis Renato Gonçalves Dias, Jean Venato-Santos

Abstract: In this partly expository paper we discuss conditions for the global injectivity of $C^2$ semi-algebraic local diffeomorphisms $f:\mathbb{R}^n \to \mathbb{R}^n$. In case $n > 2$, we consider the foliations of $\mathbb{R}^n$ defined by the level sets of each $n-2$ projections of $f$, i.e., the maps $\mathbb{R}^n \to \mathbb{R}^{n-2}$ obtained by deleting two coordinate functions of $f$. It is known… ▽ More In this partly expository paper we discuss conditions for the global injectivity of $C^2$ semi-algebraic local diffeomorphisms $f:\mathbb{R}^n \to \mathbb{R}^n$. In case $n > 2$, we consider the foliations of $\mathbb{R}^n$ defined by the level sets of each $n-2$ projections of $f$, i.e., the maps $\mathbb{R}^n \to \mathbb{R}^{n-2}$ obtained by deleting two coordinate functions of $f$. It is known that if the set of non-proper points of $f$ has codimension greater than or equal to $2$ and the leaves of the above-defined foliations are simply connected, then $f$ is bijective. In this work we relate this simply connectedness with the notion of locally trivial fibrations. Then some computable regularity conditions at infinity ensuring such simply connectedness are presented. Further, we provide an equivalent statement of the Jacobian conjecture by using fibrations. By means of examples we prove that the results presented here are different from a previous result based on a spectral hypothesis. Our considerations are also applied to discuss the behaviour of some conditions when $f$ is composed with linear isomorphisms: this is relevant due to some misunderstandings appearing in the literature. △ Less

Submitted 12 June, 2020; originally announced June 2020.

Journal ref: 2021, Topological Methods in Nonlinear Analysis

Atypical points at infinity and algorithmic detection of the bifurcation locus of real polynomials

Authors: Luis Renato G. Dias, Cezar Joiţa, Mihai Tibăr

Abstract: We show that the variation of the topology at infinity of a two-variable polynomial function is localisable at a finite number of "atypical points" at infinity. We construct an effective algorithm with low complexity in order to detect sharply the bifurcation values of the polynomial function. We show that the variation of the topology at infinity of a two-variable polynomial function is localisable at a finite number of "atypical points" at infinity. We construct an effective algorithm with low complexity in order to detect sharply the bifurcation values of the polynomial function. △ Less

Submitted 26 November, 2020; v1 submitted 17 April, 2020; originally announced April 2020.

Comments: minor edits in this last version before print; to appear in Math. Z

MSC Class: 14D06; 14Q20; 58K05; 57R45; 14P10; 32S20; 58K15

Journal ref: Math. Z. 298 (2021), 1545-1558

On Topological Approaches to the Jacobian Conjecture in $\mathbb{C}^n$

Authors: Francisco Braun, Luis Renato G. Dias, Jean Venato-Santos

Abstract: We obtain a structure theorem for the nonproperness set $S_f$ of a nonsingular polynomial mapping $f:\mathbb{C}^n \to \mathbb{C}^n$. Jelonek's results on $S_f$ and our result show that if $f$ is a counterexample to the Jacobian conjecture, then $S_f$ is a hypersurface such that $S_f\cap Z \neq \emptyset$, for any $Z\subset \mathbb{C}^n$ biregular to $\mathbb{C}^{n-1}$ and $Z = h^{-1}(0)$ for a pol… ▽ More We obtain a structure theorem for the nonproperness set $S_f$ of a nonsingular polynomial mapping $f:\mathbb{C}^n \to \mathbb{C}^n$. Jelonek's results on $S_f$ and our result show that if $f$ is a counterexample to the Jacobian conjecture, then $S_f$ is a hypersurface such that $S_f\cap Z \neq \emptyset$, for any $Z\subset \mathbb{C}^n$ biregular to $\mathbb{C}^{n-1}$ and $Z = h^{-1}(0)$ for a polynomial submersion $h: \mathbb{C}^n \to \mathbb{C}$. Also, we present topological approaches to the Jacobian conjecture in $\mathbb{C}^n$. △ Less

Submitted 10 July, 2018; originally announced July 2018.

Journal ref: Proceedings of the Edinburgh Mathematical Society, 2020

Towards effective detection of the bifurcation locus of real polynomial maps

Authors: Luis Renato G. Dias, Susumu Tanabé, Mihai Tibar

Abstract: We answer to a problem raised by recent work of Jelonek and Kurdyka: how can one detect by rational arcs the bifurcation locus of a polynomial map $\bR^n\to\bR^p$ in case $p>1$. We describe an effective estimation of the "nontrivial" part of the bifurcation locus. We answer to a problem raised by recent work of Jelonek and Kurdyka: how can one detect by rational arcs the bifurcation locus of a polynomial map $\bR^n\to\bR^p$ in case $p>1$. We describe an effective estimation of the "nontrivial" part of the bifurcation locus. △ Less

Submitted 31 December, 2015; v1 submitted 21 March, 2015; originally announced March 2015.

Comments: 12p, more details to proofs and new Lemma 2.3, Remark 2.10

Journal ref: Foundations of Computational Mathematics 17, Issue 3 (2017), 837-849

Detecting bifurcation values at infinity of real polynomials

Authors: Luis Renato G. Dias, Mihai Tibar

Abstract: We present a new approach for estimating the set of bifurcation values at infinity. This yields a significant shrinking of the number of coefficients in the recent algorithm introduced by Jelonek and Kurdyka for reaching critical values at infinity by rational arcs. We present a new approach for estimating the set of bifurcation values at infinity. This yields a significant shrinking of the number of coefficients in the recent algorithm introduced by Jelonek and Kurdyka for reaching critical values at infinity by rational arcs. △ Less

Submitted 26 March, 2014; originally announced March 2014.

MSC Class: 14D06; 58K05; 57R45; 14P10; 32S20; 58K15

Journal ref: Math. Z. 279 (2015), 311-319

Invertible polynomial mappings via Newton non-degeneracy

Authors: Ying Chen, L. R. G. Dias, Kiyoshi Takeuchi, Mihai Tibar

Abstract: We prove a sufficient condition for the Jacobian problem in the setting of real, complex and mixed polynomial mappings. This follows from the study of the bifurcation locus of a mapping subject to a new Newton non-degeneracy condition. We prove a sufficient condition for the Jacobian problem in the setting of real, complex and mixed polynomial mappings. This follows from the study of the bifurcation locus of a mapping subject to a new Newton non-degeneracy condition. △ Less

Submitted 8 July, 2013; v1 submitted 25 March, 2013; originally announced March 2013.

Comments: Final version with some more edits, to be published in Ann. Inst. Fourier (Grenoble). arXiv admin note: substantial text overlap with arXiv:1207.1612

Journal ref: Annales de l'Institut Fourier 64, no. 5 (2014), p. 1807-1822

On Newton non-degeneracy of polynomial mappings

Authors: Y. Chen, L. R. G. Dias, M. Tibar

Abstract: We introduce a new non-degeneracy condition at infinity for a real or a mixed polynomial mapping $F$ which allows us to approximate its bifurcation locus in terms of certain Newton polyhedra. We derive a sufficiency result for the Jacobian problem in the setting of mixed mappings. We introduce a new non-degeneracy condition at infinity for a real or a mixed polynomial mapping $F$ which allows us to approximate its bifurcation locus in terms of certain Newton polyhedra. We derive a sufficiency result for the Jacobian problem in the setting of mixed mappings. △ Less

Submitted 6 March, 2014; v1 submitted 6 July, 2012; originally announced July 2012.

Comments: This paper has been withdrawn by the authors. This paper is superseded by arXiv:1303.6879

MSC Class: 14D06; 58K05; 57R45; 14P10; 32S20; 58K15

Regularity at infinity of real mappings and a Morse-Sard theorem

Authors: L. R. G. Dias, M. A. S. Ruas, M. Tibar

Abstract: We prove a new Morse-Sard type theorem for the asymptotic critical values of semi-algebraic mappings and a new fibration theorem at infinity for $C^2$ mappings. We show the equivalence of three different types of regularity conditions which have been used in the literature in order to control the asymptotic behaviour of mappings. The central role of our picture is played by the $t$-regularity and… ▽ More We prove a new Morse-Sard type theorem for the asymptotic critical values of semi-algebraic mappings and a new fibration theorem at infinity for $C^2$ mappings. We show the equivalence of three different types of regularity conditions which have been used in the literature in order to control the asymptotic behaviour of mappings. The central role of our picture is played by the $t$-regularity and its bridge toward the $ρ$-regularity which implies topological triviality at infinity. △ Less

Submitted 29 March, 2011; originally announced March 2011.

MSC Class: 14D06; 51N10; 14P10; 32S20; 32S15; 58K15; 57BN80

Journal ref: J. Topology, 5 (2012), no. 2, 323--340