Using Fricke modular polynomials to compute isogenies
Résumé
Let E be an elliptic curve over a field K and l a prime.
There exists an elliptic curve E* related to E by an
isogeny of degree l only if Phi_l^t(X, j(E)) = 0, where
Phi_l^t(X, Y) is the traditional modular polynomial.
Moreover, Phi_l^t
gives the coefficients of E*, together with parameters needed to
build the isogeny explicitly. Since Phi_l^t
has very large coefficients, many families with smaller
coefficients can be used instead, as described by Elkies, Atkin and others.
In this work, we concentrate on the computation of the family of
modular polynomials introduced by Fricke and more recently used
by Charlap, Coley and Robbins. In some cases, the resulting
polynomials are small, which justifies the interest of this study.
We review and adapt the known algorithms to perform the computations
of these polynomials. After describing the use of series computations, we
investigate fast algorithms using floating point numbers based on fast
numerical evaluation of Eisenstein series. We also explain how to use
isogeny volcanoes as an alternative. The
last part is concerned with finding explicit formulas for computing
the coefficients of E*. To this we add tables of numerical examples.
Domaines
Théorie des nombres [math.NT]
Fichier principal
frickepol-hal.pdf (310.66 Ko)
Télécharger le fichier
frickepolhal.pdf (325.49 Ko)
Télécharger le fichier
Origine | Fichiers produits par l'(les) auteur(s) |
---|