On parameterizations of cyclic -isogenies and strict -curves lying above rational points of
arXiv:2110.13908
Abstract
Elliptic -curves are elliptic curves defined over some field extension that are isogenous to all of their Galois conjugates. We present a new result on -curves that are given by a -rational orbit of the Fricke involution on , giving a simple Diophantine condition on the extension that determines which twists of allow the isogeny between Galois conjugates to be defined over . To support and illustrate this result, we also discuss parameterizations of cyclic -isogenies corresponding to points on modular curves of genus . These modular curves admit parameterizations in terms of a distinguished Hauptmodul. We provide an exposition on the derivation of these Hauptmoduln as products of the Dedekind eta function based on the approach of Ligozat. As an application, we provide a complete tabulation of explicit formulas for the coefficients of cyclic -isogenous curves in terms of the Hauptmodul for all such that has genus . We also include an abbreviated table of rational functions for the -invariant in terms of Hauptmoduln, and we discuss a classical application of these expressions to finding special values of the -invariant at CM points.
30 pages, 14 tables. Originally published as an undergraduate thesis