Lemme fondamental et endoscopie, une approche géométrique
Séminaire Bourbaki : volume 2004/2005, exposés 938-951, Astérisque, no. 307 (2006), Exposé no. 940, pp. 71-112.

Le “principe de fonctorialité”, conjecturé par Langlands à la fin des années 60, est un moyen remarquablement synthétique d’unifier et exprimer certains liens profonds entre formes automorphes, arithmétique et géométrie algébrique. Son apparente simplicité contraste fortement avec la difficulté des techniques utilisées pour l’aborder. Parmi celles-ci, la stabilisation de la formule des traces d’Arthur-Selberg bute depuis 25 ans sur une conjecture d’analyse harmonique sur des groupes p-adiques : le “lemme fondamental”. Nous présenterons une approche géométrique de ce “lemme”, par Laumon et Ngô, qui les a déjà conduits à une preuve dans le cas des groupes unitaires.

The “principle of functoriality”, as conjectured by Langlands by the late sixties, is a very suggestive way to express the deep links between automorphic forms, arithmetic and algebraic geometry. Despite its rather simple formulation, the few techniques which are used to try and solve it are quite involved. One of them, based on the trace formula has been faced for 25 years with a conjecture of harmonical analysis on p-adic groups: the “fundamental lemma”. We will survey a recent geometric approach by Laumon and Ngô, which has already lead to a proof of this “lemma”for unitary groups.

