Modular Forms

Why does a function defined on the upper half-plane, obeying a simple symmetry equation, encode information about primes, integer partitions, and close a 358-year-old problem in number theory?

• **Proof of FLT:** Wiles (1994) proved Fermat's Last Theorem by showing the Frey curve cannot be modular - a contradiction settling 358 years of history in 200+ pages.
• **TLS/HTTPS security:** The Shimura-Taniyama-Weil theorem connects every rational elliptic curve to a weight-2 cusp form - the foundation of elliptic curve cryptography.
• **String theory:** The partition function of the bosonic string is a modular form of weight -12. Modular invariance is equivalent to consistency of the quantum field theory in 26 dimensions.
• **Monstrous moonshine:** The j-invariant encodes representations of the Monster group (order approximately 8*10^53). Borcherds proved this in 1992 and won the Fields Medal.

Modular Forms and the Group SL(2,Z)

A modular form of weight k is a holomorphic function f on the upper half-plane H = {tau in C : Im(tau) > 0} satisfying a transformation law under SL(2,Z) and admitting analytic continuation to the cusp at infinity. The group SL(2,Z) is generated by the shift T: tau -> tau+1 and the inversion S: tau -> -1/tau. Periodicity f(tau+1) = f(tau) guarantees a Fourier expansion in the variable q = e^{2 pi i tau}.

The j-invariant j(tau) = E_4^3/Delta = q^{-1} + 744 + 196884*q + ...; the coefficient 196884 = 196883 + 1, where 196883 is the dimension of the smallest nontrivial representation of the Monster group. This is monstrous moonshine (Borcherds, 1992, Fields Medal): a deep correspondence between modular forms and representation theory of the Monster group of order approximately 8*10^53.

Connection to elliptic curves: for curve E: y^2 = x^3 + ax + b, the modular form f_E = sum a_n q^n has a_p = p + 1 - |E(F_p)|. This is the Shimura-Taniyama-Weil theorem. The L-function L(E,s) = sum a_n n^{-s} has analytic continuation because f_E is a modular form.

Not every periodic holomorphic function is a modular form - growth conditions at cusps are required. The spaces M_k(SL(2,Z)) are trivial for odd k and for k = 0, 2. First nontrivial spaces: M_4, M_6, M_8, M_10, M_12. Each splits as M_k = S_k (cusp forms) direct sum of Eisenstein series span.

Hecke Theory and L-functions

Andrew Wiles used modular form theory in his 1994 proof of Fermat's Last Theorem: the Frey curve from any hypothetical counterexample cannot be modular, a contradiction. Hecke operators are the key tool linking q-expansion coefficients to L-functions. The space M_k(SL(2,Z)) is finite-dimensional and decomposes into eigenspaces of Hecke operators.

Level structure: beyond SL(2,Z) one studies modular forms for congruence subgroups Gamma_0(N) (c divisible by N), Gamma_1(N), Gamma(N). Newforms of level N (Atkin-Lehner theory) correspond bijectively to isogeny classes of elliptic curves over Q of conductor N - the content of the Shimura-Taniyama-Weil theorem. This is the cornerstone of the proof of FLT.

Connections to other areas of mathematics

Modular forms sit at the intersection of complex analysis, number theory, and algebraic geometry.

• Number theory — Related topic
• Elliptic curves — Related topic
• Langlands program — Related topic
• String theory — Related topic

Итоги

• A modular form of weight k satisfies f((a*tau+b)/(c*tau+d)) = (c*tau+d)^k f(tau) for all matrices in SL(2,Z); holomorphicity at cusps is also required
• q-expansion f = sum a_n q^n (|q| < 1) - Fourier coefficients carry arithmetic information about primes and integer partitions
• Ramanujan Delta - unique (up to scalar) cusp form of weight 12; tau(n) is multiplicative; |tau(p)| <= 2p^{11/2} (Deligne, 1974)
• Hecke operators T_p commute; eigenvalues of Hecke eigenforms give the Euler product for L(f,s)
• Shimura-Taniyama-Weil: rational elliptic curves correspond to weight-2 cusp forms - the key to FLT and the BSD conjecture