geometric Langlands correspondence



The conjectural geometric Langlands correspondence is meant to be an analog of the number theoretic Langlands correspondence under the function field analogy, hence with number fields replaced by function fields and further replaced by rational functions on complex curves. The key to this analogy is the expression of the moduli stack of G-principal bundles over an algebraic curve as a double coset of various function rings (as discussed at Moduli of bundles over curves) of just the kind as they appear in the number-theoretic Langlands program.

The conjectured statement asserts roughly that for GG a reductive group and for Ξ£\Sigma an algebraic curve, then there is an equivalence of derived categories of, on the one hand, D-modules on the moduli stack of G-principal bundles on Ξ£\Sigma, and, on the other hand, quasi-coherent sheaves on the moduli stack of LG{}^L G-local systems on Ξ£\Sigma:

π’ͺMod(Loc LG(Ξ£))βŸΆβ‰ƒπ’ŸMod(Bun G(Ξ£)) \mathcal{O}Mod(Loc_{{}^L G}(\Sigma)) \stackrel{\simeq}{\longrightarrow} \mathcal{D} Mod( Bun_G(\Sigma))

for LG{}^L G the Langlands dual group. Moreover, the conjecture asserts that there is canonical such an equivalence which is a non-abelian analogue of the Fourier-Mukai integral transform and takes skyscraper sheaves on the left (categorified Dirac distributions) to what are called β€œHecke eigensheaves” on the right. This equivalence is in turn supposed to be a certain limit of the more general quantum geometric Langlands correspondence that identifies twisted D-modules on both sides.

Review of this idea includes (Frenkel 05). A refined formulation replaces plain quasicoherent sheaves with certain Ind-coherent sheaves and refines derived categories to stable (∞,1)-categories, see (Arinkin-Gaitsgory 12). The geometric Langlands correspondence conjecture is a theorem in the abelian case, as discussed below.

Since D-modules on moduli stacks of G-principal bundles play a central role in gauge quantum field theory (in particular as prequantum line bundles on the phase space of GG-Chern-Simons theory holographically dual to the WZW model 2d conformal field theory) and since the Langlands dual group also appears in electric-magnetic duality, it has long been suggested (Atiyah 77) that geometric Langlands duality has a distinguished meaning also in mathematical physics in general and in string theory in particular. One proposal for a realization of the correspondence as an incarnation of mirror symmetry/S-duality is due to (Kapustin-Witten 06), which however has not been turned into theorems yet. Another proposal for realizing the local correspondence via another incarnation of mirror symmetry is due to (Gerasimov-Lebedev-Oblezin 09).

The geometric Langlands conjecture has been motivated from the number theoretic Langlands correspondence via the function field analogy and some educated guessing, but there is to date no formalization of this analogy that would allow to regard number-theoretic and the geometric correspondence as two special cases of one β€œglobal” arithmetic geometry/global analytic geometry statement. Cautioning remarks on the accuracy of the analogy and on the rigour of the mirror-symmetric proposals may be found in (Langlands 14).

function field analogy

