Selmer groups

Selmer groups
Name	Selmer groups
Field	Algebraic number theory, Arithmetic geometry
Introduced	20th century
Founders	Ernst S. Selmer

Selmer groups

Selmer groups are arithmetic invariants associated to elliptic curves, Abelian varietys, and Galois representations that measure obstruction to local-global principles. Originating in work on the Diophantine equation and Mordell–Weil theorem, they link the study of rational points on arithmetic varieties with the arithmetic of Galois groups, Tate–Shafarevich group, and L-functions. Their structure is central to modern developments around the Birch and Swinnerton-Dyer conjecture, Iwasawa theory, and explicit descent methods.

Definition and historical background

The concept stems from investigations by Ernst S. Selmer into the solvability of cubic Diophantine equations and was formalized in the mid-20th century as a tool for descent on elliptic curves. Early interactions with work of André Weil, John Tate, and Goro Shimura led to the modern cohomological formulation using Galois cohomology and local duality theorems such as those of Tate. Subsequent advances tied Selmer groups to conjectures by Bryan Birch and Peter Swinnerton-Dyer, to the theory of modular forms via the Modularity theorem, and to noncommutative settings explored by Kenkichi Iwasawa and Barry Mazur.

Construction for Abelian varieties and Galois modules

For an Abelian variety A over a number field K and a prime p (or finite Galois module M), the p-Selmer group is defined as a subgroup of the Galois cohomology group H^1(K, A[p^n]) cut out by local conditions at each completion K_v. One constructs the global restriction map from H^1(K, A[p^n]) to the product of H^1(K_v, A)[p^n] over all places v of K, invoking local objects studied by Jean-Pierre Serre and John Tate; the Selmer group is the inverse image of the direct product of images of the local Kummer maps coming from A(K_v)⊗Z/p^nZ. This formalism generalizes to p-adic Galois representations arising from Tate modules and motives studied in the context of Grothendieck’s visions and Deligne’s work on Hodge structures.

Properties and group-theoretic structure

Selmer groups are finitely generated Z_p-modules under hypotheses provided by Mazur and Ralph Greenberg, and their corank relates to the rank of A(K) by the weak Mordell-Weil inequality. Exact sequences involving the Selmer group, the Mordell–Weil group, and the Tate–Shafarevich group reveal deep relations; local duality and Poitou–Tate sequence techniques due to Tate and Jean-Louis Poitou govern these structures. For elliptic curves over Q, control theorems by Mazur connect Selmer groups across towers controlled by cyclotomic extensions and Iwasawa algebras attributed to Kenkichi Iwasawa.

Selmer groups in Iwasawa theory and arithmetic applications

In Iwasawa theory, Selmer groups vary in p-adic analytic families over towers like the cyclotomic Z_p-extension and are modules over Iwasawa algebras studied by Mazur, Greenberg, and Ralph Greenberg. Main conjectures of Iwasawa theory relate characteristic ideals of these Iwasawa modules to p-adic L-functions constructed by Kubota–Leopoldt, Kato, and Karl Rubin. Arithmetic applications include proofs and evidence for cases of the Birch and Swinnerton-Dyer conjecture for modular elliptic curves via work of B. Mazur, Andrew Wiles, Richard Taylor, Christophe Breuil, and Fred Diamond, and explicit visibility results connecting Selmer elements to rational points studied by Barry Mazur and William Stein.

Computation and examples

Explicit computation of Selmer groups for elliptic curves over Q and number fields uses descent algorithms originally developed in the tradition of Selmer and expanded by computational systems like SageMath, Magma, and PARI/GP. Typical examples include 2-Selmer and 3-Selmer computations for classical curves such as those in tables of Antwerp IV and databases compiled by John Cremona. Techniques combine local solubility at primes studied by Hasse and the Hasse principle with global cohomological tests derived from Cassels and Manin.

Conjectures and open problems

Central open problems center on the exact relation between Selmer groups and analytic invariants: the full Birch and Swinnerton-Dyer conjecture predicts the size of the Selmer-related objects in terms of leading Taylor coefficients of L-functions, while Iwasawa main conjectures predict precise module-theoretic descriptions in towers studied by Kato and Karl Rubin. Questions remain about fine structure over nonabelian extensions pursued by Coates, Fukaya–Kato, and John Coates, and about statistical behavior of Selmer ranks across families of curves examined by Bhargava, Kane, and Manjul Bhargava. Progress on these conjectures often leverages techniques from the theory of automorphic forms, Langlands program, and advances in computational arithmetic geometry driven by research groups at institutions like Princeton University, Harvard University, and University of Cambridge.

Category:Algebraic number theory