Petersson inner product

Petersson inner product

The Petersson inner product is a Hermitian pairing on spaces of holomorphic cusp forms, introduced by Hans Petersson in the 1930s and used extensively in the theory of modular forms, Hecke operators, Eisenstein series and the spectral theory of the modular group. It provides an L^2-type structure linking the analytic theory of Riemann surfaces, the arithmetic of elliptic curves, and the representation theory of SL(2,R) and congruence subgroups such as SL(2,Z), Γ0(N), and Γ1(N). The pairing underlies classical results connecting Fourier coefficients to eigenvalues of Hecke algebra elements and to special values of L-functions.

Definition

For two holomorphic cusp forms f and g of weight k on a congruence subgroup such as SL(2,Z), the Petersson inner product is defined by integrating over a fundamental domain of the action of the subgroup on the upper half-plane. The definition uses the invariant measure coming from the Poincaré metric and normalizes by the hyperbolic volume of the quotient Riemann surface like those studied by Fricke and Atkin–Lehner. In classical treatments one sees the pairing appear alongside constructions by Hecke, Ramanujan, Eichler, and Shimura in the context of modular forms and cusp forms on congruence subgroups such as Γ0(N) and Γ1(N).

Properties

The Petersson pairing is positive-definite on spaces of cusp forms, Hermitian, and invariant under the action of the Hecke operator algebra; these facts are proved using analytic techniques from the theory of automorphic forms developed by Iwaniec, Goldfeld, and Gelbart. Orthogonality relations for Hecke eigenforms follow from self-adjointness results comparable to those in the spectral theory of Maass forms and the decomposition of L^2 spaces studied by Selberg and Roelcke. The pairing interacts with the Petersson trace formula, which generalizes the Selberg trace formula and involves sums over Kloosterman sums and Bessel functions as in work by Petersson, Kloosterman, and Bruggeman. Under the isomorphisms in the theory of newforms and oldforms developed by Atkin and Lehner, the pairing decomposes respecting the Atkin–Lehner involutions and level-raising operations considered by Ribet and Diamond.

Computation and Examples

Explicit computation of the Petersson inner product for Fourier-expansion normalized cusp forms uses unfolding techniques reminiscent of those in the proofs by Rankin and Selberg. For classical newforms normalized by their first Fourier coefficient, the inner product relates to special values of L-series attached to symmetric square representations as in work by Shimura and Gelbart–Jacquet. Numerical examples often involve modular forms like the Ramanujan delta and Eisenstein series evaluated against cusp forms, with concrete integrals computed over fundamental domains informed by tessellations studied by Farey sequence authors and Ford circle constructions. Computational algorithms implement these integrals using Fourier expansions, the Petersson trace formula, or the orthonormal basis of Hecke eigenforms as in software inspired by libraries used in projects at institutions such as University of Washington and Max Planck Institute research groups.

Role in Theory of Modular Forms

The Petersson inner product is central to the spectral decomposition of spaces of modular forms and to the proof that Hecke operators are diagonalizable on spaces of cusp forms, a perspective used by Deligne in the proof of the Ramanujan–Petersson conjecture for holomorphic forms via étale cohomology techniques linked to Weil conjectures. It plays a crucial role in the arithmetic theory of modular forms, connecting Fourier coefficients to periods and regulators studied by Manin, Beilinson, and Bloch. In the Langlands program context championed by Langlands, the Petersson pairing helps translate between automorphic representations of GL(2) and motivic L-functions, with ramifications for modularity results such as the Taniyama–Shimura–Weil conjecture proven by the Modular elliptic curve theorem efforts led by Wiles and Taylor.

Applications and Generalizations

Applications include analytic estimates for Fourier coefficients via the Petersson trace formula used by researchers such as Iwaniec and Sarnak, bounds for central values of L-functions in subconvexity problems pursued by Michel and Venkatesh, and input into equidistribution results for eigenforms connected to quantum unique ergodicity problems studied by Lindenstrauss and Holowinsky. Generalizations extend to Hilbert modular forms over number fields studied by Shimizu and Shimura, Siegel modular forms in the work of Siegel and Andrianov, and adelic formulations in the representation-theoretic framework developed by Jacquet and Langlands. The pairing also appears in the cohomological interpretations by Harder and in p-adic interpolation theories influential in Hida and Coleman families.

Category:Modular forms