MathLabs

Fundamental lemma of the Langlands programme

Solved, 2008Arithmetic and number theoryAlgebra
Statement

For a reductive group GG over a pp-adic (or function) field and an endoscopic group HH attached to it, the fundamental lemma asserts that the orbital integral of the characteristic function of a hyperspecial maximal compact subgroup of GG equals, up to an explicit transfer factor Δ(γ,γH)\Delta(\gamma,\gamma_H), the corresponding κ\kappa-orbital integral on HH: schematically Oγ(1K)=Δ(γ,γH) OγHκ(1KH)O_\gamma(\mathbf{1}_K) = \Delta(\gamma,\gamma_H)\,O_{\gamma_H}^{\kappa}(\mathbf{1}_{K_H}).

Ngô Bảo Châu proved the fundamental lemma for Lie algebras of arbitrary reductive groups by relating orbital integrals to the cohomology of the Hitchin fibration and establishing a geometric support theorem; standard reduction arguments (Waldspurger; Cluckers–Hales–Loeser) then extend the result to the general and group cases.

The methods — geometrizing harmonic analysis via the Hitchin fibration and perverse sheaves — inspired later work on the geometric Langlands programme and on other instances of the relative trace formula.

References

  1. Ngô Bảo Châu (2010). Le lemme fondamental pour les algèbres de Lie
  2. Gérard Laumon, Ngô Bảo Châu (2008). Le lemme fondamental pour les groupes unitaires
  3. Robert P. Langlands, Diana Shelstad (1987). On the definition of transfer factors · DOI:10.1007/bf01458070