M-Theoretic Derivations of 4d-2d Dualities: From a Geometric Langlands Duality for Surfaces, to the AGT Correspondence, to Integrable Systems

TL;DR

The paper presents a unified M-theory framework that derives 4d–2d dualities by connecting geometric Langlands duality for surfaces, the AGT correspondence, and integrable systems. It shows that spacetime BPS spectra in dual string/M-theory frames reproduce deep algebraic structures, equating intersection cohomology of instanton moduli spaces with Langlands-dual affine representations and realizing AGT via Omega-deformation and M9-branes as coherent-state norms in Langlands-dual $\mathcal W$-algebras. It further links Nekrasov–Okounkov and Nekrasov–Shatashvili limits to Toda/Hitchin integrable systems and ramified Langlands for curves, while providing extensive generalizations to ADE and non-simply-laced groups, surface operators, and ALE geometries. The work thus connects physical dualities, geometric representation theory, and integrable systems, offering a robust, physically motivated derivation of well-known mathematical conjectures and their Ramified/generalized versions. The resulting framework has broad implications for understanding surface defects, instanton counting, and the interplay between gauge theories, CFTs, and integrable hierarchies.

Abstract

In Part I, we extend our analysis in [arXiv:0807.1107], and show that a mathematically conjectured geometric Langlands duality for complex surfaces in [1], and its generalizations -- which relate some cohomology of the moduli space of certain ("ramified") G-instantons to the integrable representations of the Langlands dual of certain affine (sub) G-algebras, where G is any compact Lie group -- can be derived, purely physically, from the principle that the spacetime BPS spectra of string-dual M-theory compactifications ought to be equivalent. In Part II, to the setup in Part I, we introduce Omega-deformation via fluxbranes and add half-BPS boundary defects via M9-branes, and show that the celebrated AGT correspondence in [2, 3], and its generalizations -- which essentially relate, among other things, some equivariant cohomology of the moduli space of certain ("ramified") G-instantons to the integrable representations of the Langlands dual of certain affine W-algebras -- can likewise be derived from the principle that the spacetime BPS spectra of string-dual M-theory compactifications ought to be equivalent. In Part III, we consider various limits of our setup in Part II, and connect our story to chiral fermions and integrable systems. Among other things, we derive the Nekrasov-Okounkov conjecture in [4] -- which relates the topological string limit of the dual Nekrasov partition function for pure G to the integrable representations of the Langlands dual of an affine G-algebra -- and also demonstrate that the Nekrasov-Shatashvili limit of the "fully-ramified" Nekrasov instanton partition function for pure G is a simultaneous eigenfunction of the quantum Toda Hamiltonians associated with the Langlands dual of an affine G-algebra. Via the case with matter, we also make contact with Hitchin systems and the "ramified" geometric Langlands correspondence for curves.

Figures (10)

• Figure 1: $\cal C$ and its $N$-fold cover $\Sigma_{SW}$ with the states $\langle q, \Delta |$ and $| q, \Delta \rangle$ at $z=0$ and $\infty$
• Figure 2: $\cal C$ and its $2N$-fold cover $\Sigma_{SW}$ with the states $\langle q, \Delta |$ and $| q, \Delta \rangle$ at $z=0$ and $\infty$
• Figure 3: A pair of M9-branes in the original compactification in the limit $\beta \to 0$ and the corresponding CFT on $\cal C$ in the dual compactification that are behind our derivation of the pure AGT correspondence in $\S$5.2.
• Figure 4: Building blocks of our derivation of the AGT correspondence with matter. (a) a sphere with vertex operators $V^Q_{\vec{a}_{i}}$ and $V_{\vec{a}_i, \vec{a}_{i+1}}$ at $z=\infty$ and $1$, respectively, and a small hole at $z = 0$ with corresponding boundary state $|V^Q_{\vec{a}_{i+1}} \rangle$; (b) a cylinder of length $\sim 1 / g^2$, with boundary states $\langle V^Q_{\vec{a}_{i+1}}|$ and $|V^Q_{\vec{a}_{i+1}} \rangle$.
• Figure 5: The linear quiver diagram and the various steps that lead us to the overall Riemann surface $\Sigma$ on which our 2d CFT lives.