Manin obstruction
Generated by GPT-5-miniExpansion Funnel Raw 20 → Dedup 0 → NER 0 → Enqueued 0
| Manin obstruction | |
|---|---|
| Name | Manin obstruction |
| Field | Number theory; Algebraic geometry |
| Introduced | 1970s |
| Notable people | Yuri Manin; Jean-Pierre Serre; Alexandre Grothendieck; Jean-Louis Colliot-Thélène; Sir Peter Swinnerton-Dyer; Jean-Louis Lutz |
Manin obstruction is a phenomenon in arithmetic geometry that explains failures of the Hasse principle for rational points on algebraic varieties by means of cohomological obstructions coming from the Brauer group. Originating in the study of rational points on curves and surfaces, it connects work of Yuri Manin with later developments by Alexandre Grothendieck, Jean-Pierre Serre, John Tate, and contemporaries at institutions such as the Moscow State University, Collège de France, and Harvard University. The obstruction has played a central role in research at centers including the Institut des Hautes Études Scientifiques, University of Cambridge, and Princeton University.
Definition and historical background
The notion grew out of examples studied by Yuri Manin and contemporaries like Jean-Pierre Serre and John Tate, drawing on foundational ideas credited to Alexander Grothendieck and Grothendieck collaborators at the École Normale Supérieure. Early motivation came from classical counterexamples to the Hasse principle such as the work of Ernst Selmer and Louis Mordell on cubic curves, and from the study of diophantine equations investigated by André Weil. The definition uses the Brauer group of a variety introduced by Grothendieck and earlier incarnations in class field theory studied by Emil Artin and Helmut Hasse. Subsequent developments involved contributions from Jean-Louis Colliot-Thélène, Jean-Pierre Serre, Sir Peter Swinnerton-Dyer, and Bjorn Poonen, with computational techniques advanced at institutions like Université Paris-Sud and Rutgers University.
Historically, the concept refined local-to-global principles that were central in the work of Helmut Hasse and Richard Brauer, linking arithmetic on varieties examined by Faltings and Mordell to cohomological methods of John Tate and Serre at the Institute for Advanced Study. The Manin obstruction integrates ideas from class field theory, such as those codified by Claude Chevalley and Emil Artin, with modern tools developed in the Grothendieck school including Étale cohomology and duality theorems by Alexander Grothendieck and Pierre Deligne.
Brauer–Manin pairing
The central object is the Brauer–Manin pairing, introduced by Yuri Manin building on the Brauer group studied by Richard Brauer and algebraic techniques promoted by Grothendieck and Jean-Pierre Serre. For a proper variety X over a number field K, the pairing links adelic points studied in the context of André Weil’s adelic framework and the Brauer group elements arising from Azumaya algebras and central simple algebras classified by Richard Brauer. The construction relies on local invariants from class field theory as developed by Helmut Hasse and John Tate, and on duality results that echo work of Alexander Grothendieck, Serre, and Jean-Pierre Serre’s Tate duality.
The pairing is frequently analyzed using tools from the study of elliptic curves by Sir Peter Swinnerton-Dyer and John Tate, and in the surface context using methods from Enrico Bombieri and David Mumford. Applications often reference results about K3 surfaces investigated at Max Planck Institute for Mathematics and rational surfaces analyzed by Iskovskikh and Manin.
Examples and applications
Classic examples include norm form varieties related to Emmy Noether and Richard Dedekind’s work on field extensions, diagonal cubic surfaces studied by Louis Mordell and Ernst Selmer, and bielliptic surfaces connected to the investigations of André Weil. Concrete counterexamples to the Hasse principle constructed by Colliot-Thélène, Sansuc, and Swinnerton-Dyer illustrate the obstruction’s explanatory power; these examples extend earlier phenomena observed by Selmer and Cassels in the theory of elliptic curves. In arithmetic of elliptic curves, the obstruction interacts with the Tate–Shafarevich group studied by John Tate and Vladimir Drinfeld, while for K3 surfaces it complements work by Jean-Marc Fontaine and Barry Mazur.
Applications reach to rational points on curves and surfaces considered by Gerd Faltings in his proof of Mordell’s conjecture and to diophantine geometry investigated by Serge Lang. Computational examples have been produced by teams at University of Warwick and Brown University, and by projects associated with the Simons Foundation and National Science Foundation.
Computation and techniques
Computational methods exploit cohomological machinery developed by Jean-Pierre Serre and Alexander Grothendieck, including Étale cohomology and the Leray spectral sequence used by Pierre Deligne and Jean-Louis Verdier. Explicit descent techniques pioneered by Bryan Birch and Peter Swinnerton-Dyer, and algorithms for computing Brauer groups due to Colliot-Thélène, Sansuc, and Skorobogatov are standard. Modern computational algebra systems developed at institutions like Massachusetts Institute of Technology and University of California, Berkeley assist in explicit evaluation of local invariants, while work by Bjorn Poonen uses probabilistic methods originating from Paul Erdős and Andrew Granville.
Arithmetic duality theorems of John Tate and Joseph Oesterlé support rigorous computation, and interactions with p-adic Hodge theory studied by Jean-Marc Fontaine and Gerd Faltings yield refinements. Software implementations leverage techniques from computational number theory advanced by Henri Cohen and John Cremona.
Variants and generalizations
Generalizations include higher reciprocity obstructions influenced by work of Kazuya Kato and Spencer Bloch, non-abelian obstructions inspired by Grothendieck’s anabelian geometry and research by Shinichi Mochizuki, and étale-Brauer obstructions that extend Colliot-Thélène and Sansuc’s framework. Relations to motivic cohomology studied by Voevodsky and Vladimir Voevodsky and to Arakelov theory developed by Paul Vojta and Serge Lang appear in contemporary literature. Analogues in function fields connect to the work of David Goss and Michael Artin, while links to geometric class field theory echo contributions by Alexander Beilinson and Vladimir Drinfeld.
Open problems and research directions
Active research directions include whether the Brauer–Manin obstruction is the only obstruction for rational points on rationally connected varieties as conjectured by Colliot-Thélène and Sansuc, questions about effectivity and decidability influenced by Matiyasevich’s theorem and Hilbert’s tenth problem, and the study of non-abelian analogues pursued in anabelian geometry by Mochizuki. Further investigation ties to the Birch and Swinnerton-Dyer conjecture on ranks of elliptic curves and to the arithmetic of K3 surfaces examined by Jean-Louis Colliot-Thélène and Alexei Skorobogatov. Ongoing computational projects at University of Cambridge and ETH Zurich aim to produce new explicit counterexamples and to refine algorithms from Henri Cohen and John Cremona.