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.

Four Perspectives on Secondary Terms in the Davenport-Heilbronn Theorems

Secondary terms in counting functions for cubic fields

On Motivic and Arithmetic Refinements of Donaldson-Thomas invariants

Class field theory, Hasse principles and Picard-Brauer duality for two-dimensional local rings

On the analytic theory of isotropic ternary quadratic forms II

On the arithmetic of polynomials over a number field

The Arithmetic of the Fourier Coefficients of Automorphic Forms

Integral aspects of Fourier duality for abelian varieties

Graded Lie Algebras, Compactified Jacobians and Arithmetic Statistics

Congruence relations of Ankeny$\unicode{x2013}$Artin$\unicode{x2013}$Chowla type for real quadratic fields

Hasse principle for Kummer varieties in the case of generic 2-torsion

Arithmetic Problems in Cubic and Quartic Function Fields

Kähler differentials, almost mathematics and deeply ramified fields

Brauer relations, isogenies and parities of ranks

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

On the Cohomology of GL2 and SL2 over Imaginary Quadratic Fields

Relative Langlands Duality of Toric Periods

Quinary forms and paramodular forms

Four approaches to cohomology theories with reality

Donaldson-Thomas invariants for the Bridgeland-Smith correspondence

Quantum geometry, stability and modularity