Basic Quadratic Forms

Introduction to Quadratic Forms

Quadratic and Hermitian Forms

For a long time - at least from Fermat to Minkowski - the theory of quadratic forms was a part of number theory. Much of the best work of the great number theorists of the eighteenth and nineteenth century was concerned with problems about quadratic forms. On the basis of their work, Minkowski, Siegel, Hasse, Eichler and many others crea ted the impressive "arithmetic" theory of quadratic forms, which has been the object of the well-known books by Bachmann (1898/1923), Eichler (1952), and O'Meara (1963). Parallel to this development the ideas of abstract algebra and abstract linear algebra introduced by Dedekind, Frobenius, E. Noether and Artin led to today's structural mathematics with its emphasis on classification problems and general structure theorems. On the basis of both - the number theory of quadratic forms and the ideas of modern algebra - Witt opened, in 1937, a new chapter in the theory of quadratic forms. His most fruitful idea was to consider not single "individual" quadratic forms but rather the entity of all forms over a fixed ground field and to construct from this an algebra ic object. This object - the Witt ring - then became the principal object of the entire theory. Thirty years later Pfister demonstrated the significance of this approach by his celebrated structure theorems.

Binary Quadratic Forms

The first coherent exposition of the theory of binary quadratic forms was given by Gauss in the Disqnisitiones Arithmeticae. During the nine teenth century, as the theory of ideals and the rudiments of algebraic number theory were developed, it became clear that this theory of bi nary quadratic forms, so elementary and computationally explicit, was indeed just a special case of a much more elega,nt and abstract theory which, unfortunately, is not computationally explicit. In recent years the original theory has been laid aside. Gauss's proofs, which involved brute force computations that can be done in what is essentially a two dimensional vector space, have been dropped in favor of n-dimensional arguments which prove the general theorems of algebraic number the ory. In consequence, this elegant, yet pleasantly simple, theory has been neglected even as some of its results have become extremely useful in certain computations. I find this neglect unfortunate, because binary quadratic forms have two distinct attractions. First, the subject involves explicit computa tion and many of the computer programs can be quite simple. The use of computers in experimenting with examples is both meaningful and enjoyable; one can actually discover interesting results by com puting examples, noticing patterns in the "data," and then proving that the patterns result from the conclusion of some provable theorem.