Geometric Langlands Correspondence

The Geometric Langlands Correspondence transports the arithmetic Langlands program from number fields and function fields to the geometric setting of curves, replacing automorphic forms by sheaves and Galois representations by local systems (flat connections). Precisely, for a reductive group $G$ with Langlands dual $\check{G}$, one conjectures an equivalence of (suitably enhanced) categories $\mathrm{D}\text{-}\mathrm{mod}({\mathrm{Bun}}_G(X))\simeq \mathrm{QCoh}({\mathrm{LocSys}}_{\check{G}}(X))$ intertwining Hecke functors with the tautological action of functions on the spectral side. It matters because it unifies disparate phenomena — the Satake isomorphism, the theory of vertex algebras at critical level, conformal blocks, and electric–magnetic duality — under one categorical roof. A surprising fact: the correspondence is not an equality of numbers or functions but an equivalence of categories, and getting the statement even precisely correct required inventing derived algebraic geometry, the theory of ind-coherent sheaves, and a "spectral decomposition" subtle enough to force a renormalized (nilpotent-singular-support) version of the spectral side.

The Core Insight

Classical Langlands says: automorphic representations of $G({\mathbb{A}}_F)$ are parametrized by $\check{G}$-valued Galois representations, with the Hecke eigenvalues at each unramified place $v$ recovered from the Frobenius conjugacy class via the Satake isomorphism. Geometrize each ingredient. A function on $G(F)\backslash G({\mathbb{A}}_F)/G(\mathcal{O})$ becomes, over a function field $F=k(X)$, a function on the $k$-points of ${\mathrm{Bun}}_G$; by Grothendieck's sheaf-function dictionary, such functions arise as traces of Frobenius on $\ell$-adic sheaves. So replace automorphic functions by sheaves on ${\mathrm{Bun}}_G$. A Galois representation $\mathrm{Gal}(\bar{F}/F)\to \check{G}$ unramified everywhere becomes a $\check{G}$-local system on $X$, i.e. a point of ${\mathrm{LocSys}}_{\check{G}}$. The Hecke eigenvalue condition becomes the condition that a sheaf is a Hecke eigensheaf with eigenvalue the chosen local system. Promoting the parametrization to a full categorical equivalence is the geometric Langlands conjecture.

Formal Statement

Moduli of bundles and the Hecke stack

Let $X$ be a smooth projective geometrically connected curve over an algebraically closed field $k$, and $G$ a connected reductive group over $k$.

• ${\mathrm{Bun}}_G={\mathrm{Bun}}_G(X)$ is the algebraic stack classifying principal $G$-bundles on $X$. It is smooth, of dimension $(g-1)\dim G$, not quasi-compact, with stratifications by Harder–Narasimhan type.
• The Hecke stack ${\mathrm{Hecke}}_G$ classifies triples $({\mathcal{P}}_1,{\mathcal{P}}_2,x,\beta )$ where ${\mathcal{P}}_1,{\mathcal{P}}_2\in {\mathrm{Bun}}_G$, $x\in X$, and $\beta :{\mathcal{P}}_1{|}_{X\setminus x}\stackrel{\sim }{\to }{\mathcal{P}}_2{|}_{X\setminus x}$ is an isomorphism away from $x$. It sits in a correspondence:

Hecke functors via geometric Satake

The geometric Satake equivalence furnishes a tensor functor from finite-dimensional $\check{G}$-representations to $G(\mathcal{O})$-equivariant perverse sheaves on the affine Grassmannian:

For each $V\in \mathrm{Rep}(\check{G})$ one obtains a Hecke functor acting on sheaves over ${\mathrm{Bun}}_G\times X$:

Hecke eigensheaf

A nonzero object $\mathcal{F}\in \mathrm{D}\text{-}\mathrm{mod}({\mathrm{Bun}}_G)$ is a Hecke eigensheaf with eigenvalue $E\in {\mathrm{LocSys}}_{\check{G}}(X)$ if there are functorial isomorphisms, compatible with the tensor structure of $\mathrm{Rep}(\check{G})$,

