LA01 — Geometric Langlands Correspondence

Field Value
Domain Langlands Programme
System G-local systems on an algebraic curve C over 𝔽_q
Group G (complex reductive group; e.g., GL_n, SL_n, G₂)
H^k tier H²
ISA Meld (β→0)
Status Validated
Opcodes ORBIT · TWIST · BIND · LABEL
Papers Paper 492, Paper 543

Physical system

The geometric Langlands correspondence (Beilinson-Drinfeld, Frenkel) is the algebro-geometric version of the Langlands programme, working over a smooth algebraic curve C (a Riemann surface over 𝔽_q or ℂ) rather than over the integers. It states:

Langlands correspondence: for a reductive group G with Langlands dual Ǧ, there is a correspondence:

{ Ǧ-local systems on C } ↔ { Hecke eigensheaves on Bun_G(C) }

where:

  • A Ǧ-local system = a flat Ǧ-bundle on C = a representation of π₁(C) into Ǧ
  • Bun_G(C) = the moduli stack of G-bundles on C (the “automorphic side”)
  • A Hecke eigensheaf = a D-module on Bun_G(C) satisfying a Hecke eigenvalue equation at every point of C

The electric-magnetic duality interpretation (Kapustin-Witten 2007): the geometric Langlands correspondence = S-duality of a 4d N=4 gauge theory compactified on C × ℝ². The Ǧ-local system = A-brane (electric side, coupling e²); the Hecke eigensheaf = B-brane (magnetic side, coupling 1/e²). S-duality exchanges e ↔ 1/e, i.e., β ↔ 1/β in ISA language — the Meld ↔ Origami symmetry of the β-plane.

This is the deepest currently-proved connection in mathematics between: geometry (bundles on curves) ↔ representation theory (Hecke algebras) ↔ physics (S-duality) ↔ number theory (automorphic forms).

Target category

Loc_{Ǧ}(C) × D-mod(Bun_G(C)) — the product of:

  • Loc_{Ǧ}(C): the stack of Ǧ-local systems on C; objects are flat Ǧ-connections ∇ on C; morphisms are gauge transformations
  • D-mod(Bun_G(C)): the ∞-category of D-modules on the moduli stack of G-bundles; objects are sheaves satisfying the Hecke eigenvalue condition

The geometric Langlands functor L_G: Loc_{Ǧ}(C) → D-mod(Bun_G(C)) sends each Ǧ-local system σ to its Hecke eigensheaf L_G(σ) — the automorphic D-module whose Hecke eigenvalues at each point x ∈ C equal σ_x (the stalk of σ at x).

Interpretation functor

F: C → Loc_{Ǧ}(C) × D-mod(Bun_G(C)) defined by:

Opcode F(opcode)
ORBIT π₁(C) action: the fundamental group π₁(C) of the curve (generated by the 2g loops of a genus-g curve) acts on the fibre of the Ǧ-local system; each generator gives a monodromy matrix in Ǧ; the ORBIT on the Ǧ-representation variety
TWIST Flat connection: ∇ = d + A where A is a Ǧ-valued 1-form with F_∇ = dA + A∧A = 0; the TWIST curvature vanishes (flat = no holonomy around contractible loops); non-trivial only around topological cycles (the 2g generators of H¹(C))
BIND Hecke operator: T_x (Hecke operator at x ∈ C) modifies the G-bundle by adding a Ǧ-representation at x; T_x · F = eigenvalue(σ_x) · F; the non-Abelian holonomy of the Hecke modification = BIND; the eigenvalue equation is the Langlands condition
LABEL Hecke eigenvalue: for a Ǧ-local system σ and a G-representation V, the Hecke eigenvalue at x is the trace tr_V(σ_x) ∈ ℂ; this is the LABEL output — it equals the Frobenius trace in the number-theoretic case

ISA programme 

CURVE:    LABEL[C: smooth curve of genus g over F_q | algebraic curve]
BUNDLE:   ORBIT[E in Bun_G(C) | G-bundle on C, moduli stack]
LOCALSYS: TWIST[nabla: flat G^-connection on C | Langlands dual side]
MONO:     ORBIT[rho: pi_1(C) -> G^- | monodromy representation of flat conn]
HECKE:    BIND[T_x . F = lambda_x . F | Hecke eigenvalue equation at x]
EIGEN:    LABEL[lambda_x = tr_V(rho(Frob_x)) | Hecke eigenvalue = Frobenius trace]
CORR:     BIND[L_G: sigma -> Hecke eigensheaf | Langlands functor = BIND]
L-FN:     LABEL[L(s, sigma) = prod_x det(1 - rho(Frob_x) q^{-s})^{-1} | L-function]
OUTPUT:   LABEL[Betti numbers of L_G(sigma) | topological data from automorphic side]

