Abstract:Let $\mathcal{E}$ be an elliptic curve over a field $\mathbf{K}$ and $\ell$ a prime. There exists an elliptic curve $\mathcal{E}^*$ related to $\mathcal{E}$ by an isogeny of degree $\ell$ only if $\Phi_\ell^t(X, j(\mathcal{E})) = 0$, where $\Phi_\ell^t(X, Y)$ is the traditional modular polynomial. Moreover, $\Phi_\ell^t$ gives the coefficients of $\mathcal{E}^*$, together with parameters needed to build the isogeny explicitly. Since $\Phi_\ell^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 $\mathcal{E}^*$. To this we add tables of numerical examples.

Computation of Hilbert class polynomials and modular polynomials from supersingular elliptic curves

Modular polynomials for genus 2

Computing modular polynomials by deformation

Using the Charlap-Coley-Robbins polynomials for computing isogenies

Using Fricke modular polynomials to compute isogenies

Computing nonsurjective primes associated to Galois representations of genus $2$ curves

Efficient Point-Counting Algorithms for Superelliptic Curves

Factorization of Hilbert class polynomials over prime fields

Computing supersingular endomorphism rings using inseparable endomorphisms

On the Zeta functions of supersingular isogeny graphs and modular curves

A formulation for p-adic versions of the Birch and Swinnerton-Dyer conjectures in the supersingular case

Supercongruences using modular forms

Algorithms for computing norms and characteristic polynomials on general Drinfeld modules

Computing Euler factors of genus 2 curves at odd primes of almost good reduction

Computing superspecial hyperelliptic curves of genus 4 with automorphism group properly containing the Klein 4-group

Connecting Kani's Lemma and path-finding in the Bruhat-Tits tree to compute supersingular endomorphism rings

$p$-converse theorems for elliptic curves of potentially good ordinary reduction at Eisenstein primes

Explicit methods for Hilbert modular forms

Computing Galois representations and equations for modular curves $X_H(\ell)$

The supersingular endomorphism ring problem given one endomorphism

A Heuristic approach to the Iwasawa theory of elliptic curves