55eb5efbe01e7768.tex
1: \begin{abstract} Given a genus two curve 
2: $X: y^2 = x^5 + a x^3 + b x^2 + c x + d$,
3: we give an explicit parametrization of
4: all other such 
5: curves $Y$
6: with
7: a specified symplectic isomorphism on three-torsion of Jacobians~$\mbox{Jac}(X)[3] \cong \mbox{Jac}(Y)[3]$. 
8: It is known that under certain conditions
9: modularity of $X$ implies modularity 
10: of infinitely many of the $Y$, and we explain how our
11:  formulas render this transfer of modularity
12: explicit.  Our method centers on 
13: the invariant theory of the complex reflection
14: group $C_3 \times \Sp_4(\F_3)$.
15: We discuss other examples where complex reflection groups
16: are related to moduli spaces of curves, and in particular
17: motivate our main computation with an exposition of the simpler
18: case of the group~$\Sp_2(\F_3) = \SL_2(\F_3)$ and~$3$-torsion
19: on elliptic curves.
20: \end{abstract}
21: