Tate–Shafarevich group

Tate–Shafarevich group.

The Tate–Shafarevich group is an arithmetic invariant attached to an abelian variety over a global field that measures the failure of local-to-global principles, and it plays a central role in conjectures of Mordell, Birch, and Swinnerton-Dyer connecting rational points to analytic data. Named after John Tate and Igor Shafarevich, the object appears in the study of elliptic curves, Jacobians of curves, and higher-dimensional abelian varieties, linking ideas from Galois cohomology, Selmer groups, and L-functions.

Definition and basic properties

For an abelian variety A over a global field K (such as a number field or a function field over a finite field), the Tate–Shafarevich group is defined as a subgroup of the Galois cohomology group H^1(K,A) consisting of classes that are locally trivial at every place of K, measured against the completions associated to primes and places like those studied in Chebotarev, Artin reciprocity, and Weil conjectures contexts. It sits in exact sequences involving the Mordell–Weil group, the Selmer group, and local cohomology groups that echo structures appearing in work of Cassels, Tate, Shafarevich, and Serre. The Tate–Shafarevich group is conjecturally finite for many settings considered by Birch and Swinnerton-Dyer, and admits pairings and dualities related to Tate duality and the Cassels–Tate pairing studied by Weil and Shimura.

Relation to Galois cohomology and principal homogeneous spaces

Classes in H^1(K,A) correspond to isomorphism classes of principal homogeneous spaces (or torsors) under A, an identification used throughout arithmetic geometry by researchers such as Grothendieck, Colliot-Thélène, and Conrad. The Tate–Shafarevich group consists of those torsors that are trivial over every completion K_v, tying the object to local fields like Q_p and the archimedean completions studied in work by Ostrowski and Poincaré. This viewpoint places the Tate–Shafarevich group at the intersection of techniques developed by Serre, Grothendieck, Milnor, and Merkurjev in cohomological methods, and connects to obstructions studied by Hellegouarch and Kolyvagin in constructing explicit nontrivial torsors.

Finite-ness conjecture and arithmetic significance

The conjectured finiteness of the Tate–Shafarevich group for abelian varieties over number fields is a cornerstone of modern arithmetic conjectures, intimately related to the BSD conjecture proposed by Birch and Swinnerton-Dyer, and to the finiteness results in class field theory stemming from Artin and Hasse. Proving finiteness has implications for ranks of Mordell–Weil groups studied by Mordell, Faltings, and Wiles, affecting Diophantine problems investigated by Manin, Grothendieck, and Faltings. The size and structure of Tate–Shafarevich groups appear in leading-term formulas for L-functions and regulators used by Deligne, Bloch, and Kato, and influence the formulation of refined conjectures like the Bloch–Kato conjecture developed by Bloch and Kato.

Examples and known results

Explicit computations of Tate–Shafarevich groups are known in many special cases: for certain elliptic curves over Q using Heegner point methods of Birch, Gross–Zagier, and the Euler system approach of Kolyvagin, and for Jacobians of modular curves via modularity results of Wiles, Taylor, and Breuil–Conrad–Diamond–Taylor. Results by Coates, Conrad, Rubin, and Mazur give finiteness statements for Tate–Shafarevich groups in contexts with nonvanishing L-values and Euler systems related to Iwasawa theory and Hida, while counterexamples to naive local-global principles were constructed by Manin and studied in families by Skorobogatov using descent and the Brauer–Manin obstruction introduced by Manin and developed by Colliot-Thélène and Swinnerton-Dyer.

Methods of study: descent, duality, and L-functions

Techniques to study the Tate–Shafarevich group include various descent procedures pioneered by Weil, Cassels, and Selmer, cohomological duality theories of Tate, Neukirch, and Milne, and analytic approaches via L-functions and modularity results proved by Wiles, Taylor, and Breuil. Euler systems built by Kolyvagin and Rubin link special values of L-functions to the structure and finiteness of Tate–Shafarevich groups, while the Cassels–Tate pairing supplies bilinear forms analogous to pairings in Poitou–Tate and Pontryagin duality as used by Tate and Poitou. Recent progress uses techniques from Arakelov, p-adic Hodge theory, and automorphic forms building on work by Faltings, Fontaine, Kisin, and Scholze to attack finiteness and structure questions.

Category:Algebraic number theory