Geometric Langlands Conjecture — de Rham form

Let $k=\mathbb{C}$ (or char $0$), $G$ reductive with Langlands dual $\check{G}$. There is a canonical equivalence of DG categories

The subscript $\mathcal N$ is essential, not decorative

The naive statement with $\mathrm{QCoh}({\mathrm{LocSys}}_{\check{G}})$ is false for nonabelian $G$. The correct spectral category is ${\mathrm{IndCoh}}_{\mathcal{N}}$: ind-coherent sheaves with nilpotent singular support, where $\mathcal{N}\subset \mathrm{Sing}({\mathrm{LocSys}}_{\check{G}})$ is the global nilpotent cone (Arinkin–Gaitsgory). ${\mathrm{LocSys}}_{\check{G}}$ is a (derived) stack with self-dual cotangent complex, so its singular support theory is governed by the Hitchin nilpotent cone. Forgetting this condition breaks the equivalence — the automorphic side is "smaller" than $\mathrm{QCoh}$ and matches exactly the nilpotent-singular-support subcategory.

Why It Holds / Derivation Sketch

Strategy of the proof — Gaitsgory–Raskin et al.

The 2024 proof for general reductive $G$ in the de Rham setting proceeds through a sequence of structural reductions. We sketch the architecture.

1. Construct the functor. Build ${\mathbb{L}}_G$ (or its inverse ${\mathbb{L}}_G^{-1}$) using the Poincaré / Whittaker sheaf on ${\mathrm{Bun}}_G$ and the action of Hecke functors. The vacuum Whittaker object provides a "kernel" via which one defines the comparison.

1. Compatibility with Hecke. Geometric Satake (eq. $[2]$) guarantees the Hecke functors form a $\mathrm{Rep}(\check{G})$-action; this matches the $\mathrm{QCoh}({\mathrm{LocSys}}_{\check{G}})$-module structure on the spectral side. Both categories become module categories over the same symmetric monoidal category $\mathrm{Rep}(\check{G}{)}^{\otimes X}$, organized by the factorization structure along $X$.

1. Localize on ${\mathrm{LocSys}}_{\check{G}}$. Decompose both sides according to the support over the coarse space of local systems. The hardest pieces are the cuspidal/elliptic part and the contributions of reducible local systems, where the singular-support condition $\mathcal{N}$ enters.

1. Reduce to Eisenstein and constant-term functors. Parabolic induction (geometric Eisenstein series) builds objects from Levi subgroups $M⊊G$. By induction on the semisimple rank one controls the non-cuspidal part of $\mathrm{D}\text{-}\mathrm{mod}({\mathrm{Bun}}_G)$ in terms of ${\mathrm{Bun}}_M$.

1. Establish the cuspidal equivalence. On the cuspidal piece (where the spectral side is supported on irreducible local systems, an honest scheme-like locus), one proves the equivalence using vanishing of certain functors and the Hecke eigensheaf existence (Frenkel–Gaitsgory–Vilonen for ${\mathrm{GL}}_n$ generalized).

1. Glue. Reassemble cuspidal and Eisenstein contributions; verify the gluing is compatible across the recollement, yielding the global equivalence $[5]$. The compatibility of all charges and the matching of $t$-structures requires the full derived/$\infty$-categorical machinery.

Edward Witten | b. 1951

