Conjecture de Ramanujan
En mathématiques, la  conjecture de Ramanujan, due à Srinivasa Ramanujan (et démontrée par Pierre Deligne en 1973), prédit certaines propriétés arithmétiques ainsi que le comportement asymptotique de la fonction tau qu'il a définie. La conjecture de Ramanujan généralisée, ou  conjecture de Ramanujan-Petersson, introduite par Hans Petersson en 1930, en est une généralisation à d'autres formes modulaires ou automorphes.

Les fonctions tau et L 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),
 (équation 1) ;
ces caractères étant complètement multiplicatifs, on a également
 (é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
 (équation 3),
où  est la fonction tau de Ramanujan définie par les coefficients de Fourier  de la forme parabolique  de poids  (et donc comme les coefficients de la série entière correspondant au produit infini ) :

avec .

Le terme  peut être vu comme un terme d'erreur (venant de ce que tau n'est pas complètement multiplicative).

La conjecture de Ramanujan 

Ramanujan observa sur un grand nombre de valeurs de  que le polynôme du second degré en ,  apparaissant dans l'équation (3), avait toujours deux racines non réelles (complexes conjuguées), et donc que  ; 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 :
  est multiplicative,
  n'est pas complètement multiplicative, mais pour tout  premier et  entier > 0, on a : , et
 
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  :
 (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 , 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, et finalement à une démonstration complète lorsque les conjectures furent prouvées par Deligne en 1973. 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.

La conjecture de Ramanujan-Petersson pour les formes modulaires 
En 1937, Erich Hecke utilisa lui aussi les opérateurs de Hecke pour généraliser les résultats de Mordell aux  des sous-groupes discrets  de . Pour toute forme modulaire

on peut construire la série de Dirichlet

Pour une forme modulaire  de poids  pour ,  converge absolument dans le demi-plan , parce que . Comme  est de poids , il s'avère que  est une fonction entière, et que  vérifie l'équation fonctionnelle :

(ce résultat fut démontré par Wilton en 1929). Cette correspondance entre  et  est bijective (). Soit  pour , alors  est relié à  par la transformation de Mellin :
,

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 .

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

Généralisations

La conjecture pour les formes automorphes 
En 1966, Ichirō Satake reformula la conjecture de Ramanujan-Petersson en termes de représentations automorphes de  (en affirmant que les composantes locales des représentations appartiennent à la série principale), et suggéra que cette condition pourrait généraliser la conjecture à des formes automorphes sur d'autres groupes. Sous cette forme, de nombreux contre-exemples furent trouvés, mais Ilya Piatetski-Shapiro obtint en 1979 un raffinement de cette conjecture (connu sous le nom de conjecture de Ramanujan généralisée) qui n'a pas été réfuté, et que Robert Langlands a rattaché à son propre programme.

La conjecture sur des corps de fonctions 
La construction par Vladimir Drinfeld de la correspondance globale de Langlands pour  sur un corps de fonctions global permit de démontrer la conjecture de Ramanujan-Petersson dans ce cas. Laurent Lafforgue réussit en 2002 à étendre la technique des  au cas de  en caractéristique non nulle ; une technique différente permit à Lomelí de démontrer la conjecture en 2009 pour les groupes classiques.

Applications 
La plus célèbre application de la conjecture de Ramanujan est la construction explicite de certains graphes faite par Lubotzky, Phillips et Sarnak, graphes auxquels on a justement donné le nom de « graphes de Ramanujan » pour cette raison. Une autre application est que la conjecture de Ramanujan-Petersson pour le groupe général linéaire  implique la  concernant les valeurs propres du laplacien pour certains groupes discrets.

Notes et références

Voir aussi 
 
 
 
 
 
 
 
 

Fonction zêta
Srinivasa Ramanujan
Ramanujan
En mathématiques , la conjecture de Ramanujan , due à Srinivasa Ramanujan ( et démontrée par Pierre Deligne en prédit certaines propriétés arithmétiques ainsi que le comportement asymptotique de la fonction tau qu' il a définie . La conjecture de Ramanujan généralisée , ou conjecture de Ramanujan-Petersson , introduite par Hans Petersson en en est une généralisation à d' autres formes modulaires ou automorphes . Les fonctions tau et L 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 ) , ( équation ; ces caractères étant complètement multiplicatifs , on a également ( équation Les fonctions L de les formes automorphes vérifient également l' équation mais pas l' équation les « caractères » correspondants n' étant pas complètement multiplicatifs . Ramanujan a cependant découvert que la fonction L de le discriminant modulaire , appelée fonction L de Ramanujan , satisfaisait la relation modifiée ( équation où est la fonction tau de Ramanujan définie par les coefficients de Fourier de la forme parabolique de poids ( et donc comme les coefficients de la série entière correspondant à le produit infini ) \: avec \ . Le terme peut être vu comme un terme d' erreur ( venant de ce que tau n' est pas complètement multiplicative ) . La conjecture de Ramanujan Ramanujan observa sur un grand nombre de valeurs de que le polynôme de le second degré en , apparaissant dans l' équation avait toujours deux racines non réelles ( complexes conjuguées ) , et donc que ; 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 \ : est multiplicative , n' est pas complètement multiplicative , mais pour tout premier et entier > on a \: , et 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 \ : ( où O est la notation de Landau ) . En Louis Mordell démontra les deux premières propriétés en utilisant de les 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 de les racines de le polynôme P , l' approximation pour , et l' hypothèse de Riemann . Cela conduisit à une reformulation de la conjecture due principalement à Michio Kuga ( avec de les contributions de Mikio Satō , Gorō Shimura , et Yasutaka Ihara ) permettant à Pierre Deligne de la ramener à les conjectures de Weil en et finalement à une démonstration complète lorsque les conjectures furent prouvées par Deligne en Cette relation entre les deux problèmes devait inspirer de les travaux profonds à la fin de les années lorsque les conséquences de la théorie de la cohomologie étale furent étudiées . La conjecture de Ramanujan-Petersson pour les formes modulaires En Erich Hecke utilisa lui aussi les opérateurs de Hecke pour généraliser les résultats de Mordell à les de les sous-groupes discrets de \ . Pour toute forme modulaire on peut construire la série de Dirichlet Pour une forme modulaire de poids pour , converge absolument dans le demi-plan , parce que \ . Comme est de poids , il s' avère que est une fonction entière , et que vérifie l' équation fonctionnelle \ : ( ce résultat fut démontré par Wilton en Cette correspondance entre et est bijective ( ) . Soit pour , alors est relié à par la transformation de Mellin \ : 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 \ . Il est alors possible de formuler une conjecture plus générale , appelée la conjecture de Ramanujan-Petersson , pour de les formes de poids , en remplaçant l' exposant2 de la conjecture de Ramanujan par \ . Elle est également une conséquence de les conjectures de Weil , sauf pour , qui a été traité indépendamment par Deligne et Serre en Généralisations La conjecture pour les formes automorphes En Ichirō Satake reformula la conjecture de Ramanujan-Petersson en termes de représentations automorphes de ( en affirmant que les composantes locales de les représentations appartiennent à la série principale ) , et suggéra que cette condition pourrait généraliser la conjecture à de les formes automorphes sur d' autres groupes . Sous cette forme , de nombreux contre-exemples furent trouvés , mais Ilya Piatetski-Shapiro obtint enun raffinement de cette conjecture ( connu sous le nom de conjecture de Ramanujan généralisée ) qui n' a pas été réfuté , et que Robert Langlands a rattaché à son propre programme . La conjecture sur de les corps de fonctions La construction par Vladimir Drinfeld de la correspondance globale de Langlands pour sur un corps de fonctions global permit de démontrer la conjecture de Ramanujan-Petersson dans ce cas . Laurent Lafforgue réussit enà étendre la technique de les à le cas de en caractéristique non nulle ; une technique différente permit à Lomelí de démontrer la conjecture enpour les groupes classiques . Applications La plus célèbre application de la conjecture de Ramanujan est la construction explicite de certains graphes faite par Lubotzky , Phillips et Sarnak , graphes à lesquels on a justement donné le nom de « graphes de Ramanujan » pour cette raison . Une autre application est que la conjecture de Ramanujan-Petersson pour le groupe général linéaire implique la concernant les valeurs propres de le laplacien pour certains groupes discrets . Notes et références Voir aussi Fonction zêta Srinivasa Ramanujan Ramanujan