L-Functions and Modularity

Every modular eigenform has an L-function with an Euler product and a functional equation, and the modularity theorem identifies the L-functions of rational elliptic curves with those of weight-two newforms, a cornerstone of modern number theory.

Definition

The L-function of a modular form is the Dirichlet series formed from its Fourier coefficients; modularity is the theorem that the L-function of any elliptic curve over the rationals coincides with the L-function of a weight-two newform of matching level.

Scope

This topic covers the construction of the L-function of a modular form from its Fourier coefficients via the Mellin transform, its analytic continuation and functional equation derived from the form's modular transformation, Hecke's converse theorem, the modularity theorem (formerly the Taniyama-Shimura-Weil conjecture) equating elliptic-curve and modular L-functions, the associated Galois representations, and the place of all this within the Langlands program.

Core questions

• How is the L-function of a modular form built, and how does the Mellin transform yield its functional equation?
• What does Hecke's converse theorem say about which Dirichlet series come from modular forms?
• What exactly does the modularity theorem assert, and how were elliptic-curve and modular L-functions matched?
• How do Galois representations mediate this correspondence, and how does it fit the Langlands program?

Key theories

L-function, Mellin transform, and functional equation

The Mellin transform of a cusp form is its completed L-function; the form's behaviour under the inversion of the modular group translates into the functional equation relating values at s and weight minus s.

Modularity theorem

Every elliptic curve over the rationals is modular: its Hasse-Weil L-function equals that of a weight-two newform, proved by Wiles and completed by Breuil, Conrad, Diamond, and Taylor.

Galois representations and Langlands

Eigenforms give rise to two-dimensional Galois representations whose Frobenius traces are the Hecke eigenvalues; matching these to elliptic curves is the first nonabelian case of the Langlands correspondence.

Clinical relevance

The modularity machinery — Galois representations and modularity lifting — provided the proof of Fermat's Last Theorem and now underpins much of arithmetic geometry; the explicit L-functions also feed conjectures (Birch-Swinnerton-Dyer) that guide computational tools for elliptic curves used in cryptography.

History

Hecke established the analytic continuation and functional equation of modular L-functions in the 1930s. The Taniyama-Shimura-Weil conjecture on modularity took shape from the 1950s; Wiles proved the semistable case in 1994 (yielding Fermat's Last Theorem), and the full modularity theorem was completed in 2001 by Breuil, Conrad, Diamond, and Taylor.

Key figures

• Erich Hecke
• Goro Shimura
• Andre Weil
• Andrew Wiles
• Robert Langlands

Seminal works

• diamondShurman2005

Frequently asked questions

What does it mean for an elliptic curve to be modular?

It means the L-function built from counting the curve's points modulo each prime matches exactly the L-function of a specific modular form, so the curve is, in a precise sense, parametrized by modular functions.

How does this relate to the Langlands program?

Modularity of elliptic curves is the simplest nonabelian instance of the Langlands philosophy, which predicts a deep correspondence between Galois representations and automorphic forms; modular forms are the automorphic side of this dictionary.