Barinder S. Banwait,Maarten Derickx
Abstract:Let $E$ be an elliptic curve over a number field $k$ of degree $d$ that admits a $k$-rational isogeny of prime degree $p$. We study the question of finding a uniform bound on $p$ that depends only on $d$, and obtain, under a certain condition on the signature of the isogeny, such a uniform bound by explicitly constructing nonzero integers that $p$ must divide. As a corollary we find a uniform bound on torsion points defined over unramified extensions of the base field, generalising Merel's Uniform Boundedness result for torsion.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the strong uniformity problem of prime - order isogeny of elliptic curves over number fields. Specifically, the author studied whether, for a number field \(k\) of a given degree \(d\), there exists a uniform upper bound depending only on \(d\) such that the prime - order of all non - CM \(k\)-rational isogenies of elliptic curves defined over \(k\) does not exceed this upper bound.
### Specific description of the problem
1. **Weak uniformity problem**:
- For a fixed number field \(k\), does there exist a finite set containing all possible prime - orders of non - CM \(k\)-rational isogenies? If so, can this finite set be determined?
2. **Strong uniformity problem**:
- For a fixed positive integer \(d\), does there exist a finite set containing all possible prime - orders of non - CM \(k\)-rational isogenies, where \(k\) is any number field of degree \(d\)? If so, can this finite set be determined?
### Research background
- **Mazur's isogeny theorem**: For an elliptic curve \(E\) defined over the field of rational numbers \(\mathbb{Q}\), if \(E\) has a \(\mathbb{Q}\)-rational isogeny, its prime - order \(p\) must be one of the following 12 primes:
\[
\{2, 3, 5, 7, 11, 13, 17, 19, 37, 43, 67, 163\}
\]
- **Generalization to general number fields**: When considering generalizing Mazur's theorem to more general number fields \(k\), it is found that similar results become complicated, especially when \(k\) contains the Hilbert class fields of certain imaginary quadratic fields, the set of isogeny primes may be infinite.
### Main contributions of the paper
- **Main result**: By introducing the concept of the signature of isogeny and constructing some non - zero integers \(B_\varepsilon\), the author made it such that if there is an elliptic curve \(E\) over a number field \(k\) of degree \(d\) having a \(k\)-rational isogeny, its prime - order \(p\) must divide \(B_\varepsilon\).
- **Algorithm implementation**: The paper provides an algorithm that can calculate the integer \(B_{\varepsilon, q}\) given an auxiliary prime \(q\), thus obtaining a meaningful upper bound.
- **Specific applications**: For specific signature types and number field degrees \(d\), the paper gives specific sets of isogeny primes, for example, for quadratic fields \(d = 2\) and cubic fields \(d=3\).
### Formulas and symbols
- **Isogeny signature**: \(\varepsilon = (\varepsilon_1, \varepsilon_2,\ldots, \varepsilon_d)\), where each \(\varepsilon_i\in\{0, 4, 6, 8, 12\}\).
- **Trace**: \(\text{Tr}(\varepsilon)=\sum_{i = 1}^d\varepsilon_i\).
- **Integer \(B_{\varepsilon, q}\)**: An integer calculated by the algorithm, used to give the upper bound of isogeny primes.
Through these methods, the author has successfully solved the strong uniformity problem to a certain extent and provided new tools and ideas for further research.