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

# Geometric Langlands Conjecture

The Geometric Langlands Conjecture is a far-reaching correspondence between categories of sheaves on moduli spaces associated to a reductive group $G$ and its Langlands dual group ${}^L G$, formulated in various settings—de Rham, Betti, Dolbeault—over curves defined over arbitrary fields. It governs the spectral decomposition of automorphic sheaves, the microlocal and quantum structure of moduli spaces, and the functoriality underlying the Langlands program. With the recent complete proof in the de Rham setting, the conjecture is now established as a categorical equivalence, incorporating deep geometric and representation-theoretic input, singular support, and mirror symmetry.

## 1. Formulations and Foundations

Given a smooth projective curve $X$ over a field $k$ of characteristic zero and a connected reductive group $G$, the conjecture posits an equivalence of DG categories:
$$
\Dmod_{1}(\Bun_G) \simeq \IndCoh_{\Nilp}(\LocSys_{\,{}^L G}),
$$
where $\Dmod_{1}(\Bun_G)$ is the category of (half-twisted) D-modules on the moduli stack $\Bun_G$ of $G$-bundles on $X$, and $\IndCoh_{\Nilp}(\LocSys_{\,{}^L G})$ is the DG category of ind-coherent sheaves on the (derived) stack $\LocSys_{{}^L G}$ of de Rham ${}^L G$-local systems with singular support in the global nilpotent cone $\Nilp$. The conjecture is compatible with the spectral action of $\QCoh(\LocSys_{{}^L G})$, Hecke eigensheaf structures, and Eisenstein series functoriality [2405.03599][1201.6343][2409.08670][2409.09856].

Alternate incarnations exist:
- **Betti Setting:** With sheaves having nilpotent singular support on $\Bun_G$ and ind-coherent sheaves on the character stack of local systems [1606.08523].
- **Dolbeault Setting:** Relates categories of coherent sheaves (or limit categories) on Higgs moduli spaces for $G$ and ${}^L G$, arising as the classical ($\hbar \to 0$) limit of the de Rham equivalence [2508.19624].

The conjecture specializes, for tori, to the abelian Fourier--Mukai transform, and—in the non-abelian case—imposes singular support and spectral conditions reflecting stability and automorphic-torsor properties [1201.6343][1302.2506].

## 2. Automorphic and Spectral Categories

- **Automorphic (A-side):** Categories of D-modules (or constructible sheaves in Betti) on $\Bun_G$ are acted upon by the symmetric monoidal category of spherical Hecke operators, encapsulating the modification of bundles at points of $X$. The global nilpotent cone in $T^*\Bun_G$ controls singular support, restricting to "nilpotent" or "tempered" automorphic objects [2605.23167][1606.08523].

- **Spectral (B-side):** The spectral counterpart involves ind-coherent sheaves on $\LocSys_{{}^L G}$ with singular support in the stack of Arthur parameters $(\sigma, A)$ with nilpotent $A$. Compact generation, functoriality, and perverse $t$-structures play a crucial role in matching stratifications and extension classes on both sides [1201.6343].

A fundamental role is played by the vacuum Poincaré sheaf ("white-light" generator), which determines a $\QCoh(\LocSys_{{}^L G})$-linear functor and, via adjunction, the spectral (Hecke-commuting) functor [2405.03599][2409.08670].

## 3. Hecke Operators, Eigenvalues, and Multiplicity

Hecke functors $H^V_x$ indexed by finite-dimensional representations $V$ of ${}^L G$ and points $x\in X$ act on $\Dmod(\Bun_G)$. A Hecke eigensheaf $\mathcal{S}\in\Dmod_1(\Bun_G)$ with eigenvalue $\mathcal{E}\in\LocSys_{{}^L G}$ satisfies
$$
H^V_x(\mathcal{S}) \simeq V_{\mathcal{E}} \boxtimes \mathcal{S}
$$
for all $V, x$, with the spectral side corresponding to the point $\mathcal{E}$.

The proof of the conjecture establishes a "multiplicity one" theorem: for an irreducible local system $\mathcal{E}$, the eigensheaf is unique up to tensoring by a vector space (with Hom space of dimension one between any two such) [2409.09856]. For each irreducible $\mathcal{E}$ (with $Z({}^L G)$ automorphism), the cuspidal subcategory is identified fully faithfully with $\QCoh(\LocSys_{{}^L G}^{\mathrm{irred}})$, with spectral decomposition realized via Fourier–Mukai-type transforms.

