Rings of differentiable semialgebraic functions

• E. Baro ^[1] ; José F. Fernando ^[1] ; J. M. Gamboa ^[1]
  1. [1] Universidad Complutense de Madrid

     Universidad Complutense de Madrid

     Madrid, España

     
• Localización: Selecta Mathematica, New Series, ISSN 1022-1824, Vol. 30, Nº. 4, 2024, págs. 1-56
• Idioma: inglés
• DOI: 10.1007/s00029-024-00965-z
• Enlaces
  • Texto completo
• Resumen

  • In this work we analyze the main properties of the Zariski and maximal spectra of the ring Sr(M) of differentiable semialgebraic functions of class Cr on a semialgebraic set M ⊂ Rm. Denote S0(M) the ring of semialgebraic functions on M that admit a continuous extension to an open semialgebraic neighborhood of M in Cl(M). This ring is the real closure of Sr(M). If M is locally compact, the ring Sr(M) enjoys a Łojasiewicz’s Nullstellensatz, which becomes a crucial tool. Despite Sr(M) is not real closed for r ≥ 1, the Zariski and maximal spectra of this ring are homeomorphic to the corresponding ones of the real closed ring S0(M). In addition, the quotients of Sr(M) by its prime ideals have real closed fields of fractions, so the ring Sr(M) is close to be real closed. The missing property is that the sum of two radical ideals needs not to be a radical ideal. The homeomorphism between the spectra of Sr(M) and S0(M) guarantee that all the properties of these rings that arise from spectra are the same for both rings. For instance, the ring Sr(M) is a Gelfand ring and its Krull dimension is equal to dim(M). We also show similar properties for the ring Sr∗(M) of differentiable bounded semialgebraic functions. In addition, we confront the ring S∞(M) of differentiable semialgebraic functions of class C∞ with the ring N (M) of Nash functions on M.

