Modular Forms: Find a set of representatives for the cusps of $\Gamma_0(4)$

Solution 1:

Let me begin with some generalities:

Let $R$ be a ring with identity and $\mathbf{P}^1(R)$ the projective line over $R$. To define this gadget, consider the equivalence relation $\sim$ on $R \times R$ defined by $(a, b) \sim (c, d)$ if there is a unit $u$ such that $ua = c$ and $ub = d$. Note now that the ideal $aR + bR$ generated by $(a, b)$ depends only on the equivalence class of $(a, b)$. Put $\mathbf{P}^1(R)$ for the set of all equivalence classes for which this ideal generated is the full ring $R$.

In the case of the ring $\mathbf{Z}/N\mathbf{Z}$, there is the following fact:

Fact. If $c, d$ are positive integers with $(c, d, N) = 1$, then, there is $c' \equiv c \bmod{N}$ and $d' \equiv d \bmod{N}$ so that $(c' , d') = 1$.

This fact allows us to choose representatives for our class $(c: d)$ so that $(c, d) = 1$.

Now, we have the following general proposition:

Proposition. The map $$(c: d) \mapsto \begin{pmatrix} \ast & \ast \\ c & d\end{pmatrix}: \mathbf{P}^1(\mathbf{Z}/N\mathbf{Z}) \to [SL_2(\mathbf{Z}):\Gamma_0(N)]$$ between $\mathbf{P}^1(\mathbf{Z}/N\mathbf{Z})$ and coset representatives $[SL_2(\mathbf{Z}):\Gamma_0(N)]$ for $\Gamma_0(N)$ in $SL_2(\mathbf{Z})$ is a bijection.

Proof. The map is firstly well-defined: as remarked, we work with "points" $(c :d)$ where $(c, d) = 1$; thus, there are integers $a, b$ so that $ad - bc = 1$ and these integers are what the $\ast$ represents. Check that the class that $(c :d )$ maps to is independent of the choice of $(a, b)$ chosen above!

The map is clearly surjective. Showing injectivity is a small computation which also I am happy to leave for you.

In this case, we have

$$\mathbf{P}^1(\mathbf{Z}/4\mathbf{Z}) = \{(0:1), (1:0), (1:1), (1:2), (1:3), (2:1)\} $$ and a set of coset representatives for $\Gamma_0(4)$ in $SL_2(\mathbf{Z})$ is: $$\left\{ \begin{pmatrix}1 &0 \\ 0 & 1 \end{pmatrix}, \begin{pmatrix} 0 & -1 \\ 1& 0\end{pmatrix}, \begin{pmatrix} 1 & 0 \\ 1 & 1\end{pmatrix}, \begin{pmatrix} 0 & -1 \\ 1 & 2\end{pmatrix}, \begin{pmatrix} 0 & -1 \\ 1 & 3\end{pmatrix}, \begin{pmatrix}1 & 0 \\ 2 & 1 \end{pmatrix}\right\}.$$

Edit. Indeed, there are theorems that give coset representatives for other important congruence subgroups (viz. $\Gamma_1(N)$ and $\Gamma(N)$). See L. Kilford's book starting from Proposition 2.11. He discusses this at length. (Let me add that you'll find the following group theory fact useful: if $K \subseteq H \subseteq G$ are groups, then, there is an explicit bijection between $[G: K]$ and $[G: H] \times [H: K]$.)