The geometry of locally bounded rational functions
-
Victor Delage
Abstract
This paper develops the geometry of locally bounded rational functions on non-singular real algebraic varieties. First various basic geometric and algebraic results regarding these functions are established in any dimension, culminating with a version of Łojasiewicz’s inequality. The geometry is further developed for the case of dimension 2, where it can be shown that there exist many of the usual correspondences between the algebra and geometry of these functions that one expects from complex algebraic geometry and from other classes of functions in real algebraic geometry such as regulous functions.
Funding statement: The authors have received support from the Henri Lebesgue Center ANR-11-LABX-0020-01 and the project ANR New-Mirage ANR-23-CE40-0002-01.
Acknowledgements
Further, the authors would like to thank the anonymous reviewer for his feedback which helped to improve the exposition.
-
Communicated by: D. Plaumann
References
[1] E. Becker, The real holomorphy ring and sums of 2nth powers. In: Real algebraic geometry and quadratic forms (Rennes, 1981), volume 959 of Lecture Notes in Math., 139–181, Springer 1982. MR683132 Zbl 0508.1202010.1007/BFb0062253Search in Google Scholar
[2] J. Bochnak, M. Coste, M.-F. Roy, Real algebraic geometry. Springer 1998. MR1659509 Zbl 0912.1402310.1007/978-3-662-03718-8Search in Google Scholar
[3] M. A. Buchner, W. Kucharz, On relative real holomorphy rings. Manuscripta Math. 63 (1989), 303–316. MR986186 Zbl 0682.1201910.1007/BF01168373Search in Google Scholar
[4] G. Fichou, J. Huisman, F. Mangolte, J.-P. Monnier, Fonctions régulues. J. Reine Angew. Math. 718 (2016), 103–151. MR3545880 Zbl 1390.1417210.1515/crelle-2014-0034Search in Google Scholar
[5] T. Fukui, L. Paunescu, On blow-analytic equivalence. In: Arc spaces and additive invariants in real algebraic and analytic geometry, volume 24 of Panor. Synthèses, 87–125, Soc. Math. France, Paris 2007. MR2409690 Zbl 1200.14110Search in Google Scholar
[6] H. Hironaka, Resolution of singularities of an algebraic variety over a field of characteristic zero. I, II. Ann. of Math. (2) 79 (1964), 109–203 and 205–326. MR199184 Zbl 0122.38603 Zbl 1420.1403110.2307/1970547Search in Google Scholar
[7] J. Kollár, K. Nowak, Continuous rational functions on real and p-adic varieties. Math. Z. 279 (2015), 85–97. MR3299844 Zbl 1390.1417810.1007/s00209-014-1358-7Search in Google Scholar
[8] W. Kucharz, Generating ideals in real holomorphy rings. J. Algebra 144 (1991), 1–7. MR1136891 Zbl 0749.1403810.1016/0021-8693(91)90123-PSearch in Google Scholar
[9] W. Kucharz, K. Kurdyka, From continuous rational to regulous functions. In: Proc. International Congress of Mathematicians, Rio de Janeiro 2018 Vol. II. Invited lectures, 719–747, World Sci. Publ., Hackensack, NJ 2018. MR3966787 Zbl 1441.1419110.1142/9789813272880_0075Search in Google Scholar
[10] W. Kucharz, K. Rusek, On the ring of locally bounded Nash meromorphic functions. Bull. Austral. Math. Soc. 54 (1996), 503–507. MR1419613 Zbl 0911.1300710.1017/S0004972700021912Search in Google Scholar
[11] K. Kurdyka, Ensembles semi-algébriques symétriques par arcs. Math. Ann. 282 (1988), 445–462. MR967023 Zbl 0686.1402710.1007/BF01460044Search in Google Scholar
[12] K. Kurdyka, A. Parusiński, On the non-analyticity locus of an arc-analytic function. J. Algebraic Geom. 21 (2012), 61–75. MR2846679 Zbl 1271.3203310.1090/S1056-3911-2011-00553-5Search in Google Scholar
[13] S. Łojasiewicz, Introduction to complex analytic geometry. Birkhäuser Verlag, Basel 1991. MR1131081 Zbl 0747.3200110.1007/978-3-0348-7617-9Search in Google Scholar
[14] J.-P. Monnier, Anneaux d’holomorphie et Positivstellensatz archimédien. Manuscripta Math. 97 (1998), 269–302. MR1654768 Zbl 0922.1400110.1007/s002290050101Search in Google Scholar
[15] H.-W. Schülting, Real holomorphy rings in real algebraic geometry. In: Real algebraic geometry and quadratic forms (Rennes, 1981), volume 959 of Lecture Notes in Math., 433–442, Springer 1982. MR683147 Zbl 0498.1401310.1007/BFb0062268Search in Google Scholar
[16] M. Schweighofer, Iterated rings of bounded elements and generalizations of Schmüdgen’s Positivstellensatz. J. Reine Angew. Math. 554 (2003), 19–45. MR1952167 Zbl 1096.1303210.1515/crll.2003.004Search in Google Scholar
[17] L. van den Dries, Tame topology and o-minimal structures. Cambridge Univ. Press 1998. MR1633348 Zbl 0953.0304510.1017/CBO9780511525919Search in Google Scholar
[18] O. Zariski, P. Samuel, Commutative algebra. Vol. II. Springer 1975. MR389876 Zbl 0322.13001Search in Google Scholar
© 2025 Walter de Gruyter GmbH, Berlin/Boston
Articles in the same Issue
- Frontmatter
- Combinatorics of stratified hyperbolic slices
- Godbersen’s conjecture for locally anti-blocking bodies
- A Hilbert metric for bounded symmetric domains
- On the generalized Suzuki curve
- The partition of PG(2, q3) arising from an order 3 planar collineation
- Well-rounded lattices from odd prime degree number fields in the ramified case
- Split Cayley hexagons via subalgebras of octonion algebras
- Relative Lipschitz saturation of complex algebraic varieties
- The prime grid contains arbitrarily large empty polygons
- The geometry of locally bounded rational functions
Articles in the same Issue
- Frontmatter
- Combinatorics of stratified hyperbolic slices
- Godbersen’s conjecture for locally anti-blocking bodies
- A Hilbert metric for bounded symmetric domains
- On the generalized Suzuki curve
- The partition of PG(2, q3) arising from an order 3 planar collineation
- Well-rounded lattices from odd prime degree number fields in the ramified case
- Split Cayley hexagons via subalgebras of octonion algebras
- Relative Lipschitz saturation of complex algebraic varieties
- The prime grid contains arbitrarily large empty polygons
- The geometry of locally bounded rational functions
