Ramanujan–Petersson conjecture
In mathematics, the Ramanujan conjecture, due to Srinivasa Ramanujan (1916, p.176), states that Ramanujan's tau function given by the Fourier coefficients τ(n) of the cusp form Δ(z) of weight 12
where , satisfies
when p is a prime number. The generalized Ramanujan conjecture or Ramanujan–Petersson conjecture, introduced by Petersson (1930), is a generalization to other modular forms or automorphic forms.
Ramanujan Lfunction[edit]
The Riemann zeta function and the Dirichlet Lfunction satisfy the Euler product,

(1)

and due to their completely multiplicative property

(2)

Are there Lfunctions other than the Riemann zeta function and the Dirichlet Lfunctions satisfying the above relations? Indeed, the Lfunctions of automorphic forms satisfy the Euler product (1) but they do not satisfy (2) because they do not have the completely multiplicative property. However, Ramanujan discovered that the Lfunction of the modular discriminant satisfies the modified relation

(3)

where τ(p) is Ramanujan's tau function. The term
is thought of as the difference from the completely multiplicative property. The above Lfunction is called Ramanujan's Lfunction.
Ramanujan conjecture[edit]
Ramanujan conjectured the following:
 τ is multiplicative,
 τ is not completely multiplicative but for prime p and j in N we have: τ(p^{ j+1}) = τ(p)τ(p^{ j} ) − p^{11}τ(p^{ j−1} ), and
 τ(p) ≤ 2p^{11/2}.
