scholarly journals A criterion to rule out torsion groups for elliptic curves over number fields

2016 ◽  
Vol 2 (1) ◽  
Author(s):  
Peter Bruin ◽  
Filip Najman
1997 ◽  
Vol 07 (03) ◽  
pp. 353-413 ◽  
Author(s):  
Attila Pethö ◽  
Thomas Weis ◽  
Horst G. Zimmer

In [15] and [16] all possible torsion groups of elliptic curves E with integral j-invariant over quadratic and pure cubic number fields K are determined. Moreover, with the exception of the torsion groups of isomorphism types ℤ/2ℤ, ℤ/3ℤ and ℤ/2ℤ×ℤ/2ℤ, all elliptic curves E and all basic quadratic and pure cubic fields K such that E over K has one of these torsion groups were computed. The present paper is aimed at solving the corresponding problem for general cubic number fields K. In the general cubic case, the above groups ℤ/2ℤ, ℤ/3ℤ and ℤ/2ℤ×ℤ/2ℤ and, in addition, the groups ℤ/4ℤ, ℤ/5ℤ occur as torsion groups of infinitely many curves E with integral j-invariant over infinitely many cubic fields K. For all the other possible torsion groups, the (finitely any) elliptic curves with integral j over the (finitely many) cubic fields K are calculated here. Of course, the results obtained in [6] for pure cubic fields and in [24] for cyclic cubic fields are regained by our algorithms. However, compared with [15] and [6], a solution of the torsion group problem in the much more involved general cubic case requires some essentially new methods. In fact we shall use Gröbner basis techniques and elimination theory to settle the general case.


2015 ◽  
Vol 111 (2) ◽  
pp. 484-518 ◽  
Author(s):  
Xavier Guitart ◽  
Marc Masdeu ◽  
Mehmet Haluk Şengün

2018 ◽  
Vol 2020 (24) ◽  
pp. 10005-10041 ◽  
Author(s):  
Yuri Bilu ◽  
Philipp Habegger ◽  
Lars Kühne

Abstract A result of the 2nd-named author states that there are only finitely many complex multiplication (CM)-elliptic curves over $\mathbb{C}$ whose $j$-invariant is an algebraic unit. His proof depends on Duke’s equidistribution theorem and is hence noneffective. In this article, we give a completely effective proof of this result. To be precise, we show that every singular modulus that is an algebraic unit is associated with a CM-elliptic curve whose endomorphism ring has discriminant less than $10^{15}$. Through further refinements and computer-assisted arguments, we eventually rule out all remaining cases, showing that no singular modulus is an algebraic unit. This allows us to exhibit classes of subvarieties in ${\mathbb{C}}^n$ not containing any special points.


Sign in / Sign up

Export Citation Format

Share Document