Modular polynomials via isogeny volcanoes
Top Cited Papers
Open Access
- 14 July 2011
- journal article
- Published by American Mathematical Society (AMS) in Mathematics of Computation
- Vol. 81 (278) , 1201-1231
Abstract
We present a new algorithm to compute the classical modular polynomial Φ l \Phi _l in the rings Z [ X , Y ] \mathbf {Z}[X,Y] and ( Z / m Z ) [ X , Y ] (\mathbf {Z}/m\mathbf {Z})[X,Y] , for a prime l l and any positive integer m m . Our approach uses the graph of l l -isogenies to efficiently compute Φ l mod p \Phi _l\bmod p for many primes p p of a suitable form, and then applies the Chinese Remainder Theorem (CRT). Under the Generalized Riemann Hypothesis (GRH), we achieve an expected running time of O ( l 3 ( log l ) 3 log log l ) O(l^3 (\log l)^3\log \log l) , and compute Φ l mod m \Phi _l\bmod m using O ( l 2 ( log l ) 2 + l 2 log m ) O(l^2(\log l)^2+ l^2\log m) space. We have used the new algorithm to compute Φ l \Phi _l with l l over 5000, and Φ l mod m \Phi _l\bmod m with l l over 20000. We also consider several modular functions g g for which Φ l g \Phi _l^g is smaller than Φ l \Phi _l , allowing us to handle l l over 60000.Keywords
All Related Versions
This publication has 38 references indexed in Scilit:
- The complexity of class polynomial computation via floating point approximationsMathematics of Computation, 2008
- A 𝑝-adic algorithm to compute the Hilbert class polynomialMathematics of Computation, 2008
- Fast algorithms for computing isogenies between elliptic curvesMathematics of Computation, 2008
- Modular curves of composite levelActa Arithmetica, 2005
- Generating class fields using Shimura reciprocity1998
- Computation of the modular equationProceedings of the Japan Academy, Series A, Mathematical Sciences, 1995
- A Rigorous Time Bound for Factoring IntegersJournal of the American Mathematical Society, 1992
- Explicit Bounds for Primality Testing and Related ProblemsMathematics of Computation, 1990
- On the coefficients of the transformation polynomials for the elliptic modular functionMathematical Proceedings of the Cambridge Philosophical Society, 1984
- Factoring Polynomials Over Large Finite FieldsMathematics of Computation, 1970