no. 1
Coincidences of division fields
Daniels, Harris B.1; Lozano-Robledo, Álvaro2
1 Department of Mathematics Amherst College Amherst, MA 01002 (USA)
2 Department of Mathematics University of Connecticut Storrs, CT 06269 (USA)
Annales de l'Institut Fourier, Volume 73 (2023) no. 1, pp. 163-202.

Let E be an elliptic curve defined over ℚ, and let ρ E :Gal(ℚ ¯/ℚ)→GL(2,ℤ ^) be the adelic representation associated to the natural action of Galois on the torsion points of E(ℚ ¯). By a theorem of Serre, the image of ρ E is open, but the image is always of index at least 2 in GL(2,ℤ ^) due to a certain quadratic entanglement amongst division fields. In this paper, we study other types of abelian entanglements. More concretely, we classify the elliptic curves E/ℚ, and primes p and q such that ℚ(E[p])∩ℚ(ζ q k ) is non-trivial, and determine the degree of the coincidence. As a consequence, we classify all elliptic curves E/ℚ and integers m,n such that the m-th and n-th division fields coincide, i.e., when ℚ(E[n])=ℚ(E[m]), when the division field is abelian.

Soit E une courbe elliptique définie sur ℚ et soit ρ E :Gal(ℚ ¯/ℚ)→GL(2,ℤ ^) la représentation adélique associée à l’action naturelle de Galois sur les points de torsion de E(ℚ ¯). Par un théorème de Serre, l’image de ρ E est ouverte mais toujours d’indice au moins 2 dans GL(2,ℤ ^) en raison d’un certain enchevêtrement quadratique entre les corps de division. Dans cet article, nous étudions d’autres types d’enchevêtrements abéliens. Plus concrètement, nous classifions les courbes elliptiques E/ℚ et les nombres premiers p et q tels que ℚ(E[p])∩ℚ(ζ q k ) est non trivial et déterminons le degré de l’intersection. En conséquence, nous classifions toutes les courbes elliptiques E/ℚ et les entiers m,n tels que les corps de division m-ième et n-ième coïncident, c’est-à-dire lorsque ℚ(E[n])=ℚ(E[m]), lorsque ce corps de division est abélien.

Received:
Revised:
Accepted:
Published online:
DOI: 10.5802/aif.3520
Classification: 11G05, 14H52
Keywords: Elliptic Curves, Division Fields, Galois Representations.
Mot clés : Courbes elliptiques, corps de division, représentations galoisiennes.
Daniels, Harris B. 1; Lozano-Robledo, Álvaro 2

