show · g2c.has_square_sha all knowls · up · search:

The Tate-Shafarevic group Ш of an abelian variety $A$ over a number field is a torsion group that classifies the principal homogenous spaces of $A$ and can be defined in terms of Galois cohomology; it is conjectured to be finite.

When $A$ is the Jacobian of a curve then the order of Ш is either a square, or twice a square (assuming it is finite); this is a theorem of Poonen and Stoll. For elliptic curves, only the square case can occur, but for Jacobians of genus 2 curves, both cases are known to occur.

Knowl status:
  • Review status: reviewed
  • Last edited by John Cremona on 2018-05-23 16:56:15
Referred to by:
History: (expand/hide all)