Lemme fondamental (programme de Langlands)

De testwiki
Aller à la navigation Aller à la recherche

En mathématiques, et plus précisément en théorie des formes automorphes, le lemme fondamental relie les intégrales orbitales d'un groupe réductif sur un corps local aux intégrales orbitales stables de ses groupes endoscopiques. Ce lemme a été conjecturé par Robert Langlands en 1983, lors de l'élaboration du programme de Langlands. Le lemme fondamental a été prouvé par Gérard Laumon et Ngô Bảo Châu dans le cas des groupes unitaires puis par Ngô (en 2010) pour tout groupe réductif, en s'appuyant sur une série de réductions importantes apportées par Jean-Loup Waldspurger au cas des algèbres de Lie. Le magazine Time a placé la démonstration de Ngô dans la liste du « Top 10 des découvertes scientifiques de 2009 »[1] et lui a valu la médaille Fields en 2010.

Motivation et histoire

Langlands a décrit une stratégie pour prouver les conjectures de Langlands locales et globales en utilisant la Modèle:Lien, mais pour que cette approche fonctionne, Modèle:Pas clair. Cette relation prend la forme d'identités entre intégrales orbitales sur les groupes réductifs G et H sur un corps local non archimédien F, où le groupe H, appelé groupe endoscopique de G, est construit à partir de G et de quelques données supplémentaires.

Le premier cas considéré fut G=SL2 Modèle:Référence Harvard. Langlands et Diana Shelstad ont ensuite développé le cadre général de la théorie du transfert endoscopique et formulé des conjectures spécifiques. Cependant, au cours des deux décennies suivantes, seuls des progrès partiels ont été réalisés dans la preuve du lemme fondamental[2]Modèle:,[3]. Harris l'a qualifié de « goulot d'étranglement limitant les progrès sur une multitude de questions arithmétiques ». Langlands lui-même, écrivant sur les origines de l'endoscopie, écrit : Modèle:Cquote

Énoncé

Le lemme fondamental stipule qu'une intégrale orbitale O pour un groupe G est égale à une intégrale orbitale stable SO pour un groupe endoscopique H, à un facteur de transfert Δ près Modèle:Référence Harvard :

SOγH(1KH)=Δ(γH,γG)OγGκ(1KG)

où

  • F est un corps local,
  • G est un groupe non ramifié défini sur F, autrement dit un groupe réductif quasi-scindé défini sur F qui se scinde sur une extension non ramifiée de F,
  • H est un groupe endoscopique non ramifié de G associé à κ,
  • K G et K H sont des sous-groupes compacts maximaux hyperspéciaux de G et H, ce qui signifie que ce sont des sous-groupes de points à coefficients dans l'anneau des entiers de F,
  • 1KG et 1KH sont les fonctions caractéristiques de KG et KH,
  • Δ(γH,γG) est un facteur de transfert, une certaine expression élémentaire dépendant de γH et γG,
  • γH et γG sont des éléments de G et H représentant des classes de conjugaison stables, telles que la classe de conjugaison stable de G est le transfert de la classe de conjugaison stable de H,
  • κ est un caractère du groupe des classes de conjugaison dans la classe de conjugaison stable de γG.

Approches

Modèle:Harvsp démontre le lemme fondamental pour les corps archimédiens.

Modèle:Harvsp et Modèle:Harvsp ont vérifié quelques cas du lemme fondamental pour des groupes unitaires de dimension 3.

Modèle:Harvsp et Modèle:Harvsp ont vérifié le lemme fondamental pour les groupes Sp4, GSp4.

Un article de George Lusztig et David Kazhdan souligne que les intégrales orbitales pouvaient être interprétées comme un comptage de points sur certaines variétés algébriques sur des corps finis. De plus, les intégrales en question peuvent être calculées d'une manière qui dépend uniquement du corps résiduel de F ; et le problème peut être réduit à la version algèbre de Lie des intégrales orbitales. Le problème a ensuite été reformulé en termes de fibre de Springer de groupes algébriques. Modèle:Harvsp ont prouvé le lemme fondamental pour les groupes unitaires, en utilisant la fibration de Hitchin introduite par Modèle:Harvsp, qui est un analogue géométrique abstrait du système de Hitchin en géométrie algébrique complexe. Modèle:Harvsp a montré (pour les algèbres de Lie) que le cas du corps de fonctions implique le lemme fondamental sur tout corps local, et Modèle:Harvsp a montré que le lemme fondamental pour les algèbres de Lie implique le lemme fondamental pour les groupes.

Notes et références

Modèle:Traduction/Référence

Modèle:Références

Bibliographie

Liens externes

Modèle:Portail

  1. ↑ Modèle:Lien web
  2. ↑ Kottwitz and Rogawski for U3, Wadspurger for SLn, Hales and Weissauer for Sp4.
  3. ↑ Fundamental Lemma and Hitchin Fibration, Gérard Laumon, May 13, 2009
Récupérée de "https://fr.wiki.beta.math.wmflabs.org/w/index.php?title=Lemme_fondamental_(programme_de_Langlands)&oldid=21446"