Classification : 14D20, 20G30
Mot clés : automorphe, formule des traces, endoscopie, lemme fondamental, $G$-torseurs, paires de Hitchin
Keywords: automorphic, trace formula, endoscopy, fundamental lemma $G$-torsors, Hitchin pairs 
@incollection{SB_2004-2005__47__71_0,
     author = {Dat, Jean-Fran\c{c}ois},
     title = {Lemme fondamental et endoscopie, une approche g\'eom\'etrique},
     booktitle = {S\'eminaire Bourbaki : volume 2004/2005, expos\'es 938-951},
     series = {Ast\'erisque},
     note = {talk:940},
     pages = {71--112},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {307},
     year = {2006},
     mrnumber = {2296416},
     zbl = {1175.22013},
     language = {fr},
     url = {http://archive.numdam.org/item/SB_2004-2005__47__71_0/}
}
TY  - CHAP
AU  - Dat, Jean-François
TI  - Lemme fondamental et endoscopie, une approche géométrique
BT  - Séminaire Bourbaki : volume 2004/2005, exposés 938-951
AU  - Collectif
T3  - Astérisque
N1  - talk:940
PY  - 2006
SP  - 71
EP  - 112
IS  - 307
PB  - Société mathématique de France
UR  - http://archive.numdam.org/item/SB_2004-2005__47__71_0/
LA  - fr
ID  - SB_2004-2005__47__71_0
ER  - 
%0 Book Section
%A Dat, Jean-François
%T Lemme fondamental et endoscopie, une approche géométrique
%B Séminaire Bourbaki : volume 2004/2005, exposés 938-951
%A Collectif
%S Astérisque
%Z talk:940
%D 2006
%P 71-112
%N 307
%I Société mathématique de France
%U http://archive.numdam.org/item/SB_2004-2005__47__71_0/
%G fr
%F SB_2004-2005__47__71_0
Dat, Jean-François. Lemme fondamental et endoscopie, une approche géométrique, dans Séminaire Bourbaki : volume 2004/2005, exposés 938-951, Astérisque, no. 307 (2006), Exposé no. 940, pp. 71-112. http://archive.numdam.org/item/SB_2004-2005__47__71_0/

[1] J. Arthur - “A stable trace formula II : Global descent”, Invent. Math. 143 (2001), p. 157-220. | DOI | MR | Zbl

[2] -, “A stable trace formula I : General expansions”, J. Inst. Math. Jussieu 1 (2002), no. 2, p. 175-277. | MR | Zbl

[3] -, “A stable trace formula III : Proof of the main theorems”, Ann. of Math. 158 (2003), no. 3, p. 769-873. | MR | Zbl

[4] A. Beauville, M. S. Narasimhan & S. Ramanan - “Spectral curve and the generalized Theta divisor”, J. reine angew. Math. 398 (1989), p. 169-179. | EuDML | MR | Zbl

[5] J. Bernstein, A. Beilinson & P. Deligne - Analyse et topologie sur les espaces singuliers (I : Faisceaux Pervers), Astérisque, vol. 100, Paris, 1982. | Numdam | MR | Zbl

[6] I. Biswas & S. Ramanan - “Infinitesimal study of Hitchin pairs”, J. London Math. Soc. (2) 49 (1994), p. 219-231. | MR | Zbl

[7] A. Borel - “Automorphic L-functions”, in Automorphic forms, representations and L-functions (Oregon State Univ., Corvallis, Ore., 1977), Part 2, Proc. Symp. Pure Math., vol. 33, Providence, RI, 1979, p. 27-63. | MR | Zbl

[8] A. Borel & H. Jacquet - “Automorphic forms and automorphic representations” 1977), Part 1, Proc. Symp. Pure Math., vol. 33, Providence, RI, 1979, p. 189-202. | MR | Zbl

[9] L. Breen - On the classification of 2-gerbes and 2-stacks, Astérisque, vol. 225, Paris, 1994. | Numdam | MR | Zbl

[10] G. Faltings - “Stable G-bundles and projective connections”, 2 (1993), p. 507-568. | MR | Zbl

[11] M. Goresky, R. Kottwitz & R. Macpherson - “Homology of affine Springer fibers in the unramified case”, Duke Math. J. 121 (2004), p. 509-561. | DOI | MR | Zbl

[12] T. C. Hales - “A simple definition of transfer factors for unramified groups”, in Representation theory of groups and algebras, Contemp. Math, vol. 145, Providence, RI, 1993, p. 109-134. | MR | Zbl

[13] -, “On the fundamental lemma for standard endoscopy : reduction to unit elements”, Canad. J. Math. 47 (1995), p. 974-994. | DOI | MR | Zbl

[14] -, “A statement of the fundamental lemma”, arXiv : math.RT/0312227, 2003. | MR

[15] N. Hitchin - “Stable bundles and integrable connections”, Duke Math. J. 54 (1987), p. 91-114. | DOI | MR | Zbl

[16] D. Kazhdan & G. Lusztig - “Fixed points varieties on affine flag manifolds”, Israel J. Math. 62 (1988), p. 129-168. | DOI | MR | Zbl

[17] R. E. Kottwitz - “Stable trace formula : Cuspidal tempered terms”, Duke Math. J. 51 (1984), p. 611-650. | DOI | MR | Zbl

[18] -, “Stable trace formula : Elliptic singular terms”, Math. Ann. 275 (1986), p. 365-399. | DOI | EuDML | MR | Zbl

[19] -, “Tamagawa numbers”, Ann. of Math. 127 (1988), p. 629-646. | DOI | MR | Zbl

[20] -, “Transfer factors for Lie algebras”, 3 (1999), p. 127-138. | MR | Zbl

[21] R. E. Kottwitz & D. Shelstad - Foundations of twisted endoscopy, Astérisque, vol. 225, Paris, 1999. | Numdam | MR | Zbl

[22] J.-P. Labesse - Cohomologie, stabilisation et changement de base, Astérisque, vol. 257, Paris, 1999. | Numdam | MR | Zbl

[23] -, “Stable twisted trace formula : elliptic terms”, J. Inst. Math. Jussieu 3 (2004), no. 4, p. 473-530. | MR | Zbl

[24] J.-P. Labesse & R. P. Langlands - “L-indistinguishability for SL(2)”, Canad. J. Math. 31 (1979), p. 726-785. | MR | Zbl

[25] R. P. Langlands - Les débuts d'une formule des traces stable, Publ. Math. Univ. Paris 7, 1979. | MR | Zbl

[26] R. P. Langlands & D. Shelstad - “On the definition of transfer factors”, Math. Ann. 278 (1987), p. 219-271. | DOI | EuDML | MR | Zbl

[27] -, “Descent for transfer factors”, in The Grothendieck Fetschrift, vol. II, Progress in Math., vol. 87, Birkhäuser, 1990, p. 485-563. | MR | Zbl

[28] G. Laumon - “Sur le lemme fondamental pour les groupes unitaires”, arXiv : math.AG/0212245, 2002. | Zbl

[29] G. Laumon & L. Moret-Bailly - Champs algébriques, Ergebnisse der Mathematik, Springer, 2000. | DOI | MR | Zbl

[30] G. Laumon & B. C. Ngô - “Le lemme fondamental pour les groupes unitaires”, arXiv : math.AG/0404454, 2004. | MR | Zbl

[31] G. Laumon & M. Rapoport - “A geometric approach to the fundamental lemma for unitary groups”, arXiv : math.AG/9711021, 1997.

[32] B. C. Ngô - “Sur l'endoscopie des groupes orthogonaux et symplectiques et leur fibration de Hitchin”, en préparation.

[33] -, “Fibration de Hitchin et endoscopie”, arXiv : math.AG/0406599, 2004. | Zbl

[34] B. Poonen - “Bertini theorems over finite fields”, arXiv : math.AG/0204002, 2002. | MR | Zbl

[35] J.-L. Waldspurger - “Sur les intégrales orbitales tordues des groupes linéaires. Un lemme fondamental”, Canad. J. Math. 4 (1991), p. 852-896. | DOI | MR | Zbl

[36] -, “Le lemme fondamental implique le transfert”, Compositio Math. 105 (1997), p. 153-236. | DOI | MR | Zbl

[37] -, Intégrales orbitales nilpotentes et endoscopie pour les groupes non ramifiés, Astérisque, vol. 269, Paris, 2001. | Numdam | Zbl

[38] -, “Endoscopie et changement de caractéristique”, Prépublication disponible sur la page http://www.math.jussieu.fr/~waldspur, 2004. | Zbl