Sums of 2n-th powers in real function fields. (English) Zbl 0604.12017
Algebra and order, Proc. 1st Int. Symp., Luminy-Marseilles/France 1984, Res. Expo. Math. 14, 171-174 (1986).
[For the entire collection see Zbl 0601.00004.]
In 1927 Artin proved that functions which are positive definite on the real points V(R) of an affine variety V over a real closed field R are sums of squares in the function field \(F=R(V)\) of V. The proof consists of two main parts. In the first step, the sums of squares are characterized as those functions which are positive with respect to every total ordering of F. In the second part the ”center map” is studied. In the case \(R={\mathbb{R}}\) this is a map \(c: X_ F\to \bar V({\mathbb{R}})\), where \(\bar V\) denotes the projective closure of V and \(X_ F\) is the set of total orderings of F. In this paper we discuss the attempt to generalize these methods to the study of sums of 2n-th powers. Proofs apeared in J. Algebra 98, 499-514 (1986; Zbl 0595.12015).
In 1927 Artin proved that functions which are positive definite on the real points V(R) of an affine variety V over a real closed field R are sums of squares in the function field \(F=R(V)\) of V. The proof consists of two main parts. In the first step, the sums of squares are characterized as those functions which are positive with respect to every total ordering of F. In the second part the ”center map” is studied. In the case \(R={\mathbb{R}}\) this is a map \(c: X_ F\to \bar V({\mathbb{R}})\), where \(\bar V\) denotes the projective closure of V and \(X_ F\) is the set of total orderings of F. In this paper we discuss the attempt to generalize these methods to the study of sums of 2n-th powers. Proofs apeared in J. Algebra 98, 499-514 (1986; Zbl 0595.12015).
MSC:
12J10 | Valued fields |
12D15 | Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) |
11E10 | Forms over real fields |
14Pxx | Real algebraic and real-analytic geometry |
13A18 | Valuations and their generalizations for commutative rings |