Weil–Châtelet group

Weil–Châtelet group
Name	Weil–Châtelet group
Field	Algebraic number theory
Introduced	André Weil, François Châtelet

Weil–Châtelet group is the group that classifies principal homogeneous spaces of an abelian variety over a field, connecting the theory of André Weil, François Châtelet, Galois cohomology, and arithmetic geometry. It appears in the study of rational points on elliptic curves, Jacobians of curves, and in the formulation of the Birch and Swinnerton-Dyer conjecture, providing a bridge between local-global principles exemplified by Hasse principle and obstructions studied by Tate–Shafarevich group. The structure of the Weil–Châtelet group interacts with the theories developed by Jean-Pierre Serre, John Tate, Alexander Grothendieck, and Gérard Laumon.

Definition and basic properties

For an abelian variety A defined over a field K, the Weil–Châtelet group is defined using the language of André Weil's work on Abelian varietys and Jacobian varietys; it classifies isomorphism classes of principal homogeneous spaces under A over K. Basic properties include functoriality for morphisms of abelian varieties studied by Mordell–Weil theorem-related work of Louis Mordell, finiteness results in special cases connected to Faltings's theorem and connections to Tate conjecture frameworks advanced by John Tate. Over global fields like Number fields or function fields of curves over finite fields, local-global principles and duality theorems of Tate duality constrain its behaviour, while counterexamples draw on constructions related to Hasse principle failures noted by Yuri Manin.

Relation to Galois cohomology

The Weil–Châtelet group identifies with the first Galois cohomology group H^1(Gal(\overline{K}/K), A(\overline{K})), linking to foundational cohomological frameworks of Emil Artin, Emmy Noether, and Henri Cartan. This identification uses techniques from Galois theory as refined by Évariste Galois's legacy and categorical methods introduced by Alexander Grothendieck. Cohomological descriptions enable comparison with higher cohomology groups relevant to the work of Jean-Louis Verdier and duality theorems of John Tate and Grothendieck. For local fields such as p-adic number fields studied by Kurt Hensel and global fields studied by David Hilbert, local cohomology classes map into the Weil–Châtelet group, and reciprocity laws related to Artin reciprocity inform the arithmetic of these classes.

Principal homogeneous spaces and torsors

Principal homogeneous spaces for A are torsors in the sense developed by Alexander Grothendieck and formalized in modern algebraic geometry. Torsors appear in the moduli problems studied by David Mumford and in descent theory pursued by Jean-Pierre Serre and Serre. The classification of torsors under A over K is equivalent to elements of the Weil–Châtelet group, and explicit torsor constructions utilize techniques from the theory of covering spaces as adapted to arithmetic by Harish-Chandra-style harmonic analysis in automorphic contexts sketched by Robert Langlands. Torsors also play roles in obstruction theories advanced by Yu. I. Manin and duality pairings with Brauer group elements linked to Richard Brauer's legacy.

Arithmetic significance and applications

Arithmetic applications include the study of rational points on elliptic curves via the descent method associated with Selmer groups and the Shafarevich–Tate group (often denoted Sha) whose finiteness is central to the Birch and Swinnerton-Dyer conjecture proposed by Bryan Birch and Peter Swinnerton-Dyer. The Weil–Châtelet group appears in the formulation of Cassels' pairing studied by John W. S. Cassels and in the analysis of the Mordell–Weil group of rational points on abelian varieties over Number fields proven finitely generated by Louis Mordell and extended by André Weil and Gerd Faltings. In diophantine problems exemplified by Fermat's Last Theorem and modularity results by Andrew Wiles, torsors and their cohomology classes inform obstructions and visibility phenomena investigated by Barry Mazur.

Examples and computations

Concrete computations occur for elliptic curves over Q and quadratic fields following computational frameworks developed by John Cremona, Noam Elkies, and Christophe Breuil in the context of modularity and explicitly by Nils Bruin and Michael Stoll. For constant abelian varieties over function fields of curves over Finite fields, methods of Alexander Grothendieck and Pierre Deligne allow explicit H^1 calculations, while work of Manjul Bhargava and Arul Shankar explores distributional aspects of elements related to the Weil–Châtelet group in families. Local examples over p-adic number fields investigated by Jean-Pierre Serre and John Tate provide explicit descriptions of extension classes and ramification behaviour, and computational packages created by William Stein and John Cremona implement algorithms for Selmer and Weil–Châtelet computations.

Generalizations and related constructions

Generalizations include noncommutative torsors under algebraic groups as in the theories of Claude Chevalley and Armand Borel, flat cohomology frameworks introduced by Alexander Grothendieck, and higher cohomological analogues in the context of Motivic cohomology developed by Vladimir Voevodsky and Spencer Bloch. Relations to the Brauer group and the obstruction theory of Manin obstruction link to work by Yu. I. Manin and Tate–Poitou duality of John Tate and Georges Poitou. In automorphic and Langlands program contexts, torsors and cohomological classes intersect with the study of L-functions and trace formulas advanced by James Arthur and Robert Langlands, and with derived and spectral approaches pursued by Jacob Lurie.

Category:Algebraic number theory