Tate–Shafarevich group


In arithmetic geometry, the Tate–Shafarevich group , introduced by and, of an abelian variety defined over a number field consists of the elements of the Weil–Châtelet group that become trivial in all of the completions of . Thus, in terms of Galois cohomology, it can be written as
Cassels introduced the notation, where is the Cyrillic letter "Sha", for Shafarevich, replacing the older notation.

Elements of the Tate–Shafarevich group

Geometrically, the non-trivial elements of the Tate–Shafarevich group can be thought of as the homogeneous spaces of that have -rational points for every place of, but no -rational point. Thus, the group measures the extent to which the Hasse principle fails to hold for rational equations with coefficients in the field. gave an example of such a homogeneous space, by showing that the genus 1 curve has solutions over the reals and over all -adic fields, but has no rational points.
gave many more examples, such as.
The special case of the Tate–Shafarevich group for the finite group scheme consisting of points of some given finite order of an abelian variety is closely related to the Selmer group.

Tate-Shafarevich conjecture

The Tate–Shafarevich conjecture states that the Tate–Shafarevich group is finite. proved this for some elliptic curves of rank at most 1 with complex multiplication. extended this to modular elliptic curves over the rationals of analytic rank at most 1.

Cassels–Tate pairing

The Cassels–Tate pairing is a bilinear pairing , where is an abelian variety and is its dual. introduced this for elliptic curves, when can be identified with and the pairing is an alternating form. The kernel of this form is the subgroup of divisible elements, which is trivial if the Tate–Shafarevich conjecture is true. extended the pairing to general abelian varieties, as a variation of Tate duality. A choice of polarization on A gives a map from to, which induces a bilinear pairing on with values in, but unlike the case of elliptic curves this need not be alternating or even skew symmetric.
For an elliptic curve, Cassels showed that the pairing is alternating, and a consequence is that if the order of is finite then it is a square. For more general abelian varieties it was sometimes incorrectly believed for many years that the order of is a square whenever it is finite; this mistake originated in a paper by, who misquoted one of the results of. gave some examples where the order is twice a square, such as the Jacobian of a certain genus 2 curve over the rationals whose Tate–Shafarevich group has order 2, and gave some examples where the power of an odd prime dividing the order is odd. If the abelian variety has a principal polarization then the form on is skew symmetric which implies that the order of is a square or twice a square, and if in addition the principal polarization comes from a rational divisor then the form is alternating and the order of is a square.