ON THE SUBSTITUTION THEOREM FOR RINGS OF SEMIALGEBRAIC FUNCTIONS

DOI10.1017/S1474748014000206zbMATH Open1330.14095arXiv1309.3743MaRDI QIDQ3192313FDOQ3192313

José F. Fernando

Publication date: 12 October 2015

Published in: Journal of the Institute of Mathematics of Jussieu (Search for Journal in Brave)

Abstract: Let $RsubsetF$ be an extension of real closed fields and $mathcalS(M,R)$ the ring of (continuous) semialgebraic functions on a semialgebraic set $Msubset{R}^n$. We prove that every $R$-homomorphism $varphi:mathcalS(M,R)oF$ is essentially the evaluation homomorphism at a certain point $pin{F}^n$ em adjacent em to the extended semialgebraic set $M_F$. This type of result is commonly known in Real Algebra as Substitution Theorem. In case $M$ is locally closed, the results are neat while the non locally closed case requires a more subtle approach and some constructions (weak continuous extension theorem, em appropriate immersion em of semialgebraic sets) that have interest on their own. We afford the same problem for the ring of bounded (continuous) semialgebraic functions getting results of a different nature.

Full work available at URL: https://arxiv.org/abs/1309.3743

zbMATH Keywords

semialgebraic setsubstitution theoremevaluation homomorphismsextension of coefficientsring of bounded semialgebraic functionring of semialgebraic functionssemialgebraic pseudo-compactificationweak continuous extension property

Mathematics Subject Classification ID

Chain conditions, finiteness conditions in commutative ring theory (13E99) Semialgebraic sets and related spaces (14P10) Real-valued functions in general topology (54C30) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15)

Cites Work

• ON THE IRREDUCIBLE COMPONENTS OF A SEMIALGEBRAIC SET
• Normal spectral spaces and their dimensions
• Elementary properties of minimal and maximal points in Zariski spectra
• Separation, retractions and homotopy extension in semialgebraic spaces
• Super real closed rings
• Real closed rings. II. Model theory
• Characters on algebras of smooth functions
• Homomorphisms on \(C^ \infty (E)\) and \(C^ \infty\)-bounding sets
• Substitution in Nash functions
• A dimension theorem for real spectra
• Finiteness problems on Nash manifolds and Nash sets

Cited In (10)

• A note on algebras of substitutions
• Spectral maps associated to semialgebraic branched coverings
• Rings of differentiable semialgebraic functions
• Continuous functions on the plane regular after one blowing-up
• Substitution property for the ring of continuous rational functions
• Title not available (Why is that?)
• On Nash images of Euclidean spaces
• Построение подстановок с использованием вариационно-координатно полиномиальных функций над примарным кольцом вычетов
• On the remainder of the semialgebraic Stone-Čech compactification of a semialgebraic set
• Substitution maps in the Robba ring

Recommendations

• Title not available (Why is that?) 👍 👎
• GENERALIZATIONS OF COMPLEMENTED RINGS WITH APPLICATIONS TO RINGS OF FUNCTIONS 👍 👎
• On Łojasiewicz's inequality and the nullstellensatz for rings of semialgebraic functions 👍 👎
• A note on algebras of substitutions 👍 👎
• On rings of semialgebraic functions 👍 👎
• On the spectra of rings of semialgebraic functions 👍 👎
• On subcommutative rings 👍 👎
• Ring Derivations on Function Algebras 👍 👎
• Substitution property for the ring of continuous rational functions 👍 👎
• On sub-semi-ideal rings 👍 👎

This page was built for publication: ON THE SUBSTITUTION THEOREM FOR RINGS OF SEMIALGEBRAIC FUNCTIONS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3192313)