A modular form is a function on the complex upper half-plane that has an extraordinary amount of symmetry — so much symmetry that the function is almost completely determined by it.

The upper half-plane

The complex upper half-plane is the set of complex numbers with positive imaginary part:

$$\mathcal{H} = {z \in \mathbb{C} \mid \text{Im}(z) > 0}$$

Think of it as the top half of the complex plane — everything above the real axis.

The modular group

The modular group $\text{SL}(2, \mathbb{Z})$ is the group of $2 \times 2$ integer matrices with determinant 1:

$$\text{SL}(2, \mathbb{Z}) = \left{ \begin{pmatrix} a & b \ c & d \end{pmatrix} \mid a, b, c, d \in \mathbb{Z}, \; ad - bc = 1 \right}$$

Each matrix acts on $\mathcal{H}$ by a Möbius transformation:

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

This sends points in the upper half-plane to other points in the upper half-plane. The modular group is generated by just two transformations: - $T: z \mapsto z + 1$ (shift right by 1) - $S: z \mapsto -1/z$ (inversion)

Together they generate an infinite family of symmetries. The upper half-plane, tiled by the action of the modular group, looks like an infinite tessellation of hyperbolic triangles.

The definition

A modular form of weight $k$ is a holomorphic function $f: \mathcal{H} \to \mathbb{C}$ such that:

1. Transformation law: For every matrix in the modular group, $$f\left(\frac{az + b}{cz + d}\right) = (cz + d)^k f(z)$$

2. Growth condition: $f$ is bounded as $\text{Im}(z) \to \infty$

The factor $(cz + d)^k$ is the key — $f$ isn’t invariant under the symmetry (that would force it to be constant), but it transforms in a controlled way, scaled by a power of $(cz + d)$.

Fourier expansion

Because $f(z + 1) = f(z)$ (from the matrix $T$), modular forms are periodic with period 1. This means they have a Fourier expansion:

$$f(z) = \sum_{n=0}^{\infty} a_n q^n \qquad \text{where } q = e^{2\pi i z}$$

The Fourier coefficients $a_0, a_1, a_2, \ldots$ are the data of the modular form. If $a_0 = 0$, the form is called a cusp form (it vanishes at the “cusp” $\text{Im}(z) \to \infty$).

These coefficients often carry deep arithmetic information.

The bridge to L-functions

From the Fourier coefficients, form a Dirichlet series:

$$L(f, s) = \sum_{n=1}^{\infty} \frac{a_n}{n^s}$$

If $f$ is a Hecke eigenform (a special type of modular form with nice multiplicative properties), this L-function has an Euler product:

$$L(f, s) = \prod_{p} \frac{1}{1 - a_p p^{-s} + p^{k-1-2s}}$$

Compare this with the L-function of an elliptic curve — the structure is the same. The modularity theorem says this is not a coincidence.

An example: the eta function

Some modular forms can be described combinatorially. The Dedekind eta function:

$$\eta(z) = q^{1/24} \prod_{n=1}^{\infty} (1 - q^n)$$

is related to partition counting. Certain products of eta functions are modular forms whose Fourier coefficients match the point counts of specific elliptic curves:

$$f(q) = \prod_{n \geq 1} (1-q^n)(1-q^{2n})(1-q^{7n})(1-q^{14n})$$

The coefficients of this eta product are exactly the $a_n$ of a particular elliptic curve of conductor 14. This is the modularity theorem in action — a geometric object (curve) and an analytic object (modular form) producing identical sequences.

Why modular forms matter

Modular forms are unreasonably effective in number theory:

• Representation counting: The number of ways to write $n$ as a sum of $k$ squares is a Fourier coefficient of a modular form (Jacobi theta functions)
• Partition function: Ramanujan’s congruences for $p(n)$ follow from modular form theory
• Galois representations: Modular forms carry Galois representations — algebraic symmetries encoded in analytic objects
• The Langlands programme: Modular forms are the simplest case of automorphic forms, which are conjectured to classify all L-functions

The extraordinary compression — an infinite sequence of arithmetically meaningful numbers encoded in a single function with a specific symmetry — is what makes modular forms so powerful. They’re the Rosetta Stone of modern number theory.