Visualizing elements of Sha[3] in genus 2 jacobians
Visualizing elements of Sha[3] in genus 2 jacobians
Mazur proved that any element xi of order three in the Shafarevich-Tate group of an elliptic curve E over a number field k can be made visible in an abelian surface A in the sense that xi lies in the kernel of the natural homomorphism between the cohomology groups H^1(k,E) …