Abstract: We present a new algorithm to compute the classical modular polynomial in the rings and , for a prime and any positive integer . Our approach uses the graph of -isogenies to efficiently compute for many primes 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 , and compute using space. We have used the new algorithm to compute with over 5000, and with over 20000. We also consider several modular functions for which is smaller than , allowing us to handle over 60000.
5.
Ingrid Biehl and Johannes Buchmann, An analysis of the reduction algorithms for binary quadratic forms, Voronoi's Impact on Modern Science (P. Engel and H. Syta, eds.), Institute of Mathematics, Kyiv, 1998, available at http://www.cdc.informatik.tu-darmstadt.de/reports/TR/TI-97-26.ps.gz, pp. 71-98.
7.I.
F. Blake, G.
Seroussi, and N.
P. Smart, Elliptic curves in cryptography, London Mathematical
Society Lecture Note Series, vol. 265, Cambridge University Press,
Cambridge, 2000. Reprint of the 1999 original. MR 1771549
(2001i:94048)
8.
Ian F. Blake, János A. Csirik, Michael Rubinstein, and Gadiel Seroussi, On the computation of modular polynomials for elliptic curves, Tech. report, Hewlett-Packard Laboratories, 1999, http://www.math.uwaterloo.ca/~mrubinst/publications/publications.html.
15.
J.J. Cannon and W. Bosma (Eds.), Handbook of Magma functions, 2.15 ed., 2008, available at http://magma.maths.usyd.edu.au/magma/htmlhelp/MAGMA.htm.
18.Henri
Cohen, Advanced topics in computational number theory,
Graduate Texts in Mathematics, vol. 193, Springer-Verlag, New York,
2000. MR
1728313 (2000k:11144)
21.David
A. Cox, Primes of the form
𝑥²+𝑛𝑦², A Wiley-Interscience
Publication, John Wiley & Sons Inc., New York, 1989. Fermat, class
field theory and complex multiplication. MR 1028322
(90m:11016)
22.Noam
D. Elkies, Elliptic and modular curves over finite fields and
related computational issues, Computational perspectives on number
theory (Chicago, IL, 1995) AMS/IP Stud. Adv. Math., vol. 7, Amer.
Math. Soc., Providence, RI, 1998, pp. 21–76. MR 1486831
(99a:11078)
25.
Andreas Enge and Francois Morain, Generalized Weber functions I, 2009, http://arxiv.org/abs/0905.3250.
26.Andreas
Enge and Reinhard
Schertz, Constructing elliptic curves over finite fields using
double eta-quotients, J. Théor. Nombres Bordeaux
16 (2004), no. 3, 555–568 (English, with
English and French summaries). MR 2144957
(2006d:11063)
28.
Andreas Enge and Andrew V. Sutherland, Class invariants for the CRT method, Algorithmic Number Theory Symposium-ANTS IX (G. Hanrot, F. Morain, and E. Thomé, eds.), Lecture Notes in Computer Science, vol. 6197, Springer-Verlag, 2010, pp. 142-156.
29.
Free Software Foundation, GNU compiler collection, January 2010, version 4.4.3, available at http://gcc.gnu.org/.
37.Oskar
Herrmann, Über die Berechnung der Fourierkoeffizienten der
Funktion 𝑗(𝜏), J. Reine Angew. Math.
274/275 (1975), 187–195 (German). Collection of
articles dedicated to Helmut Hasse on his seventy-fifth birthday, III. MR 0374032
(51 #10232)
40.M.
Jarden, Transfer principles for finite and 𝑝-adic
fields, Nieuw Arch. Wisk. (3) 28 (1980), no. 2,
139–158. MR
582923 (83h:12041)
41.
Erich Kaltofen and Noriko Yui, On the modular equation of order , Proceedings of the 1984 MACSYMA Users Conference, 1984, pp. 472-485.
42.David
Russell Kohel, Endomorphism rings of elliptic curves over finite
fields, ProQuest LLC, Ann Arbor, MI, 1996. Thesis
(Ph.D.)–University of California, Berkeley. MR
2695524
43.J.
C. Lagarias and A.
M. Odlyzko, Effective versions of the Chebotarev density
theorem, Algebraic number fields: 𝐿-functions and Galois
properties (Proc. Sympos., Univ. Durham, Durham, 1975), Academic Press,
London, 1977, pp. 409–464. MR 0447191
(56 #5506)
44.Serge
Lang, Elliptic functions, 2nd ed., Graduate Texts in
Mathematics, vol. 112, Springer-Verlag, New York, 1987. With an
appendix by J. Tate. MR 890960
(88c:11028)
45.Frank
Lehmann, Markus
Maurer, Volker
Müller, and Victor
Shoup, Counting the number of points on elliptic curves over finite
fields of characteristic greater than three, Algorithmic number theory
(Ithaca, NY, 1994) Lecture Notes in Comput. Sci., vol. 877,
Springer, Berlin, 1994, pp. 60–70. MR 1322712
(95m:11148)
47.François
Morain, Calcul du nombre de points sur une courbe elliptique dans
un corps fini: aspects algorithmiques, J. Théor. Nombres
Bordeaux 7 (1995), no. 1, 255–282 (French, with
English and French summaries). Les Dix-huitièmes Journées
Arithmétiques (Bordeaux, 1993). MR 1413579
(97i:11069)
48.
Volker Müller, Ein Algorithmus zur Bestimmung der Punktanzahl elliptischer Kurven über endlichen Körpern der Charakteristik größer drei, PhD thesis, Universität des Saarlandes, 1995.
49.Jürgen
Neukirch, Algebraic number theory, Grundlehren der
Mathematischen Wissenschaften [Fundamental Principles of Mathematical
Sciences], vol. 322, Springer-Verlag, Berlin, 1999. Translated from
the 1992 German original and with a note by Norbert Schappacher; With a
foreword by G. Harder. MR 1697859
(2000m:11104)
51.René
Schoof, Counting points on elliptic curves over finite fields,
J. Théor. Nombres Bordeaux 7 (1995), no. 1,
219–254. Les Dix-huitièmes Journées
Arithmétiques (Bordeaux, 1993). MR 1413578
(97i:11070)
52.
William Stein and David Joyner, SAGE: System for Algebra and Geometry Experimentation, Communications in Computer Algebra (SIGSAM Bulletin) (2005), 61-64.
53.Peter
Stevenhagen, The arithmetic of number rings, Algorithmic
number theory: lattices, number fields, curves and cryptography, Math.
Sci. Res. Inst. Publ., vol. 44, Cambridge Univ. Press, Cambridge,
2008, pp. 209–266. MR 2467548
(2009k:11213)
57.Lawrence
C. Washington, Elliptic curves, 2nd ed., Discrete Mathematics
and its Applications (Boca Raton), Chapman & Hall/CRC, Boca Raton, FL,
2008. Number theory and cryptography. MR 2404461
(2009b:11101)
58.
Heinrich Weber, Lehrbuch der algebra, third ed., vol. III, Chelsea, 1961.