This book is a comprehensive study of the algebraic theory of quadratic forms, from classical theory to recent developments, including results and proofs that have never been published. The book is written from the viewpoint of algebraic geometry and includes the theory of quadratic forms over fields of characteristic two, with proofs that are characteristic independent whenever possible. For some results both classical and geometric proofs are given. Part I includes classical algebraic theory of quadratic and bilinear forms and answers many questions that have been raised in the early stages of the development of the theory. Assuming only a basic course in algebraic geometry, Part II presents the necessary additional topics from algebraic geometry including the theory of Chow groups, Chow motives, and Steenrod operations. These topics are used in Part III to develop a modern geometric theory of quadratic 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.

From its birth (in Babylon?) till 1936 the theory of quadratic forms dealt almost exclusively with forms over the real field, the complex field or the ring of integers. Only as late as 1937 were the foundations of a theory over an arbitrary field laid. This was in a famous paper by Ernst Witt. Still too early, apparently, because it took another 25 years for the ideas of Witt to be pursued, notably by Albrecht Pfister, and expanded into a full branch of algebra. Around 1960 the development of algebraic topology and algebraic K-theory led to the study of quadratic forms over commutative rings and hermitian forms over rings with involutions. Not surprisingly, in this more general setting, algebraic K-theory plays the role that linear algebra plays in the case of fields. This book exposes the theory of quadratic and hermitian forms over rings in a very general setting. It avoids, as far as possible, any restriction on the characteristic and takes full advantage of the functorial aspects of the theory. The advantage of doing so is not only aesthetical: on the one hand, some classical proofs gain in simplicity and transparency, the most notable examples being the results on low-dimensional spinor groups; on the other hand new results are obtained, which went unnoticed even for fields, as in the case of involutions on 16-dimensional central simple algebras. The first chapter gives an introduction to the basic definitions and properties of hermitian forms which are used throughout the book.

This open access textbook presents a comprehensive treatment of the arithmetic theory of quaternion algebras and orders, a subject with applications in diverse areas of mathematics. Written to be accessible and approachable to the graduate student reader, this text collects and synthesizes results from across the literature. Numerous pathways offer explorations in many different directions, while the unified treatment makes this book an essential reference for students and researchers alike. Divided into five parts, the book begins with a basic introduction to the noncommutative algebra underlying the theory of quaternion algebras over fields, including the relationship to quadratic forms. An in-depth exploration of the arithmetic of quaternion algebras and orders follows. The third part considers analytic aspects, starting with zeta functions and then passing to an idelic approach, offering a pathway from local to global that includes strong approximation. Applications of unit groups of quaternion orders to hyperbolic geometry and low-dimensional topology follow, relating geometric and topological properties to arithmetic invariants. Arithmetic geometry completes the volume, including quaternionic aspects of modular forms, supersingular elliptic curves, and the moduli of QM abelian surfaces. Quaternion Algebras encompasses a vast wealth of knowledge at the intersection of many fields. Graduate students interested in algebra, geometry, and number theory will appreciate the many avenues and connections to be explored. Instructors will find numerous options for constructing introductory and advanced courses, while researchers will value the all-embracing treatment. Readers are assumed to have some familiarity with algebraic number theory and commutative algebra, as well as the fundamentals of linear algebra, topology, and complex analysis. More advanced topics call upon additional background, as noted, though essential concepts and motivation are recapped throughout.

This volume outlines the proceedings of the conference on "Quadratic Forms and Their Applications" held at University College Dublin. It includes survey articles and research papers ranging from applications in topology and geometry to the algebraic theory of quadratic forms and its history. Various aspects of the use of quadratic forms in algebra, analysis, topology, geometry, and number theory are addressed. Special features include the first published proof of the Conway-Schneeberger Fifteen Theorem on integer-valued quadratic forms and the first English-language biography of Ernst Witt, founder of the theory of quadratic forms.

For about a decade I have made an effort to study quadratic forms in infinite dimensional vector spaces over arbitrary division rings. Here we present in a systematic fashion half of the results found du ring this period, to wit, the results on denumerably infinite spaces (" ~O- forms") . Certain among the resul ts included here had of course been published at the time when they were found, others appear for the first time (the case, for example, in Chapters IX, X, XII where I in clude results contained in the Ph.D.theses by my students w. Allenspach, L. Brand, U. Schneider, M. Studer). If one wants to give an introduction to the geometric algebra of infinite dimensional quadratic spaces, a discussion of ~ -dimensional 0 spaces ideally serves the purpose. First, these spaces show a large nurober of phenomena typical of infinite dimensional spaces. Second, most proofs can be done by recursion which resembles the familiar pro cedure by induction in the finite dimensional Situation. Third, the student acquires a good feeling for the linear algebra in infinite di mensions because it is impossible to camouflage problems by topological expedients (in dimension ~O it is easy to see, in a given case, wheth er topological language is appropriate or not) .

Algebraic geometry has benefited enormously from the powerful general machinery developed in the latter half of the twentieth century. The cost has been that much of the research of previous generations is in a language unintelligible to modern workers, in particular, the rich legacy of classical algebraic geometry, such as plane algebraic curves of low degree, special algebraic surfaces, theta functions, Cremona transformations, the theory of apolarity and the geometry of lines in projective spaces. The author's contemporary approach makes this legacy accessible to modern algebraic geometers and to others who are interested in applying classical results. The vast bibliography of over 600 references is complemented by an array of exercises that extend or exemplify results given in the book.