Abstract:We realize the fundamental representations of quantum algebras via the supersymmetric Higgs mechanism in gauge theories with 8 supercharges on an $\Omega$-background. We test our proposal for quantum affine algebras, by probing the Higgs phase of a 5d quiver gauge theory on a circle. We show that our construction implies the existence of tame ramification in the Aganagic-Frenkel-Okounkov formulation of the geometric Langlands program, a correspondence which identifies $q$-conformal blocks of the quantum affine algebra with those of a Langlands dual deformed ${\cal W}$-algebra. The new feature of ramified blocks is their definition in terms of Drinfeld polynomials for a set of quantum affine weights. In enumerative geometry, the blocks are vertex functions counting quasimaps to quiver varieties describing moduli spaces of vortices. Physically, the vortices admit a description as a 3d ${\cal N}=2$ quiver gauge theory on the Higgs branch of the 5d gauge theory, uniquely determined from the Drinfeld polynomial data; the blocks are supersymmetric indices for the vortex theory supported on a 3-manifold with distinguished BPS boundary conditions. The top-down explanation of our results is found in the 6d $(2,0)$ little string theory, where tame ramification is provided by certain D-branes. When the string mass is taken to be large, we make contact with various physical aspects of the point particle superconformal limit: the Gukov-Witten description of ramification via monodromy defects in 4d Super Yang-Mills (and their S-duality), the Nekrasov-Tsymbaliuk solution to the Knizhnik-Zamolodchikov equations, and the classification of massive deformations of tamely ramified Hitchin systems. In a companion paper, we will show that our construction implies a solution to the local Alday-Gaiotto-Tachikawa conjecture.

A geometric realization of the asymptotic affine Hecke algebra

The asymptotic Hecke algebra and rigidity

On the Eisenstein Cohomology of Arithmetic Groups

Denominators in Lusztig's asymptotic Hecke algebra via the Plancherel formula

Asymptotics of rational representations for algebraic groups

Coherent Springer theory and the categorical Deligne-Langlands correspondence

Affine Kazhdan-Lusztig polynomials on the subregular cell in non simply-laced Lie algebras: with an application to character formulae (with an appendix by Roman Bezrukavnikov, Vasily Krylov, and Kenta Suzuki)

On two modular geometric realizations of an affine Hecke algebra

Affine Hecke algebras for Langlands parameters

Lusztig's Jordan decomposition and a finite field instance of relative Langlands duality

Affine Kazhdan-Lusztig polynomials on the subregular cell in non simply-laced Lie algebras: with an application to character formulae

Local Langlands Correspondence for Classical Groups and Affine Hecke Algebras

A geometric realization of Catalan functions

The center of the asymptotic Hecke category and unipotent character sheaves

Quantum affine $\frak{gl}_n$ via Hecke algebras

Geometric construction of Schur algebras

A geometric realization of the center of the small quantum group

On higher Jacobians, Laplace equations and Lefschetz properties

Trace Paley-Wiener theorem for Braverman-Kazhdan's asymptotic Hecke algebra

A new realization of quantum algebras in gauge theory and Ramification in the Langlands program

Affine $\imath$quantum groups and Steinberg varieties of type C