Abstract:We determine all possible degrees of cyclic isogenies of non-CM elliptic curves with rational $j$-invariant over number fields of degree $p$, where $p$ is an odd prime. The question had been answered for $p=2$, so this paper completes the classification in case when the degree of the number field is prime.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to determine all possible degrees of cyclic isogenies, which are defined on non - CM elliptic curves (with rational j - invariants) and these elliptic curves are located on number fields of prime degree. Specifically, for an odd prime \(p\), the author studies all possible degrees of cyclic isogenies of non - CM elliptic curves (with rational j - invariants) on number fields of degree \(p\).
### Background and Problem Description
1. **Modular Curves and Isogenous Points**
- For a positive integer \(n\), the \(K\)-rational points of the modular curve \(X_0(n)\) over a number field \(K\) correspond to elliptic curves defined on \(K\) and their \(n\)-isogenies.
- Looking for points of a fixed degree \(d\) on \(X_0(n)\) is equivalent to looking for an elliptic curve defined on a number field of degree \(d\) and an \(n\)-isogeny defined on the same number field.
2. **Existing Results**
- When \(d = 1\), that is, looking for all rational points on \(X_0(n)\), this problem has been solved by Mazur and Kenku.
- When \(d>1\), especially in the case of quadratic points, some progress has been made.
3. **More Specific Problems**
- Study all points of degree \(d\) on \(X_0(n)\), where the corresponding j - invariants are rational.
- The specific problem can be stated as: for a fixed positive integer \(d\), find all positive integers \(n\) such that there exists a non - CM elliptic curve \(E\) (with rational j - invariants) and an \(n\)-isogeny defined on a number field \(K\) of degree \(d\).
### Main Contributions of the Paper
The author solves the specific situation of the above problem when the degree of the number field is an odd prime \(p\). The main results include:
- **Theorem 1.2**: For cubic extensions \(K\) (i.e., \(p = 3\)), the existence conditions of \(n\)-isogenies of non - CM elliptic curves (with rational j - invariants) defined on \(K\).
- **Theorem 1.3**: For any prime \(p>3\), the existence conditions of \(n\)-isogenies of non - CM elliptic curves (with rational j - invariants) defined on a number field \(K\) of degree \(p\).
Through these results, the author completes the classification of all possible degrees of isogenies of non - CM elliptic curves (with rational j - invariants) on number fields of prime degree.