Abstract: The Fundamental Lemma is a somewhat obscure combinatorial identity introduced by Robert P. Langlands in 1979 as an ingredient in the theory of automorphic representations. After many years of deep contributions by mathematicians working in representation theory, number theory, algebraic geometry, and algebraic topology, a proof of the Fundamental Lemma was recently completed by Ngô Bao Châu in 2008, for which he was awarded a Fields Medal. Our aim here is to touch on some of the beautiful ideas contributing to the Fundamental Lemma and its proof. We highlight the geometric nature of the problem which allows one to attack a question in -adic analysis with the tools of algebraic geometry.
[A97]James
Arthur, The problem of classifying automorphic representations of
classical groups, Advances in mathematical sciences: CRM’s 25
years (Montreal, PQ, 1994), CRM Proc. Lecture Notes, vol. 11, Amer.
Math. Soc., Providence, RI, 1997, pp. 1–12. MR
1479667
[A05]James
Arthur, An introduction to the trace formula, Harmonic
analysis, the trace formula, and Shimura varieties, Clay Math. Proc.,
vol. 4, Amer. Math. Soc., Providence, RI, 2005, pp. 1–263.
MR
2192011 (2007d:11058)
[De05]Stephen
DeBacker, The fundamental lemma: what is it and what do we
know?, Current developments in mathematics, 2005, Int. Press,
Somerville, MA, 2007, pp. 151–171. MR 2459300
(2009m:22021)
[G83]Victor
Ginsburg, Intégrales sur les orbites nilpotentes et
représentations des groupes de Weyl, C. R. Acad. Sci. Paris
Sér. I Math. 296 (1983), no. 5, 249–252
(French, with English summary). MR 693785
(85b:22019)
[H05]Thomas
C. Hales, A statement of the fundamental lemma, Harmonic
analysis, the trace formula, and Shimura varieties, Clay Math. Proc.,
vol. 4, Amer. Math. Soc., Providence, RI, 2005,
pp. 643–658. MR 2192018
(2006k:22015)
[H]
M. Harris et. al., The stable trace formula, Shimura varieties, and arithmetic applications, book project available at http://fa.institut.math.jussieu.fr/node/29.
[dCHM]
M. A. de Cataldo, T. Hausel, L. Migliorini, Topology of Hitchin systems and Hodge theory of character varieties, arXiv:1004.1420.
[L79]R.
P. Langlands, Les débuts d’une formule des traces
stable, Publications Mathématiques de l’Université
Paris VII [Mathematical Publications of the University of Paris VII],
vol. 13, Université de Paris VII U.E.R. de
Mathématiques, Paris, 1983 (French). MR 697567
(85d:11058)
[Lap]
E. Lapid, The relative trace formula and its applications, Automorphic Forms and Automorphic L-Functions (Kyoto, 2005), Surikaisekikenkyusho Kokyuroku No. 1468 (2006), 76-87.
[La1]
G. Laumon, The Fundamental Lemma for Unitary Groups, lecture at Clay Math. Inst., available at http://www.claymath.org/research_award/Laumon-Ngo/laumon.pdf.
[La2]
G. Laumon, Fundamental Lemma and Hitchin Fibration, lecture at Newton Inst., available at http://www.newton.ac.uk/programmes/ALT/seminars/051316301.pdf.
[R90]Jonathan
D. Rogawski, Automorphic representations of unitary groups in three
variables, Annals of Mathematics Studies, vol. 123, Princeton
University Press, Princeton, NJ, 1990. MR 1081540
(91k:22037)
[S77]Jean-Pierre
Serre, Linear representations of finite groups,
Springer-Verlag, New York, 1977. Translated from the second French edition
by Leonard L. Scott; Graduate Texts in Mathematics, Vol. 42. MR 0450380
(56 #8675)
J. Arthur, The problem of classifying automorphic representations of classical groups, Advances in mathematical sciences: CRM's 25 years (Montreal, PQ, 1994), 1-12, CRM Proc. Lecture Notes, 11, Amer. Math. Soc., Providence, RI, 1997. MR 1479667
J. Arthur, An introduction to the trace formula. Harmonic analysis, the trace formula, and Shimura varieties, 1-263, Clay Math. Proc., 4, Amer. Math. Soc., Providence, RI, 2005. MR 2192011 (2007d:11058)
J. Arthur, Report on the trace formula. Automorphic forms and -functions I. Global aspects, 1-12, Contemp. Math., 488, Amer. Math. Soc., Providence, RI, 2009. MR 2522025 (2010m:11066)
R. Cluckers, F. Loeser, Ax-Kochen-Eršov theorems for p-adic integrals and motivic integration, Geometric methods in algebra and number theory, 109-137 (F. Bogomolov and Y. Tschinkel, Eds.), Progr. Math. 235, Birkhauser, Boston, 2005. MR 2159379 (2006g:12014)
R. Cluckers, F. Loeser, Constructible exponential functions, motivic Fourier transform and transfer principle, Ann. of Math. (2) 171, (2010) no. 2, 1011-1065. MR 2630060 (2011g:14036)
S. DeBacker, The fundamental lemma: what is it and what do we know?, Current Developments in Mathematics 2005, 151-171, International Press, Somerville, MA, 2007. MR 2459300 (2009m:22021)
W. Fulton, J. Harris. Representation theory. A first course. Graduate Texts in Mathematics, 129. Readings in Mathematics. Springer-Verlag, New York, 1991. MR 1153249 (93a:20069)
V. Ginsburg, Intégrales sur les orbites nilpotentes et représentations des groupes de Weyl, C. R. Acad. Sci. Paris Sér. I Math. 296 (1983), no. 5, 249-252. MR 693785 (85b:22019)
M. Goresky, R. Kottwitz, R. MacPherson, Koszul duality, equivariant cohomology, and the localization theorem. Invent. Math. 131 (1998), 25-83. MR 1489894 (99c:55009)
M. Goresky, R. Kottwitz, R. MacPherson, Homology of affine Springer fiber in the unramified case. Duke Math. J. 121 (2004) 509-561. MR 2040285 (2005a:14068)
T. Hales, A statement of the fundamental lemma. Harmonic analysis, the trace formula, and Shimura varieties, 643-658, Clay Math. Proc., 4, Amer. Math. Soc., Providence, RI, 2005. MR 2192018 (2006k:22015)
M. Harris et. al., The stable trace formula, Shimura varieties, and arithmetic applications, book project available at http://fa.institut.math.jussieu.fr/node/29.
R.P. Langlands, Les débuts d'une formule des traces stable, Publications mathematiques de l'Universite Paris VII, 13. Université de Paris VII, U.E.R. de Mathématiques, Paris, 1979. MR 0697567 (85d:11058)
E. Lapid, The relative trace formula and its applications, Automorphic Forms and Automorphic L-Functions (Kyoto, 2005), Surikaisekikenkyusho Kokyuroku No. 1468 (2006), 76-87.
G. Laumon, The Fundamental Lemma for Unitary Groups, lecture at Clay Math. Inst., available at http://www.claymath.org/research_award/Laumon-Ngo/laumon.pdf.
G. Laumon, Fundamental Lemma and Hitchin Fibration, lecture at Newton Inst., available at http://www.newton.ac.uk/programmes/ALT/seminars/051316301.pdf.
G. Laumon, Fibres de Springer et Jacobiennes compactifiées, Algebraic geometry and number theory, 515-563, Progr. Math., 253, Birkhauser Boston, Boston, MA, 2006. MR 2263199 (2007h:14028)
J. Rogawski, Automorphic representations of unitary groups in three variables, Annals of Mathematics Studies, 123, Princeton University Press, Princeton, NJ, 1990. MR 1081540 (91k:22037)
J.-P. Serre. Linear representations of finite groups. (Translated from the second French edition by Leonard L. Scott.) Graduate Texts in Mathematics, 42. Springer-Verlag, New York-Heidelberg, 1977. MR 0450380 (56:8675)
J.-L. Waldspurger, Sur les intégrales orbitales tordues pour les groupes linéaires: un lemme fondamental. Can. J. Math. 43 (1991) 852-896. MR 1127034 (92k:22030)
-adic analysis with the tools of algebraic geometry. 
-functions I. Global aspects, 1-12, Contemp. Math., 488, Amer. Math. Soc., Providence, RI, 2009. 
-adic integrals, J. Amer. Math. Soc. 14 (2001), 429-469. 
. Annals of Mathematics Studies, 96. Princeton University Press, Princeton, 1980. 