×

Squares. (English) Zbl 0785.11022

London Mathematical Society Lecture Note Series. 171. Cambridge: Cambridge University Press. xii, 286 p. (1993).
The author examines problems concerning squares and sums of squares, which have, as quoted in the text, a long history. It is intended to present the results as elementary as possible and to avoid theory such as the algebraic theory of quadratic forms. In order to read the book only knowledge of basic algebra is required.
Let \(K\) be a field \((\text{char } K\neq 2)\). The first main topic are identities of the form \[ (X_ 1^ 2+\dots +X_ r^ 2) (Y_ 1^ 2+\dots +Y_ s^ 2)= Z_ 1^ 2+\dots +Z_ n^ 2 \tag{I} \] where \(Z_ l\in K(\{X_ i,Y_ j\})\). Hurwitz showed that for \(r=s=n\) identities of the type (I) for \(Z_ l\) bilinear in \(X_ i\), \(Y_ j\) exist if and only if \(n=1,2,4,8\). Pfister showed that for \(r=s=n\) such (nonbilinear) identities exist if and only if \(n\) is a power of 2. Further the level of a field is always a 2-power and any 2-power occurs as the level of a field. The level \(s(K)\) of \(K\) is defined as the smallest \(s\leq\infty\) such that \(-1\) is a sum of \(s\) squares in \(K\). For arbitrary \(r\), \(s\) the author proves theorems of Hurwitz-Radon and Gabel and examines the Hopf condition.
The second main topic are problems in connection with Hilbert’s 17th problem. The author shows that any PSD (positive semidefinite) \(f\in\mathbb{R} (X_ 1,\dots, X_ m)\) is a sum of at most \(2^ m\) squares, in particular the Pythagoras number of \(\mathbb{R}(X_ 1,\dots, X_ m)\) is \(\leq 2^ m\). Hilbert showed that homogeneous PSD polynomials \(f\in\mathbb{R} [X_ 1,\dots,X_ m]\) are not necessarily sums of squares in \(\mathbb{R}[X_ 1,\dots, X_ m]\) unless \(m=2\) or \(\deg f=2\) or \(m=4\), \(\deg f=3\). Further in this connection theorems of Calderon, Choi, Lam, Reznick and Robinson are stated.
In section 11 some basic facts on quadratic forms are introduced, then Pfister’s theory of multiplicative quadratic forms and Artin-Schreier theory of formally real fields. This is used to study the behaviour of the level and the Pythagoras number \(p\) under field extension. For some special fields \(K\) such as number fields \(s(K)\) and \(p(K)\) are determined. In particular, any PSD \(f\in\mathbb{Q}[X]\) is a sum of 5 squares, that is \(p(\mathbb{Q}(X))=5\). To show this theorem of Pourchet, the author needs to apply the Hasse-Minkowski theorem.
Except for the application of the Hasse-Minkowski theorem the book is absolutely self-contained. It seems carefully investigated, historic remarks and exercises are added. Because of the elementary approach some proofs become very technical, but the arguments are well explained. Quoting the author the book is written in such a way that it can be easily understood by an undergraduate student. Even for the reader who is familiar with the books of Lam and Scharlau on quadratic forms this book is a good additional lecture since only few points of intersection occur.

MSC:

11E25 Sums of squares and representations by other particular quadratic forms
12D15 Fields related with sums of squares (formally real fields, Pythagorean fields, etc.)
11-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to number theory
12-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to field theory
PDFBibTeX XMLCite