---
title: Geometric Langlands Program
url: https://www.emergentmind.com/topics/geometric-langlands-program
type: topic
---

# Geometric Langlands Program

The geometric Langlands program is a network of deep dualities, equivalences, and categorifications intertwining algebraic geometry, representation theory, and quantum gauge theory. Originating from the classical (arithmetic) Langlands program—which relates automorphic forms and Galois representations—the geometric version reformulates this correspondence in the setting of algebraic curves, replacing number-theoretic objects with sheaves, categorifying representation-theoretic structures, and providing a geometric and categorical framework compatible with advances in derived algebraic geometry, topological quantum field theory, and infinite-dimensional representation theory.

## 1. Categorical Geometric Langlands Correspondence

The global geometric Langlands conjecture posits an equivalence between two derived (DG) categories associated with a smooth projective curve $X$ over $\mathbb{C}$ and a complex reductive group $G$:

- The **automorphic side** is the DG-category of (half-twisted) $D$-modules on the moduli stack of principal $G$-bundles over $X$, denoted $\Bun_G$:
  $$
  \mathcal{D}(\Bun_G)
  $$
- The **spectral side** is the DG-category of ind-coherent sheaves (with singular support in the global nilpotent cone) on the derived stack of de Rham $^LG$-local systems on $X$, where $^LG$ is the Langlands dual group:
  $$
  \IndCoh_{\mathrm{Nilp}}(\LS_{^LG})
  $$

The functor, constructed in [2405.03599] and proven to be an equivalence in conjunction with Kac–Moody localization methods [2405.03648], is required to intertwine the tensor action of vector bundles (spectral side) with Hecke correspondences (automorphic side) and to respect the $t$-structure and various categorical symmetries. For Betti and $\ell$-adic contexts, analogous equivalences are conjectured between sheaves on $\Bun_G$ with nilpotent singular support and coherent sheaves on the moduli of $^LG$-local systems [1606.08523].

## 2. Local–Global Theory and the Fundamental Local Equivalence

At the local level, the geometric Langlands program seeks a categorified analog of the local Langlands correspondence, replacing irreducible representations of $G(F)$ with categories of sheaves and modules:

- The **local automorphic side** involves the DG-category of representations of the affine Kac–Moody algebra at the critical level, integrable with respect to the arc group,
  $$
  \KL(G)_{\mathrm{crit}} = \widehat{\mathfrak{g}}_{\mathrm{crit}}\text{–mod}^{L^+(G)}
  $$
- The **local spectral side** is described by ind-coherent sheaves on the ind-scheme of monodromy-free $^LG$-opers over the punctured disc:
  $$
  \IndCoh^*\!\big(\Op^{\mathrm{pmon\text{-}free}}\big)
  $$
  
The **Fundamental Local Equivalence (FLE)** at the critical level (Theorem 6.1.4 in [2405.03648]) provides a $t$-exact equivalence of factorization categories:
$$
\mathrm{FLE}_{G,\mathrm{crit}} : \KL(G)_{\mathrm{crit}} \xrightarrow{\simeq} \IndCoh^*\!\big(\Op^{\mathrm{pmon\text{-}free}}\big)
$$
This local equivalence identifies the vacuum module with the structure sheaf of the unit factorization in $\Op^{\mathrm{pmon\text{-}free}}$, and matches all key functorialities: Satake, restriction to Levi, Eisenstein series, BRST reduction, and Whittaker categories ([2405.03648], Theorems 6.4.5, 8.1.4, 12.3.6, 12.8.5). This result is a cornerstone for constructing the global equivalence, effectively enabling a local-to-global factorization approach.

## 3. Kac–Moody Localization and Factorization Structures

The **Kac–Moody localization functor** $\Loc_{G,\kappa}$ acts as a bridge between local representation categories and global $D$-modules:
$$
\Loc_{G,\kappa} : \KL(G)_{\kappa,\mathrm{Ran}} \rightarrow \Dmod_\kappa(\Bun_G)
$$
This functor, constructed via the double quotient presentation of $\Bun_G$ as an ind-scheme and the adjunctions induced by pull-push along the relevant correspondences, is shown to be right $t$-exact and (on quasi-compact open substacks) a localization—i.e., its right adjoint is fully faithful ([2405.03648], Theorem 13.4.2). The essential surjectivity onto a cogenerator of the global category follows, establishing the crucial compatibility with compactness and global support.