• Referencias bibliográficas
  • Atiyah, M.F., Macdonald, I.G.: Introduction to commutative algebra. Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont. (1969)
  • Aschenbrenner, M., Thamrongthanyalak, A.: Whitney’s extension problem in o-minimal structures. Rev. Mat. Iberoam. 35(4), 1027–1052 (2019)
  • Bkouche, R.: Couples spectraux et faisceaux associés. Applications aux anneaux de fonctions. Bull. Soc. Math. France 98, 253–295 (1970)
  • Bochnak, J., Coste, M., Roy, M.-F.: Real algebraic geometry. Ergeb. Math., vol. 36. Springer-Verlag, Berlin (1998)
  • Baro, E., Fernando, J.F., Ruiz, J.M.: Approximation on Nash sets with monomial singularities. Adv. Math. 262, 59–114 (2014)
  • Carral, M., Coste, M.: Normal spectral spaces and their dimensions. J. Pure Appl. Algebra 30, 227–235 (1983)
  • Cherlin, G.L., Dickmann, M.A.: Real closed rings. I. Residue rings of rings of continuous functions. Fund. Math. 126(2), 147–183 (1986)
  • Cherlin, G.L., Dickmann, M.A.: Real closed rings. II. Model theory. Ann. Pure Appl. Logic 25(3), 213–231 (1983)
  • Delfs, H., Knebusch, M.: Separation, retractions and homotopy extension in semialgebraic spaces. Pacific J. Math. 114(1), 47–71 (1984)
  • Delfs, H., Knebusch, M.: Locally semialgebraic spaces. Lecture Notes in Mathematics, vol. 1173. Springer-Verlag, Berlin (1985)
  • Efroymson, G.: The extension theorem for Nash functions. In: Real algebraic geometry and quadratic forms (Rennes, 1981), pp. 343–357, Lecture...
  • Fefferman, C.: Whitney’s extension problem for 𝐶𝑚C m. Ann. of Math. 164(1), 313–359 (2006)
  • Fefferman, C.: Whitney’s extension problems and interpolation of data. Bull. Amer. Math. Soc. 46(2), 207–220 (2009)
  • Fernando, J.F.: On chains of prime ideals in rings of semialgebraic functions. Q. J. Math. 65(3), 893–930 (2014)
  • Fernando, J.F.: On the substitution theorem for rings of semialgebraic functions. J. Inst. Math. Jussieu 14(4), 857–894 (2015)
  • Fernando, J.F.: On the size of the fibers of spectral maps induced by semialgebraic embeddings. Math. Nachr. 289(14–15), 1760–1791 (2016)
  • Fernando, J.F., Gamboa, J.M.: On open and closed morphisms between semialgebraic sets. Proc. Amer. Math. Soc. 140(4), 1207–1219 (2012)
  • Fernando, J.F., Gamboa, J.M.: On the irreducible components of a semialgebraic set. Internat. J. Math. 23(4), 1250031 (2012)
  • Fernando, J.F., Gamboa, J.M.: On the spectra of rings of semialgebraic functions. Collect. Math. 63(3), 299–331 (2012)
  • Fernando, J.F., Gamboa, J.M.: On the semialgebraic Stone-Čech compactification of a semialgebraic set. Trans. Amer. Math. Soc. 364(7), 3479–3511...
  • Fernando, J.F., Gamboa, J.M.: On Łojasiewicz’s inequality and the Nullstellensatz for rings of semialgebraic functions. J. Algebra 399, 475–488...
  • Fernando, J.F., Gamboa, J.M.: On the Krull dimension of rings of continuous semialgebraic functions. Rev. Mat. Iberoam. 31(3), 753–756 (2015)
  • Fernando, J.F., Gamboa, J.M.: On the remainder of the semialgebraic Stone-Čech compactification of a semialgebraic set. J. Pure Appl. Algebra...
  • Fernando, J.F., Gamboa, J.M., Ruiz, J.M.: Finiteness problems on Nash manifolds and Nash sets. J. Eur. Math. Soc. (JEMS) 16(3), 537–570 (2014)
  • Fernando, J.F., Ghiloni, R.: A converse to Cartan’s Theorem B: The extension property for real global analytic and Nash sets. Preprint RAAG....
  • Kurdyka, K., Pawłucki, W.: Subanalytic version of Whitney’s extension theorem. Studia Math. 124(3), 269–280 (1997)
  • Kurdyka, K., Pawłucki, W.: O-minimal version of Whitney’s extension theorem. Studia Math. 224(1), 81–96 (2014)
  • Henriksen, M., Jerison, M.: The space of minimal prime ideals of a commutative ring. Trans. Amer. Math. Soc. 115, 110–130 (1965)
  • Malgrange, B.: Ideals of differentiable functions. Tata Institute of Fundamental Research Studies in Mathematics, no. 3. Tata Institute of...
  • Prestel, A., Schwartz, N.: Model theory of real closed rings. In: Valuation theory and its applications, Vol. I (Saskatoon, SK, 1999), 261–290,...
  • Schwartz, N.: Real closed rings. Habilitationsschrift, München (1984)
  • Schwartz, N.: Real closed rings. Algebra and order (Luminy-Marseille, 1984), 175–194, Res. Exp. Math., 14, Heldermann, Berlin (1986)
  • Schwartz, N.: The Basic Theory of Real Closed Spaces. Regensburger Math. Schriften, 15, Fakultät für Mathematik der Universität, Regensburg...
  • Schwartz, N.: The basic theory of real closed spaces. Mem. Amer. Math. Soc. 77(397) (1989)
  • Schwartz, N.: Rings of continuous functions as real closed rings. In: Ordered algebraic structures (Curaçao, 1995), 277–313, Kluwer Acad....
  • Schwartz, N.: Epimorphic extensions and Prüfer extensions of partially ordered rings. Manuscripta Math. 102, 347–381 (2000)
  • Schwartz, N.: Convex extensions of partially ordered rings. A series of lectures given at the conference “Géométrie algébrique et analytique...
  • Schwartz, N., Madden, J.J.: Semi-algebraic function rings and reflectors of partially ordered rings. Lecture Notes in Mathematics, vol. 1712....
  • Schwartz, N., Tressl, M.: Elementary properties of minimal and maximal points in Zariski spectra. J. Algebra 323(3), 698–728 (2010)
  • Shiota, M.: Nash manifolds. Lecture Notes in Math., vol. 1269. Springer-Verlag, Berlin (1987)
  • Thamrongthanyalak, A.: Whitney’s extension theorem in o-minimal structures. Ann. Polon. Math. 119(1), 49–67 (2017)
  • Tressl, M.: The real spectrum of continuous definable functions in o-minimal structures. Séminaire de Structures Algébriques Ordonnées 1997-1998,...
  • Tressl, M.: Super real closed rings. Fund. Math. 194(2), 121–177 (2007)
  • Tressl, M.: Bounded super real closed rings. In: Logic Colloquium 2007, 220–237, Lect. Notes Log., 35, Assoc. Symbol. Logic, La Jolla, CA,...
  • Van den Dries, L., Miller, C.: Geometrical categories and o-minimal structures. Duke Math. J. 84, 497–539 (1996)