Conjecture de Ramanujan

La fonction zêta de Riemann et les fonctions L de Dirichlet sont égales à un produit eulérien (pris sur tous les p premiers, et où a est un caractère),

${\displaystyle L(s,a)=\prod _{p}\left(1+{\frac {a(p)}{p^{s}}}+{\frac {a(p^{2})}{p^{2s}}}+\dots \right)}$ (équation 1) ;

ces caractères étant complètement multiplicatifs, on a également

${\displaystyle L(s,a)=\prod _{p}\left(1-{\frac {a(p)}{p^{s}}}\right)^{-1}}$ (équation 2).

Les fonctions L des formes automorphes vérifient également l'équation (1), mais pas l'équation (2), les « caractères » correspondants n'étant pas complètement multiplicatifs. Ramanujan a cependant découvert que la fonction L du discriminant modulaire, appelée fonction L de Ramanujan, satisfaisait la relation modifiée

${\displaystyle L(s,\tau )=\prod _{p}\left(1-{\frac {\tau (p)}{p^{s}}}+{\frac {1}{p^{2s-11}}}\right)^{-1}}$ (équation 3),

où τ(p) est la fonction tau de Ramanujan définie par les coefficients de Fourier τ(n) de la forme parabolique Δ(z) de poids 12 (et donc comme les coefficients de la série entière correspondant au produit infini ${\displaystyle q\prod _{n>0}\left(1-q^{n}\right)^{24}}$) :

${\displaystyle \Delta (z)=\sum _{n>0}\tau (n)q^{n}=q\prod _{n>0}\left(1-q^{n}\right)^{24}=q-24q^{2}+252q^{3}-1472q^{4}+4830q^{5}-\cdots ,}$

avec ${\displaystyle q=e^{2\pi iz}}$.

Le terme ${\displaystyle {\frac {1}{p^{2s-11}}}}$ peut être vu comme un terme d'erreur (venant de ce que tau n'est pas complètement multiplicative).

Ramanujan observa sur un grand nombre de valeurs de ${\displaystyle p}$ que le polynôme du second degré en ${\displaystyle u=p^{-s}}$, ${\displaystyle P(u)=1-\tau (p)u+p^{11}u^{2},}$ apparaissant dans l'équation (3), avait toujours deux racines non réelles (complexes conjuguées), et donc que |τ(p)| ≤ 2p^11/2 ; c'est cette inégalité qui est appelée la conjecture de Ramanujan. Ramanujan a en fait conjecturé les trois propriétés suivantes de la fonction tau[2] :

1. τ est multiplicative,
2. τ n'est pas complètement multiplicative, mais pour tout p premier et j entier > 0, on a : τ(p^j+1) = τ(p)τ(p^j ) −p¹¹τ(p^j−1 ), et
3. |τ(p)| ≤ 2p^11/2