Factorization structures play a central role, both in the local theory (Ran-factored categories, factorization modules over factorization algebras) and in assembling global objects. Appendices of [2405.03648] formalize the necessary structure for ind-coherent sheaves on infinite-type prestacks ($\IndCoh^*$ and $\IndCoh'$ for placid or ind-placid prestacks) and articulate the machinery of factorization categories and unital/lax-unital functors needed for local-to-global constructions.

## 4. Hecke Operators, Satake Equivalence, and Functoriality

**Hecke operators** in the geometric setting are implemented by correspondences acting on $D$-modules or sheaves on $\Bun_G$; their spectral counterparts are functors on sheaves of categories over stacks of $^LG$-local systems. The geometric Satake equivalence, both in the $\ell$-adic and derived settings, identifies the category of $G(\mathcal{O})$-equivariant perverse sheaves on the affine Grassmannian $\Gr_G$ with the tensor category of finite-dimensional representations of $^LG$ ([1202.2110], [1803.03791]). In the factorized setting, the spherical Hecke category becomes a monoidal DG-category acting compatibly on the relevant categories, providing the link between geometric and spectral symmetries.

All symmetries and compatibilities in the conjecture (e.g., spherical Hecke, restriction along Levi, Eisenstein functors, BRST reduction, coefficient/Whittaker functors, Poincaré series) are controlled under the FLE and Kac–Moody localization by explicit intertwining results, ensuring that the categorical equivalences respect the enriched structure on both sides ([2405.03648], §3 and §6).

## 5. Gauge Theory, Mirror Symmetry, and Physical Approaches

Physical realizations, notably via $S$-duality in 4d $\mathcal{N}=4$ super-Yang–Mills, underlie the homological mirror symmetry perspective on geometric Langlands. The compactification of the gauge theory, with either brane or boundary condition insertions, yields sigma models whose target is the Hitchin moduli space $\mathcal{M}_H(G, C)$ ([0906.2747], [0911.4586], [1609.09030], [2107.01732]). 

- **A-branes** (coisotropic or Lagrangian) under $S$-duality correspond to $D$-modules on $\Bun_G$; 
- **B-branes** (skyscraper sheaves) correspond to spectral objects (local systems). 

This structure provides a natural explanation for the tensor/Hecke functors correspondence and for mirror symmetry between the two categories. Formulations in terms of spectral decompositions of Hilbert spaces (analytic approaches) and spectral operators also arise in analytic gauge-theoretic frameworks ([2107.01732]).

## 6. Arithmetic, Sheaf–Function Dictionary, and Further Developments

The geometric context illuminates and refines the classical arithmetic Langlands program. In the function field case, V. Lafforgue's work on shtukas and excursion operators realizes the spectral decomposition of automorphic forms via the cohomology of moduli stacks and their relation to spaces of $G$-local systems ([1803.03791], [2504.07502]). These advances rely on the geometric Satake equivalence, the function–sheaf dictionary, and the categorification of both sides of the correspondence.

The program encompasses several further extensions:
- **Twisted/metaplectic geometric Langlands** for central extensions and tori [1312.4310].
- **Quantum, Betti, and integral variants**, where the spectral side utilizes quantum groups, factorization homology, or categories of sheaves on character stacks [1606.08523].
- **Ramification and local functoriality** via modifications of bundles, parahoric group schemes, and rigid automorphic data [2006.10870], [1501.06793].
- **Connection to physics**: quantum Hall effect and dualities in topological phases [1708.00419].

The ongoing proof of the geometric Langlands conjecture for general $G$—notably via the combination of critical-level Kac–Moody localization, factorization categories, and the compatible integration of local and global machinery—represents a synthesis of these strands ([2405.03599], [2405.03648]).

## 7. Conceptual Summary and Outlook

The geometric Langlands program establishes a structured, categorical equivalence between automorphic data ($D$-modules or sheaves on moduli of bundles) and spectral data (sheaves on stacks of local systems), controlled by a network of functorialities, compatibilities, and symmetries. At its core, it unifies geometric representation theory, derived algebraic geometry, mathematical physics (especially gauge theory and mirror symmetry), and arithmetic geometry within a common categorical framework, opening paths to new dualities, constructions, and applications across mathematics and theoretical physics. Recent work [2405.03648], [2405.03599], [2504.07502], [1606.08523], [1803.03791], and related references reflects rapid progress and a convergence of methods achieving the long-sought global and local correspondences.

Source: https://www.emergentmind.com/topics/geometric-langlands-program