Arithmetic of Quadratic Forms (eBook)

This book is divided into two parts. The first part is preliminary and consists of algebraic number theory and the theory of semisimple algebras. There are two principal topics: classification of quadratic forms and quadratic Diophantine equations. The second topic is a new framework which contains the investigation of Gauss on the sums of three squares as a special case. To make the book concise, the author proves some basic theorems in number theory only in some special cases. However, the book is self-contained when the base field is the rational number field, and the main theorems are stated with an arbitrary number field as the base field. So the reader familiar with class field theory will be able to learn the arithmetic theory of quadratic forms with no further references.

---

This book can be divided into two parts. The ?rst part is preliminary and consists of algebraic number theory and the theory of semisimple algebras. The raison d' etre of the book is in the second part, and so let us ?rst explain the contents of the second part. There are two principal topics: (A) Classi?cation of quadratic forms; (B) Quadratic Diophantine equations. Topic (A) can be further divided into two types of theories: (a1) Classi?cation over an algebraic number ?eld; (a2) Classi?cation over the ring of algebraic integers. To classify a quadratic form ? over an algebraic number ?eld F, almost all previous authors followed the methods of Helmut Hasse. Namely, one ?rst takes ? in the diagonal form and associates an invariant to it at each prime spot of F, using the diagonal entries. A superior method was introduced by Martin Eichler in 1952, but strangely it was almost completely ignored, until I resurrected it in one of my recent papers. We associate an invariant to ? at each prime spot, which is the same as Eichler's, but we de?ne it in a di?erent and more direct way, using Cli?ord algebras. In Sections 27 and 28 we give an exposition of this theory. At some point we need the Hasse norm theorem for a quadratic extension of a number ?eld, which is included in class ?eld theory. We prove it when the base ?eld is the rational number ?eld to make the book self-contained in that case.