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.

Relative Dolbeault Geometric Langlands via the Regular Quotient

Real groups, symmetric varieties and Langlands duality

Geometric Langlands duality for periods

Relative Langlands Duality of Toric Periods

Some Singular Examples of Relative Langlands Duality

Tamely Ramified Geometric Langlands Correspondence in Positive Characteristic

Derived geometric Satake for $\mathrm{PGL}_2^{\times 3}/\mathrm{PGL}_2^\mathrm{diag}$

Langlands duality on the Beilinson-Drinfeld Grassmannian

S-dual of Hamiltonian $\mathbf G$ spaces and relative Langlands duality

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

Local Langlands in families: The banal case

$\infty$-Categorical Generalized Langlands Program I: Mixed-Parity Modules and Sheaves

Hikita conjecture for classical Lie algebras

Gauge Theory and Langlands Duality

$\mathrm{PGL}_2(\mathbb{C})$-character varieties and Langlands duality over finite fields

Cohomology and geometry of Deligne--Lusztig varieties for ${\rm GL}_n$

Generalised Whittaker models as instances of relative Langlands duality II: Plancherel density and global periods

Outline of the proof of the geometric Langlands conjecture for GL(2)

Proof of the geometric Langlands conjecture IV: ambidexterity

Proof of the geometric Langlands conjecture I: construction of the functor

Motivic realization of rigid G-local systems on curves and tamely ramified geometric Langlands