A <modular function> of weight $k$ and level $\Gamma(1)$ is a <meromorphic function> $f:\mathfrak h\to\mathbb C$ satisfying
$$
f(\gamma\tau)=(c\tau+d)^k f(\tau)
$$
for every $\gamma=\begin{pmatrix}a&b\\c&d\end{pmatrix}\in\Gamma(1)$, and having a meromorphic Fourier expansion at the cusp infinity. Equivalently, $f|_k\gamma=f$ for the <slash operator for modular forms>.

A <modular form> is a modular function that is <holomorphic function>[holomorphic] on $\mathfrak h$ and <holomorphic at a cusp>[holomorphic at infinity]. Its Fourier expansion therefore has the form
$$
f(\tau)=\sum_{n\geq0}a_nq^n,
\qquad q=e^{2\pi i\tau}.
$$
Since $-I\in\Gamma(1)$, a nonzero level-one form must have even weight.

Solution

Past exam of the mathematics course of the University of Cambridge / 2023 / iii / Paper 137 / 2 / a / Solution

 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/iii/paper-137/2/a/solution