Hasse principle

Hasse principle
Name	Hasse principle
Field	Number theory
Introduced by	Helmut Hasse
Introduced in	1930s

Hasse principle The Hasse principle is a local–global principle in number theory asserting that for certain Diophantine equations the existence of solutions over all completions of a global field implies the existence of a rational solution over the global field itself. It connects arithmetic properties across German mathematicians’ developments in the 20th century tied to work in Italian and French schools and has driven research involving Helmut Hasse, Henri Poincaré, Emmy Noether, John Tate, and Jean-Pierre Serre.

Definition and Statement

The Hasse principle states that for a given variety or form defined over a global field such as Q or a number field, if the variety has a point over every completion (e.g., over R and all Q_p for primes p), then it has a rational point over the global field. Precise formulations appear for quadratic forms by Adolf Hurwitz, Carl Friedrich Gauss-era results, and for algebraic curves, following frameworks by Helmut Hasse, Ernst Witt, Richard Dedekind, and later generalizations by Alexander Grothendieck and Jean-Louis Loday. Variants include weak approximation and strong approximation phenomena explored by Michael Atiyah-related circles and by Armand Borel and Harish-Chandra in arithmetic groups.

Historical Background and Development

Origins lie in investigations of quadratic forms with antecedents in Carl Friedrich Gauss's work on binary quadratic forms and reciprocity laws formalized by Ernst Kummer and Richard Dedekind. Helmut Hasse formulated local-global principles in the 1920s–1930s building on the Hasse–Minkowski theorem and correspondences with Hermann Minkowski and Emmy Noether. Subsequent developments involved the articulation of obstructions by John Tate and Manin — notably the Brauer group and Manin obstruction introduced by Yuri Manin and studied by Jean-Pierre Serre and André Weil. The mid-20th century saw extensions by Serge Lang, Armand Borel, Serge Langlands, and Alexander Grothendieck through cohomological methods and the étale cohomology apparatus of Grothendieck underpinning modern formulations.

Examples and Counterexamples

Classic positive cases include quadratic forms covered by the Hasse–Minkowski theorem where local solubility over R and all Q_p implies a global rational solution; this connects to results of Hermann Minkowski and Adolf Hurwitz. For conics and genus zero curves, the Hasse principle holds, linking to work by Ferdinand von Lindemann-era algebraic geometry and Alexander Grothendieck's descent theory. Counterexamples include certain cubic curves and higher genus curves first exhibited by Selmer, Erich Hecke-related developments, and explicit failures constructed by Birch and Swinnerton-Dyer-adjacent research and by Yuri Manin using the Brauer–Manin obstruction. Famous pathological examples arise from principal homogeneous spaces under algebraic groups investigated by Vladimir Voevodsky-era cohomology, and from diagonal cubic surfaces studied by Erich Kummer-lineage researchers and J. W. S. Cassels.

Local-Global Techniques and Obstructions

Techniques employ completions such as R and Q_p with tools from class field theory developed by Emil Artin and John Tate and cohomological machinery introduced by Alexander Grothendieck and Jean-Pierre Serre. The primary obstruction to the Hasse principle is the Brauer–Manin obstruction formulated by Yuri Manin using the Brauer group; further refinements include descent obstructions inspired by André Weil and Shafarevich and torsors under algebraic groups studied by Mordell-associated traditions and Serre's Galois cohomology. Methods from the Langlands program and automorphic forms related to Robert Langlands and Harish-Chandra provide analytic approaches, while local calculations use Hensel-type lemmas, Weil conjectures-era insights, and explicit reciprocity laws linked to Emil Artin and Richard Dedekind.

Applications in Number Theory and Algebraic Geometry

The Hasse principle informs rational point questions on varieties central to conjectures of Birch and Swinnerton-Dyer, to investigations of elliptic curves by André Weil, Louis Mordell, and modern work by Andrew Wiles, Richard Taylor, and B. Mazur. It underlies classification results for quadratic forms in Hermann Minkowski's geometry of numbers and has consequences for the arithmetic of algebraic groups studied by Armand Borel, Jean-Pierre Serre, and Mikhail Kapranov. Applications extend to explicit diophantine equations solved by techniques from Mordell and Thue and to obstructions used in research by Grigori Perelman-adjacent fields and by researchers investigating rational points on K3 surfaces and higher-dimensional varieties including work by Faltings and Gerd Faltings.

Proofs and Key Theorems Involving the Hasse Principle

The Hasse–Minkowski theorem provides a definitive proof for quadratic forms using adelic methods advanced by Claude Chevalley and John Tate; proofs combine local analysis at Q_p and global class field theory attributable to Emil Artin and Helmut Hasse. The Brauer–Manin obstruction theorem of Yuri Manin uses the Brauer group of a variety and duality theorems due to John Tate and Serre to explain failures. Further theorems connecting the Hasse principle to the Tate–Shafarevich group appear in work by Serge Lang and John Tate in the context of elliptic curves, and modern advances employ étale cohomology and duality theorems pioneered by Alexander Grothendieck and Jean-Pierre Serre to generalize and refine local–global criteria.

Category:Number theory