en.wikipedia.org/wiki/Fundamental_lemma_of_Langlands_and_Shelstad Fundamental lemma (Langlands program) In the theory of automorphic forms, an area of mathematics, the fundamental lemma relates orbital integrals on a reductive group over a local field to stable orbital integrals on its endoscopic groups. It was conjectured by Langlands (1983) in the course of developing the Langlands program. The fundamental lemma was proved by Gerard Laumon and Ngo B?o Chau in the case of unitary groups and then by Ngo for general reductive groups, building on a series of important reductions made by Jean-Loup Waldspurger to the case of Lie algebras. Time magazine placed Ngo's proof on the list of the "Top 10 scientific discoveries of 2009".[1] In 2010 Ngo was awarded the Fields medal for this proof.
Motivation and history Robert Langlands outlined a strategy for proving local and global Langlands conjectures using the Arthur?Selberg trace formula, but in order for this approach to work, the geometric sides of the trace formula for different groups must be related in a particular way. This relationship takes the form of identities between orbital integrals on reductive groups G and H over a nonarchimedean local field F, where the group H, called an endoscopic group of G, is constructed from G and some additional data.
The first case considered was G = SL2 (Labesse & Langlands 1979). Langlands and Shelstad (1987) then developed the general framework for the theory of endoscopic transfer and formulated specific conjectures. However, during the next two decades only partial progress was made towards proving the fundamental lemma.[2][3] Harris called it a "bottleneck limiting progress on a host of arithmetic questions".[4]
