This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| Ramanujan–Petersson conjecture | |
|---|---|
| Name | Ramanujan–Petersson conjecture |
| Field | Number theory |
| Introduced | 1916 |
| Contributors | Srinivasa Ramanujan, Hans Petersson, Atle Selberg, Pierre Deligne, Erich Hecke, Robert Langlands |
Ramanujan–Petersson conjecture
The Ramanujan–Petersson conjecture is a central prediction in Number theory and Representation theory about bounds on Fourier coefficients of modular forms and eigenvalues of Hecke operators, originating in Srinivasa Ramanujan's work on the tau function and developed by Hans Petersson, Atle Selberg, Pierre Deligne, Erich Hecke, and Robert Langlands. It connects classical objects such as theta functions, Eisenstein series, and cusp forms with deep structures appearing in the Langlands program, étale cohomology, and the theory of automorphic representations. The conjecture has driven progress across research by motivating results of Eichler, Shimura, Serre, Taniyama, Weil, Brauer, Matsushima, and modern contributors including Kim and Sarnak.
The conjecture originated with Srinivasa Ramanujan's 1916 observations on the tau function, later reframed by Hans Petersson and Atle Selberg within the spectral theory of modular forms and Maass forms, and integrated into Robert Langlands's conjectural correspondence between Galois group representations and automorphic representations. Early foundational results by Erich Hecke on multiplicative properties of coefficients and by Erich Eichler on correspondences with Jacobians of modular curves influenced Pierre Deligne's cohomological approach tied to Grothendieck's theories and Weil conjectures. Subsequent formulation frames the conjecture as bounds on local parameters (Satake parameters) of unramified representations of GL(n) over local fields, predicting temperedness in the sense of Harish-Chandra and compatibility with the Ramanujan bound for Hecke eigenvalues.
Ramanujan defined the tau function τ(n) via the q-expansion of the discriminant modular form Δ(τ) and conjectured multiplicativity and specific growth bounds that implied |τ(p)| ≤ 2 p^(11/2) for primes p; these claims engaged mathematicians including G. H. Hardy, J. E. Littlewood, and B. M. Wilson. Hecke's theory situated τ(n) among eigenvalues of Hecke operators acting on the space of cusp forms for SL(2, Z), while Hans Petersson introduced the Petersson inner product that related Fourier coefficients to spectral decompositions studied by Atle Selberg and Roelcke. The original Ramanujan conjectures on τ(n) were a motivating special case of a broader statement about eigenvalues of Hecke operators on cusp forms for congruence subgroups such as Γ0(N).
In the language of automorphic forms and automorphic representations, the conjecture asserts that unramified local components of cuspidal automorphic representations of GL(n, A) are tempered, equivalently that Satake parameters lie on the unit circle for normalized settings, tying to the theory of Satake isomorphism, Langlands dual group, and Plancherel measure. This viewpoint brings in tools from adelic analysis, Eisenstein series of Langlands and Mœglin–Waldspurger decompositions, and links to the spectral theory developed by Selberg, Arthur, and Gelbart. The Hecke eigenvalues arise as traces of Frobenius under conjectural correspondences with ℓ-adic Galois representations formulated by Deligne, Serre, and Fontaine.
Atle Selberg proposed analogous bounds for eigenvalues of non-holomorphic Maass forms, leading to the Selberg eigenvalue conjecture and the Selberg trace formula developed by Selberg and refined by Arthur; Hans Petersson's work generalized Ramanujan's original setting via the Petersson trace formula. Robert Langlands elevated the prediction to a far-reaching conjecture within the Langlands program, predicting temperedness for cuspidal automorphic representations across reductive groups such as GL(n), SO(n), Sp(2n), and exceptional groups studied by Gross and Savin. Further generalizations include the generalized Ramanujan conjecture for reductive groups, ties to functoriality conjectures by Langlands and concrete cases handled via symmetric power lifts studied by Gelbart, Jacquet, Cogdell, and Piatetski-Shapiro.
Pierre Deligne proved Ramanujan's bound for τ(n) by proving the Weil conjectures using ℓ-adic cohomology and the theory of étale cohomology, establishing the necessary purity and giving |τ(p)| ≤ 2 p^(11/2), a landmark that relied on Grothendieck's ideas and inputs from Serre and Tate. The Eichler–Shimura correspondence, developed by Eichler and Shimura, linked weight-two modular forms to two-dimensional abelian varieties and provided proofs of Ramanujan-type bounds in special weights via the theory of Jacobians of modular curves studied by Atkin and Lehner. For higher-rank generalizations, H. Kim and P. Sarnak proved progress toward temperedness for symmetric power lifts, using results by Kim extending functorial lifts through the Rankin–Selberg method and analytic properties established by Cogdell and Piatetski-Shapiro, yielding explicit bounds often cited as Kim–Sarnak bounds.
Proofs and partial results employ a tapestry of techniques: ℓ-adic cohomology and purity used by Deligne; trace formula methods from Selberg and Arthur; converse theorems by Cogdell and Piatetski-Shapiro; analytic properties of L-functions advanced by Rankin, Selberg, Godement, and Jacquet; and representation-theoretic tools including the theory of tempered representations, the Satake isomorphism, and classification results by Bernstein and Zelevinsky. Geometric methods exploit modular and Shimura varieties studied by Milne and Kottwitz and use potential modularity strategies by Wiles, Taylor, and Clozel to connect automorphic representations with Galois representations; analytic amplification and large sieve techniques by Iwaniec and Duke also play roles in bounding coefficients.
Major open problems include proving the generalized Ramanujan conjecture for cuspidal representations of GL(n) for n > 2 in full generality, establishing functorial transfers conjectured by Langlands between reductive groups, and proving Selberg's eigenvalue conjecture for non-holomorphic forms. Active research areas involve establishing new symmetric power liftings by Kim and collaborators, exploring potential automorphy via Taylor–Harris techniques, arithmetic geometry on Shimura varietys by Kisin and Vasiu, and analytic advances in subconvexity by Michel and Venkatesh that impact effective bounds. Ongoing computational and experimental investigations by research groups at institutions such as Institute for Advanced Study, Princeton University, and École Normale Supérieure continue to probe numerical behavior of Hecke eigenvalues and their relations to conjectures by Sato–Tate, Bloch–Kato, and broader aspects of the Langlands program.