\(\mathbb{Q}\)-curves over odd degree number fields (Q2235202)

An elliptic curve is called a \(\mathbb{Q}\)-curve if it is isogenous to all of its \(\textrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})\)-conjugates. In this paper, the authors show that, over number fields of odd degree, the only prime isogeny degrees that a \(\mathbb{Q}\)-curve without CM may have are those degrees that are already possible over \(\mathbb{Q}\) itself. They also prove that the only possible torsion groups of \(\mathbb{Q}\)-curves over number fields of degree not divisible by a prime \(\leq 7\) are the 15 groups that appear as torsion groups of elliptic curves over \(\mathbb{Q}\). They also give an algorithm for establishing whether any given elliptic curve \(E\) is a \(\mathbb{Q}\)-curve, that involves working only over \(\mathbb{Q}(j(E))\).