On Nash images of Euclidean spaces

DOI10.1016/J.AIM.2018.04.011zbMath1397.14074arXiv1503.05706OpenAlexW2963303158WikidataQ129637971 ScholiaQ129637971MaRDI QIDQ1647394

José F. Fernando

Publication date: 26 June 2018

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

Abstract: In this work we characterize the subsets of ${mathbb R}^n$ that are images of Nash maps $f:{mathbb R}^m o{mathbb R}^n$. We prove Shiota's conjecture and show that a subset ${mathcal S}subset{mathbb R}^n$ is the image of a Nash map $f:{mathbb R}^m o{mathbb R}^n$ if and only if ${mathcal S}$ is semialgebraic, pure dimensional of dimension $dleq m$ and there exists an analytic path $alpha:[0,1] o{mathcal S}$ whose image meets all the connected components of the set of regular points of ${mathcal S}$. Some remarkable consequences are the following: (1) pure dimensional irreducible semialgebraic sets of dimension $d$ with arc-symmetric closure are Nash images of ${mathbb R}^d$; (2) semialgebraic sets are projections of irreducible algebraic sets whose connected components are Nash diffeomorphic to Euclidean spaces; and (3) compact $d$-dimensional smooth manifolds with boundary are smooth images of ${mathbb R}^d$.

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

zbMATH Keywords

desingularizationarc-symmetric semialgebraic setdrilling blow-upNash imageNash path-connected semialgebraic setwell-welded semialgebraic set

Mathematics Subject Classification ID

Global theory and resolution of singularities (algebro-geometric aspects) (14E15) Semialgebraic sets and related spaces (14P10) Real-analytic and Nash manifolds (58A07) Nash functions and manifolds (14P20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A short proof for the open quadrant problem
• On the elimination of algebraic inequalities
• A note on boundaries of open polynomial images of \(\mathbb R^2\)
• On projections of real algebraic varieties
• Nash manifolds
• Ensembles semi-algébriques symétriques par arcs. (Semi-algebraic sets symmetric by arcs)
• A compactification of Hénon mappings in \({\mathbb{C}}^2\) as dynamical systems
• A note on projections of real algebraic varieties
• Polynomial images of \(\mathbb{R}^n\)
• On convex polygons and their complements as images of regular and polynomial maps of \(\mathbb R^2\)
• Approximation on Nash sets with monomial singularities
• Finiteness problems on Nash manifolds and Nash sets
• On the one dimensional polynomial and regular images of \(\mathbb R^n\)
• Polynomial and regular images of \(\mathbb R^n\)
• On the set of points at infinity of a polynomial image of \(\mathbb R^n\)
• Introduction to the theory of analytic spaces
• Resolution of singularities of an algebraic variety over a field of characteristic zero. I
• On the complements of 3-dimensional convex polyhedra as polynomial images of ℝ³
• On Complements of Convex Polyhedra as Polynomial and Regular Images of ℝn
• On convex polyhedra as regular images of ℝ ⁿ
• ON THE SUBSTITUTION THEOREM FOR RINGS OF SEMIALGEBRAIC FUNCTIONS
• Polynomial, regular and Nash images of Euclidean spaces
• Smooth points of a semialgebraic set
• ON THE IRREDUCIBLE COMPONENTS OF A SEMIALGEBRAIC SET

Related Items (8)

Positive semidefinite analytic functions on real analytic surfaces ⋮ Smooth Approximations in PL Geometry ⋮ On polynomial images of a closed ball ⋮ Surjective Nash maps between semialgebraic sets ⋮ HOMOLOGY CLASSES REPRESENTED BY SEMIALGEBRAIC ARC-SYMMETRIC SETS ⋮ Polynomial, regular and Nash images of Euclidean spaces ⋮ Differentiable approximation of continuous semialgebraic maps ⋮ Complements of unbounded convex polyhedra as polynomial images of \({{\mathbb{R}}}^n\)

This page was built for publication: On Nash images of Euclidean spaces