The Cassels-Tate pairing on polarized abelian varieties

• 成果类型: Article
• 署名作者: Poonen, B; Stoll, M
• 刊物名称: ANNALS OF MATHEMATICS
• ISSN/ISSBN: 0003-486X
• DOI: 10.2307/121064
• 发表日期: 1999
• 页码: 1109-1149
• 关键词: poincare-series; rationality; CURVES

摘要

Let (A, lambda) be a principally polarized abelian variety defined over a global field k, and let TCC(A) be its Shafarevich-Tate group. Let III(A)(nd) denote the quotient of III(A) by its maximal divisible subgroup. Cassels and Tate constructed a nondegenerate pairing III(A)(nd) x III(A)(nd) --> 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 III(A)(nd). These criteria are expressed in terms of an element c is an element of III(A)(nd) that is canonically associated to the polarization lambda. 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 #III(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 greater than or equal to 2 over Q have a Jacobian with nonsquare #III (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.