Witt ring

Witt ring
Name	Witt ring
Subject	Algebra
Introduced	Ernst Witt (1930s)
Related	Quadratic form, Milnor K-theory, Galois cohomology, p-adic fields

Witt ring The Witt ring is an algebraic construction associating a commutative ring to a field that encodes equivalence classes of quadratic forms. It originated in the work of Ernst Witt and connects to structures studied by Emil Artin, Helmut Hasse, Alexander Grothendieck, and John Milnor in the context of forms, cohomology, and K-theory. The theory links classical investigations by Carl Friedrich Gauss and David Hilbert to modern developments involving Jean-Pierre Serre, Serge Lang, John Tate, and Jacob T. Stafford.

Definition and basic properties

The Witt ring is defined for a field by taking the Grothendieck group of isometry classes of nondegenerate symmetric bilinear or quadratic forms studied by Ernst Witt and forming a ring under orthogonal sum and tensor product; this construction interacts with invariants introduced by Helmut Hasse and Klaus Krull. Over a real closed field the resulting ring reflects signatures used in work of David Hilbert and Emil Artin; over local fields the Witt ring mirrors phenomena analyzed by Kazuya Kato and Jean-Louis Colliot-Thélène. Fundamental properties include torsion phenomena related to the Milnor conjecture proven by Vladimir Voevodsky, and cohomological descriptions using groups studied by Serge Lang and John Tate. The Witt ring admits a canonical filtration, often called the fundamental ideal, which appears in investigations by Armand Borel and Friedrich Hirzebruch.

Construction of the Witt ring

One constructs the Witt ring by starting with the monoid of isometry classes of nonsingular quadratic forms over a field as in the work of Ernst Witt and forming the Grothendieck group, then quotienting by the ideal generated by hyperbolic planes considered by Helmut Hasse and Richard Brauer. The product is induced by tensor product of bilinear forms, a technique used in treatments by Benson Farb and Stephen S. Shatz and discussed in expositions by Tate and Jean-Pierre Serre. For fields of characteristic two one uses refinements developed by Jacobson and Maximal Artin; Witt’s original papers and later clarifications by Lam and Milnor address subtle behavior across characteristics. Functoriality under field extensions features prominently in analyses by Shafarevich and Chevalley.

Examples and computations

Over the real numbers the Witt ring corresponds to signature theory familiar from David Hilbert and Hermann Minkowski; explicit classes relate to the signature map used in work by Emil Artin and Marcel Berger. For finite fields computations rely on results of Gauss and Carl Friedrich Gauss-style reciprocity reflected in analyses by Helmut Hasse and John Tate; for p-adic fields one leverages descriptions from Jean-Pierre Serre and Serge Lang with links to Alexander Grothendieck’s study of local fields. Quadratic form classifications over global fields invoke techniques from Helmut Hasse and André Weil; algorithmic computations appear in literature connected to John Conway and Neil Sloane. Concrete examples include forms over quadratic extensions studied by Chebotarev and decompositions influenced by Emmy Noether.

Algebraic and arithmetic applications

The Witt ring plays a central role in the classification problems tackled by John Milnor and Vladimir Voevodsky and features in proofs of the Milnor conjecture linking quadratic forms to étale cohomology developed by Jean-Pierre Serre. In arithmetic geometry the Witt ring informs studies by Alexander Grothendieck and Jean-Louis Colliot-Thélène of rational points and forms on varieties considered by André Weil and Armand Borel. Connections to algebraic K-theory trace through work of Daniel Quillen and Max Karoubi; interactions with Galois cohomology appear in investigations by John Tate and Serge Lang. Applications to the study of division algebras and Brauer groups build on foundations by Richard Brauer and Emil Artin.

Structure and invariants

Key invariants of the Witt ring include the dimension map, the discriminant, and the Clifford invariant introduced in the contexts explored by Élie Cartan and Clifford; these invariants were systematically described by Lam and Merkurjev. The filtration by the fundamental ideal gives rise to graded pieces linked to Milnor K-groups, an insight due to John Milnor and proven via motivic cohomology by Vladimir Voevodsky. Local-global principles for Witt rings echo classical theorems by Helmut Hasse and Chebotarev and are refined in the work of Colliot-Thélène and Tate. Structural decomposition theorems parallel classification results of Emmy Noether and Issai Schur.

Generalizations and variants

Generalizations include higher Witt groups considered by Max Karoubi and Alexander Grothendieck in relation to K-theory, hermitian Witt groups tied to involutions studied by Richard Brauer and John Milnor, and Witt-like constructions for schemes developed by Grothendieck and Jean-Pierre Serre. Variants for rings and schemes appear in work by Quillen and Paul Balmer, while motivic and étale analogues connect to research of Vladimir Voevodsky and Fabien Morel. Recent extensions to derived and triangulated settings are explored by Amnon Neeman and Bernhard Keller and intersect with categorical approaches of Maxim Kontsevich and Jacob Lurie.

Category:Algebra