Though geometric Langlands is a theorem of pure mathematics, its deepest conceptual reframing came from physics. In the 2006 paper of Anton Kapustin and Edward Witten, "Electric–Magnetic Duality and the Geometric Langlands Program," the correspondence is realized as mirror symmetry of Hitchin moduli spaces, itself descending from the $S$-duality of 4-dimensional $\mathcal{N}=4$ super Yang–Mills theory compactified on a Riemann surface. The Langlands dual group $\check{G}$ is exactly the Goddard–Nuyts–Olive (Montonen–Olive) magnetic dual of $G$. Witten's perspective turned the Hecke eigensheaf condition into the statement that certain 't Hooft / Wilson line operators act diagonally, and recast $A$-branes and $B$-branes on the two Hitchin moduli spaces as the automorphic and spectral categories. This is the prototype of the quantum geometric Langlands family interpolated by the level parameter $\Psi$.

Building Intuition

Think of three rungs on a ladder of abstraction.

• Rung 0 (numbers): Classical Langlands over $\mathbb{Q}$: an eigenform $f$ (e.g. a modular form) has Hecke eigenvalues $a_p$; these are the Frobenius traces of a Galois representation $\rho$. Dictionary: eigenform ↔ Galois representation.
• Rung 1 (functions): Over a function field $k(X)$, automorphic forms are functions on ${\mathrm{Bun}}_G({\mathbb{F}}_q)$. Hecke operators act by averaging over modifications at a point. The Frobenius eigenvalues now organize into a $\check{G}$-local system on $X$ in the étale sense.
• Rung 2 (sheaves): Replace the function by the sheaf whose trace-of-Frobenius is that function (Grothendieck's dictionary). Now $X$ can live over $\mathbb{C}$, Frobenius disappears, and the eigenvalue is a flat connection (a de Rham local system). The Hecke eigenvalue equation $[4]$ says: applying a Hecke modification at $x$ tensors the sheaf by the fiber of the local system at $x$.

The miracle is that on the spectral side these eigensheaves organize into a geometry: the space of all possible eigenvalues is the moduli ${\mathrm{LocSys}}_{\check{G}}$, and the equivalence $[5]$ says the entire automorphic category is "functions/sheaves on that space of eigenvalues." A Hecke eigensheaf is then literally a skyscraper sheaf on ${\mathrm{LocSys}}_{\check{G}}$ — the categorical analogue of a delta function concentrated at one eigenvalue.

The geometric Langlands correspondence as a duality of moduli categories

<svg viewBox="0 0 760 420" xmlns="http://www.w3.org/2000/svg">
<rect width="760" height="420" fill="#0a0e17"/>
<text x="380" y="32" fill="#e2e8f0" font-size="18" text-anchor="middle" font-family="serif">Geometric Langlands: Automorphic ⟷ Spectral</text>

<!-- Automorphic side box -->
<rect x="40" y="70" width="280" height="120" rx="10" fill="none" stroke="#94a3b8" stroke-width="1.5"/>
<text x="180" y="98" fill="#e2e8f0" font-size="14" text-anchor="middle">Automorphic side</text>
<text x="180" y="124" fill="#d4a853" font-size="15" text-anchor="middle">D-mod( Bun_G )</text>
<text x="180" y="150" fill="#94a3b8" font-size="11" text-anchor="middle">sheaves on G-bundles</text>
<text x="180" y="170" fill="#94a3b8" font-size="11" text-anchor="middle">Hecke functors H_V act</text>

<!-- Spectral side box -->
<rect x="440" y="70" width="280" height="120" rx="10" fill="none" stroke="#94a3b8" stroke-width="1.5"/>
<text x="580" y="98" fill="#e2e8f0" font-size="14" text-anchor="middle">Spectral side</text>
<text x="580" y="124" fill="#d4a853" font-size="15" text-anchor="middle">IndCoh_N( LocSys_Ǧ )</text>
<text x="580" y="150" fill="#94a3b8" font-size="11" text-anchor="middle">sheaves on Ǧ-local systems</text>
<text x="580" y="170" fill="#94a3b8" font-size="11" text-anchor="middle">tensor by tautological V</text>

<!-- Equivalence arrow -->
<line x1="320" y1="130" x2="440" y2="130" stroke="#d4a853" stroke-width="2.5"/>
<polygon points="440,130 430,125 430,135" fill="#d4a853"/>
<polygon points="320,130 330,125 330,135" fill="#d4a853"/>
<text x="380" y="120" fill="#d4a853" font-size="14" text-anchor="middle">≃  L_G</text>

<!-- Eigen correspondence -->
<rect x="120" y="250" width="200" height="80" rx="8" fill="none" stroke="#94a3b8" stroke-width="1.2"/>
<text x="220" y="278" fill="#e2e8f0" font-size="12" text-anchor="middle">Hecke eigensheaf F</text>
<text x="220" y="300" fill="#94a3b8" font-size="11" text-anchor="middle">H_V(F) ≃ F ⊠ V_E</text>

<rect x="440" y="250" width="200" height="80" rx="8" fill="none" stroke="#94a3b8" stroke-width="1.2"/>
<text x="540" y="278" fill="#e2e8f0" font-size="12" text-anchor="middle">skyscraper  O_E</text>
<text x="540" y="300" fill="#94a3b8" font-size="11" text-anchor="middle">point [E] ∈ LocSys_Ǧ</text>

<line x1="320" y1="290" x2="440" y2="290" stroke="#d4a853" stroke-width="2"/>
<polygon points="440,290 430,285 430,295" fill="#d4a853"/>
<text x="380" y="282" fill="#e2e8f0" font-size="11" text-anchor="middle">↦</text>

<!-- curve at bottom (key curve) -->
<path d="M 60 390 C 180 350, 340 410, 460 375 S 700 360, 720 390" fill="none" stroke="#d4a853" stroke-width="2.5"/>
<text x="380" y="412" fill="#94a3b8" font-size="11" text-anchor="middle">the fixed curve X — both moduli stacks are built over it</text>
</svg>

Worked Examples

Abelian case: $G = \mathrm{GL}_1 = \mathbb G_m$, the geometric class field theory

1. A rank-1 local system $E$ on $X$ is a homomorphism ${\pi }_1(X)\to {\mathbb{G}}_m$ (or a flat line bundle), equivalently a character ${\chi }_E$.
2. The Hecke modification at $x$ for ${\mathrm{GL}}_1$ adds the divisor $[x]$: it is the Abel–Jacobi map $X\to {\mathrm{Pic}}^{d+1}/{\mathrm{Pic}}^d$.
3. The eigensheaf condition becomes a character sheaf ${\mathcal{F}}_E$ on $\mathrm{Pic}(X)$ — a rank-1 local system on the Picard stack — whose pullback along Abel–Jacobi recovers $E$.
4. Such ${\mathcal{F}}_E$ exists and is unique up to scalar, constructed from $E$ via the Fourier–Mukai / theta machinery (Deligne; Laumon's geometric class field theory).

Genus-0 baby case: rigidity on $X = \mathbb P^1$

1. ${\mathrm{LocSys}}_{\check{G}}({\mathbb{P}}^1)$ as a derived stack is the (derived) point $\mathrm{pt}/\check{G}$ — local systems are forced trivial, with automorphisms.
2. Spectral side: ${\mathrm{IndCoh}}_{\mathcal{N}}(\mathrm{pt}/\check{G})=\mathrm{Rep}(\check{G})$ (with the nilpotent condition automatically satisfied; $\mathrm{Sing}={\check{\mathfrak{g}}}^{\ast }//\check{G}$ enters via the derived structure).
3. Automorphic side: ${\mathrm{Bun}}_G({\mathbb{P}}^1)$ is, by Grothendieck's classification, a disjoint union indexed by dominant coweights (splitting types $\mathcal{O}(a_1)\oplus \cdots$).
4. The equivalence pairs the combinatorics of Grothendieck splitting types with $\mathrm{Rep}(\check{G})$ via the geometric Satake equivalence localized at the single special point.

Common Misconceptions

It is not a bijection of objects, and not "QCoh"

Three frequent errors:

1. "It's a bijection automorphic forms ↔ Galois reps." — No; it is an equivalence of categories, far richer than a parametrization of irreducibles. The classical bijection is a shadow obtained by passing to simple objects / eigenobjects.
2. "The spectral side is $\mathrm{QCoh}({\mathrm{LocSys}}_{\check{G}})$." — Only for tori. In general you need ${\mathrm{IndCoh}}_{\mathcal{N}}$ (eq. $[5]$), with nilpotent singular support.
3. "D-modules can be replaced by ordinary sheaves with no consequence." — The choice of sheaf theory (D-modules vs. $\ell$-adic vs. constructible $\mathbb{C}$-sheaves) determines whether you are doing the de Rham, étale (arithmetic function-field), or Betti version. These are genuinely different theorems with different available proofs.

Why "naive QCoh" fails: a Hecke eigensheaf has the wrong category around it

Take $\check{G}$ nonabelian and a reducible local system $E$ sitting on the locus where ${\mathrm{LocSys}}_{\check{G}}$ is singular (its tangent complex has $H^{-1}\ne 0$). The structure sheaf ${\mathcal{O}}_E$ as an object of $\mathrm{QCoh}$ "sees" infinite-dimensional Ext groups (from the stacky automorphisms and the derived self-intersection), which on the automorphic side would demand eigensheaves that do not exist as D-modules of finite type. Imposing nilpotent singular support cuts the spectral category down to exactly those objects whose self-Exts are controlled by the global nilpotent cone $\mathcal{N}$ — matching the automorphic side. Thus $\mathrm{QCoh}$ is literally too big, and the failure is detected at reducible/non-elliptic local systems.

Connections

Neighbouring structures

• Geometric Satake Equivalence supplies the Hecke operators $[2]$–$[3]$ and defines the dual group $\check{G}$ geometrically; it is the "local, unramified" heart of the global story.
• Hitchin System and Hitchin Fibration provide the classical limit: $T^{\ast }{\mathrm{Bun}}_G$ and $T^{\ast }{\mathrm{Bun}}_{\check{G}}$ are dual integrable systems whose fibers are dual abelian varieties (SYZ/Fourier–Mukai), realizing classical geometric Langlands as fiberwise duality.
• Kac–Moody Algebras at Critical Level and the Feigin–Frenkel isomorphism identify the center of the critical-level enveloping algebra with functions on ${\mathrm{Opers}}_{\check{G}}$, building eigensheaves via localization (Beilinson–Drinfeld).
• Conformal Field Theory: conformal blocks of the WZW model and chiral algebras provide the factorization structure underlying the gluing in the proof.
• Topological Field Theory ($S$-duality of 4d $\mathcal{N}=4$): the Kapustin–Witten realization.
• Quantum Groups and the Kazhdan–Lusztig equivalence govern the quantum/ramified deformations.

Real-World Applications

Where the machinery is used

1. Construction of automorphic / Hecke eigensheaves for ${\mathrm{GL}}_n$ (Frenkel–Gaitsgory–Vilonen), giving a geometric proof of the existence half of function-field Langlands for ${\mathrm{GL}}_n$, complementing L. Lafforgue's and V. Lafforgue's arithmetic theorems.
2. Kapustin–Witten gauge theory: geometric Langlands as $S$-duality provides physicists a rigorous target for topologically twisted $\mathcal{N}=4$ SYM, with 't Hooft operators ↔ Hecke functors and surface operators ↔ ramification.
3. Quantization of the Hitchin system: Beilinson–Drinfeld's construction of commuting differential operators (quantum Hitchin Hamiltonians) on ${\mathrm{Bun}}_G$, an exact integrable system used in mathematical physics.
4. Conformal field theory & vertex algebras: the critical-level $\hat{\mathfrak{g}}$-module theory and the chiral / factorization algebras of Beilinson–Drinfeld are foundational tools now standard in CFT.
5. Gaudin models and spin chains: opers and the Bethe ansatz for the Gaudin integrable system are governed by ${\mathrm{Opers}}_{\check{G}}$, a direct application (Feigin–Frenkel–Rybnikov, Frenkel).
6. Symplectic duality / 3d mirror symmetry: geometric Langlands sits in a web with Coulomb/Higgs branch dualities (Braverman–Finkelberg–Nakajima) used to compute representation-theoretic invariants.
7. Analytic/$p$-adic and arithmetic ramified extensions (Etingof–Frenkel–Kazhdan, Fargues–Scholze for local Langlands) feed back into representation theory of $p$-adic groups.

Historical Development

• 1967–70 — Langlands. Robert Langlands formulates the original conjectures relating automorphic representations and Galois representations; the dual group is introduced.
• 1970s — Grothendieck. The sheaf–function dictionary over finite fields makes "functions = traces of Frobenius on sheaves" precise, enabling geometrization.
• 1980s — Drinfeld. Vladimir Drinfeld proves geometric Langlands for ${\mathrm{GL}}_2$ over function fields and, with the theory of shtukas, the arithmetic ${\mathrm{GL}}_2$ case; introduces key moduli ideas.
• 1987 — Laumon. Gérard Laumon formulates the geometric correspondence for ${\mathrm{GL}}_n$ via automorphic sheaves and the Whittaker/Laumon sheaf; geometric class field theory (${\mathrm{GL}}_1$) is established.
• 1991–96 — Beilinson–Drinfeld. Quantization of Hitchin Hamiltonians and the opers/critical-level construction produce Hecke eigensheaves for the "tame oper" local systems; the theory of chiral/factorization algebras is created.
• 2002 — Frenkel–Gaitsgory–Vilonen. Proof of the geometric Langlands existence theorem for ${\mathrm{GL}}_n$ (vanishing conjecture).
• 2006 — Kapustin–Witten. Physical derivation via $S$-duality and Hitchin mirror symmetry; the quantum geometric Langlands family is articulated.
• 2015 — Arinkin–Gaitsgory. Singular support of coherent sheaves and the geometric Langlands conjecture: the precise categorical statement with ${\mathrm{IndCoh}}_{\mathcal{N}}$ and the global nilpotent cone.
• 2024 — Gaitsgory–Raskin and collaborators (Arinkin, Beraldo, Chen, Faergeman, Lin, Rozenblyum and others). Announcement and posting of a multi-paper proof of the de Rham geometric Langlands conjecture for general reductive $G$.

Subtleties & Limits

What remains and what is hardest

• Quantum geometric Langlands. For a nonzero level $\Psi$, the conjectural equivalence ${\mathrm{D}\text{-}\mathrm{mod}}_{\Psi }({\mathrm{Bun}}_G)\simeq {\mathrm{D}\text{-}\mathrm{mod}}_{-1/\Psi }({\mathrm{Bun}}_{\check{G}})$ (Gaitsgory–Lurie, Stoyanovsky) is far less complete; the classical case is a degeneration.
• Betti geometric Langlands. The Ben-Zvi–Nadler topological version using constructible sheaves and the Betti stack of local systems has a precise conjecture but a different (and partly open) proof landscape.
• Arithmetic/étale function-field categorical Langlands. Upgrading V. Lafforgue's spectral decomposition to a full categorical equivalence over ${\mathbb{F}}_q$ remains active (related to Fargues–Scholze local theory).
• Ramification. Wild and tame ramification, parahoric structures, and the precise spectral side for irregular singular connections are only partially understood.
• Functoriality. Geometrizing Langlands functoriality (transfer between groups) beyond endoscopy is wide open.
• Compatibility with the trace formula and analytic refinements (the "relative" and "spectral" geometric Langlands) are emerging frontiers.