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

Mustafa Umut Kazancıoğlu,Mohammad Sadek
2024-11-05
Abstract:The list of all groups that can appear as torsion subgroups of elliptic curves over number fields of degree $d$, $d=4,5,6$, is not completely determined. However, the list of groups $\Phi^{\infty}(d)$, $d=4,5,6$, that can be realized as torsion subgroups for infinitely many non-isomorphic elliptic curves over these fields are known. We address the question of which torsion subgroups can arise over a given number field of degree $d$. In fact, given $G\in\Phi^{\infty}(d)$ and a number field $K$ of degree $d$, we give explicit criteria telling whether $G$ is realized finitely or infinitely often over $K$. We also give results on the field with the smallest absolute value of its discriminant such that there exists an elliptic curve with torsion $G$. Finally, we give examples of number fields $K$ of degree $d$, $d=4,5,6$, over which the Mordell-Weil rank of elliptic curves with prescribed torsion is bounded from above.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to determine what the torsion subgroups of elliptic curves can be over a number field of a given degree \(d\). Specifically, for number fields of degree \(d = 4, 5, 6\), the author has studied which torsion subgroups can be realized on elliptic curves over these number fields, and has given explicit criteria to determine whether a particular torsion subgroup appears on a finite or an infinite number of non - isomorphic elliptic curves. In addition, the author has also explored number fields with the smallest absolute value of the discriminant, on which there exist elliptic curves with a given torsion subgroup, and has given some examples to show that on some quartic, quintic and sextic number fields, the Mordell - Weil rank of elliptic curves with a specific torsion subgroup is bounded. ### Main problems: 1. **Determining torsion subgroups**: For a number field of a given degree \(d\), determine which torsion subgroups can be realized on the elliptic curves over this number field. 2. **Occurrence frequency of torsion subgroups**: For a given torsion subgroup \(G\in\Phi_{\infty}(d)\), determine whether it appears on a finite or an infinite number of non - isomorphic elliptic curves. 3. **Number fields with the smallest discriminant**: Find number fields with the smallest absolute value of the discriminant such that there exist elliptic curves with a given torsion subgroup on these number fields. 4. **Boundedness of the Mordell - Weil rank**: Give some examples of quartic, quintic and sextic number fields to show that on these number fields, the Mordell - Weil rank of elliptic curves with a specific torsion subgroup is bounded. ### Solutions: - **Modular curve theory**: Utilize the properties of the modular curves \(X_1(m, mn)\), especially the properties of their genus and rational points. - **Number field search**: Search for number fields with increasing discriminants to find number fields that satisfy the conditions. - **Calculation of the Mordell - Weil group**: Use computational tools such as MAGMA to calculate the Mordell - Weil rank of elliptic curves in order to determine the occurrence frequency of torsion subgroups. ### Specific results: - For \(d = 4, 5, 6\), specific lists of torsion subgroups are given, and their realization situations on different number fields are described. - Number fields with the smallest absolute value of the discriminant are given, on which there exist elliptic curves with a specific torsion subgroup. - By calculating the Mordell - Weil rank, it is proved that on some number fields, the Mordell - Weil rank of elliptic curves with a specific torsion subgroup is bounded. ### Conclusion: Through detailed theoretical analysis and calculations, this paper systematically solves the problem of torsion subgroups of elliptic curves over quartic, quintic and sextic number fields, providing important basic data and methods for subsequent research.