Generators for the group of modular units for $\Gamma^1(N)$ over the rationals
By Marco Streng
Appears in collection : Arithmetics, geometry, cryptography and coding theory / Arithmétique, géométrie, cryptographie et théorie des codes
The modular curve $Y^1(N)$ parametrises pairs $(E,P)$, where $E$ is an elliptic curve and $P$ is a point of order $N$ on $E$, up to isomorphism. A unit on the affine curve $Y^1(N)$ is a holomorphic function that is nowhere zero and I will mention some applications of the group of units in the talk. The main result is a way of generating generators (sic) of this group using a recurrence relation. The generators are essentially the defining equations of $Y^1(N)$ for $n < (N + 3)/2$. This result proves a conjecture of Maarten Derickx and Mark van Hoeij.