arXiv subjects

John E. Cremona

Publications and source records attributed to John E. Cremona.

3 recordsLinked to original sources

arXiv2023

Computing the endomorphism ring of an elliptic curve over a number field

We describe deterministic and probabilistic algorithms to determine whether or not a given monic irreducible polynomial H in Z[X] is a Hilbert class polynomial, and if so, which one. These algorithms can be used to determine whether a given algebraic integer is the j-invariant of an elliptic curve with complex multiplication (CM), and if so, the associated CM discriminant. More generally, given an elliptic curve E over a number field, one can use them to compute the endomorphism ring of E. Our algorithms admit simple implementations that are asymptotically and practically faster than existing approaches.

math.NT↗

arXiv2013

The complex AGM, periods of elliptic curves over C and complex elliptic logarithms

We give an account of the complex Arithmetic-Geometric Mean (AGM), as first studied by Gauss, together with details of its relationship with the theory of elliptic curves over $\C$, their period lattices and complex parametrisation. As an application, we present efficient methods for computing bases for the period lattices and elliptic logarithms of points, for arbitrary elliptic curves defined over $\C$. Earlier authors have only treated the case of elliptic curves defined over the real numbers; here, the multi-valued nature of the complex AGM plays an important role. Our method, which we have implemented in both \Magma\ and \Sage, is illustrated with several examples using elliptic curves defined over number fields with real and complex embeddings.

math.NT↗

arXiv2009

On a theorem of Mestre and Schoof

A well known theorem of Mestre and Schoof implies that the order of an elliptic curve E over a prime field F_q can be uniquely determined by computing the orders of a few points on E and its quadratic twist, provided that q > 229. We extend this result to all finite fields with q > 49, and all prime fields with q > 29.

math.NT↗