The Cassels-Tate pairing on polarized abelian varieties

Abstract

Let (A,λ) be a principally polarized abelian variety defined over a global field k, and let \Sha(A) be its Shafarevich-Tate group. Let \Sha(A)_\nd denote the quotient of \Sha(A) by its maximal divisible subgroup. Cassels and Tate constructed a nondegenerate pairing \Sha(A)_\nd \times \Sha(A)_\nd \rightarrow \Q/\Z. If A is an elliptic curve, then by a result of Cassels the pairing is alternating. But in general it is only antisymmetric. Using some new but equivalent definitions of the pairing, we derive general criteria deciding whether it is alternating and whether there exists some alternating nondegenerate pairing on \Sha(A)_\nd. These criteria are expressed in terms of an element c \in \Sha(A)_\nd that is canonically associated to the polarization λ. In the case that A is the Jacobian of some curve, a down-to-earth version of the result allows us to determine effectively whether \#\Sha(A) (if finite) is a square or twice a square. We then apply this to prove that a positive proportion (in some precise sense) of all hyperelliptic curves of even genus g \ge 2 over \Q have a Jacobian with nonsquare \#\Sha (if finite). For example, it appears that this density is about 13% for curves of genus 2. The proof makes use of a general result relating global and local densities; this result can be applied in other situations.

41 pages, published version

References in corpus (1)

• On Atkin-Lehner quotients of Shimura curves

Cited by in corpus (60)

• Two-cover descent on hyperelliptic curves
• On the Birch-Swinnerton-Dyer quotients modulo squares
• Random maximal isotropic subspaces and Selmer groups
• The geometric sieve and the density of squarefree values of invariant polynomials
• Algebraic families of nonzero elements of Shafarevich-Tate groups
• Descent via (3,3)-isogeny on Jacobians of genus 2 curves
• Failures of weak approximation in families
• Arithmetic of hyperelliptic curves over local fields
• Self cup products and the theta characteristic torsor
• A positive proportion of plane cubics fail the Hasse principle
• Galois sections for abelianized fundamental groups
• Generalized explicit descent and its application to curves of genus 3
• Hasse principle for generalised Kummer varieties
• Brauer groups and Tate-Shafarevich groups
• Governing fields and statistics for 4-Selmer groups and 8-class groups
• On Brauer groups of double covers of ruled surfaces
• The Smith Normal Form Distribution of a Random Integer Matrix
• The period-index problem in WC-groups II: abelian varieties
• Quadratic twists of abelian varieties and disparity in Selmer ranks
• Two torsion in the Brauer group of a hyperelliptic curve
• The yoga of the Cassels-Tate pairing
• The 2-parity conjecture for elliptic curves with isomorphic 2-torsion
• The Density of Shifted and Affine Eisenstein Polynomials
• Rational points and derived equivalence
• Second descent and rational points on Kummer varieties
• Special Values of the Zeta Function of an Arithmetic Surface
• Local points on P-adically uniformized Shimura varieties
• A local to global principle for densities over function fields
• Etale Steenrod operations and the Artin-Tate pairing
• Numerical verification of the Birch and Swinnerton-Dyer conjecture for hyperelliptic curves of higher genus over $\mathbb{Q}$ up to squares
• On the Brauer-Manin obstruction for zero-cycles on curves
• A threefold violating a local-to-global principle for rationality
• Local-global principles for Weil-Châtelet divisibility in positive characteristic
• Weil-Châtelet divisible elements in Tate-Shafarevich groups II: On a question of Cassels
• On the proportion of locally soluble superelliptic curves
• Weil-Châtelet divisible elements in Tate-Shafarevich groups I: The Bashmakov problem for elliptic curves over Q
• Tate-Shafarevich groups and K3 surfaces
• Shafarevich-Tate groups of abelian varieties
• Points of bounded height in images of morphisms of weighted projective stacks with applications to counting elliptic curves
• $2^{\infty }$-Selmer Rank Parities via the Prym Construction
• On the density of abelian surfaces with Tate- Shafarevich group of order five times a square
• On the distribution of equivalence classes of random symmetric p-adic matrices
• Index reduction for Brauer classes via stable sheaves (with an appendix by Bhargav Bhatt)
• Computing the Cassels-Tate Pairing for Genus Two Jacobians with Rational Two Torsion Points
• Computing the Cassels-Tate Pairing in the Case of a Richelot Isogeny
• On the indices of curves over local fields
• Period-index problems in WC-groups IV: a local transition theorem
• Arithmetic duality theorems for 1-motives over function fields
• Random polynomials having few or no real zeros
• The Birch and Swinnerton-Dyer conjecture for an elliptic curve over $\mathbb{Q}(\sqrt[4]{5})$
• An Alternating Property for Higher Brauer Groups
• Explicit arithmetic intersection theory and computation of Néron-Tate heights
• On the vanishing of almost all primary components of the Shafarevich-Tate group of elliptic curves over the rationals
• How to calculate the proportion of everywhere locally soluble diagonal hypersurfaces
• A transcendental Brauer-Manin obstruction to weak approximation on a Calabi-Yau threefold
• The Cassels-Tate pairing for finite Galois modules
• The $\ell$-parity conjecture over the constant quadratic extension
• Equidistribution of rational points and the geometric sieve for toric varieties
• Finiteness of the Tate-Shafarevich Groups for Elliptic Curves over the Field of Rational Numbers
• Dynamics of quadratic polynomials and rational points on a curve of genus $4$