### References & Citations

# Mathematics > Number Theory

# Title: Residual Galois representations of elliptic curves with image contained in the normaliser of a non-split Cartan

(Submitted on 7 Feb 2020 (this version),

*latest version 12 Oct 2020*(v2))Abstract: It is known that if $p>37$ is a prime number and $E/\mathbb{Q}$ is an elliptic curve without complex multiplication, then the image of the mod $p$ Galois representation $\bar{\rho}_{E,p}$ on the $p$-torsion of $E$ is either the whole of $\operatorname{GL}_2(\mathbb{F}_p)$, or is contained in the normaliser of a non-split Cartan subgroup of $\operatorname{GL}_2(\mathbb{F}_p)$. In this paper, we build on work of Zywina and show that when $p>1.4\times 10^7$, the image of $\bar{\rho}_{E,p}$ is either $\operatorname{GL}_2(\mathbb{F}_p)$, or is the full normaliser of a non-split Cartan subgroup. We use this to show the following result, partially settling a question of Najman. For $d\geq 1$, let $I(d)$ denote the set of primes $p$ for which there exists an elliptic curve defined over $\mathbb{Q}$ and without complex multiplication admitting a degree $p$ isogeny defined over a number field of degree $\leq d$. We show that, for $d\geq 1.4\times 10^7$, we have

\begin{equation*}

I(d)=\{p\text{ prime}:p\leq d-1\}.

\end{equation*}

## Submission history

From: Samuel Le Fourn [view email]**[v1]**Fri, 7 Feb 2020 11:06:27 GMT (25kb)

**[v2]**Mon, 12 Oct 2020 13:05:26 GMT (35kb)

Link back to: arXiv, form interface, contact.