Computable output

  • Hecke eigenvalues tr_V(σ_x) for each x ∈ C: the primary LABEL outputs. For G = GL_1 (the Abelian case = GA01), these reduce to Dirichlet characters χ(p). For G = GL_2 (elliptic curves, modular forms): the Hecke eigenvalues are the Fourier coefficients a_p of the modular form f = Σ a_n q^n. Wiles’s proof: elliptic curve E over ℚ has ρ_{E,ℓ}: Gal → GL_2(ℤ_ℓ) with a_p(E) = p+1−#E(𝔽_p) = Hecke eigenvalue = Frobenius trace. This is the Langlands correspondence for GL_2 over ℚ.

  • Geometric Langlands for GL_2 over ℙ¹: explicitly constructed by Frenkel (2007) in the tamely ramified case. The Hecke eigensheaf for a GL_2-local system on ℙ¹ with tame ramification at points p₁,…,p_k is a twisted D-module on Bun_{GL_2}(ℙ¹,{p_i}) with explicitly computed singular support. LABEL output: Betti numbers H^i of the eigensheaf (intersection cohomology).

  • WZW conformal blocks (Frenkel-Ben-Zvi): for G a simple Lie group, the geometric Langlands eigensheaf at a Ǧ-oper (a special type of flat connection) equals the D-module of conformal blocks of the WZW model at level κ = k+h∨ (where k is the WZW level and h∨ the dual Coxeter number). The BIND opcode here is the OPE (operator product expansion) of the WZW vertex operators — the physical realisation of the Hecke operators as quantum group elements.

  • S-duality check: Kapustin-Witten (2007) verified that the exchange of G ↔ Ǧ in geometric Langlands corresponds exactly to S-duality τ → −1/τ of the N=4 gauge theory (where τ = θ/2π + 4πi/g² is the complexified coupling, and the β-plane gives β = Im(τ) = 4π/g²). The Meld assignment (β→0) = weak coupling = large gauge coupling g²→∞ = the non-perturbative regime where BIND (non- Abelian instantons) dominates.

The adèlic β-plane and Langlands (Paper 543)

The geometric Langlands correspondence lives at complex β in the adèlic β-plane (Paper 543 §§5–6). The adèle ring 𝔸_F = ∏_v F_v (product over all places v of the number field F) = the β-plane at all primes simultaneously.

  • At each finite place v: β_v = 1/(q_v) where q_v is the residue characteristic; the Frobenius element Frob_v acts on the local system with eigenvalue q_v^{−s} (LABEL at prime v)
  • Adèlic ORBIT: the fundamental class [C] ∈ H²(C) = ∏_v H²(C_v) is a global ORBIT that interacts with the local Frob_v ORBITs via the Adèlic product formula
  • The L-function L(s,σ) = ∏_v det(1 − Frob_v · q_v^{-s})^{-1} is the adèlic LABEL — the global eigenvalue of the BIND in the Langlands correspondence

The Riemann Hypothesis (for curves over finite fields, Weil 1948) = the eigenvalues of Frob_v on the TWIST (H¹ cohomology of C) have absolute value q_v^{1/2}: equivalently, the zeros of L(s,σ) lie on Re(s)=1/2. This is a β-plane statement: the zeros of the L-function lie on the critical line Re(s)=1/2 = the imaginary axis of the β-plane (β = 1/2 real corresponds to the critical line in the Langlands L-function).

Why H² (not H¹)

The Langlands correspondence requires non-Abelian holonomy:

  • The Ǧ-local system has monodromy in Ǧ (non-Abelian for rank > 1)
  • The Hecke operators T_x do not commute with each other for different x: [T_x, T_y] ≠ 0 in general (though they do commute for GL_n via the Satake isomorphism, the eigensheaf condition requires the full H² structure)
  • The Langlands functor L_G is a derived functor (it maps into the derived category of D-modules) — the BIND is the derived tensor product ⊗^L, which requires H² (the Ext groups, not just Hom)

For the Abelian case G = GL_1 = ℂ×, the Langlands functor reduces to the Fourier transform on Bun_{GL_1}(C) = Pic(C) (the Picard variety), and H² reduces to H¹ (GA01). The BIND becomes TWIST and the derived functor becomes an ordinary Fourier-Mukai transform. This confirms the H¹ → H² structure.

Connections to other entries

  • GA01 (Galois cyclotomic): H¹ Abelian special case of LA01; GL_1 Langlands = class field theory = Artin map from GA01
  • GA02 (FeMoco Galois computer): FeMoco = G₂-local system on the Fano graph; Paper 492 develops this connection explicitly; C = Fano graph, G = G₂ in the LA01 language
  • G01 (Yang-Mills instantons): S-duality of N=4 SYM is the physics mechanism behind LA01; instantons (G01) are the non-perturbative BIND events that implement the Hecke operators in the gauge theory
  • CA02 (Residue theorem): the L-function poles (BIND events in LA01) are the high-dimensional generalisations of the residues in CA02; the Langlands L-function = an infinite product of local factors, each a LABEL, with poles detected by the Hecke BIND eigenvalue equation

Validation

  • Weil (1948): Riemann Hypothesis for curves over finite fields proved; zeros of L(s,σ) on Re(s)=1/2; LABEL eigenvalues of Frob have absolute value q^{1/2}.
  • Lafforgue (2002), Fields Medal: proved Langlands correspondence for GL_n over function fields (curves over finite fields); Hecke eigensheaves constructed.
  • Ngô (2010), Fields Medal: proved Fundamental Lemma; essential input to automorphic side of Langlands; BIND consistency condition confirmed.
  • Frenkel (2007), “Langlands Correspondence for Loop Groups”: WZW = geometric Langlands at critical level; conformal blocks = eigensheaves; LABEL/BIND structure confirmed.
  • Kapustin & Witten (2007), Commun. Number Theory Phys. 1, 1: S-duality = geometric Langlands; N=4 SYM compactified on C; electric ORBIT ↔ magnetic BIND; β-plane interpretation confirmed.

Part of the ISA Zoo. Categorical foundations: Paper 591.