Differentiable approximation of continuous semialgebraic maps

DOI10.1007/S00029-019-0496-5MaRDI QIDQ2315947zbMATH OpenOpenAlexFDO

Authors José F. Fernando, Riccardo Ghiloni

Publication date 26 July 2019

Published in Selecta Mathematica. New Series (Search for Journal in Brave)

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

zbMATH Keywords

approximation of maps between polyhedraapproximation of semialgebraic maps

Mathematics Subject Classification ID

Real algebraic sets (14P05) Semialgebraic sets and related spaces (14P10) Nash functions and manifolds (14P20) Approximations in PL-topology (57Q55)

Abstract: In this work we approach the problem of approximating uniformly continuous semialgebraic maps $f:SoT$ from a compact semialgebraic set $S$ to an arbitrary semialgebraic set $T$ by semialgebraic maps $g:SoT$ that are differentiable of class~${mathcalC}^u$ for a fixed integer $ugeq1$. As the reader can expect, the difficulty arises mainly when one tries to keep the same target space after approximation. For $u=1$ we give a complete affirmative solution to the problem: such a uniform approximation is always possible. For $ugeq2$ we obtain density results in the two following relevant situations: either $T$ is compact and locally ${mathcalC}^u$ semialgebraically equivalent to a polyhedron, for instance when $T$ is a compact polyhedron; or $T$ is an open semialgebraic subset of a Nash set, for instance when $T$ is a Nash set. Our density results are based on a recent ${mathcalC}^1$-triangulation theorem for semialgebraic sets due to Ohmoto and Shiota, and on new approximation techniques we develop in the present paper. Our results are sharp in a sense we specify by explicit examples.

Recommendations

• Approximation of singular semialgebraic sets by smooth ones with respect to the Hausdorff metric
• Approximation Theorems for Nash Mappings and Nash Manifolds
• Approximation of maps into spheres by piecewise-regular maps of class \(C^k\)
• scientific article; zbMATH DE number 177476
• scientific article; zbMATH DE number 579166

Cites work

• C^1-triangulations of semialgebraic sets
• Algebraic models of smooth manifolds
• Algebraicity of Nash sets and of their asymmetric cobordism
• Approximation by continuous rational maps into spheres
• Approximation of piecewise affine homeomorphisms by diffeomorphisms
• Approximation on Nash sets with monomial singularities
• Complex cycles on algebraic models of smooth manifolds
• Diffeomorphic approximation of continuous almost everywhere injective Sobolev deformations in the plane
• Diffeomorphic approximation of Sobolev homeomorphisms
• Finiteness problems on Nash manifolds and Nash sets
• Geometry of subanalytic and semialgebraic sets
• scientific article; zbMATH DE number 5976853 (Why is no real title available?)
• scientific article; zbMATH DE number 5177410 (Why is no real title available?)
• scientific article; zbMATH DE number 3815840 (Why is no real title available?)
• scientific article; zbMATH DE number 3826755 (Why is no real title available?)
• scientific article; zbMATH DE number 4004349 (Why is no real title available?)
• scientific article; zbMATH DE number 4029737 (Why is no real title available?)
• scientific article; zbMATH DE number 4102053 (Why is no real title available?)
• scientific article; zbMATH DE number 52351 (Why is no real title available?)
• scientific article; zbMATH DE number 488390 (Why is no real title available?)
• scientific article; zbMATH DE number 914533 (Why is no real title available?)
• scientific article; zbMATH DE number 3223509 (Why is no real title available?)
• Morphisms, line bundles and moduli spaces in real algebraic geometry
• Nash functions on noncompact Nash manifolds
• Nash manifolds
• O-minimal Hauptvermutung for polyhedra. I
• Obstruction theories for smoothing manifolds and maps
• Obstructions to Extending Diffeomorphisms
• Obstructions to imposing differentiable structures
• Obstructions to the smoothing of piecewise-differentiable homeomorphisms
• On combinatorial submanifolds of differentiable manifolds
• On manifolds homeomorphic to the 7-sphere
• On Nash images of Euclidean spaces
• On real algebraic morphisms into even-dimensional spheres
• ON THE IRREDUCIBLE COMPONENTS OF A SEMIALGEBRAIC SET
• On the space of morphisms into generic real algebraic varieties
• Rational maps in real algebraic geometry
• Real algebraic morphisms represent few homotopy classes
• Resolution of singularities of an algebraic variety over a field of characteristic zero. I
• Rigidity and moduli space in real algebraic geometry
• Second order homological obstructions on real algebraic manifolds
• Separation, retractions and homotopy extension in semialgebraic spaces
• Smooth approximation of bi-Lipschitz orientation-preserving homeomorphisms
• Smoothing maps into algebraic sets and spaces of flat connections
• Triangulations of Subanalytic Sets and Locally Subanalytic Manifolds
• Two complexes which are homeomorphic but combinatorially distinct
• Uniform approximation of homeomorphisms by diffeomorphisms

Cited in

(9)

• Approximation by piecewise-regular maps
• Smooth Approximations in PL Geometry
• Strict \(\mathcal{C}^p\)-triangulations -- a new approach to desingularization
• Strict \(\mathcal{C}^p\)-triangulations of sets locally definable in o-minimal structures with an application to a \(\mathcal{C}^p\)-approximation problem
• Differentiable approximation of continuous definable maps that preserves the image
• Algebraic approximation of submanifolds and approximation properties of regulous maps
• On a Nash curve selection lemma through finitely many points
• The Hilbert scheme of infinite affine space and algebraic K-theory
• Approximation of maps between real algebraic varieties

This page was built for publication: Differentiable approximation of continuous semialgebraic maps

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