Rings of differentiable semialgebraic functions
type: Item
instance of: scholarly article
title: Rings of differentiable semialgebraic functions
author: Elías Baro
author: José F. Fernando
author: Jose Manuel Gamboa
published in: Selecta Mathematica. New Series
publication date: 2024-08-27T00:00:00Z
review text: Let \(M \subset \mathbb{R}^m\) be a semialgebraic set. It is commonly denoted by \(\mathcal{S}(M)\) the set of continuous functions \(M \rightarrow \mathbb{R}\) whose graph is a semialgebraic subset of \(\mathbb{R}^{m+1}\). This set \(\mathcal{S}(M)\) is endowed with a natural structure of \(\mathbb{R}\)-algebra with the operations defined pointwise. The last two authors have published in the last twelve years a long series of articles devoted to the study of \(\mathcal{S}(M)\). For their purposes in the paper under review, the following ones are particularly important: [J. Algebra 399, 475--488 (2014; Zbl 1314.14106); Rev. Mat. Iberoam. 31, 753--766 (2015; Zbl 1362.14059)].\N\NIn this article, the authors study differentiable semialgebraic functions on \(M\). Whereas the notion of continuity has an evident intrinsic character, this is not so obvious in the differentiable context. A naif but unsatisfactory definition could be the following: a semialgebraic function \(f : M \rightarrow \mathbb{R}\) is differentiable of class \(\mathcal{C}^r\) if there exist an open semialgebraic subset \(U \subset \mathbb{R}^m\) containing \(M\), and a semialgebraic function \(F \in \mathcal{C}^r(U)\) such that \(F|_M = f\). This notion is not the right one even if dealing with continuous functions. The authors call \(\mathcal{S}^0(M)\) the \(\mathbb{R}\)-algebra of those functions \(M \rightarrow \mathbb{R}\) that are restrictions to \(M\) of continuous semialgebraic functions defined on open semialgebraic neighbourhoods of \(M\), and the equality \(\mathcal{S}(M) = \mathcal{S}^0(M)\) just holds if \(M\) is locally compact.\N\NThus, an initial problem when dealing with differentiable semialgebraic functions of class \(\mathcal{C}^r\) on a semialgebraic set \(M \subset \mathbb{R}^m\) is to find an intrinsic definition of such type of functions, that the authors call \(\mathcal{S}^r\)-functions on \(M\). The answer is provided by the definition proposed in the o-minimal context by \te…
reviewed by: José Javier Etayo
Mathematics Subject Classification ID: 14P10
Mathematics Subject Classification ID: 46E25
Mathematics Subject Classification ID: 12D15
Mathematics Subject Classification ID: 13E99
zbMATH DE Number: 7902506
zbMATH Keywords: differentiable semialgebraic function of class \(r\)
zbMATH Keywords: Zariski and maximal spectra
zbMATH Keywords: real closed field
zbMATH Keywords: real closed ring
zbMATH Keywords: real closure
zbMATH Keywords: Łojasiewicz's nullstellensatz
zbMATH Keywords: Nash functions
MaRDI profile type: MaRDI publication profile
cites work: Q5563439
cites work: Whitney's extension problem in o-minimal structures
cites work: Couples spectraux et faisceaux associés. Applications aux anneaux de fonctions
cites work: Q4210476
cites work: Approximation on Nash sets with monomial singularities
cites work: Normal spectral spaces and their dimensions
cites work: Real closed rings, I. Residue rings of rings of continuous functions
cites work: Real closed rings. II. Model theory
cites work: Separation, retractions and homotopy extension in semialgebraic spaces
cites work: Locally semialgebraic spaces
cites work: Q3663435
cites work: Whitney's extension problem for \(C^m\)
cites work: Whitney’s extension problems and interpolation of data
cites work: On chains of prime ideals in rings of semialgebraic functions
cites work: ON THE SUBSTITUTION THEOREM FOR RINGS OF SEMIALGEBRAIC FUNCTIONS
cites work: On the size of the fibers of spectral maps induced by semialgebraic embeddings
cites work: On open and closed morphisms between semialgebraic sets
cites work: ON THE IRREDUCIBLE COMPONENTS OF A SEMIALGEBRAIC SET
cites work: On the spectra of rings of semialgebraic functions
cites work: On the semialgebraic Stone-Čech compactification of a semialgebraic set
cites work: On Łojasiewicz's inequality and the nullstellensatz for rings of semialgebraic functions
cites work: On the Krull dimension of rings of continuous semialgebraic functions
cites work: On the remainder of the semialgebraic Stone-Čech compactification of a semialgebraic set
cites work: Finiteness problems on Nash manifolds and Nash sets
cites work: Q4347688
cites work: O-minimal version of Whitney's extension theorem
cites work: The Space of Minimal Prime Ideals of a Commutative Ring
cites work: Q3153400
cites work: Q4724752
cites work: Q3772338
cites work: The basic theory of real closed spaces
cites work: Q4336226
cites work: Epimorphic extensions and Prüfer extensions of partially ordered rings
cites work: Semi-algebraic function rings and reflectors of partially ordered rings
cites work: Elementary properties of minimal and maximal points in Zariski spectra
cites work: Nash manifolds
cites work: Whitney's extension theorem in o-minimal structures
cites work: Super real closed rings
cites work: Q3079698
cites work: Geometric categories and o-minimal structures
DOI: 10.1007/S00029-024-00965-Z
description: scientific article; zbMATH DE number 7902506