English

Approximation and homotopy in regulous geometry

Algebraic Geometry 2023-02-03 v1

Abstract

Let X, Y be nonsingular real algebraic sets. A map fi:X-->Y is said to be k-regulous, where k is a nonnegative integer, if it is of class C^k and the restriction of fi to some Zariski open dense subset of X is a regular map. Assuming that Y is uniformly rational, and k>0, we prove that a C^inf map f:X-->Y can be approximated by k-regulous maps in the C^k topology if and only if f is homotopic to a k-regulous map. The class of uniformly rational real algebraic varieties includes spheres, Grassmannians and real rational surfaces, and is stable under blowing up nonsingular centers. Furthermore, Taking Y=S^p (the unit p-dimensional sphere), we obtain several new results on approximation of C^inf maps from X into S^p by k-regulous maps in the C^k topology, for k nonnegative.

Keywords

Cite

@article{arxiv.2302.01055,
  title  = {Approximation and homotopy in regulous geometry},
  author = {Wojciech Kucharz},
  journal= {arXiv preprint arXiv:2302.01055},
  year   = {2023}
}

Comments

22 pages. arXiv admin note: text overlap with arXiv:2011.06637

R2 v1 2026-06-28T08:30:12.901Z