Quantum Geometric Langlands

• Quantum geometric Langlands is a framework establishing categorical equivalences between quantum deformations of moduli spaces for reductive groups and their Langlands duals.
• It integrates techniques from representation theory, gauge theory, string theory, and algebraic geometry to derive dualities manifest in integrable models and Chern–Simons theories.
• The correspondence employs twisted D-modules, q- and elliptic deformations, and brane constructions to connect quantum group representations with advanced geometric structures.

The quantum geometric Langlands correspondence is a far-reaching generalization of the geometric Langlands program, formulating categorical dualities between quantum deformations of geometric structures attached to a reductive Lie group $G$ and its Langlands dual ${}^L G$. Unlike the classical case, quantum geometric Langlands incorporates a deformation parameter—either continuous (e.g., coupling or level), $q$-deformation, or even elliptic—tied to the quantization of moduli, Chern-Simons theory, or representation theory of quantum groups and vertex algebras. This correspondence weaves together techniques from representation theory, gauge theory, string/M-theory, and algebraic geometry, providing a universal framework for integrable models, Whittaker categories, modular functors, and categorified enumerative invariants.

1. Physical Constructions and Brane Realizations

A pivotal insight arises from realizing the correspondence as a duality of brane systems in string theory and gauge theory. The setup begins in Type IIA with $N$ D4-branes wrapping a four-manifold $\Sigma \times E$ ending on an NS5-brane. The low-energy worldvolume theory is 5d $\mathcal{N}=2$ SYM, partially topologically twisted along $Y \times \mathbb{R}_+$, preserving holomorphicity along $E = \mathbb{R} \times S^1$. The resulting 5d action localizes to a $Q$-exact sector plus a 4d Chern-Simons term,

$$S = \{ Q, \cdots \} + \frac{1}{\hbar} \int_{\Sigma \times E} dz \wedge \mathrm{Tr}\left(A \, dA + \frac{2}{3}A^3\right),$$

with ${}^L G$0 set by the twist parameter. A T-duality along ${}^L G$1 engineers a D3–NS5 system in IIB, which, after further reduction and manipulation, yields the setup for both 4d Chern-Simons theory (in Costello's formalism), quantum lattice models, and analytically-continued 3d Chern-Simons theory computing knot invariants (Ashwinkumar et al., 2019).

These constructions produce a web of physical correspondences:

Brane Geometry	Worldvolume/Boundary Theory	Mathematical Realization
D4–NS5 (type IIA), D3–NS5 (IIB by T/S-duality)	Partially-twisted 5d ${}^L G$2 SYM, 4d Chern-Simons	Twisted ${}^L G$3-modules, quantum group representations
D3–NS5 + D5	Mixed boundary conditions, 't Hooft/Hecke modifications	Whittaker ${}^L G$4-modules, affine Kac–Moody/W-algebras

This brane picture unifies the appearance of integrable lattice models (via Costello's 4d Chern-Simons), modular tensor categories, quantum group symmetries, and various incarnations of the (quantum) geometric Langlands correspondence (Ashwinkumar et al., 2019).

2. Categorical and Representation-Theoretic Formulation

At the categorical level, quantum geometric Langlands provides an equivalence of categories: ${}^L G$5 where ${}^L G$6 is the quantum deformation parameter and ${}^L G$7 denotes the category of ${}^L G$8-twisted ${}^L G$9-modules on the moduli stack of $q$0-bundles over a curve $q$1 (Ashwinkumar et al., 2019). Physically, this is realized by $q$2-duality of a D3–NS5–D5 brane system, and mathematically, by passage to derived/abelian categories associated to quantum groups and their Whittaker/Hecke module structures.

The Gaitsgory–Lurie conjecture refines this to a local equivalence: for generic level $q$3,

$q$4

linking the Kazhdan–Lusztig category of integrable modules for the affine Kac–Moody algebra $q$5 at level $q$6, and the (derived) Whittaker $q$7-modules on the affine Grassmannian of the dual group (Ashwinkumar et al., 2019). This categorical duality is central for constructing global equivalences and factorization structures in the quantum theory (Campbell et al., 2019).

Moreover, quantum geometric Langlands admits $q$8- and elliptic deformations, where the representations of quantum affine or toroidal algebras are related—via screening charges and stable envelopes—to module categories for deformed $q$9-algebras (see (Aganagic et al., 2017, Koroteev et al., 2018, Tan, 2016)).

3. Twisted $N$0-Modules and the Role of Quantum Parameter

In the quantum theory, the deformation parameter enters via twisted $N$1-modules: for a reductive group $N$2, the geometric side involves the category $N$3 of $N$4-twisted $N$5-modules on the moduli stack of $N$6-bundles, with $N$7 interpreted as inverse quantum level or Planck constant (0906.2747, Elliott et al., 2020). S-duality, realized as $N$8, exchanges $N$9 and $\Sigma \times E$0 and is induced by a nontrivial action on the gauge theory coupling,

$\Sigma \times E$1

mapping $\Sigma \times E$2 (Ong et al., 2022). In the physical Omega-background quantization, $\Sigma \times E$3-deformation is realized as $\Sigma \times E$4, with $\Sigma \times E$5 the Chern–Simons level and $\Sigma \times E$6 the dual Coxeter number of $\Sigma \times E$7.

At the categorical level:

• For $\Sigma \times E$8 (classical limit, strong coupling), one recovers untwisted $\Sigma \times E$9-modules corresponding to the original geometric Langlands correspondence.
• For generic $\mathcal{N}=2$0, the categories are enriched by $\mathcal{N}=2$1-deformations and admit interpretations in terms of quantum groups, W-algebras, and Kac–Moody representations.

4. Integrable Systems, Lattice Models, and Quantum Opers

Quantum geometric Langlands naturally interpolates between geometric representation theory and algebraic integrable models. The appearance of the Yangian, quantum affine algebras, and $\mathcal{N}=2$2-opers in the context of spectral Bethe equations illustrates the deep integrable structure at play (Koroteev et al., 2018, Aganagic et al., 2017, Tan, 2016). Costello's 4d Chern-Simons gauge theory, when realized in the brane setup, encodes solutions of the Yang–Baxter equation with $\mathcal{N}=2$3-dependent $\mathcal{N}=2$4-matrices via lattice insertions of Wilson lines (Ashwinkumar et al., 2019).

The $\mathcal{N}=2$5-Langlands correspondence, for $\mathcal{N}=2$6, establishes a bijection between:

• Nondegenerate solutions to the XXZ Bethe equations,
• Nondegenerate twisted $\mathcal{N}=2$7-opers with prescribed singularities, with parameters matched by quantum Wronskian relations (Koroteev et al., 2018).

This provides a bridge between quantum integrable models (spin chains, Ruijsenaars–Schneider models) and categories of quantum opers; in quantum $\mathcal{N}=2$8-theory, the algebra of tautological classes is encoded by Bethe algebras and their spectral data (Koroteev et al., 2018).

5. Whittaker Categories, Fundamental Local Equivalence, and $\mathcal{N}=2$9-Algebras

In the quantum setting, the Satake equivalence is replaced by the Fundamental Local Equivalence (FLE) of Gaitsgory–Lurie, aligning Whittaker categories (twisted $Y \times \mathbb{R}_+$0-modules with Whittaker conditions on affine flag varieties or Grassmannians) with representation categories of affine Kac–Moody algebras for the dual group at the dual level (Campbell et al., 2019). Twisted Whittaker categories play the role of local functors tying together the global geometry of moduli spaces with quantum loop algebra representations.

A further generalization relates these Whittaker $Y \times \mathbb{R}_+$1-modules to modules for quantum $Y \times \mathbb{R}_+$2-algebras (via Drinfeld–Sokolov reductions), allowing for a vertex-algebraic realization of the correspondence and embedding of conformal field theory into the Langlands framework (Ashwinkumar et al., 2019, Tan, 2016).

6. Analytic and Real-Structure Variants

Variants incorporating real forms and analyticity have clarified spectral-theoretic aspects of quantum geometric Langlands. For $Y \times \mathbb{R}_+$3, Teschner and collaborators demonstrated that imposing single-valuedness on eigenfunctions of quantized Hitchin Hamiltonians selects opers with real monodromy, yielding a “real” quantum geometric Langlands correspondence: $Y \times \mathbb{R}_+$4 (Teschner, 2017, Etingof et al., 2019).

This spectrum-theoretic approach brings forth joint self-adjointness, spectral discreteness, and geometric classification of eigenstates, solidifying the analytic layer of the quantization and its relation to real loci in character varieties.

7. Quantum Geometric Langlands in Positive Characteristic and Further Extensions

Quantum geometric Langlands extends to arithmetic settings, notably positive characteristic. For $Y \times \mathbb{R}_+$5, the correspondence is realized between derived categories of twisted crystalline $Y \times \mathbb{R}_+$6-modules on $Y \times \mathbb{R}_+$7 and Azumaya algebras on Frobenius-twisted local systems, with the twisting parameters related as predicted by the conjecture (Travkin, 2011). The construction leverages extended $Y \times \mathbb{R}_+$8-curvature, multiplicative gerbes, and Fourier–Mukai–type transforms.

Deformed and ramified versions, including the $Y \times \mathbb{R}_+$9-Langlands correspondence for conformal blocks of quantum affine algebras ($E = \mathbb{R} \times S^1$0) and deformed $E = \mathbb{R} \times S^1$1-algebras ($E = \mathbb{R} \times S^1$2), have been derived from gauge theory and little string theory, with tamely-ramified blocks classified by Drinfeld polynomials and realized by vortex quiver gauge theories (Haouzi, 2023, Aganagic et al., 2017, Tan, 2016). The parameter dictionary in these cases connects four deformation parameters—$E = \mathbb{R} \times S^1$3—identifying quantum groups with $E = \mathbb{R} \times S^1$4-algebras and aligning with AGT/categorification phenomena.

---

Quantum geometric Langlands thus stands at the intersection of categorical representation theory, integrable systems, brane engineering, and enumerative geometry, unifying wide-ranging mathematical and physical frameworks such as quantum groups, moduli of $E = \mathbb{R} \times S^1$5-modules, affine and W-algebras, and topological quantum field theories. The web of dualities, both abelian and non-abelian, placed into this quantum context, continues to drive developments in geometric representation theory, enumerative geometry, and mathematical physics.