Level and Pythagoras number of some geometric rings (Q1813550): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Quadratic forms over semilocal rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4193549 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Levels in algebra and topology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Signatures on semilocal rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Pfister's theorem for varieties and reduced Witt rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3757970 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Zur Darstellung definiter Funktionen als Summe von Quadraten. (To the representation of definite functions as the sum of squares) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Aspects quantitatifs de nullstellensätze et de positivstellensätze. nombres de pythagore / rank | |||
Normal rank |
Revision as of 09:38, 15 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Level and Pythagoras number of some geometric rings |
scientific article |
Statements
Level and Pythagoras number of some geometric rings (English)
0 references
25 June 1992
0 references
Let \(A\) be a commutative unitary ring. An element \(a\) in \(A\) is called totally positive if \(a\) is positive on the real spectrum \(\text{Spec}_ rA\) of \(A\). It is known that if \(A\) is a field then every totally positive element is a sum of squares. Although there exist examples which show that it is not so in general, certain types of rings which are frequently used in real algebraic geometry, behave like fields. The author proves that if \(A\) is a semi-local \(R\)-algebra or a ring of regular functions over \(R\) of transcendence degree \(\leq d\), \(R\) being a real closed field, then any totally positive unit in \(A\) is a sum of \(2^ d\) squares in \(A\). This generalizes \textit{A. Pfister}'s theorem on function fields over real closed fields [Invent. Math. 4, 229-237 (1967; Zbl 0222.10022)]. The author also finds an upper bound for the level of any \(R\)-algebra without any real point. This improves the result of the author [Invent. Math. 85, 53-72 (1986; Zbl 0601.14019)].
0 references
Pythagoras number
0 references
semi-local algebra
0 references
totally positive unit
0 references
sum of squares
0 references
regular functions
0 references
level
0 references