Covering collections and a challenge problem of Serre
We give an infinite family of curves of genus 2 whose Jacobians have non-trivial members of the Tate-Shafarevich group for descent via Richelot isogeny. We prove this by performing a descent via Richelot isogeny and a complete 2-descent on the isogenous Jacobian. We also give an explicit model of an associated family of surfaces which violate the Hasse principle.
We give a parametrization of curves C of genus 2 with a maximal isotropic (ℤ/3)² in J[3], where J is the Jacobian variety of C, and develop the theory required to perform descent via (3,3)-isogeny. We apply this to several examples, where it is shown that non-reducible Jacobians have non-trivial 3-part of the Tate-Shafarevich group.
Page 1