Surjective Nash maps between semialgebraic sets

DOI10.1016/J.AIM.2023.109288MaRDI QIDQ6189369zbMATH OpenFDO

Authors Antonio Carbone, José F. Fernando

Publication date 8 February 2024

Published in Advances in Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://arxiv.org/abs/2306.00401

zbMATH Keywords

analytic path-connected componentsclosed ballsNash maps and imagespolynomial paths inside semialgebraic setssemialgebraic sets connected by analytic paths

Mathematics Subject Classification ID

Global theory and resolution of singularities (algebro-geometric aspects) (14E15) Semialgebraic sets and related spaces (14P10) Nash functions and manifolds (14P20) Smooth approximations in differential topology (57R12) Real-analytic and Nash manifolds (58A07)

Abstract: In this work we study the existence of surjective Nash maps between two given semialgebraic sets $mathcalS$ and $mathcalT$. Some key ingredients are: the irreducible components ${mathcalS}_i^{\ast }$ of $mathcalS$ (and their intersections), the analytic-path connected components ${mathcalT}_j$ of $mathcalT$ (and their intersections) and the relations between dimensions of the semialgebraic sets ${mathcalS}_i^{\ast }$ and ${mathcalT}_j$. A first step to approach the previous problem is the former characterization done by the second author of the images of affine spaces under Nash maps. The core result of this article to obtain a criterion to decide about the existence of surjective Nash maps between two semialgebraic sets is: {em a full characterization of the semialgebraic subsets $mathcalSsubset{mathbbR}^n$ that are the image of the closed unit ball $overline{mathcalB}_m$ of ${mathbbR}^m$ centered at the origin under a Nash map $f:{mathbbR}^{m}o{mathbbR}^n$}. The necessary and sufficient conditions that must satisfy such a semialgebraic set $mathcalS$ are: {em it is compact, connected by analytic paths and has dimension $dleqm$}. Two remarkable consequences of the latter result are the following: (1) {em pure dimensional compact irreducible arc-symmetric semialgebraic sets of dimension $d$ are Nash images of $overline{mathcalB}_d$}, and (2) {em compact semialgebraic sets of dimension $d$ are projections of non-singular algebraic sets of dimension $d$ whose connected components are Nash diffeomorphic to spheres (maybe of different dimensions)}.

Recommendations

• On Nash images of Euclidean spaces
• Polynomial, regular and Nash images of Euclidean spaces
• Finiteness problems on Nash manifolds and Nash sets
• scientific article; zbMATH DE number 177485
• Nash triviality in families of Nash manifolds

Cites work

• A note on boundaries of open polynomial images of R^2
• A note on projections of real algebraic varieties
• A short proof for the open quadrant problem
• Complements of unbounded convex polyhedra as polynomial images of \({{\mathbb{R}}}^n\)
• Differential Topology
• Ensembles semi-algébriques symétriques par arcs. (Semi-algebraic sets symmetric by arcs)
• Finiteness problems on Nash manifolds and Nash sets
• Geometry. I, II. Transl. from the French by M. Cole and S. Levy
• How to flatten a soccer ball
• scientific article; zbMATH DE number 3655028 (Why is no real title available?)
• scientific article; zbMATH DE number 52351 (Why is no real title available?)
• scientific article; zbMATH DE number 1201576 (Why is no real title available?)
• scientific article; zbMATH DE number 3353456 (Why is no real title available?)
• scientific article; zbMATH DE number 3068536 (Why is no real title available?)
• Nash manifolds
• On complements of convex polyhedra as polynomial and regular images of \(\mathbb{R}^{n}\)
• On convex polygons and their complements as images of regular and polynomial maps of \(\mathbb R^2\)
• On convex polyhedra as regular images of \(\mathbb R^{n}\)
• On Nash images of Euclidean spaces
• On polynomial images of a closed ball
• On projections of real algebraic varieties
• On regulous and regular images of Euclidean spaces
• On some properties of the boundaries of regular polynomial images in \({\mathbb R}^n\)
• On the complements of 3-dimensional convex polyhedra as polynomial images of \(\mathbb{R}^{3}\)
• On the elimination of algebraic inequalities
• ON THE IRREDUCIBLE COMPONENTS OF A SEMIALGEBRAIC SET
• On the one dimensional polynomial and regular images of \(\mathbb R^n\)
• On the set of points at infinity of a polynomial image of \(\mathbb R^n\)
• Polynomial and regular images of \(\mathbb R^n\)
• Polynomial images of \(\mathbb{R}^n\)
• Polynomial, regular and Nash images of Euclidean spaces
• Resolution of singularities of an algebraic variety over a field of characteristic zero. II
• The open quadrant problem: A topological proof
• Unbounded convex polyhedra as polynomial images of Euclidean spaces

Cited in

(1)

• On a Nash curve selection lemma through finitely many points

This page was built for publication: Surjective Nash maps between semialgebraic sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6189369)