Jacobian Conjecture and semi-algebraic maps
type: Item
instance of: scholarly article
title: Jacobian Conjecture and semi-algebraic maps
zbMATH Open document ID: 1305.14030
DOI: 10.1017/S0305004114000279
published in: Mathematical Proceedings of the Cambridge Philosophical Society
publication date: 2014-11-04T00:00:00Z
Mathematics Subject Classification ID: 14R15
Mathematics Subject Classification ID: 57R30
zbMATH DE Number: 6365829
zbMATH Keywords: Jacobian conjecture
zbMATH Keywords: semi-algebraic maps
Wikidata QID: Q123109297
MaRDI profile type: Publication
cites work: Testing sets for properness of polynomial mappings
cites work: Foliations and polynomial diffeomorphisms of \(\mathbb R^3\)
cites work: Global Injectivity ofC1Maps of the Real Plane, Inseparable Leaves and the Palais–Smale Condition
cites work: Global asymptotic stability for differentiable vector fields of \(\mathbb R^2\)
cites work: On the Injectivity of C1 Maps of the Real Plane
cites work: On local diffeomorphisms of \(\mathbb{R}^n\) that are injective
cites work: An effective approach to Keller's Jacobian conjecture
cites work: The Jacobian conjecture: Reduction of degree and formal expansion of the inverse
cites work: Foliations and global inversion
cites work: A counterexample to the strong real Jacobian conjecture
cites work: Foliations and global injectivity in \(\mathbb R^{n }\)
cites work: Surjectivity of certain injective semialgebraic transformations of \({\mathbb{R}}\) n
cites work: Geometry of real polynomial mappings
author: Alexandre Fernandes
author: Carlos Maquera
author: Jean Venato-Santos
review text: The famous Jacobian conjecture says that every polynomial local diffeomorphism \(f: \mathbb C^n \to \mathbb C^n\) is bijective (see popular surveys of \textit{A. van den Essen} [Polynomial automorphisms and the Jacobian conjecture. Basel: Birkhäuser (2000; Zbl 0962.14037)] and \textit{H. Bass} et al. [Bull. Am. Math. Soc., New Ser. 7, 287--330 (1982; Zbl 0539.13012)]). For such a map \(f\) there is a complex algebraic hypersurface \(D \subset \mathbb C^n\) away from which \(f\) is a covering map of finite degree. The Jacobian conjecture is known to hold if \(D\) is well-behaved (see work of the [\textit{S. Nollet} and \textit{F. Xavier}, Arch. Math. 89, No. 5, 385--389 (2007; Zbl 1135.14049) and J. Reine Angew. Math. 627, 83--95 (2009; Zbl 1161.14042)]). Since covering maps are proper, this motivates the stronger real Jacobian conjecture of Jelonek, which says that if \(F: \mathbb R^n \to \mathbb R^n\) is a polynomial local diffeomorphism and \(\text{codim}(S_F) \geq 2\), then \(F\) is bijective, where \(S_F \subset \mathbb R^n\) being the smallest subset for which the restriction \(F:\mathbb R^n - F^{-1}(S_F) \to \mathbb R^n - S_F\) is proper [\textit{Z. Jelonek}, Math. Z. 239, No. 2, 321--333 (2002; Zbl 0997.14017)].NEWLINENEWLINEIn the paper under review, the authors prove Jelonek's conjecture for semi-algebraic local diffeomorphisms \(F: \mathbb R^n \to \mathbb R^n\) satisfying an addition hypothesis. To state it, let \({\mathcal F}_i\) be the foliation whose leaves are the pre-images of points under the composition \(F \circ p_i\) with \(p_i\) the \(i\)th projection map. For any \(\{i_1, i_2, \dots, i_{n-2}\} \subset \{1,2, \dots, n\}\) the intersection of leaves gives rise to the foliation \({\mathcal F}_{i_1} \cap {\mathcal F}_{i_2} \cap \dots \cap {\mathcal F}_{i_{n-2}}\) of codimension \(n-2\). If the leaves of these foliations are simply connected for all such subsets, then the conjecture holds. This extends results of \textit{C. Gutierrez} and \textit{C. …
reviewed by: Scott Nollet
description: scientific article; zbMATH DE number 6365829