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 $$ \mathcal{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 NekrasovOkounkov 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 “fullyramified” 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.

di-Langlands correspondence and extended observables

Bispectral duality and separation of variables from surface defect transition

Quantum Analytic Langlands Correspondence

Parallel surface defects, Hecke operators, and quantum Hitchin system

Painlevé Kernels and Surface Defects at Strong Coupling

Surface observables in gauge theories, modular Painlevé tau functions and non-perturbative topological strings

Superopers revisited

Surprises in the Ordinary: $O(N)$ Invariant Surface Defect in the $ε$-expansion

Quantum Geometric Langlands Categories from N = 4 Super Yang-Mills Theory

Surface Operators and Exact Holography

Langlands Dualities through Bethe/Gauge Correspondence for 3d Gauge Theories

Topological-Holomorphic ${\mathcal N} =4$ Gauge Theory: From Langlands Duality of Holomorphic Invariants to Mirror Symmetry of Quasi-topological Strings

Quantum Supersymmetries (II): Loewy Filtrations and Quantum de Rham Cohomology over Quantum Grassmann Superalgebra

Landau-Ginzburg/Calabi-Yau Correspondence, Global Mirror Symmetry and Orlov Equivalence

M-theoretic derivations of 4d-2d dualities: from a geometric Langlands duality for surfaces, to the AGT correspondence, to integrable systems

Relative Dolbeault Geometric Langlands via the Regular Quotient

Four-dimensional $\mathcal N=2$ superconformal long circular quivers

Kazhdan-Lusztig Correspondence for Vertex Operator Superalgebras from Abelian Gauge Theories

Electromagnetic duality for line defect correlators in = 4 super Yang-Mills theory

Quantum-classical correspondence and obstruction to dispersion on the Engel group

On protected defect correlators in 3d $\mathcal{N}\ge4$ theories