Modular group ($\Gamma (1)=S{L}_2(\mathbb{Z})$)

The modular group is $S{L}_2(\mathbb{Z})$ acting on the complex upper half-plane. Its central element $-I$ acts trivially on points but contributes the factor $(-1{)}^k$ in weight $k$.

A function on the complex upper half-plane is modular invariant if it is unchanged by the fractional-linear action of the modular group. This does not imply holomorphicity: a nonholomorphic Eisenstein series is modular invariant, whereas a modular function additionally satisfies meromorphicity and cusp conditions.

For any finite-index subgroup $\Gamma \le S{L}_2(\mathbb{Z})$ and rational positive-determinant $\gamma$, the intersection $S{L}_2(\mathbb{Z})\cap {\gamma }^{-1}\Gamma \gamma$ has finite index. Multiply $\gamma$ by a positive rational scalar to obtain an integral matrix $A$ with positive integer determinant $D$. For $h=I+DB\in \Gamma (D)$, $Ah{A}^{-1}=I+AB\mathrm{adj}(A)$ is integral, so $\Gamma (D)$ lies in $S{L}_2(\mathbb{Z})\cap {\gamma }^{-1}S{L}_2(\mathbb{Z})\gamma$. This intersection has finite index. Its further intersection with ${\gamma }^{-1}\Gamma \gamma$ has relative index at most $[S{L}_2(\mathbb{Z}):\Gamma ]$. No assumption that $\Gamma$ itself is a congruence subgroup is needed.

The standard fundamental domain isEvery orbit of the modular group meets $\mathcal{F}$.

For a finite-index subgroup of the modular group, take the union of translates of the standard fundamental domain of the modular group over left coset representatives. Boundary identifications are inherited from the subgroup action. The truncated region is compact, and its finitely many cusp ends have exponential parameters; this proves compactness of the compactified modular curve and boundedness of invariant cusp-form norms.

For the boundary convention $-1/2<\mathrm{Re}z\le 1/2$, retaining only the right half of the unit circle, the exceptional points are $i$ and ${\rho }_{+}=e^{i\pi /3}$. Their stabilizers in $S{L}_2(\mathbb{Z})$ are the cyclic groups generated by $\left(\begin{array}{cc}0& -1\\ 1& 0\end{array}\right)$ and $\left(\begin{array}{cc}1& -1\\ 1& 0\end{array}\right)$, of orders four and six. Every other stabilizer is $\{I,-I\}$.

Given $\tau \in \mathfrak{h}$, choose a primitive pair $(c,d)$ minimizing $|c\tau +d|$ and apply a modular matrix with bottom row $(c,d)$. This maximizes the imaginary part within the orbit. Translation puts the real part in $[-1/2,1/2]$, and inversion then shows that the imaginary part is at least $\sqrt{3}/2$.