In mathematics, the Ramanujan-Petersson conjecture is a conjecture concerning the growth rate of coefficients of modular forms and more generally, automorphic forms. The name of the conjecture comes from Srinivasa Ramanujan, who proposed it for Ramanujan tau function, and Hans Petersson, who generalized it for coefficients of modular forms. In the version for modular forms, the conjecture says that for any cusp form of weight k {\displaystyle k} with Fourier coefficients a n {\displaystyle a_{n}} and every ϵ > 0 {\displaystyle \epsilon >0} that a n = O ϵ ( n ( k − 1 ) / 2 + ϵ ) {\displaystyle a_{n}=O_{\epsilon }{\bigl (}n^{(k-1)/2+\epsilon }{\bigr )}} The generalization for automorphic forms is more sophisticated due to counterexamples found for many of the simplest propositions. Its current form was proposed by Howe and Piatetski-Shapiro, and states that for a globally generic cuspidal automorphic representation of a connected reductive group that admits a Whittaker model, each local component of the representation is tempered. For modular forms, the conjecture was proven following the extensive work of Erich Hecke, Michio Kuga and Pierre Deligne. Despite many similarities between modular forms and Maass forms, the conjecture's counterpart for Maass forms is still an open problem, as the Deligne method which solves the holomorphic case does not work in the real-analytic case of Maass forms. The generalization of the conjecture for automorphic forms also remains an open problem.
Ramanujan conjecture Let q = e 2 π i z {\textstyle q=e^{2\pi iz}} . The discriminant modular form is usually defined by Δ ( z ) = q ∏ n > 0 ( 1 − q n ) 24 = η ( z ) 24 , {\displaystyle \Delta (z)=q\prod _{n>0}\left(1-q^{n}\right)^{24}=\eta (z)^{24},} where η ( z ) {\textstyle \eta (z)} is the Dedekind eta function. Δ ( z ) {\textstyle \Delta (z)} is a holomorphic cusp form of weight 12 and level 1. The Ramanujan tau function τ ( n ) {\displaystyle \tau (n)} is defined for natural numbers by the Fourier series coefficients of this modular form: Δ ( z ) = ∑ n = 1 ∞ τ ( n ) q n = q − 24 q 2 + 252 q 3 − 1472 q 4 + 4830 q 5 − ⋯ . {\displaystyle \Delta (z)=\sum _{n=1}^{\infty }\tau (n)q^{n}=q-24q^{2}+252q^{3}-1472q^{4}+4830q^{5}-\cdots .} Ramanujan (1916) conjectured the following:
τ {\textstyle \tau } is multiplicative.
τ {\textstyle \tau } is not completely multiplicative, but has the following recursive dependence for prime p {\textstyle p} and j ≥ 2 {\textstyle j\geq 2} : τ ( p j + 1 ) = τ ( p ) τ ( p j ) − p 11 τ ( p j − 1 ) {\textstyle \tau (p^{j+1})=\tau (p)\tau (p^{j})-p^{11}\tau (p^{j-1})}
… excerpt ends here. Continue reading the full article.
