On chains of prime ideals in rings of semialgebraic functions
type: Item
instance of: scholarly article
zbMATH Open document ID: 1303.14066
author: José F. Fernando
published in: The Quarterly Journal of Mathematics
publication date: 2014-10-10T00:00:00Z
Mathematics Subject Classification ID: 14P10
Mathematics Subject Classification ID: 13J30
Mathematics Subject Classification ID: 16N60
zbMATH DE Number: 6353669
zbMATH Keywords: semialgebraic set
zbMATH Keywords: semialgebraic function
zbMATH Keywords: real algebraic geometry
zbMATH Keywords: real closed ring
zbMATH Keywords: prime ideal
zbMATH Keywords: minimal prime ideal
MaRDI profile type: Publication
full work available at URL: hat048
OpenAlex ID: W2115771382
DOI: 10.1093/QMATH/HAT048
title: On chains of prime ideals in rings of semialgebraic functions
review text: Given a semialgebraic set \(M\subseteq {\mathbb R}^m\) consider the rings \(S(M)\) and \(S^*(M)\) of semialgebraic, respectively bounded semialgebraic functions on \(M\). Both of these rings are real closed in the sense of \textit{N. Schwartz} [in: Algebra and order, Proc. 1st Int. Symp., Luminy-Marseilles/France 1984, Res. Expo. Math. 14, 175--194 (1986; Zbl 0616.14019)]. This article studies (chains of) prime ideals in these rings. A main goal is to understand the structure of non-refinable chains of prime ideals of \(S^*(M)\). Some of the results generalize similar results in the the o-minimal exponentially bounded and polynomially bounded context [\textit{M. Tressl}, ``The real spectrum of continuous definable functions in o-minimal structures'', Séminaire de Structures Algébriques Ordonneés 1997-1998, 68, 1--15 (1999)].NEWLINENEWLINEHere is a selection of the main results. The height of each maximal ideal \(m\) in \(S^*(M)\) is computed by using suitable semialgebraic compactifications of \(M\). The map \(q \mapsto q \cap S^*(M)\) establishes a bijection between the sets of minimal prime ideals of \(S(M)\) and \(S^*(M)\). To investigate minimal prime ideals in these rings the author employs a finite decomposition of of any semialgebraic set \(M\) into closed pure dimensional semialgebraic subsets of different dimensions called bricks. Finally, maximal ideals of both rings \(S(M)\) and \(S^*(M)\) are studied. It is shown that for each non-compact pure dimensional semialgebraic set \(M\) of dimension \(d\) and for each \(0\leq r< d\), there exists a maximal ideal \(m\) of \(S(M)\) such that ht\((m) = r\) but ht\((m^*) = d\), where \(m^*\) is the unique maximal ideal of \(S^*(M)\) that contains \(m \cap S^*(M)\).
reviewed by: Igor Klep
description: scientific article; zbMATH DE number 6353669