number fields (β€œfunction fields of curves over F1”)function fields of curves over finite fields 𝔽 q\mathbb{F}_q (arithmetic curves)Riemann surfaces/complex curves
affine and projective line
β„€\mathbb{Z} (integers)𝔽 q[t]\mathbb{F}_q[t] (polynomials, function algebra on affine line 𝔸 𝔽 q 1\mathbb{A}^1_{\mathbb{F}_q})π’ͺ β„‚\mathcal{O}_{\mathbb{C}} (holomorphic functions on complex plane)
β„š\mathbb{Q} (rational numbers)𝔽 q(t)\mathbb{F}_q(t) (rational functions)meromorphic functions on complex plane
pp (prime number/non-archimedean place)xβˆˆπ”½ px \in \mathbb{F}_pxβˆˆβ„‚x \in \mathbb{C}
∞\infty (place at infinity)∞\infty
Spec(β„€)Spec(\mathbb{Z}) (Spec(Z))𝔸 𝔽 q 1\mathbb{A}^1_{\mathbb{F}_q} (affine line)complex plane
Spec(β„€)βˆͺplace ∞Spec(\mathbb{Z}) \cup place_{\infty}β„™ 𝔽 q\mathbb{P}_{\mathbb{F}_q} (projective line)Riemann sphere
genus of the rational numbers = 0genus of the Riemann sphere = 0
formal neighbourhoods
β„€ p\mathbb{Z}_p (p-adic integers)𝔽 q[[tβˆ’x]]\mathbb{F}_q[ [ t -x ] ] (power series around xx)β„‚[[tβˆ’x]]\mathbb{C}[ [t-x] ] (holomorphic functions on formal disk around xx)
Spf(β„€ p)Γ—Spec(β„€)XSpf(\mathbb{Z}_p)\underset{Spec(\mathbb{Z})}{\times} X (β€œpp-arithmetic jet space” of XX at pp)formal disks in XX
β„š p\mathbb{Q}_p (p-adic numbers)𝔽 q((tβˆ’x))\mathbb{F}_q((t-x)) (Laurent series around xx)β„‚((tβˆ’x))\mathbb{C}((t-x)) (holomorphic functions on punctured formal disk around xx)
𝔸 β„š=∏ β€²pplaceβ„š p\mathbb{A}_{\mathbb{Q}} = \underset{p\; place}{\prod^\prime}\mathbb{Q}_p (ring of adeles)𝔸 𝔽 q((t))\mathbb{A}_{\mathbb{F}_q((t))} ( adeles of function field )∏ β€²xβˆˆβ„‚β„‚((tβˆ’x))\underset{x \in \mathbb{C}}{\prod^\prime} \mathbb{C}((t-x)) (restricted product of holomorphic functions on all punctured formal disks, finitely of which do not extend to the unpunctured disks)
𝕀 β„š=GL 1(𝔸 β„š)\mathbb{I}_{\mathbb{Q}} = GL_1(\mathbb{A}_{\mathbb{Q}}) (group of ideles)𝕀 𝔽 q((t))\mathbb{I}_{\mathbb{F}_q((t))} ( ideles of function field )∏ β€²xβˆˆβ„‚GL 1(β„‚((tβˆ’x)))\underset{x \in \mathbb{C}}{\prod^\prime} GL_1(\mathbb{C}((t-x)))
zeta functions
Riemann zeta functionGoss zeta function
branched covering curves
KK a number field (β„šβ†ͺK\mathbb{Q} \hookrightarrow K a possibly ramified finite dimensional field extension)KK a function field of an algebraic curve Ξ£\Sigma over 𝔽 p\mathbb{F}_pK Ξ£K_\Sigma (sheaf of rational functions on complex curve Ξ£\Sigma)
π’ͺ K\mathcal{O}_K (ring of integers)π’ͺ Ξ£\mathcal{O}_{\Sigma} (structure sheaf)
Spec an(π’ͺ K)β†’Spec(β„€)Spec_{an}(\mathcal{O}_K) \to Spec(\mathbb{Z}) (spectrum with archimedean places)Ξ£\Sigma (arithmetic curve)Ξ£β†’β„‚P 1\Sigma \to \mathbb{C}P^1 (complex curve being branched cover of Riemann sphere)
genus of a number fieldgenus of an algebraic curvegenus of a surface
formal neighbourhoods
vv prime ideal in ring of integers π’ͺ K\mathcal{O}_Kx∈Σx \in \Sigmax∈Σx \in \Sigma
K vK_v (formal completion at vv)β„‚((t x))\mathbb{C}((t_x)) (function algebra on punctured formal disk around xx)
π’ͺ K v\mathcal{O}_{K_v} (ring of integers of formal completion)β„‚[[t x]]\mathbb{C}[ [ t_x ] ] (function algebra on formal disk around xx)
𝔸 K\mathbb{A}_K (ring of adeles)∏ x∈Σ β€²β„‚((t x))\prod^\prime_{x\in \Sigma} \mathbb{C}((t_x)) (restricted product of function rings on all punctured formal disks around all points in Ξ£\Sigma)
π’ͺ\mathcal{O}∏ xβˆˆΞ£β„‚[[t x]]\prod_{x\in \Sigma} \mathbb{C}[ [t_x] ] (function ring on all formal disks around all points in Ξ£\Sigma)
𝕀 K=GL 1(𝔸 K)\mathbb{I}_K = GL_1(\mathbb{A}_K) (group of ideles)∏ x∈Σ β€²GL 1(β„‚((t x)))\prod^\prime_{x\in \Sigma} GL_1(\mathbb{C}((t_x)))
Galois and class field theory
Galois groupβ€œΟ€ 1(Ξ£)\pi_1(\Sigma) fundamental group
Galois representationβ€œflat connection (β€œlocal system”) on Ξ£\Sigma
automorphy and bundles
GL 1(K)\GL 1(𝔸 K)GL_1(K)\backslash GL_1(\mathbb{A}_K) (idele class group)β€œ
GL 1(K)\GL 1(𝔸 K)/GL 1(𝕆)GL_1(K)\backslash GL_1(\mathbb{A}_K)/GL_1(\mathbb{O})β€œCech cocycles mod coboundaries for holomorphic line bundles with respect to cover by formal disks = moduli stack of line bundles Bun GL 1(Ξ£)Bun_{GL_1}(\Sigma)
GL n(K)\GL n(𝔸 K)//GL n(π’ͺ)GL_n(K) \backslash GL_n(\mathbb{A}_K)//GL_n(\mathcal{O}) (constant sheaves on this stack form unramified automorphic representations)β€œBun GL n(β„‚)(Ξ£)Bun_{GL_n(\mathbb{C})}(\Sigma) (moduli stack of bundles on the curve Ξ£\Sigma)
number field Langlands correspondencefunction field Langlands correspondencegeometric Langlands correspondence
Tamawa-Weil for number fieldsTamagawa-Weil for function fields
zeta functions
Dedekind zeta functionWeil zeta functionzeta function of a Riemann surface


Abelian case

In the case where GG is the multiplicative group, hence where all bundles in question are line bundles, geometric Langlands duality is well understood and is in fact a slight variant of a Fourier-Mukai transform (Frenkel 05, section 4.4, 4.5).

