Paper detail

P-torsion monodromy representations of elliptic curves over geometric function fields

Given a complex quasiprojective curve $B$ and a non-isotrivial family $\mathcal{E}$ of elliptic curves over $B$, the $p$-torsion $\mathcal{E}[p]$ yields a monodromy representation $ρ_\mathcal{E}[p]:π_1(B)\rightarrow \mathrm{GL}_2(\mathbb{F}_p)$. We prove that if $ρ_{\mathcal E}[p]\cong ρ_{\mathcal E'}[p]$ then $\mathcal{E}$ and $\mathcal E'$ are isogenous, provided $p$ is larger than a constant depending only on the gonality of $B$. This can be viewed as a function field analog of the Frey--Mazur conjecture, which states that an elliptic curve over $\mathbb{Q}$ is determined up to isogeny by its $p$-torsion Galois representation for $p> 17$. The proof relies on hyperbolic geometry and is therefore only applicable in characteristic 0.