The topology of real algebraic sets with isolated singularities is determined by the field of rational numbers

arXiv2302.04142MaRDI QIDQ6425855FDOQ6425855

Authors: Riccardo Ghiloni, Enrico Savi 

Publication date: 8 February 2023

Abstract: We prove that every real algebraic set $Vsubsetmathbb{R}^n$ with isolated singularities is homeomorphic to a set $V^{\prime }subsetmathbb{R}^m$ that is $mathbbQ$-algebraic in the sense that $V^{\prime }$ is defined in $mathbb{R}^m$ by polynomial equations with rational coefficients. The homeomorphism $phi:Vo{V}^{\prime }$ we construct is semialgebraic, preserves nonsingular points and restricts to a Nash diffeomorphism between the nonsingular loci. In addition, we can assume that $V^{\prime }$ has a codimension one subset of rational points. If $m$ is sufficiently large, we can also assume that $V^{\prime }subsetmathbb{R}^m$ is arbitrarily close to $Vsubsetmathbb{R}^{n}subsetmathbb{R}^m$, and $phi$ extends to a semialgebraic homeomorphism from $mathbb{R}^m$ to $mathbb{R}^m$. A first consequence of this result is a $mathbbQ$-version of the Nash-Tognoli theorem: Every compact smooth manifold admits a $mathbbQ$-algebraic model. Another consequence concerns the open problem of making Nash germs $mathbbQ$-algebraic: Every Nash set germ with an isolated singularity is semialgebraically equivalent to a $mathbbQ$-algebraic set germ.

Mathematics Subject Classification ID

Real algebraic sets (14P05) Semialgebraic sets and related spaces (14P10) Nash functions and manifolds (14P20)

This page was built for publication: The topology of real algebraic sets with isolated singularities is determined by the field of rational numbers

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