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.[-]