A key advance is the contractibility of the space of generic oper structures on irreducible local systems, reducing the equivalence to vanishing of higher obstruction classes [2409.08670].

## 4. Singular Support, Nilpotent Cones, and Temperedness

Singular support, as defined for ind-coherent sheaves, is controlled by the total space $\Sing(\mathcal{X})$ of $H^1$ of the tangent complex, yielding conical substacks corresponding to nilpotent loci in both automorphic and spectral moduli [1201.6343]. The equivalence restricts to the nilpotent singular support condition, matching tempered automorphic D-modules with perfect or nilpotent-support coherent sheaves.

The construction of automorphic or spectral objects using singular support ensures compatibility with Hecke, Eisenstein, and Whittaker functor actions, and allows for filtration by Harder–Narasimhan strata or Arthur parameters, underpinning the microlocal and stability-theoretic aspects of the conjecture [2508.19624].

In characteristic $p$, the equivalence is established for $\ell$-adic sheaves with nilpotent singular support, covering a union of connected components of the stack of Langlands parameters, with essential image determined by existence of nonzero automorphic sheaves [2508.02237].

## 5. Extensions: Dolbeault, Relative, Quantum, and Ramified Variants

The classical limit of the de Rham Geometric Langlands is formulated using limit categories for Higgs moduli stacks, with the Dolbeault conjecture predicting an equivalence
$$
\Coh(\Higgs_{{}^L G}^{\mathrm{ss}})_{-\chi} \simeq L(\Higgs_G(\chi))_w
$$
for central type $w$ and topological type $\chi$, compatible with Hecke/Wilson actions and the semiorthogonal decomposition into quasi-BPS categories [2508.19624]. Over the regular locus, this reduces to Fourier–Mukai between abelian torsors [1606.08523].

Relative forms, as in the geometric theory of period sheaves, generalize the conjecture to affine homogeneous spherical varieties, with period sheaves and Dirac–Higgs branes forming the brane duals under Fourier–Mukai. The regular quotient of invariant theory provides the correct geometric structure to abelianize the Hitchin fibration for non-group-type settings [2409.15691][2402.00180][2404.09853].

Quantum variants in both characteristic zero and $p$ (for irrational twist parameters) yield equivalences for derived categories of twisted D-modules, governed by quantum duality conditions and multiplicative gerbes [1110.5707]. Ramified, parabolic, and real-group analogs are included via local models and character stacks [1606.08523].

## 6. Structural and Technical Advances in the Proof

The proof of the de Rham conjecture unfolds via the construction of the spectral functor, local-to-global techniques (via the Fundamental Local Equivalence at critical level), spectral gluing, ambidexterity and Barr–Beck formalism, and the verification of the contractibility of generic opers [2405.03648][2409.08670].

A fundamental role is played by the identification of tautological algebras and coalgebras controlling the monad/comonad structures for the cuspidal versus Eisenstein subcategories, with the contractibility of generic oper spaces forcing the full faithfulness of spectral-eigensheaf correspondences [2409.08670][2605.23167].

Multiplicity one, as shown in [2409.09856], arises from analysis of the endomorphism algebra of the vacuum Poincaré sheaf and properties of the space of irreducible local systems, coupled with cohomological vanishing on the stack of local systems.

The conjecture admits equivalences between restricted/full, Betti/de Rham, and tempered/non-tempered forms, with Riemann–Hilbert correspondence matching Betti and D-module versions [2405.03599][1606.08523].

## 7. Impact, Mirror Symmetry, and Further Directions

The Geometric Langlands Conjecture underlies deep connections between representation theory, algebraic geometry, quantum field theory, and arithmetic. At its core, it provides a spectral decomposition of automorphic sheaves—manifesting as a categorified, nonabelian harmonic analysis, diagonalizing the commuting family of Hecke operators with spectra labeled by local systems (the "frequencies" of the theory) [2605.23167].

The categorical formalism supports extensions to topological quantum field theories, with equivalence of 4d TQFTs, mirror symmetry of Hitchin fibrations, the capstone of brane duality (Kapustin–Witten), and the categorification of $L$-functions, periods, and quantum group representations [1606.08523][2402.00180][2508.19624].

Current research explores ramified, quantum, and real group generalizations, relative dualities, singular support structures, and the interplay with derived algebraic geometry, factorization homology, and global Springer theory, as well as applications to arithmetic Langlands theory, trace formulas, and beyond.

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