1 Department of Mathematics Amherst College Amherst, MA 01002 (USA)
2 Department of Mathematics University of Connecticut Storrs, CT 06269 (USA)
License: CC-BY-ND 4.0
Copyrights: The authors retain unrestricted copyrights and publishing rights 
@article{AIF_2023__73_1_163_0,
     author = {Daniels, Harris B. and Lozano-Robledo, \'Alvaro},
     title = {Coincidences of division fields},
     journal = {Annales de l'Institut Fourier},
     pages = {163--202},
     publisher = {Association des Annales de l{\textquoteright}institut Fourier},
     volume = {73},
     number = {1},
     year = {2023},
     doi = {10.5802/aif.3520},
     language = {en},
     url = {https://aif.centre-mersenne.org/articles/10.5802/aif.3520/}
}
TY  - JOUR
AU  - Daniels, Harris B.
AU  - Lozano-Robledo, Álvaro
TI  - Coincidences of division fields
JO  - Annales de l'Institut Fourier
PY  - 2023
SP  - 163
EP  - 202
VL  - 73
IS  - 1
PB  - Association des Annales de l’institut Fourier
UR  - https://aif.centre-mersenne.org/articles/10.5802/aif.3520/
DO  - 10.5802/aif.3520
LA  - en
ID  - AIF_2023__73_1_163_0
ER  - 
%0 Journal Article
%A Daniels, Harris B.
%A Lozano-Robledo, Álvaro
%T Coincidences of division fields
%J Annales de l'Institut Fourier
%D 2023
%P 163-202
%V 73
%N 1
%I Association des Annales de l’institut Fourier
%U https://aif.centre-mersenne.org/articles/10.5802/aif.3520/
%R 10.5802/aif.3520
%G en
%F AIF_2023__73_1_163_0
Daniels, Harris B.; Lozano-Robledo, Álvaro. Coincidences of division fields. Annales de l'Institut Fourier, Volume 73 (2023) no. 1, pp. 163-202. doi : 10.5802/aif.3520. https://aif.centre-mersenne.org/articles/10.5802/aif.3520/

[1] Adelmann, Clemens The decomposition of primes in torsion point fields, Lecture Notes in Mathematics, 1761, Springer-Verlag, Berlin, 2001, vi+142 pages | DOI | MR | Zbl

[2] Bosma, Wieb; Cannon, John; Playoust, Catherine The Magma algebra system. I. The user language, J. Symbolic Comput., Volume 24 (1997) no. 3-4, pp. 235-265 Computational algebra and number theory (London, 1993) | DOI | MR | Zbl

[3] Brau, Julio; Jones, Nathan Elliptic curves with 2-torsion contained in the 3-torsion field, Proc. Amer. Math. Soc., Volume 144 (2016) no. 3, pp. 925-936 | DOI | MR | Zbl

[4] Chiloyan, Garen; Lozano-Robledo, Álvaro A classification of isogeny-torsion graphs of ℚ-isogeny classes of elliptic curves, Trans. London Math. Soc., Volume 8 (2021) no. 1, pp. 1-34 | DOI | MR | Zbl

[5] Chou, Michael Torsion of rational elliptic curves over the maximal abelian extension of ℚ, Pacific J. Math., Volume 302 (2019) no. 2, pp. 481-509 | DOI | MR | Zbl

[6] Arithmetic Algebraic Geometry (IAS/Park City Mathematics) (Conrad, Brian; Rubin, Karl, eds.), American Mathematical Society, IAS/Park City Mathematics Institute, 2008, 569 pages | DOI

[7] Daniels, Harris B. Torsion subgroups of rational elliptic curves over the compositum of all D 4 extensions of the rational numbers, J. Algebra, Volume 509 (2018), pp. 535-565 | DOI | MR | Zbl

[8] Daniels, Harris B.; Derickx, Maarten; Hatley, Jeffrey Groups of generalized G-type and applications to torsion subgroups of rational elliptic curves over infinite extensions of ℚ, Trans. London Math. Soc., Volume 6 (2019) no. 1, pp. 22-52 | DOI | MR | Zbl

[9] Daniels, Harris B.; Lozano-Robledo, Álvaro; Najman, Filip; Sutherland, Andrew V. Torsion subgroups of rational elliptic curves over the compositum of all cubic fields, Math. Comp., Volume 87 (2018) no. 309, pp. 425-458 | DOI | MR | Zbl

[10] Dokchitser, Tim; Dokchitser, Vladimir Surjectivity of mod 2 n representations of elliptic curves, Math. Z., Volume 272 (2012) no. 3-4, pp. 961-964 | DOI | MR | Zbl

[11] Duke, William Elliptic curves with no exceptional primes, C. R. Acad. Sci. Paris Sér. I Math., Volume 325 (1997) no. 8, pp. 813-818 | DOI | MR | Zbl

[12] Elkies, Noam D. Elliptic curves with 3-adic Galois representation surjective mod 3 but not mod 9 (2006) (https://arxiv.org/abs/math/0612734)

[13] González-Jiménez, Enrique; Lozano-Robledo, Álvaro Elliptic curves with abelian division fields, Math. Z., Volume 283 (2016) no. 3-4, pp. 835-859 | DOI | MR | Zbl

[14] Jones, Nathan Almost all elliptic curves are Serre curves, Trans. Amer. Math. Soc., Volume 362 (2010) no. 3, pp. 1547-1570 | DOI | MR | Zbl

[15] Jones, Nathan GL 2 -representations with maximal image, Math. Res. Lett., Volume 22 (2015) no. 3, pp. 803-839 | DOI | MR | Zbl

[16] Lozano-Robledo, Álvaro On the field of definition of p-torsion points on elliptic curves over the rationals, Math. Ann., Volume 357 (2013) no. 1, pp. 279-305 | DOI | MR | Zbl

[17] Lozano-Robledo, Álvaro Division fields of elliptic curves with minimal ramification, Rev. Mat. Iberoam., Volume 31 (2015) no. 4, pp. 1311-1332 | DOI | MR | Zbl

[18] Lozano-Robledo, Álvaro Galois representations attached to elliptic curves with complex multiplication (2018) (https://arxiv.org/abs/1809.02584)

[19] Morrow, Jackson S. Composite images of Galois for elliptic curves over Q and entanglement fields, Math. Comp., Volume 88 (2019) no. 319, pp. 2389-2421 | DOI | MR | Zbl

[20] Rouse, Jeremy; Zureick-Brown, David Elliptic curves over ℚ and 2-adic images of Galois, Res. Number Theory, Volume 1 (2015), p. Paper No. 12, 34 | DOI | MR | Zbl

[21] Serre, Jean-Pierre Propriétés galoisiennes des points d’ordre fini des courbes elliptiques, Invent. Math., Volume 15 (1972) no. 4, pp. 259-331 | DOI | MR | Zbl

[22] Serre, Jean-Pierre Quelques applications du théorème de densité de Chebotarev, Inst. Hautes Études Sci. Publ. Math. (1981) no. 54, pp. 323-401 | Numdam | MR | Zbl

[23] Serre, Jean-Pierre Abelian l-adic representations and elliptic curves, Research Notes in Mathematics, 7, A K Peters, Ltd., Wellesley, MA, 1998, 199 pages (With the collaboration of Willem Kuyk and John Labute, Revised reprint of the 1968 original) | MR

[24] Silverman, Joseph H. The arithmetic of elliptic curves, Graduate Texts in Mathematics, 106, Springer, Dordrecht, 2009, xx+513 pages | DOI | MR | Zbl

[25] Sutherland, Andrew V. Computing images of Galois representations attached to elliptic curves, Forum Math. Sigma, Volume 4 (2016), p. Paper No. e4, 79 | DOI | MR | Zbl

[26] Sutherland, Andrew V.; Zywina, David Modular curves of prime-power level with infinitely many rational points, Algebra Number Theory, Volume 11 (2017) no. 5, pp. 1199-1229 | DOI | MR | Zbl

[27] The LMFDB Collaboration The L-functions and modular forms database, Home page of the L-function L(s,E) for elliptic curve isogeny class 234446.a, 2021 (http://www.lmfdb.org/L/EllipticCurve/Q/234446.a/, [Online; accessed 23 June 2021])

[28] Zywina, David On the possible images of the mod ell representations associated to elliptic curves over Q (2015) (https://arxiv.org/abs/1508.07660)

[29] Zywina, David Possible indices for the Galois image of elliptic curves over Q (2015) (https://arxiv.org/abs/1508.07663)

Cited by Sources: