Genus two curves with full $\sqrt{3}$-level structure and Tate-Shafarevich groups

Abstract

We give an explicit rational parameterization of the surface ${\mathcal{H}}_3$ over $\mathbb{Q}$ whose points parameterize genus 2 curves~$C$ with full $\sqrt{3}$-level structure on their Jacobian $J$. We use this model to construct abelian surfaces $A$ with the property that $\mathrm{Sha}(A_d)[3]\ne 0$ for a positive proportion of quadratic twists $A_d$. In fact, for $100\%$ of $x\in {\mathcal{H}}_3(\mathbb{Q})$, this holds for the surface $A=\mathrm{Jac}(C_x)/⟨P⟩$, where $P$ is the marked point of order $3$. Our methods also give an explicit bound on the average rank of $J_d(\mathbb{Q})$, as well as statistical results on the size of $\#C_d(\mathbb{Q})$, as $d$ varies through squarefree integers.

arXiv comment25 pages, small updates to presentation

References in corpus (10)

• The arithmetic of genus two curves with (4,4)-split Jacobians
• K3 surfaces and equations for Hilbert modular surfaces
• Descent via (3,3)-isogeny on Jacobians of genus 2 curves
• Abelian surfaces of GL2-type as Jacobians of curves
• On the anticyclotomic Iwasawa theory of rational elliptic curves at Eisenstein primes
• Canonical Heights on Genus Two Jacobians
• Three-isogeny Selmer groups and ranks of abelian varieties in quadratic twist families over a number field
• An effective Chabauty-Kim theorem
• Elements of given order in Tate-Shafarevich groups of abelian varieties in quadratic twist families
• Arithmetic aspects of the Burkhardt quartic threefold