×

Residual Galois representations of elliptic curves with image contained in the normaliser of a nonsplit Cartan. (English) Zbl 1479.11097

Summary: 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}:\operatorname{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) \rightarrow \mathrm{GL}(E[p]) \] of \(E\) is either the whole of \(\mathrm{GL}(E[p])\), or is contained in the normaliser of a nonsplit Cartan subgroup of \(\mathrm{GL}(E[p])\). In this paper, we show that when \(p>1.4\times 10^7\), the image of \(\bar{\rho}_{E,p}\) is either \(\mathrm{GL}(E[p])\), or the full normaliser of a nonsplit 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 \[ I(d)=\{p\text{ prime}:p\leq d-1\}. \]

MSC:

11G05 Elliptic curves over global fields
11F80 Galois representations
11G18 Arithmetic aspects of modular and Shimura varieties

References:

[1] 10.1093/imrn/rnq141 · Zbl 1304.11054 · doi:10.1093/imrn/rnq141
[2] 10.4007/annals.2011.173.1.13 · Zbl 1278.11065 · doi:10.4007/annals.2011.173.1.13
[3] 10.5802/aif.2781 · Zbl 1307.11075 · doi:10.5802/aif.2781
[4] 10.1515/crll.1997.490.81 · doi:10.1515/crll.1997.490.81
[5] 10.1007/978-3-540-37855-6_4 · Zbl 0281.14010 · doi:10.1007/978-3-540-37855-6_4
[6] 10.4171/CMH/322 · Zbl 1297.11058 · doi:10.4171/CMH/322
[7] 10.1007/978-3-540-37802-0_3 · doi:10.1007/978-3-540-37802-0_3
[8] 10.1007/978-1-4757-1741-9 · doi:10.1007/978-1-4757-1741-9
[9] 10.1007/s00208-015-1269-x · Zbl 1342.11059 · doi:10.1007/s00208-015-1269-x
[10] 10.1090/tran/7198 · Zbl 1461.11087 · doi:10.1090/tran/7198
[11] 10.1007/BF02684339 · Zbl 0394.14008 · doi:10.1007/BF02684339
[12] 10.1007/BF01390348 · Zbl 0386.14009 · doi:10.1007/BF01390348
[13] ; Momose, Compos. Math., 52, 115 (1984) · Zbl 0574.14023
[14] 10.1017/S0305004117000160 · Zbl 1429.11107 · doi:10.1017/S0305004117000160
[15] 10.1007/BF01405086 · Zbl 0235.14012 · doi:10.1007/BF01405086
[16] ; Serre, Inst. Hautes Études Sci. Publ. Math., 54, 323 (1981)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.