9259de7c90598aeb.tex
1: \begin{abstract}
2: Thanks to work of Rouse, Sutherland, and Zureick-Brown, it is known exactly
3:   which subgroups of~$\GL_2(\Z_3)$ can occur as the image of the $3$-adic
4:   Galois representation attached to a non-CM elliptic curve over~$\Q$, with
5:   a single exception: the normaliser of the non-split Cartan subgroup of
6:   level~$27$. In this paper, we complete the classification of $3$-adic
7:   Galois images by showing that the normaliser of the non-split Cartan subgroup of level~$27$ cannot occur as a $3$-adic Galois image of a non-CM elliptic curve.
8: 
9: Our proof proceeds via computing the $\Q(\zeta_3)$-rational points on a
10:   certain smooth plane quartic curve $X'_H$ (arising as a quotient of the
11:   modular curve~$X_{\ns}^+(27)$) defined over~$\Q(\zeta_3)$ whose Jacobian
12:   has Mordell--Weil rank~6.  To this end, we describe how to carry out the quadratic Chabauty method for a modular curve $X$ defined over a number field $F$, which, when applicable, determines 
13: a finite subset of $X(F\otimes\Q_p)$ in certain situations of larger
14:   Mordell--Weil rank than previously considered. Together with an analysis of local heights above 3, we apply this quadratic Chabauty method to determine $X'_H(\Q(\zeta_3))$. This allows us to compute the set $X_{\ns}^+(27)(\Q)$, finishing the classification of 3-adic images of Galois.
15: \end{abstract}
16: