Geometric Langlands and Physics

The Geometric Langlands Correspondence is a conjectural equivalence between two categories attached to a complex algebraic curve $X$ and a reductive group $G$: the derived category of D-modules on the moduli stack ${\mathrm{Bun}}_G(X)$ of $G$-bundles, and the derived category of quasi-coherent sheaves on the moduli stack ${\mathrm{LocSys}}_{{}^{L}G}(X)$ of flat ${}^{L}G$-connections (local systems). Physics realizes this as electric-magnetic (S-)duality of the topologically twisted $\mathcal{N}=4$ super Yang-Mills theory in four dimensions, compactified on $X$. It applies in number theory, representation theory, and quantum field theory; the program crystallized through work of Drinfeld, Laumon, Beilinson-Drinfeld (1980s-90s) and was given its decisive physical interpretation by Kapustin-Witten (2006).

The Geometric Langlands program is the geometric incarnation of the arithmetic Langlands correspondence, in which Galois representations are replaced by local systems on a Riemann surface and automorphic forms are replaced by D-modules (or perverse sheaves) on the moduli of bundles. Its precise formulation is a categorical equivalence — not a bijection of objects, but of entire derived categories — relating the "automorphic side" to the "spectral side." It matters because it unifies number theory, the geometry of moduli spaces, conformal field theory, and gauge theory under one organizing principle. The most surprising fact is that this deep arithmetic-geometric statement turns out to be a consequence of a physical symmetry — the Montonen-Olive electric-magnetic duality of $\mathcal{N}=4$ gauge theory — so that the Langlands dual group ${}^{L}G$ emerges as the magnetic dual of $G$, with the coupling constant inverting as $g\mapsto 1/g$.

The Core Insight

Compactify four-dimensional $\mathcal{N}=4$ super Yang-Mills (in a particular topological twist, the GL-twist) on a product $\Sigma \times X$ of two Riemann surfaces. Reducing along the small $X$ produces a two-dimensional sigma model on $\Sigma$ whose target is the Hitchin moduli space ${\mathcal{M}}_H(G,X)$. The S-duality $G\leftrightarrow {}^{L}G$, which acts on the 4d theory, becomes mirror symmetry of these Hitchin sigma models. Branes in the A-model on ${\mathcal{M}}_H({}^{L}G)$ map to branes in the B-model on ${\mathcal{M}}_H(G)$; translated mathematically, this is exactly the kernel/transform underlying geometric Langlands. The "electric eigenbrane" of a Wilson line becomes a "magnetic eigenbrane" of a 't Hooft line — the physical avatar of a Hecke eigensheaf.

Formal Statement

Moduli Stacks of the Correspondence

Fix a smooth projective curve $X$ over $\mathbb{C}$ and a reductive group $G$ with Langlands dual ${}^{L}G$.

• ${\mathrm{Bun}}_G(X)$ — the moduli stack of principal $G$-bundles on $X$. It is a smooth Artin stack, generally non-separated, of dimension $(g-1)\dim G$.
• ${\mathrm{LocSys}}_{{}^{L}G}(X)$ — the moduli stack of ${}^{L}G$-local systems, i.e. pairs $(P,\nabla )$ of a ${}^{L}G$-bundle with a flat connection, equivalently ${}^{L}G$-representations of ${\pi }_1(X)$ up to conjugacy.

The two sides carry the categories

Hecke Functors and Eigensheaves

For each point $x\in X$ and each cocharacter $\lambda$ of $G$ (a dominant weight of ${}^{L}G$), there is a Hecke modification correspondence

Geometric Satake Equivalence (Lusztig, Ginzburg, Mirković–Vilonen)

Let ${\mathrm{Gr}}_G$ be the affine Grassmannian of $G$. There is an equivalence of tensor categories

This is the cornerstone that defines ${}^{L}G$ geometrically and makes equation [3] meaningful: Hecke operators are labeled by $\mathrm{Rep}({}^{L}G)$.

The Best-Hope Categorical Equivalence (Beilinson–Drinfeld / Arinkin–Gaitsgory)

There is a conjectural equivalence of (derived, dg-)categories

Why It Holds / Derivation

The deepest "explanation" is physical. Here is the chain of reasoning due to Kapustin and Witten.

From S-duality to Geometric Langlands

Edward Witten | b. 1951

