Coincidences of division fields

TL;DR

This paper investigates the intersections of division fields of elliptic curves over rationals, classifying when these fields coincide or have non-trivial intersections, revealing new types of abelian entanglements beyond known quadratic cases.

Contribution

It classifies elliptic curves and primes where division fields intersect non-trivially and determines when division fields of different levels coincide, especially in abelian cases.

Findings

Classified elliptic curves with non-trivial intersections of division fields.

Determined degrees of coincidences between division fields.

Provided a complete classification of when division fields coincide for elliptic curves.

Abstract

Let $E$ be an elliptic curve defined over $\mathbb{Q}$, and let $\rho_E\colon {\rm Gal}(\overline{\mathbb{Q}}/\mathbb{Q})\to {\rm GL}(2,\widehat{ \mathbb{Z} })$ be the adelic representation associated to the natural action of Galois on the torsion points of $E(\overline{\mathbb{Q}})$. By a theorem of Serre, the image of $\rho_{E}$ is open, but the image is always of index at least $2$ in ${\rm GL}(2,\widehat{\mathbb{Z}})$ 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/\mathbb{Q}$, and primes $p$ and $q$ such that $\mathbb{Q}(E[p])\cap \mathbb{Q}(\zeta_{q^k})$ is non-trivial, and determine the degree of the coincidence. As a consequence, we classify all elliptic curves $E/\mathbb{Q}$ and integers $m,n$ such that the $m$-th and $n$-th division fields coincide, i.e., when $\mathbb{Q}(E[n])=\mathbb{Q}(E[m])$, when the division field is abelian.