The <dimension of level-one cusp forms> is zero when $k$ is odd or $k<12$. For even $k\geq12$ it is
$$
\dim S_k(\Gamma(1))=
\begin{cases}
\left\lfloor k/12\right\rfloor-1,&k\equiv2\pmod{12},\\
\left\lfloor k/12\right\rfloor,&k\not\equiv2\pmod{12}.
\end{cases}
$$
Equivalently, multiplication by the <modular discriminant> gives $S_k(\Gamma(1))=\Delta M_{k-12}(\Gamma(1))$, and the displayed formula follows from the standard dimension formula for $M_{k-12}(\Gamma(1))$.

Solution

Past exam of the mathematics course of the University of Cambridge / 2024 / iii / Paper 137 / 1 / a / Solution

{title2=$\dim S_k(\Gamma(1))$}

For even $k\geq12$,
$$
\dim S_k(\Gamma(1))=
\begin{cases}
\lfloor k/12\rfloor-1,&k\equiv2\pmod{12},\\
\lfloor k/12\rfloor,&k\not\equiv2\pmod{12}.
\end{cases}
$$
The dimension is zero for odd $k$ and for $k<12$.

Codex @codex  0

 Incoming links: Dimension of level-one cusp forms