Witten, with Anton Kapustin, transformed the Geometric Langlands program in their 2006 paper "Electric-Magnetic Duality and the Geometric Langlands Program." Witten's prior work on Donaldson theory, topological field theory, mirror symmetry, and Seiberg–Witten theory provided the entire toolkit. The key conceptual move was recognizing that the ramified, quantum, and "real" forms of the correspondence all sit inside the structure of $\mathcal{N}=4$ gauge theory: surface operators give ramification, $\theta$-angle gives the quantum geometric Langlands, and the choice of real form of $\tau$ gives the relationship to conformal field theory. Witten later (with Gukov, Frenkel, and others) extended the dictionary to the quantum/deformed setting and to the relation with the Bethe ansatz and integrable systems.

Building Intuition

Think of the classical Fourier transform: functions on a vector space $V$ correspond to functions on the dual $V^{\ast }$, and the operation of multiplication by a coordinate on one side corresponds to differentiation on the other. Geometric Langlands is a vast nonabelian, nonlinear categorification of this. The role of $V$ is played by ${\mathrm{Bun}}_G$ and the role of $V^{\ast }$ by ${\mathrm{LocSys}}_{{}^{L}G}$. "Functions" are replaced by sheaves/D-modules. The operation that gets diagonalized — like the exponentials $e^{i⟨x,\xi ⟩}$ that are eigenfunctions of differentiation — is the Hecke operator, and the eigenobjects are Hecke eigensheaves. The abelian case ($G=G{L}_1$) really is a Fourier–Mukai transform between ${\mathrm{Bun}}_{G{L}_1}=\mathrm{Pic}(X)$ and its dual, making this analogy literal.

The Hitchin fibration and S-duality as fiberwise T-duality

<svg viewBox="0 0 720 420" xmlns="http://www.w3.org/2000/svg">
<rect width="720" height="420" fill="#0a0e17"/>
<text x="360" y="30" fill="#e2e8f0" font-size="16" text-anchor="middle">S-duality = fiberwise T-duality over the Hitchin base</text>

<!-- Left tower: M_H(G) -->
<text x="150" y="70" fill="#e2e8f0" font-size="14" text-anchor="middle">M_H(G)</text>
<ellipse cx="150" cy="140" rx="80" ry="40" fill="none" stroke="#94a3b8"/>
<ellipse cx="150" cy="140" rx="80" ry="14" fill="none" stroke="#d4a853"/>
<text x="150" y="200" fill="#e2e8f0" font-size="12" text-anchor="middle">fiber = Jac(C)</text>

<!-- Right tower: M_H(LG) -->
<text x="570" y="70" fill="#e2e8f0" font-size="14" text-anchor="middle">M_H(LG)</text>
<ellipse cx="570" cy="140" rx="80" ry="40" fill="none" stroke="#94a3b8"/>
<ellipse cx="570" cy="140" rx="80" ry="14" fill="none" stroke="#d4a853"/>
<text x="570" y="200" fill="#e2e8f0" font-size="12" text-anchor="middle">fiber = Jac(C)^vee (dual)</text>

<!-- Hitchin maps -->
<line x1="150" y1="180" x2="150" y2="300" stroke="#94a3b8" stroke-dasharray="4 3"/>
<line x1="570" y1="180" x2="570" y2="300" stroke="#94a3b8" stroke-dasharray="4 3"/>
<text x="110" y="245" fill="#94a3b8" font-size="11">h</text>
<text x="600" y="245" fill="#94a3b8" font-size="11">Lh</text>

<!-- shared base -->
<rect x="80" y="300" width="560" height="60" rx="8" fill="none" stroke="#94a3b8"/>
<text x="360" y="335" fill="#e2e8f0" font-size="13" text-anchor="middle">common base B = ⊕ H^0(X, ω^{d_i})  (spectral curves)</text>

<!-- duality arrow -->
<path d="M 235 140 Q 360 95 485 140" fill="none" stroke="#d4a853" stroke-width="2" marker-end="url(#a)"/>
<defs><marker id="a" markerWidth="10" markerHeight="10" refX="8" refY="3" orient="auto"><path d="M0,0 L8,3 L0,6 Z" fill="#d4a853"/></marker></defs>
<text x="360" y="105" fill="#d4a853" font-size="12" text-anchor="middle">T-duality on fibers</text>
</svg>

Worked Examples

Abelian Case: $G = GL_1$ and Fourier–Mukai

1. The relevant transform is the Fourier–Mukai transform with kernel the Poincaré bundle $\mathcal{P}$ on $\mathrm{Pic}(X)\times {\mathrm{Pic}}^0(X)$.
2. A rank-1 local system $E$ has monodromy data; the associated Hecke eigensheaf ${\mathcal{F}}_E$ on $\mathrm{Pic}(X)$ is the character D-module obtained by integrating $E$ via the Abel–Jacobi map.
3. The Hecke functor at $x$ tensors by the line $\mathcal{O}(x)$; the eigenvalue equation [3] becomes $H_x({\mathcal{F}}_E)=E_x\otimes {\mathcal{F}}_E$, with $E_x\in {\mathbb{C}}^{\ast }$ a scalar.
4. Count dimensions: $\dim {\mathrm{Pic}}^0(X)=g$ and $\dim {\mathrm{LocSys}}_{G{L}_1}^0=2g$ (real) $=g$ complex — they match the dual abelian varieties.

Eigensheaf count for $G=GL_2$, $X=\mathbb{P}^1$ with ramification

1. ${\pi }_1({\mathbb{P}}^1\setminus \{0,1,\infty \})$ is free on 2 generators with relation ${\gamma }_0{\gamma }_1{\gamma }_{\infty }=1$.
2. Count moduli: dimension of the character variety is

1. Compute: $(2\cdot 0-2+3)\cdot 4=4$, minus $\dim Z=1$ for the center acting, plus boundary terms... For a rigid (zero-dimensional moduli) configuration the local data are fixed and the eigensheaf is essentially unique up to twist.
2. The corresponding D-module on ${\mathrm{Bun}}_{G{L}_2}({\mathbb{P}}^1,\{0,1,\infty \})$ is the hypergeometric D-module.

Common Misconceptions

QCoh is not enough — singular support

A frequent error is to state the correspondence as $D\text{-}\mathrm{mod}({\mathrm{Bun}}_G)\simeq \mathrm{QCoh}({\mathrm{LocSys}}_{{}^{L}G})$ with naive quasi-coherent sheaves. This is false as stated. The stack ${\mathrm{LocSys}}_{{}^{L}G}$ is not smooth — it is a derived/quasi-smooth stack — and the correct spectral side is $\mathrm{IndCoh}$ with nilpotent singular support along the global nilpotent cone $\mathcal{N}$ (Arinkin–Gaitsgory). The discrepancy between $\mathrm{QCoh}$ and ${\mathrm{IndCoh}}_{\mathcal{N}}$ is exactly what makes the equivalence delicate and is invisible in the smooth/abelian case.

Eigensheaves are not eigenvectors

"Hecke eigensheaf" sounds like an eigenvector but is a categorical statement: equation [3] is an isomorphism of sheaves depending continuously on $x\in X$, i.e. a compatible family forming a Hecke eigen-property, not a single numerical eigenvalue. Treating it as ordinary spectral theory loses the local-system structure of the eigenvalue.

Naive function-correspondence fails over $\mathbb{C}$