Le caractère multiplicatif de τ (s'il est démontré) permet d'en déduire (pour tout n) le résultat un peu plus faible, pour tout ε > 0 :

${\displaystyle \tau (n)=O\left(n^{{\frac {11}{2}}+\varepsilon }\right)}$ (où O est la notation de Landau).

En 1917, Louis Mordell démontra les deux premières propriétés en utilisant des techniques d'analyse complexe, en particulier les opérateurs de Hecke. La conjecture de Ramanujan proprement dite, beaucoup plus difficile, fut attaquée en remarquant une vague analogie entre les propriétés des racines du polynôme P, l'approximation pour ${\displaystyle \tau (n)}$, et l'hypothèse de Riemann. Cela conduisit à une reformulation de la conjecture due principalement à Michio Kuga (avec des contributions de Mikio Satō, Gorō Shimura, et Yasutaka Ihara) permettant à Pierre Deligne de la ramener aux conjectures de Weil en 1968[3], et finalement à une démonstration complète lorsque les conjectures furent prouvées par Deligne en 1973[4]. Cette relation entre les deux problèmes devait inspirer des travaux profonds à la fin des années 60, lorsque les conséquences de la théorie de la cohomologie étale furent étudiées.

En 1937, Erich Hecke utilisa lui aussi les opérateurs de Hecke pour généraliser les résultats de Mordell aux fonctions L automorphes (en) des sous-groupes discrets Γ de SL(2, Z). Pour toute forme modulaire

${\displaystyle f(z)=\sum _{n=0}^{\infty }a_{n}q^{n}\qquad q=e^{2\pi iz},}$

on peut construire la série de Dirichlet

${\displaystyle \varphi (s)=\sum _{n=1}^{\infty }{\frac {a_{n}}{n^{s}}}.}$

Pour une forme modulaire f (z) de poids k ≥ 2 pour Γ, φ(s) converge absolument dans le demi-plan Re(s) > k, parce que a_n = O(n^k−1+ε). Comme f est de poids k, il s'avère que (s − k)φ(s) est une fonction entière, et que R(s) = (2π)^−sΓ(s)φ(s) vérifie l'équation fonctionnelle :

${\displaystyle R(k-s)=(-1)^{\frac {k}{2}}R(s);}$

(ce résultat fut démontré par Wilton en 1929). Cette correspondance entre f et φ est bijective (a₀ = (−1)^k/2 Res_s=k R(s)). Soit g(x) = f (ix) −a₀ pour x > 0, alors g(x) est relié à R(s) par la transformation de Mellin :

${\displaystyle R(s)=\int _{0}^{\infty }g(x)x^{s-1}dx\Leftrightarrow g(x)={\frac {1}{2\pi i}}\int _{{\text{Re}}(s)=\sigma _{0}}R(s)x^{-s}ds}$,

et ceci met en correspondance la série de Dirichlet vérifiant l'équation fonctionnelle ci-dessus avec la forme automorphe d'un sous-groupe discret de SL(2, Z).

Il est alors possible de formuler une conjecture plus générale, appelée la conjecture de Ramanujan-Petersson, pour des formes de poids k, en remplaçant l'exposant 11/2 de la conjecture de Ramanujan par (k − 1)/2. Elle est également une conséquence des conjectures de Weil, sauf pour k = 1, qui a été traité indépendamment par Deligne et Serre en 1974[5].

• (en) V. Blomer et F. Brumley, « On the Ramanujan conjecture over number fields », Annals of Mathematics, vol. 174,‎ 2011, p. 581-605 (DOI 10.4007/annals.2011.174.1.18)
• (en) J. W. Cogdell, H. H. Kim, I. I. Piatetski-Shapiro et F. Shahidi, « Functoriality for the classical groups », Publ. Math. IHES, vol. 99,‎ 2004, p. 163-233 (DOI 10.1007/s10240-004-0020-z, lire en ligne)
• (en) H. Jacquet, I. I. Piatetski-Shapiro et J. A. Shalika, « Rankin-Selberg Convolutions », Amer. J. Math., vol. 105,‎ 1983, p. 367-464 (DOI 10.2307/2374264)
• (en) H. H. Kim, « Functoriality for the exterior square of GL(4) and symmetric fourth of GL(2) », JAMS, vol. 16,‎ 2002, p. 139-183
• (en) Nobushige Kurokawa, « Examples of eigenvalues of Hecke operators on Siegel cusp forms of degree two », Invent. Math., vol. 49, n^o 2,‎ 1978, p. 149-165 (DOI 10.1007/BF01403084)
• (en) R. P. Langlands, « Problems in the theory of automorphic forms », dans Lectures in modern analysis and applications, III, vol. 170, Berlin, New York, Springer-Verlag, coll. « Lecture Notes in Math », 1970 (ISBN 978-3-540-05284-5, DOI 10.1007/BFb0079065, MR 0302614, lire en ligne), p. 18-61
• (en) W. Luo, Z. Rudnick et P. Sarnak, « On the Generalized Ramanujan Conjecture for GL(n) », Proc. Sympos. Pure Math., vol. 66,‎ 1999, p. 301-310
• (en) Peter Sarnak, « Notes on the generalized Ramanujan conjectures », dans James Arthur, David Ellwood et Robert Kottwitz, Harmonic analysis, the trace formula, and Shimura varieties, vol. 4, Providence, R.I., AMS, coll. « Clay Math. Proc. », 2005 (ISBN 978-0-8218-3844-0, MR 2192019, présentation en ligne, lire en ligne), p. 659-685