Modular Form

A modular form is a complex analytic function on the upper half-plane that satisfies a transformation law with respect to the action of the modular group SL(2,ℤ) and satisfies a growth condition at the cusps. Modular forms are the most symmetric functions in analysis: their symmetry group is infinite and discrete, and this symmetry constrains their Fourier expansions in ways that make them extraordinarily rich arithmetic objects. The coefficients of a modular form encode deep arithmetic information: the Ramanujan τ-function, the partition function, and the representations of the monster group all appear as coefficients of modular forms.

The connection to number theory is most profound in the theory of complex multiplication. The j-invariant of an elliptic curve with complex multiplication by an imaginary quadratic field is an algebraic integer that generates the Hilbert class field of that field. The modular function j(z) is itself a modular form of weight zero, and its values at imaginary quadratic irrationals are the singular moduli that generate the abelian extensions. This is the simplest case of the Langlands correspondence: modular forms are the automorphic side, and the Galois representations of number fields are the arithmetic side. The modularity theorem — proved by Wiles and Taylor for semistable elliptic curves and completed by Breuil, Conrad, Diamond, and Taylor — states that every rational elliptic curve is associated to a modular form. This theorem was the key to the proof of Fermat's Last Theorem. Modular forms are not merely analytic tools. They are the language in which the arithmetic of number fields writes its deepest secrets.

The theory of modular forms is inseparable from the theory of elliptic curves. The modularity theorem establishes a correspondence between rational elliptic curves and weight-2 modular forms for the congruence subgroup Γ₀(N), where N is the conductor of the curve. This correspondence is not a coincidence but a reflection of a deep structural unity: the L-function of an elliptic curve and the L-function of its associated modular form are identical. The arithmetic of the curve — its rank, its torsion, its rational points — is encoded in the Fourier coefficients of the modular form. This is the Langlands correspondence in its most accessible form, and it demonstrates that the analytic and arithmetic worlds are not parallel but coincident.