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.

Determination of the Fricke families

On some Fricke families and application to the Lang-Schertz conjecture

Old Meets New: Connecting Two Infinite Families of Congruences Modulo Powers of 5 for Generalized Frobenius Partition Functions

Distribution and divisibility of the Fourier coefficients of certain Hauptmoduln

On the Classification of Modular Congruence Families

Families of two dimensional modular $(φ,Γ)$-modules

Determination of Hilbert modular forms using squarefree coefficients

Two- & Three-character solutions to MLDEs and Ramanujan-Eisenstein Identities for Fricke Groups

Frobenius Local Rings of Order p4m

Using Fricke modular polynomials to compute isogenies

Galois module structure of algebraic integers of cyclic cubic fields

On the metaphysics of $\mathbb F_1$

A congruence family for 2-elongated plane partitions: An application of the localization method

A converse theorem for Borcherds products on $X_0(N)$

On Drinfeld modular forms of higher rank IV: Modular forms with level

On special values of generators of modular function fields

Non-vanishing Fourier Coefficients of Modular Forms

On Segre products, $F$-regularity, and finite Frobenius representation type

Monogenic Even Octic Polynomials and Their Galois Groups

Decomposition and framing of F-bundles and applications to quantum cohomology

Finite quotients of Fuchsian groups