Abstract:For an elliptic curve defined over a number field, the absolute Galois group acts on the group of torsion points of the elliptic curve, giving rise to a Galois representation in $\mathrm{GL}_2(\hat{\mathbb{Z}})$. The obstructions to the surjectivity of this representation are either local (i.e. at a prime), or due to nonsurjectivity on the product of local Galois images. In this article, we study an extreme case: the coincidence i.e. the equality of $n$-division fields, generated by the $n$-torsion points, attached to different positive integers $n$. We give necessary conditions for coincidences, dealing separately with vertical coincidences, at a given prime, and horizontal coincidences, across multiple primes, in particular when the Galois group on the $n$-torsion contains the special linear group. We also give a non-trivial construction for coincidences not occurring over $\mathbb{Q}$.

What problem does this paper attempt to address?

### Problems the paper attempts to solve This paper mainly explores the coincidence phenomenon between the division fields of elliptic curves defined over number fields. Specifically, the author studies the equality relations between the $n$-division fields $F(E[n])$ generated by different positive integers $n$, namely the so - called "coincidences". This coincidence phenomenon can be divided into two categories: 1. **Vertical Coincidences**: When $F(E[m]) = F(E[p^k m])$, where $p$ is a prime number and $k\geq1$. 2. **Horizontal Coincidences**: When $F(E[m]) = F(E[n])$ and the sets of prime factors of $m$ and $n$ are different. ### Main research contents - **Background and motivation**: - An elliptic curve $E$ is defined over a number field $F$, and the absolute Galois group $G_F=\text{Gal}(\bar{F}/F)$ acts on the torsion point group $E_{\text{tors}}$ of the elliptic curve, giving a Galois representation $\rho_E:G_F\rightarrow\text{Aut}(E_{\text{tors}})\cong\text{GL}_2(\hat{\mathbb{Z}})$. - The non - surjectivity of the image of this representation can be explained by local conditions (i.e., non - surjectivity at a certain prime number) or entanglement. - **Main results**: - **Lemma 1.2**: If $F(E[m]) = F(E[n])$, then $F(E[\gcd(m, S)]) = F(E[\gcd(n, S)])$, and for all $p\notin S$, we have $F(E[p^{v_p(m)}]) = F(E[p^{v_p(n)}])$. - **Theorem 3.14**: If $F(E[m]) = F(E[n])$, then for all prime numbers $p$ such that $v_p(m)\neq v_p(n)$, we have $p\mid2\cdot\Delta_F\cdot N(f_E)$. - **Theorem 3.20**: For vertical coincidence $F(E[p^k]) = F(E[p^{k + 1}])$, then $F(E[q]) = F(E[p^{k+1}])$ and $p^4\mid[G:\rho_E(G_F)]$. - **Theorem 3.1**: There exist infinitely many isomorphism classes of elliptic curves $E/\mathbb{Q}$ such that there is a number field $L$ with a Galois group $(\mathbb{Z}/2\mathbb{Z})^r$ (where $1\leq r\leq4$) satisfying $L(E[4]) = L(E[8])\neq L$. - **Research methods**: - Use the properties of the Weil pairing to study the roots of unity $\zeta_m$ contained in the division fields. - Analyze the reduction types of elliptic curves at different prime numbers to study the ramification behavior of the division fields. - Study whether the image of the Galois representation contains the special linear group $\text{SL}_2(\mathbb{Z}/m\mathbb{Z})$ to give the necessary conditions for the coincidence phenomenon. ### Conclusion The paper gives the necessary conditions for the coincidence phenomenon through the study of the division fields of elliptic curves.

Coincidences of Division Fields of an elliptic curve defined over a number field

Near coincidences and nilpotent division fields

The maximal abelian extension contained in a division field of an elliptic curve over $\mathbb{Q}$ with complex multiplication

On $12$-congruences of elliptic curves

On Torsion Subgroups of Elliptic Curves over Quartic, Quintic and Sextic Number Fields

Sporadic Cubic Torsion

Elliptic curves with complex multiplication and abelian division fields

Divisibility of class numbers of quadratic fields and a conjecture of Iizuka

The probability of non-isomorphic group structures of isogenous elliptic curves in finite field extensions, II

Modulo $\ell$ distinction problems

New isogenies of elliptic curves over number fields

The divisibility of the class number of the imaginary quadratic fields

The relative class number one problem for function fields, II

Torsion phenomena for zero-cycles on a product of curves over a number field

On the non-special divisors in algebraic function fields defined over $\mathbb{F}_q$

Growth of torsion groups of elliptic curves upon base change from number fields

Torsion subgroups of elliptic curves over quadratic fields and a conjecture of Granville

Imaginary quadratic fields $F$ with $X_0(15)(F)$ finite

Ideal class groups of division fields of elliptic curves and everywhere unramified rational points

Divisibility sequences related to abelian varieties isogenous to a power of an elliptic curve

Quantitative upper bounds related to an isogeny criterion for elliptic curves