Simple Search

Query:

Enter a query and click »Search«...

Format:

Display: entries per page entries

Zbl 0785.11022
Rajwade, A.R.
Squares. (English)
[B] London Mathematical Society Lecture Note Series. 171. Cambridge: Cambridge University Press. xii, 286 p. \sterling 27.50; \$ 39.95 (1993). ISBN 0-521-42668-5/pbk

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.\par Let $K$ be a field $(\text{char } K\ne 2)$. The first main topic are identities of the form $$(X\sb 1\sp 2+\dots +X\sb r\sp 2) (Y\sb 1\sp 2+\dots +Y\sb s\sp 2)= Z\sb 1\sp 2+\dots +Z\sb n\sp 2 \tag I$$ where $Z\sb l\in K(\{X\sb i,Y\sb j\})$. Hurwitz showed that for $r=s=n$ identities of the type (I) for $Z\sb l$ bilinear in $X\sb i$, $Y\sb 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.\par The second main topic are problems in connection with Hilbert's 17th problem. The author shows that any PSD (positive semidefinite) $f\in\bbfR (X\sb 1,\dots, X\sb m)$ is a sum of at most $2\sp m$ squares, in particular the Pythagoras number of $\bbfR(X\sb 1,\dots, X\sb m)$ is $\leq 2\sp m$. Hilbert showed that homogeneous PSD polynomials $f\in\bbfR [X\sb 1,\dots,X\sb m]$ are not necessarily sums of squares in $\bbfR[X\sb 1,\dots, X\sb 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.\par 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\bbfQ[X]$ is a sum of 5 squares, that is $p(\bbfQ(X))=5$. To show this theorem of Pourchet, the author needs to apply the Hasse-Minkowski theorem.\par 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.
[M.Krüskemper (Münster)]

MSC 2000:: *11E25 Sums of squares, etc
12D15 Formally real fields
11-01 Textbooks (number theory)
12-01 Textbooks (field theory)

Keywords: positive semidefinite forms; sums of squares; identities; Hilbert's 17th problem; quadratic forms; level; Pythagoras number; field extension

Cited in: Zbl 0981.12001

Comment on this Item PDF MathML XML ASCII DVI PS BibTeX Online Ordering

	Scientific prize winners of the ICM 2010
	Overhang
	Lie groups, physics and geometry. An introduction for physicists, engineers and chemists.

Simple Search

Zentralblatt MATH Berlin [Germany]