Regulous functions (Q314115): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Normalize DOI.
 
(2 intermediate revisions by 2 users not shown)
Property / DOI
 
Property / DOI: 10.1515/crelle-2014-0034 / rank
Normal rank
 
Property / cites work
 
Property / cites work: Q5576163 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5565827 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Arc-analytic functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rational real algebraic models of topological surfaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Geometrically rational real conic bundles and very transitive actions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3770650 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Normal spectral spaces and their dimensions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4020163 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A continuous, constructive solution to Hilbert's \(17^{th}\) problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Éléments de géométrie algébrique. III: Étude cohomologique des faisceaux cohérents. (Séconde partie). Rédigé avec la colloboration de J. Dieudonné / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4002797 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4143433 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The group of automorphisms of a real rational surface is <i>n</i> -transitive / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the cohomology of Nash sheaves / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lectures on Resolution of Singularities (AM-166) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Continuous rational functions on real and \(p\)-adic varieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cremona transformations and diffeomorphisms of surfaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rational maps in real algebraic geometry / rank
 
Normal rank
Property / cites work
 
Property / cites work: On classification of real singularities / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ensembles semi-algébriques symétriques par arcs. (Semi-algebraic sets symmetric by arcs) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3514601 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Euler characteristic of the links of a set determined by smooth definable functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Topology of injective endomorphisms of real algebraic sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5526189 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Faisceaux algébriques cohérents / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Nullstellensatz and a Positivstellensatz in semialgebraic geometry / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1515/CRELLE-2014-0034 / rank
 
Normal rank

Latest revision as of 14:06, 9 December 2024

scientific article
Language Label Description Also known as
English
Regulous functions
scientific article

    Statements

    Regulous functions (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    13 September 2016
    0 references
    The manuscript proposes a new approach of the real geometry from the viewpoint of the algebraic structure of \(k\)-regulous functions (that is, rational functions admitting \(C^{k}\)-extensions). Let \(\mathcal R(\mathbb{R}^{n})\) denote the field of rational functions, that is, functions of the form \(f=p/q,\) where \(p,q\in R[x_{1},\ldots x_{n}],\) with \(q\) not vanishing on a Zariski open (therefore, dense) subset \(U\subset \mathbb{R}^{n}\). Motivated by \textit{W. Kucharz} [Adv. Geom. 9, No. 4, 517--539 (2009; Zbl 1173.14341)] the authors consider for each value \(k\in \mathbb{N}\cup \{\infty \}\) the ring \(\mathcal{R}^{k}(\mathbb{R}^{n})\) of rational functions admitting a \(C^{k}\)-extension on \(\mathbb{R}^{n}\) (subring of \(\mathbb{R}(\mathbb{R}^{n})\)). These functions are called regulous for \(k=0\) (continuous-rational, according to Kucharz) and respectively, \(k\)-regulous for \(k\geq 1\). Notice that the rational function \(1/x\) is not regulous, while the rational function \[ f_{k}(x,y)=\frac{x^{3+k}}{x^{2}+y^{2}} \] is \(k\)-regulous but not \((k+1)\)-regulous. Notice further that a regulous function (and a fortiori a \(k\)-regulous function) is semi-algebraic (its graph is the Euclidean closure in \(\mathbb{R}^{n+1}\) of the graph of a rational function), and consequently, every \(\infty \)-regulous function is Nash. Based on this, the authors establish (Théorème 3.3) that the subring \(\mathcal{R}^{\infty }(\mathbb{R}^{n})\) coincides with the ring \(\mathcal{Q}(\mathbb{R}^{n})\) of regular functions (that is, rational functions with \(U=\mathbb{R}^{n}\)). This ring is Noetherian, defining the Noetherian Zariski topology, but fails to satisfy Nullstellensatz. On the other hand, the authors show that for \(k\in \mathbb{N}\), although the ring \(\mathcal{R}^{k}(\mathbb{R}^{n})\) is not Noetherian (Proposition~4.16), its Zariski spectrum \(\mathrm{Spec}(\mathcal{R}^{k}(\mathbb{R}^{n}))\) is a Noetherian topological space, and the \(k\)-regulous topology in \(\mathbb{R}^{n}\) -- corresponding to closed sets of the form \(Z(f)=\{x\in \mathbb{R} ^{n}:f(x)=0\}\) with \(f\in \mathcal{R}^{k}(\mathbb{R}^{n})\) -- is also Noetherian (Théorème~4.3). This is a consequence of the following result: given \(f\in \mathcal{R}^{0}(\mathbb{R}^{n})\) (regulous function), \(\mathbb{R}^{n}\) can be stratified to a finite number of Zariski-locally closed sets \(S_{i}\) such that \(f|_{S_{i}}\) is regular for all \(i\) (Théorème~4.1), which shows in addition that every \(k\)-regulous closed subset of \(\mathbb{R}^{n}\) is Zariski-constructible. Based on a \(k\)-regulous version of the Lojasiewicz inequality (Lemma~5.2), the authors establish that the reverse also holds (Théorème~6.4): The \(k\)-regulous-closed subsets of \(\mathbb{R}^{n}\) coincide with the Zariski-constructible ones. Consequently, the \(k\)-regulous topology is independent of \(k\in \mathbb{N}\) (Corollaire~6.5), but it is strictly finer than the Zariski topology (corresponding to \(k=\infty \)) for \(n\geq 2\) (see Example~3.4). Let us note that an even finer Noetherian topology is defined by the arc-symmetric sets (zeros of arc-analytic functions), see [\textit{K. Kurdyka}, Math. Ann. 282, No. 3, 445--462 (1988; Zbl 0686.14027)]. Last but not least, the authors show that the rings \(\mathcal{R}^{k}(\mathbb{R}^{n})\) satisfy Nullstellensatz (Théorème~5.24) and the corresponding regulous versions of Cartan's Theorem A and B (Théorème~5.46, Théorème~5.47). The manuscript is written in a very pleasant way and the presentation is clear and complete.
    0 references
    real geometry
    0 references
    rational function
    0 references
    regular function
    0 references
    Noether topology
    0 references
    Nullstellensatz
    0 references
    constructible algebraic set
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references