Relation to S-duality

The Kapustin-Witten TQFT (KapustinWitten 2007) is supposed to exhibit geometric Langlands duality as a special case of S-duality.

See also at KK-compactification – Formalization

geometric Langlands correspondenceS-duality in N=4 D=4 super Yang-Mills theory
Hecke transformation’t Hooft operator
local system/flat connectionelectric eigenbrane (eigenbrane of Wilson operator)
Hecke eigensheafmagnetic eigenbrane (eigenbrane of ’t Hooft operator )

(Kapustin-Witten 06)

gauge theory induced via AdS-CFT correspondence

M-theory perspective via AdS7-CFT6F-theory perspective
11d supergravity/M-theory
↓\;\;\;\;\downarrow Kaluza-Klein compactification on S 4S^4compactificationon elliptic fibration followed by T-duality
7-dimensional supergravity
↓\;\;\;\;\downarrow topological sector
7-dimensional Chern-Simons theory
↓\;\;\;\;\downarrow AdS7-CFT6 holographic duality
6d (2,0)-superconformal QFT on the M5-brane with conformal invarianceM5-brane worldvolume theory
↓\;\;\;\; \downarrow KK-compactification on Riemann surfacedouble dimensional reduction on M-theory/F-theory elliptic fibration
N=2 D=4 super Yang-Mills theory with Montonen-Olive S-duality invariance; AGT correspondenceD3-brane worldvolume theory with type IIB S-duality
↓\;\;\;\;\; \downarrow topological twist
topologically twisted N=2 D=4 super Yang-Mills theory
↓\;\;\;\; \downarrow KK-compactification on Riemann surface
A-model on Bun GBun_G, Donaldson theory


gauge theory induced via AdS5-CFT4
type II string theory
↓\;\;\;\;\downarrow Kaluza-Klein compactification on S 5S^5
↓\;\;\;\; \downarrow topological sector
5-dimensional Chern-Simons theory
↓\;\;\;\;\downarrow AdS5-CFT4 holographic duality
N=4 D=4 super Yang-Mills theory
↓\;\;\;\;\; \downarrow topological twist
topologically twisted N=4 D=4 super Yang-Mills theory
↓\;\;\;\; \downarrow KK-compactification on Riemann surface
A-model on Bun GBun_G and B-model on Loc GLoc_G, geometric Langlands correspondence

Relation to T-duality

In some cases the passage between a Lie group and its Langlands dual group can be understood as a special case of T-duality. (Daenzer-vanErp)

duality in physics, duality in string theory



Discussion of what the geometric theory ultimately should be from the point of view of derived algebraic geometry are in

and in less category-theoretic terms in

  • Robert Langlands, The Search for a Mathematically Satisfying Geometric Theory of Automorphic Forms, Notes for a lecture at Mostow-Fest, Yale 2013 (IAS page, video, pdf)

See also

Surveys and reviews

A classical survey is

  • Edward Frenkel, Lectures on the Langlands Program and Conformal Field Theory, in Frontiers in number theory, physics, and geometry II, Springer Berlin Heidelberg, 2007. 387-533. (arXiv:hep-th/0512172)

Another set of lecture notes on geometric Langlands and nonabelian Hodge theory is

More exposition of the relation to string theory and S-duality is in

Further resources

Collections of resources are here;

Notes on two introductory lecture talks are here:

See also

Interpretation in string theory


An interpretation of the global geometric Langlands correspondence as describing S-duality of topologically twisted super Yang-Mills theory, incarnated in mirror symmetry on its KK-compactification to 2d sigma-models (A-model/B-model-type) was given in

and discussed in the bigger picture of S-duality arising as the conformal invariance of the 6d (2,0)-superconformal QFT in

  • Edward Witten, Geometric Langlands From Six Dimensions, in Peter Kotiuga (ed.) A Celebration of the Mathematical Legacy of Raoul Bott, AMS 2010 (arXiv:0905.2720)

An exposition of the relation to S-duality and electro-magnetic duality is in (Frenkel 09) and in

  • Edward Frenkel, What Do Fermat’s Last Theorem and Electro-magnetic Duality Have in Common? KITP talk 2011 (web)

  • Edward Frenkel, Overview of the links between the Langlands program and 4D super Yang–Mills theory, KITP talk 2010, video page, notes pdf

Further developments are surveyed in

Further discussion is also in

  • Tamas Hausel, Global topology of the Hitchin system (arXiv:1102.1717, pdf slides)

  • Kevin Setter, Topological quantum field theory and the geometric Langlands correspondence. Dissertation (Ph.D.), California Institute of Technology 2013 (web)

Discussion from the point of view of M-theory is in

  • Meng-Chwan Tan, M-Theoretic Derivations of 4d-2d Dualities: From a Geometric Langlands Duality for Surfaces, to the AGT Correspondence, to Integrable Systems (arXiv:1301.1977)

A relation to T-duality (of the group manifolds!) is discussed in


Discussion of local Archimedean Langlands duality for Whittaker functions as mirror symmetry of a suitable A-model and B-model is discussed in

Revised on July 17, 2014 12:39:17 by Urs Schreiber (