# Modular Groups

## Fractional Linear Transformations

Modular forms begin with the action of certain matrix groups on the complex upper half-plane.

Let

$$
\mathbb{H} =
\{z\in\mathbb{C}:\operatorname{Im}(z)>0\}.
$$

The upper half-plane is a natural domain for complex analysis and hyperbolic geometry.

A matrix

$$
\gamma=
\begin{pmatrix}
a & b\\
c & d
\end{pmatrix}
$$

with real entries and determinant $ad-bc\neq0$ acts on $z\in\mathbb{H}$ by

$$
\gamma z =
\frac{az+b}{cz+d}.
$$

This is called a fractional linear transformation, or Mobius transformation.

The most important case for number theory is when

$$
a,b,c,d\in\mathbb{Z}
$$

and

$$
ad-bc=1.
$$

## The Modular Group

The modular group is

$$
SL_2(\mathbb{Z}) =
\left\{
\begin{pmatrix}
a & b\\
c & d
\end{pmatrix}
:
a,b,c,d\in\mathbb{Z},\ ad-bc=1
\right\}.
$$

Each element acts on the upper half-plane by

$$
z\mapsto \frac{az+b}{cz+d}.
$$

The matrices

$$
I=
\begin{pmatrix}
1&0\\
0&1
\end{pmatrix}
$$

and

$$
-I=
\begin{pmatrix}
-1&0\\
0&-1
\end{pmatrix}
$$

induce the same transformation, since both send $z$ to itself. Therefore the effective modular group is often written as

$$
PSL_2(\mathbb{Z}) =
SL_2(\mathbb{Z})/\{\pm I\}.
$$

This group is one of the central objects in the theory of modular forms.

## Generators

The modular group is generated by two simple transformations.

The first is translation:

$$
T:z\mapsto z+1,
$$

corresponding to the matrix

$$
T=
\begin{pmatrix}
1&1\\
0&1
\end{pmatrix}.
$$

The second is inversion:

$$
S:z\mapsto -\frac1z,
$$

corresponding to

$$
S=
\begin{pmatrix}
0&-1\\
1&0
\end{pmatrix}.
$$

Every element of $SL_2(\mathbb{Z})$ can be built from these two transformations.

Thus the complicated action of the modular group is generated by translation and inversion.

## Preservation of the Upper Half-Plane

If

$$
z=x+iy
$$

with $y>0$, and

$$
\gamma=
\begin{pmatrix}
a&b\\
c&d
\end{pmatrix}
\in SL_2(\mathbb{R}),
$$

then

$$
\operatorname{Im}(\gamma z) =
\frac{\operatorname{Im}(z)}{|cz+d|^2}.
$$

Since the denominator is positive, $\operatorname{Im}(\gamma z)>0$. Therefore the upper half-plane is preserved.

This formula is fundamental. It shows that modular transformations are symmetries of $\mathbb{H}$.

It also explains why expressions involving $cz+d$ appear throughout modular form theory.

## Fundamental Domain

The action of $SL_2(\mathbb{Z})$ partitions $\mathbb{H}$ into equivalent regions.

A standard fundamental domain is

$$
\mathcal{F} =
\left\{
z\in\mathbb{H}
:
|z|\ge1,\ -\frac12\le \operatorname{Re}(z)\le \frac12
\right\}.
$$

Every point of $\mathbb{H}$ can be moved into $\mathcal{F}$ by some modular transformation.

Boundary points may be identified by the actions of $S$ and $T$.

This domain gives a geometric model of the quotient space

$$
SL_2(\mathbb{Z})\backslash\mathbb{H}.
$$

The quotient has finite hyperbolic area, a fact that underlies the rich analytic theory of modular forms.

## Congruence Subgroups

Number theory often requires smaller subgroups of the modular group.

Let $N\ge1$. The principal congruence subgroup of level $N$ is

$$
\Gamma(N) =
\left\{
\gamma\in SL_2(\mathbb{Z})
:
\gamma\equiv I\pmod N
\right\}.
$$

Other important congruence subgroups include

$$
\Gamma_0(N) =
\left\{
\begin{pmatrix}
a&b\\
c&d
\end{pmatrix}
\in SL_2(\mathbb{Z})
:
c\equiv0\pmod N
\right\}
$$

and

$$
\Gamma_1(N) =
\left\{
\begin{pmatrix}
a&b\\
c&d
\end{pmatrix}
\in SL_2(\mathbb{Z})
:
a\equiv d\equiv1\pmod N,\ c\equiv0\pmod N
\right\}.
$$

These groups encode arithmetic conditions modulo $N$.

Modular forms of level $N$ are functions transforming nicely under one of these congruence subgroups.

## Cusps

The modular group acts not only on $\mathbb{H}$, but also on rational boundary points:

$$
\mathbb{Q}\cup\{\infty\}.
$$

These boundary points are called cusps.

The point $\infty$ is fixed by translations

$$
z\mapsto z+n.
$$

Cusps are essential because modular forms must satisfy growth conditions near them.

Near the cusp $\infty$, it is natural to use the variable

$$
q=e^{2\pi iz}.
$$

Since $\operatorname{Im}(z)>0$, we have

$$
|q|<1.
$$

This produces Fourier expansions of modular forms:

$$
f(z)=\sum_{n=0}^{\infty} a_n q^n.
$$

These coefficients often contain deep arithmetic information.

## Modular Curves

The quotient

$$
\Gamma\backslash\mathbb{H}
$$

for a congruence subgroup $\Gamma$ is not quite compact because of cusps. After adding finitely many cusps, one obtains a compact Riemann surface called a modular curve.

For example,

$$
X(1)
$$

is obtained from

$$
SL_2(\mathbb{Z})\backslash\mathbb{H}
$$

by adding the cusp at infinity.

More generally,

$$
X_0(N),\quad X_1(N),\quad X(N)
$$

arise from the corresponding congruence subgroups.

Modular curves connect analytic functions with algebraic geometry and arithmetic.

They parameterize elliptic curves with additional level structure.

## Why Modular Groups Matter

The modular group provides the symmetry behind modular forms.

A modular form is a holomorphic function on $\mathbb{H}$ satisfying a transformation law of the form

$$
f\left(\frac{az+b}{cz+d}\right) =
(cz+d)^k f(z),
$$

for matrices in a modular group or congruence subgroup.

Thus modular forms are functions constrained by arithmetic symmetry.

The group action forces their Fourier coefficients to satisfy strong arithmetic laws.

These coefficients appear in:

- partition functions;
- elliptic curves;
- $L$-functions;
- Galois representations;
- the Langlands program.

## Modular Groups in Modern Number Theory

Modular groups are the entry point to one of the deepest parts of modern number theory.

They organize:

- modular forms;
- modular curves;
- Hecke operators;
- elliptic curves;
- automorphic representations;
- arithmetic geometry.

The action of $SL_2(\mathbb{Z})$ on the upper half-plane is therefore not merely a geometric construction. It is the first visible layer of a vast arithmetic theory connecting complex analysis, algebraic geometry, and Galois symmetry.