Over a finite field ${\mathbb{F}}_q$, the function-sheaf dictionary (Grothendieck's faisceaux–fonctions) lets one extract numerical automorphic forms from sheaves by taking traces of Frobenius. Over $\mathbb{C}$ there is no Frobenius, so one cannot reduce the categorical equivalence to a numerical correspondence of functions on ${\mathrm{Bun}}_G({\mathbb{F}}_q)$. Attempting to "evaluate" a D-module to a function over $\mathbb{C}$ has no meaning; the correspondence is irreducibly categorical. This is why the geometric theory must be phrased with categories rather than spaces of functions.

Connections

Geometric Langlands sits at a crossroads of many fields. Conformal Field Theory enters via the Beilinson–Drinfeld construction of Hecke eigensheaves from conformal blocks of the affine Kac–Moody algebra at the critical level $\kappa =-h^{\vee }$, where the center of the enveloping algebra (Feigin–Frenkel center) is identified with functions on ${}^L\mathfrak{g}$-opers. Mirror Symmetry provides the mechanism (Step 5) translating S-duality into the equivalence of A- and B-branes on Hitchin moduli. Hitchin Integrable System is the classical limit, with its abelian fibration giving the SYZ structure. The Affine Grassmannian and Geometric Satake Equivalence supply the local building blocks and the very definition of ${}^{L}G$. The arithmetic Langlands Program is the motivating shadow: replacing ${\mathbb{F}}_q$-points and Galois groups by curves and fundamental groups. Finally Topological Quantum Field Theory organizes everything as a 4d TQFT whose boundary/defect data reproduce the categories.

Real-World Applications

1. Quantum field theory / S-duality — the program gives a rigorous mathematical home for Montonen–Olive electric–magnetic duality of $\mathcal{N}=4$ super Yang-Mills, and explains line operators (Wilson/'t Hooft) categorically.
2. Integrable systems and the Bethe ansatz — Gaudin models and the quantum geometric Langlands correspondence relate eigenstates of integrable spin chains to opers; the Bethe/gauge correspondence of Nekrasov–Shatashvili.
3. Vertex algebras and W-algebras — the Feigin–Frenkel isomorphism between the center at critical level and ${}^L\mathfrak{g}$-opers underlies the representation theory of affine Lie algebras at the critical level.
4. Knot homology and 3-manifold invariants — surface operators and the analytic/4d perspective connect to Khovanov homology and the volume conjecture via Gukov–Witten.
5. Number theory (function fields) — V. Lafforgue's work on the global Langlands correspondence over function fields uses excursion operators that are an arithmetic shadow of Hecke functors, directly informed by the geometric theory.
6. Symplectic duality / 3d mirror symmetry — Coulomb and Higgs branch dualities (BFN construction) generalize the same electric–magnetic philosophy.
7. Moduli of sheaves and enumerative geometry — Fourier–Mukai techniques developed for the abelian case feed into Bridgeland stability and Donaldson–Thomas theory.

Historical Development

• 1967–70 — Langlands formulates his conjectures linking automorphic forms and Galois representations; the dual group ${}^{L}G$ is born.
• 1980s — Drinfeld proves the geometric Langlands correspondence for $G{L}_2$ over function fields, introducing the idea of realizing automorphic forms as sheaves on moduli of shtukas/bundles.
• 1987 — Laumon formulates the geometric Langlands conjecture in sheaf-theoretic terms for $G{L}_n$ and proves the abelian (Fourier–Mukai) case with Rothstein.
• 1991–95 — Beilinson and Drinfeld construct Hecke eigensheaves via the Hitchin system, opers, and conformal blocks at the critical level; the "quantization of the Hitchin system" appears.
• 1995 (Lusztig), 1998–2000 — Ginzburg, and Mirković–Vilonen establish the Geometric Satake equivalence, giving ${}^{L}G$ a purely geometric definition.
• 2002 — Frenkel–Gaitsgory–Vilonen prove the geometric Langlands correspondence for $G{L}_n$ in the unramified de Rham setting (vanishing conjecture).
• 2006 — Kapustin and Witten reinterpret geometric Langlands through S-duality of $\mathcal{N}=4$ gauge theory and mirror symmetry of Hitchin systems.
• 2007–15 — Arinkin–Gaitsgory formulate the precise categorical statement with nilpotent singular support; Gaitsgory and collaborators develop the full derived-categorical framework.
• 2024 — Gaitsgory, Raskin, and collaborators announce a complete proof of the (de Rham) geometric Langlands conjecture in a series of papers, a landmark culmination of the program.

Subtleties & Limits

Several deep issues remain at the frontier. (i) The quantum geometric Langlands correspondence deforms by the level/coupling $\kappa$ ($\theta$-angle physically), relating $\kappa$-twisted D-modules for $G$ to $\check{\kappa }$-twisted D-modules for ${}^{L}G$ with $\kappa \check{\kappa }=1$; this is far less understood than the de Rham (critical) case. (ii) The Betti version (Ben-Zvi–Nadler), using local systems with topological rather than algebraic structure, and its compatibility with the de Rham version through Riemann–Hilbert, is still being developed. (iii) Ramification — wild ramification and the analogue of the local Langlands correspondence at irregular singular points (Stokes data, isomonodromy) is only partially worked out. (iv) The analytic Langlands program (Etingof–Frenkel–Kazhdan) over $\mathbb{C}$ seeks genuine spectral theory of Hecke operators on $L^2({\mathrm{Bun}}_G)$ — a Hilbert-space realization whose foundations are recent. (v) The precise dictionary between the recently announced de Rham proof and the physical Kapustin–Witten picture (making mirror symmetry of Hitchin systems mathematically rigorous, including singular fibers and gerbes) remains an active and only partly completed program.

See Also