Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Inventiones mathemat...arrow_drop_down
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao
Inventiones mathematicae
Article . 1989 . Peer-reviewed
License: Springer TDM
Data sources: Crossref
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao
zbMATH Open
Article . 1989
Data sources: zbMATH Open
versions View all 2 versions
addClaim

Stability index of real varieties

Authors: Scheiderer, Claus;

Stability index of real varieties

Abstract

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, 505-521 (1980; Zbl 0427.10015)] in which theory the author had obtained new useful results.

Country
Germany
Related Organizations
Keywords

real variety, geometric stability index, 510.mathematics, real spectrum of a ring, semi-algebraic set, Fields related with sums of squares (formally real fields, Pythagorean fields, etc.), Semialgebraic sets and related spaces, spaces of orderings, Real polynomials: analytic properties, etc., Article

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    17
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Top 10%
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
17
Average
Top 10%
Average
Green