Open image computations for elliptic curves over number fields

Abstract

For a non-CM elliptic curve $E$ defined over a number field $K$, the Galois action on its torsion points gives rise to a Galois representation $\ddot{I}{}_E:Gal(\overline{K}/K)\to G{L}_2(\hat{\mathbb{Z}})$ that is unique up to isomorphism. A renowned theorem of Serre says that the image of $\ddot{I}{}_E$ is an open, and hence finite index, subgroup of $G{L}_2(\hat{\mathbb{Z}})$. In an earlier work of the author, an algorithm was given, and implemented, that computed the image of $\ddot{I}{}_E$ up to conjugacy in $G{L}_2(\hat{\mathbb{Z}})$ in the special case $K=\mathbb{Q}$. A fundamental ingredient of this earlier work was the Kronecker-Weber theorem whose conclusion fails for number fields $K\ne \mathbb{Q}$. We shall give an overview of an analogous algorithm for a general number field and work out the required group theory. We also give some bounds on the index in Serre's theorem for a typical elliptic curve over a fixed number field.

To appear in the conference proceedings of the Sixteenth Algorithmic Number Theory Symposium (ANTS XVI)