Ramanujan observed that the quadratic equation of u = p^{−s} in the denominator of RHS of (3),
would have always imaginary roots from many examples. The relationship between roots and coefficients of quadratic equations leads the third relation, called Ramanujan's conjecture. Moreover, for the Ramanujan tau function, let the roots of the above quadratic equation be α and β, then
which looks like the Riemann Hypothesis. It implies an estimate that is only slightly weaker for all the τ(n), namely for any ε > 0:
In 1917, L. Mordell proved the first two relations using techniques from complex analysis, specifically what are now known as Hecke operators. The third statement followed from the proof of the Weil conjectures by Deligne (1974). The formulations required to show that it was a consequence were delicate, and not at all obvious. It was the work of Michio Kuga with contributions also by Mikio Sato, Goro Shimura, and Yasutaka Ihara, followed by Deligne (1968) . The existence of the connection inspired some of the deep work in the late 1960s when the consequences of the étale cohomology theory were being worked out.
Ramanujan–Petersson conjecture for modular forms[edit]
In 1937, Erich Hecke used Hecke operators to generalize the method of Mordell's proof of the first two conjectures to the automorphic Lfunction of the discrete subgroups Γ of SL(2, Z). For any modular form
one can form the Dirichlet series
For a modular form f (z) of weight k ≥ 2 for Γ, φ(s) absolutely converges in Re(s) > k, because a_{n} = O(n^{k−1+ε}). Since f is a modular form of weight k, (s − k)φ(s) turns out to be an entire and R(s) = (2π)^{−s}Γ(s)φ(s) satisfies the functional equation:
this was proved by Wilton in 1929. This correspondence between f and φ is one to one (a_{0} = (−1)^{k/2} Res_{s=k} R(s)). Let g(x) = f (ix) −a_{0} for x > 0, then g(x) is related with R(s) via the Mellin transformation
This correspondence relates the Dirichlet series that satisfy the above functional equation with the automorphic form of a discrete subgroup of SL(2, Z).
In the case k ≥ 3 Hans Petersson introduced a metric on the space of modular forms, called the Petersson metric (also see WeilPetersson metric). This conjecture was named after him. Under the Petersson metric it is shown that we can define the orthogonality on the space of modular forms as the space of cusp forms and its orthogonal space and they have finite dimensions. Furthermore, we can concretely calculate the dimension of the space of holomorphic modular forms, using the RiemannRoch theorem (see the dimensions of modular forms).
Deligne (1971) used the Eichler–Shimura isomorphism to reduce the Ramanujan conjecture to the Weil conjectures that he later proved. The more general Ramanujan–Petersson conjecture for holomorphic cusp forms in the theory of elliptic modular forms for congruence subgroups has a similar formulation, with exponent (k − 1)/2 where k is the weight of the form. These results also follow from the Weil conjectures, except for the case k = 1, where it is a result of Deligne & Serre (1974).
The Ramanujan–Petersson conjecture for Maass forms is still open (as of 2016) because Deligne's method, which works well in the holomorphic case, does not work in the real analytic case.
Ramanujan–Petersson conjecture for automorphic forms[edit]
Satake (1966) reformulated the Ramanujan–Petersson conjecture in terms of automorphic representations for GL(2) as saying that the local components of automorphic representations lie in the principal series, and suggested this condition as a generalization of the Ramanujan–Petersson conjecture to automorphic forms on other groups. Another way of saying this is that the local components of cusp forms should be tempered. However, several authors found counterexamples for anisotropic groups where the component at infinity was not tempered. Kurokawa (1978) and Howe & PiatetskiShapiro (1979) showed that the conjecture was also false even for some quasisplit and split groups, by constructing automorphic forms for the unitary group U(2, 1) and the symplectic group Sp(4) that are nontempered almost everywhere, related to the representation θ_{10}.
After the counterexamples were found, PiatetskiShapiro (1979) suggested that a reformulation of the conjecture should still hold. The current formulation of the generalized Ramanujan conjecture is for a globally generic cuspidal automorphic representation of a connected reductive group, where the generic assumption means that the representation admits a Whittaker model. It states that each local component of such a representation should be tempered. It is an observation due to Langlands that establishing functoriality of symmetric powers of automorphic representations of GL(n) will give a proof of the Ramanujan–Petersson conjecture.
Bounds towards Ramanujan over number fields[edit]
Obtaining the best possible bounds towards the generalized Ramanujan conjecture in the case of number fields has caught the attention of many mathematicians. Each improvement is considered a milestone in the world of modern Number Theory. In order to understand the Ramanujan bounds for GL(n), consider a unitary cuspidal automorphic representation:
The Bernstein–Zelevinsky classification tells us that each padic π_{v} can be obtained via unitary parabolic induction from a representation
Here each is a representation of GL(n_{i}), over the place v, of the form
with tempered. Given n ≥ 2, a Ramanujan bound is a number δ ≥ 0 such that
Langlands classification can be used for the archimedean places. The generalized Ramanujan conjecture is equivalent to the bound δ = 0.
Jacquet, PiatetskiShapiro & Shalika (1981) obtain a first bound of δ ≤ 1/2 for the general linear group GL(n), known as the trivial bound. An important breakthrough was made by Luo, Rudnick & Sarnak (1999), who currently hold the best general bound of δ ≡ 1/2 − (n^{2}+1)^{−1} for arbitrary n and any number field. In the case of GL(2), Kim and Sarnak established the breakthrough bound of δ = 7/64 when the number field is the field of rational numbers, which is obtained as a consequence of the functoriality result of Kim (2002) on the symmetric fourth obtained via the LanglandsShahidi method. Generalizing the KimSarnak bounds to an arbitrary number field is possible by the results of Blomer & Brumley (2011).
For reductive groups other than GL(n), the generalized Ramanujan conjecture would follow from principle of Langlands functoriality. An important example are the classical groups, where the best possible bounds were obtained by Cogdell et al. (2004) as a consequence of their Langlands functorial lift.
The RamanujanPetersson conjecture over global function fields[edit]
Drinfeld's proof of the global Langlands correspondence for GL(2) over a global function field leads towards a proof of the Ramanujan–Petersson conjecture. Lafforgue (2002) successfully extended Drinfeld's shtuka technique to the case of GL(n) in positive characteristic. Via a different technique that extends the LanglandsShahidi method to include global function fields, Lomelí (2009) proves the Ramanujan conjecture for the classical groups.
Applications[edit]
An application of the Ramanujan conjecture is the explicit construction of Ramanujan graphs by Lubotzky, Phillips and Sarnak. Indeed, the name "Ramanujan graph" was derived from this connection. Another application is that the Ramanujan–Petersson conjecture for the general linear group GL(n) implies Selberg's conjecture about eigenvalues of the Laplacian for some discrete groups.
References[edit]
 Blomer, V.; Brumley, F. (2011), "On the Ramanujan conjecture over number fields", Annals of Mathematics, 174: 581–605, arXiv:1003.0559, doi:10.4007/annals.2011.174.1.18, MR 2811610
 Cogdell, J. W.; Kim, H. H.; PiatetskiShapiro, I. I.; Shahidi, F. (2004), "Functoriality for the classical groups", Publications Mathématiques de l'IHÉS, 99: 163–233, CiteSeerX 10.1.1.495.6662, doi:10.1007/s102400040020z
 Deligne, Pierre (1971), "Formes modulaires et représentations ladiques", Séminaire Bourbaki vol. 1968/69 Exposés 347363, Lecture Notes in Mathematics, 179, Berlin, New York: SpringerVerlag, doi:10.1007/BFb0058801, ISBN 9783540053569
 Deligne, Pierre (1974), "La conjecture de Weil. I.", Publications Mathématiques de l'IHÉS, 43: 273–307, doi:10.1007/BF02684373, ISSN 16181913, MR 0340258
 Deligne, Pierre; Serre, JeanPierre (1974), "Formes modulaires de poids 1", Annales Scientifiques de l'École Normale Supérieure, Série 4, 7 (4): 507–530, doi:10.24033/asens.1277, ISSN 00129593, MR 0379379
 Howe, Roger; PiatetskiShapiro, I. I. (1979), "A counterexample to the "generalized Ramanujan conjecture" for (quasi) split groups", in Borel, Armand; Casselman, W. (eds.), Automorphic forms, representations and Lfunctions (Proc. Sympos. Pure Math., Oregon State Univ., Corvallis, Ore., 1977), Part 1, Proc. Sympos. Pure Math., XXXIII, Providence, R.I., pp. 315–322, ISBN 9780821814352, MR 0546605
 Jacquet, H.; PiatetskiShapiro, I. I.; Shalika, J. A. (1983), "RankinSelberg Convolutions", Amer. J. Math., 105 (2): 367–464, doi:10.2307/2374264, JSTOR 2374264
 Kim, H. H. (2002), "Functoriality for the exterior square of GL(4) and symmetric fourth of GL(2)", Journal of the AMS, 16: 139–183
 Kurokawa, Nobushige (1978), "Examples of eigenvalues of Hecke operators on Siegel cusp forms of degree two", Inventiones Mathematicae, 49 (2): 149–165, Bibcode:1978InMat..49..149K, doi:10.1007/BF01403084, ISSN 00209910, MR 0511188
 Langlands, R. P. (1970), "Problems in the theory of automorphic forms", Lectures in modern analysis and applications, III, Lecture Notes in Math, 170, Berlin, New York: SpringerVerlag, pp. 18–61, doi:10.1007/BFb0079065, ISBN 9783540052845, MR 0302614
 Lomelí, L. (2009), "Functoriality for the classical groups over function fields", International Mathematics Research Notices: 4271–4335, doi:10.1093/imrn/rnp089, MR 2552304
 Luo, W.; Rudnick, Z.; Sarnak, P. (1999), "On the Generalized Ramanujan Conjecture for GL(n)", Proc. Sympos. Pure Math., Proceedings of Symposia in Pure Mathematics, 66: 301–310, doi:10.1090/pspum/066.2/1703764, ISBN 9780821810514
 Petersson, H. (1930), "Theorie der automorphen Formen beliebiger reeller Dimension und ihre Darstellung durch eine neue Art Poincaréscher Reihen.", Mathematische Annalen (in German), 103 (1): 369–436, doi:10.1007/BF01455702, ISSN 00255831
 PiatetskiShapiro, I. I. (1979), "Multiplicity one theorems", in Borel, Armand; Casselman., W. (eds.), Automorphic forms, representations and Lfunctions (Proc. Sympos. Pure Math., Oregon State Univ., Corvallis, Ore., 1977), Part 1, Proc. Sympos. Pure Math., XXXIII, Providence, R.I.: American Mathematical Society, pp. 209–212, ISBN 9780821814352, MR 0546599
 Ramanujan, Srinivasa (1916), "On certain arithmetical functions", Transactions of the Cambridge Philosophical Society, XXII (9): 159–184 Reprinted in Ramanujan, Srinivasa (2000), "Paper 18", Collected papers of Srinivasa Ramanujan, AMS Chelsea Publishing, Providence, RI, pp. 136–162, ISBN 9780821820766, MR 2280843
 Sarnak, Peter (2005), "Notes on the generalized Ramanujan conjectures" (PDF), in Arthur, James; Ellwood, David; Kottwitz, Robert (eds.), Harmonic analysis, the trace formula, and Shimura varieties, Clay Math. Proc., 4, Providence, R.I.: American Mathematical Society, pp. 659–685, ISBN 9780821838440, MR 2192019
 Satake, Ichirô (1966), "Spherical functions and Ramanujan conjecture", in Borel, Armand; Mostow, George D. (eds.), Algebraic Groups and Discontinuous Subgroups (Boulder, Colo., 1965), Proc. Sympos. Pure Math., IX, Providence, R.I., pp. 258–264, ISBN 9780821832134, MR 0211955