Why are Hecke eigenforms so important?

Their Fourier coefficients are multiplicative and form an Euler product, giving each eigenform an L-function with arithmetic meaning; these are the modular forms that correspond to elliptic curves and Galois representations.

What is the Ramanujan-Petersson conjecture?

It is a sharp bound on the size of the Hecke eigenvalues (equivalently the Fourier coefficients) of a cusp form; Deligne proved it for holomorphic forms as a consequence of the Weil conjectures.

Hecke Operators and Eigenforms

Hecke operators are a commuting family of linear operators on spaces of modular forms whose simultaneous eigenforms have multiplicative Fourier coefficients, turning modular forms into a source of Euler products and arithmetic L-functions.

Definition

Hecke operators are linear endomorphisms of a space of modular forms, indexed by positive integers, that average a form over sublattices; an eigenform is a modular form that is a simultaneous eigenvector for all Hecke operators.

Scope

This topic covers the definition of Hecke operators on modular forms, their commutativity and self-adjointness under the Petersson inner product, the resulting diagonalization of cusp form spaces into simultaneous eigenforms, the multiplicativity and recursion satisfied by the Fourier coefficients of normalized eigenforms, the theory of oldforms and newforms (Atkin-Lehner theory) for higher levels, and Ramanujan's tau function as the prototypical eigenform coefficient.

Core questions

How are Hecke operators defined, and why do they commute and preserve spaces of modular forms?
Why does self-adjointness under the Petersson inner product guarantee a basis of simultaneous eigenforms?
How does being a normalized eigenform force the Fourier coefficients to be multiplicative and satisfy a prime-power recursion?
What distinguishes newforms from oldforms at higher level, and how does Atkin-Lehner theory organize them?

Key theories

Commuting self-adjoint Hecke operators: The Hecke operators commute and are self-adjoint with respect to the Petersson inner product on cusp forms, so by the spectral theorem the space has an orthogonal basis of simultaneous eigenforms.
Multiplicativity of eigenform coefficients: For a normalized eigenform the n-th Fourier coefficient equals the n-th Hecke eigenvalue; these are multiplicative and satisfy a recursion at prime powers, yielding an Euler product for the form's L-function.
Newforms and Atkin-Lehner theory: At level N the cusp forms split into oldforms coming from lower levels and genuinely new newforms; newforms are the eigenforms with well-defined L-functions and are the objects matched to elliptic curves.

Clinical relevance

Hecke eigenvalues are the arithmetic content tabulated in modular-form databases and attached to Galois representations; bounds on them (the Ramanujan-Petersson conjecture, proved by Deligne) control error terms in analytic estimates and certify the spectral gaps used to build Ramanujan expander graphs.

History

Mordell proved the multiplicativity of Ramanujan's tau function in 1917, a phenomenon Hecke explained in the 1930s by introducing the operators now bearing his name. Atkin and Lehner developed newform theory in 1970, and Deligne's 1974 proof of the Weil conjectures established the Ramanujan bound on eigenvalues.

Key figures

Erich Hecke
Srinivasa Ramanujan
Atle Selberg
Pierre Deligne

Frequently asked questions

Why are Hecke eigenforms so important?: Their Fourier coefficients are multiplicative and form an Euler product, giving each eigenform an L-function with arithmetic meaning; these are the modular forms that correspond to elliptic curves and Galois representations.
What is the Ramanujan-Petersson conjecture?: It is a sharp bound on the size of the Hecke eigenvalues (equivalently the Fourier coefficients) of a cusp form; Deligne proved it for holomorphic forms as a consequence of the Weil conjectures.