Hasse–Minkowski theorem

Hasse–Minkowski theorem The Hasse–Minkowski theorem gives a local–global classification for quadratic forms over global fields, asserting that two quadratic forms over a number field are equivalent if and only if they are equivalent over every completion of that field. It links arithmetic of quadratic forms with local invariants attached to completions such as real embeddings and p-adic fields, bringing together ideas from algebraic number theory, class field theory, and the theory of quadratic forms.

Statement of the theorem

Over a global field K such as Q or a number field like Q(√2), let q and q' be nondegenerate quadratic forms in n variables. The theorem states: q and q' are equivalent over K if and only if for every place v of K (including archimedean places such as R and nonarchimedean completions like Q_p), the base changes q⊗K_v and q'⊗K_v are equivalent over K_v. Equivalently, a quadratic form over K represents zero nontrivially over K if and only if it represents zero over every completion K_v. The statement employs local invariants such as the discriminant, Hasse invariant, and signature at real places, tying to classical objects associated to Gauss, Euler, Legendre, and later contributors like Hilbert and Hasse.

Background and definitions

A quadratic form here means a homogeneous polynomial of degree two in n variables with coefficients in a field K; historically central figures include Minkowski, Hermite, and Dirichlet. The relevant local fields include archimedean completions (R, C) and p-adic fields Q_p for primes p, developed in the work of Hensel and elaborated by Ostrowski. Key invariants are the discriminant modulo squares (connected to the Hilbert symbol) and the Hasse invariant (a product of local Hilbert symbols), both appearing in the contributions of Hilbert's reciprocity ideas and Hasse's local methods. The notion of equivalence uses linear changes of variables by matrices in groups such as GL_n and relates to the orthogonal group studied by Cartan and Weyl in representation contexts. The classification over local fields leverages results by Witt and Springer, while global fields and their adeles connect to the work of Tate and Chevalley.

Proof outline and local-global principle

The proof combines local classification with a reciprocity constraint. One begins by classifying quadratic forms over each completion K_v via signature at archimedean places (drawing on Sylvester and Real analysis) and via invariants over nonarchimedean places using the Hilbert symbol and results by Witt and Hasse. A key step uses the fact that two forms with identical dimension, discriminant in K*/K*2, and matching Hasse invariants at all v must be globally equivalent; this uses the global reciprocity law reminiscent of Artin's reciprocity and arguments from class field theory developed by Neukirch and Tate. The local–global principle here exemplifies the use of adeles and ideles as in Chevalley and Weil: one constructs a global transformation from compatible local transformations using strong approximation and lattice methods inspired by Minkowski and refined by Kneser. Historical proofs by Hasse and later expositions by O'Meara and Cassels streamline this into an algebraic and cohomological framework using Galois cohomology as in the work of Serre.

Examples and applications

Classical examples include isotropy criteria: over Q a ternary quadratic form represents zero nontrivially if and only if it does so over R and over every Q_p; concrete examples connect to sums of squares problems studied by Fermat and Lagrange and modern refinements by Legendre. Applications appear in the arithmetic of quadratic forms and integral representations relevant to Pell's equation, Diophantine approximation studied by Hurwitz and Thue, and coding-theory constructions influenced by Conway and Sloane. The theorem underpins results on classification of quadratic lattices used by Niemeier and in the theory of modular forms associated to theta series developed by Hecke and Shimura. In algebraic topology and algebraic geometry it informs the study of quadratic bundles on schemes arising in Grothendieck's work and in the theory of motives as pursued by Deligne.

Generalizations and related results

Generalizations extend the local–global principle to other structures: the Albert–Brauer–Hasse–Noether theorem classifies central simple algebras via local invariants and links to Brauer group reciprocity, while the Hasse principle for principal homogeneous spaces appears in the work of Mordell, Weil, and Tate–Shafarevich. Theorems of Kneser, Scharlau, and Springer expand local classification for quadratic forms over function fields and higher-dimensional fields, and cohomological approaches by Serre and Milnor recast the theory via Galois cohomology and Milnor K-theory. Counterexamples to naive local–global principles, arising in the arithmetic of curves studied by Selmer and Skorobogatov, highlight limitations and motivate further developments such as the study of Brauer–Manin obstructions by Manin.

Category:Quadratic forms