Boundedness results for 2-adic Galois images associated to hyperelliptic Jacobians

Abstract

Let $K$ be a number field, and let $C$ be a hyperelliptic curve over $K$ with Jacobian $J$. Suppose that $C$ is defined by an equation of the form $y^{2} = f(x)(x - λ)$ for some irreducible monic polynomial $f \in \mathcal{O}_{K}[x]$ of discriminant $Δ$ and some element $λ\in \mathcal{O}_{K}$. Our first main result says that if there is a prime $\mathfrak{p}$ of $K$ dividing $(f(λ))$ but not $(2Δ)$, then the image of the natural $2$-adic Galois representation is open in $\mathrm{GSp}(T_{2}(J))$ and contains a certain congruence subgroup of $\mathrm{Sp}(T_{2}(J))$ depending on the maximal power of $\mathfrak{p}$ dividing $(f(λ))$. We also present and prove a variant of this result that applies when $C$ is defined by an equation of the form $y^{2} = f(x)(x - λ)(x - λ')$ for distinct elements $λ, λ' \in K$. We then show that the hypothesis in the former statement holds for almost all $λ\in \mathcal{O}_{K}$ and prove a quantitative form of a uniform boundedness result of Cadoret and Tamagawa.