Stability index of real varieties
type: Item
instance of: scholarly article
title: Stability index of real varieties
zbMATH Open document ID: 0715.14049
DOI: 10.1007/BF01388887
author: Claus Scheiderer
published in: Inventiones Mathematicae
publication date: 1989-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/143711
review text: Let R be a real closed field, V an affine (non-necessarily irreducible) R-variety and \(f_ 1,...,f_ r\in \Gamma (V,{\mathcal O}_ V)\) polynomial functions on V. If \(S(f_ 1,...,f_ r)\) is the semi-algebraic set of points of V in which \(f_ 1,...,f_ r\) are strictly positive and \(\bar S(f_ 1,...,f_ r)\) is the set of points in which \(f_ 1,...,f_ r\) are non-negative then the sets \(S(f_ 1,...,f_ r)=S\) are called basic open sets and the sets of the form \(F=\bar S(f_ 1,...,f_ r)\) are called basic closed sets on V. Let s(S) be (resp. \(s(F)\) the minimal number of inequalities necessary to describe S (resp. F). Then the supremum s(V) of all the numbers s(S) when S are non empty basic open sets on V is finite and it is called the geometric stability index of the variety V. Also, \(\bar s(S)\) is defined as the supremum of s(F). \textit{L. Bröcker} proved that there are upper bounds for the numbers s(V), \(\bar s(V)\), which depend on the dimension of V. More precisely, in a preprint L. Bröcker showed that if \(\dim(V)=n>0\) then \(n+2\leq \bar s(V)\leq n(n+1)\) for \(n\geq 3\) and \(\bar s(V)=n(n+1)\) for \(n=1\) or \(n=2.\) In the present paper this result is reproved but it is also presented the following complete result: if \(n>0\) then \(\bar s(V)=n(n+1)\). - The method to prove this is to obtain by an inductive argument that one has also \(\bar s(V)\geq n(n+1).\) On the geometric stability index s(V), L. Bröcker showed that \(s(V)=\dim (V)=n\) if \(1\leq n\leq 3\) and that in general \(n\leq s(V)\leq 3\cdot 2^{m-1}\) if \(n=2m\), \(n\leq s(V)\leq 2^ m\) if \(n=2m-1\). In the present paper it is established the following precise result: if V is a real n-dimensional variety, \(n>0\), then \(s(V)=n\) (theorem 2, corollary 4). To prove this result, the author utilises: 1. the real spectrum of a ring developed by M. Coste and M.-F. Roy in 1982 and other authors in more recent works. 2.\textit{M. Marshall}'s theory of spaces of orderings [Trans. Am. Math. Soc. 258, 5…
reviewed by: M.I.Becheanu
Mathematics Subject Classification ID: 14P10
Mathematics Subject Classification ID: 12D15
Mathematics Subject Classification ID: 26C05
zbMATH DE Number: 4177288
zbMATH Keywords: real variety
zbMATH Keywords: semi-algebraic set
zbMATH Keywords: geometric stability index
zbMATH Keywords: real spectrum of a ring
zbMATH Keywords: spaces of orderings
MaRDI profile type: Publication
cites work: Minimal generation of basic open semianalytic sets
cites work: On the real spectrum of a ring and its application to semialgebraic geometry
cites work: On the description of the reduced Witt ring
cites work: Minimale Erzeugung von Positivbereichen
cites work: La topologie du spectre réel
cites work: Quadratic Forms Over Formally Real Fields and Pythagorean Fields
cites work: Prime Ideal Structure in Commutative Rings
cites work: Specialization of quadratic and symmetric, bilinear forms, and a norm theorem
cites work: On the local theory of signatures and reduced quadratic forms
cites work: Q4693114
cites work: Q3663392
cites work: An introduction to real algebra
cites work: Signatures et composantes connexes
cites work: Pfister's theorem for varieties and reduced Witt rings
cites work: The Witt Ring of a Space of Ordering
description: scientific article; zbMATH DE number 4177288