geometric Langlands correspondence

geometric Langlands correspondence
Name	geometric Langlands correspondence
Field	Algebraic geometry; Representation theory; Number theory
Introduced	1980s
Notable persons	Alexander Grothendieck, Robert Langlands, Pierre Deligne, Edward Frenkel, Dennis Gaitsgory, Vladimir Drinfeld, Johan de Jong, George Lusztig

geometric Langlands correspondence.

The geometric Langlands correspondence is a web of conjectures and theorems connecting objects in algebraic geometry and representation theory through sheaves on moduli spaces associated to algebraic curves. It recasts aspects of the Langlands program—originally formulated in the setting of number theory and automorphic forms—into a geometric language that emphasizes moduli stacks, perverse sheaves, and categories. The geometric formulation has stimulated cross-fertilization among researchers in mathematical physics, category theory, and arithmetic geometry.

Introduction

The geometric perspective replaces adeles and Galois group representations with moduli of principal bundles over an algebraic curve and local systems on that curve. Key actors include the moduli stack Bun_G of G-bundles for a reductive group G and the category of D-modules or l-adic sheaves on Bun_G. Influential figures who shaped the subject include Robert Langlands, Alexander Grothendieck, Pierre Deligne, and Vladimir Drinfeld, while modern categorical formulations have been advanced by Edward Frenkel and Dennis Gaitsgory. The program relates Hecke eigensheaves to flat G^L-local systems, invoking notions from Tannakian duality, perverse sheaf theory, and geometric Satake equivalence.

Historical development

Early geometric ideas trace to work of Alexander Grothendieck on moduli and to Pierre Deligne on l-adic sheaves, with concrete geometric instances developed by Vladimir Drinfeld in his proof of the Langlands conjecture for GL(2) over function fields and by Laumon in the study of Fourier transform for sheaves. The 1980s and 1990s saw consolidation through the geometric Satake correspondence by Ivan Mirković and Kumar Vilonen, and through categorical advances by Gaitsgory and Frenkel. Influential events include seminars at Institute for Advanced Study, collaborations at IHÉS, and publications in journals such as those of the American Mathematical Society and Inventiones Mathematicae.

Mathematical formulation

At the core is an equivalence (or a correspondence) between two types of categories: automorphic sheaf categories on Bun_G and spectral categories of quasi-coherent sheaves on LocSys_{G^L}, the moduli of G^L-local systems, where G^L denotes the Langlands dual of a reductive group G. Formulations use either D-modules (analytic or characteristic 0) or l-adic sheaves (positive characteristic) and appeal to tools from derived category theory and higher category theory. The geometric Satake equivalence identifies the category of perverse sheaves on the affine Grassmannian with representations of G^L, linking local unramified Hecke operators to tensor functors. Technical frameworks employ the theory of stacks, perverse sheaves, E∞-algebras, and factorization algebras developed in contexts like Beilinson–Drinfeld chiral algebras and Koszul duality.

Key examples and cases

The case G = GL_1 reduces to classical Fourier–Mukai transform on the Jacobian variety and is governed by results of Mukai and Beilinson. Drinfeld’s work on G = GL_2 over function fields established prototypes of automorphic-to-Galois correspondences connecting moduli of shtukas to Galois representations. The unramified geometric correspondence for reductive groups uses the geometric Satake equivalence of Mirković–Vilonen, while ramified and parabolic variants feature parabolic bundles and connections to Kazhdan–Lusztig theory and Wakimoto modules. The tamely ramified and wild ramification cases link to irregular connections studied by Jimbo and Miwa in integrable systems contexts. Quantum versions tie to affine Lie algebra representations and to conformal field theory constructions by Edward Witten and Anton Kapustin.

Connections and applications

Connections span many fields: links to conformal field theory and quantum field theory arise via the gauge-theoretic approach of Kapustin–Witten which relates S-duality in supersymmetric Yang–Mills theory to the geometric correspondence. Relations to knot theory and topological quantum field theory occur through categorified invariants and sheaf-theoretic methods of Khovanov and Witten. The program informs arithmetic results via the function field analogy used by Drinfeld and Lafforgue, and it impacts representation-theoretic constructions in the work of Lusztig on character sheaves and Bernstein on p-adic representation categories. Computational techniques draw on Hitchin fibration geometry, spectral curves, and integrable systems studied by Hitchin and Beauville.

Open problems and current research

Major open problems include a full proof of a derived equivalence between automorphic and spectral categories in general, rigorous constructions in the presence of wild ramification, and extensions to arithmetic curves over number fields. Current research directions involve categorification, development of p-adic and mixed-characteristic geometric Langlands frameworks by teams at Princeton University, Harvard University, Stanford University, and École Normale Supérieure, and exploration of quantum deformations and analytic variants influenced by Witten and Kapustin. Researchers such as Gaitsgory, Frenkel, Weinstein, and Ngo Bâĉ continue to advance technical foundations, while cross-disciplinary work with mathematical physics communities seeks new dualities and computational techniques.

Category:Langlands program