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: