A finite analog of the AGT relation I: finite W-algebras and quasimaps' spaces

Recently Alday, Gaiotto and Tachikawa proposed a conjecture relating 4-dimensional super-symmetric gauge theory for a gauge group G with certain 2-dimensional conformal field theory. This conjecture implies the existence of certain structures on the (equivariant) intersection cohomology of the Uhlenbeck partial compactification of the moduli space of framed G-bundles on P^2. More precisely, it predicts the existence of an action of the corresponding W-algebra on the above cohomology, satisfying certain properties. We propose a "finite analog" of the (above corollary of the) AGT conjecture. Namely, we replace the Uhlenbeck space with the space of based quasi-maps from P^1 to any partial flag variety G/P of G and conjecture that its equivariant intersection cohomology carries an action of the finite W-algebra U(g,e) associated with the principal nilpotent element in the Lie algebra of the Levi subgroup of P; this action is expected to satisfy some list of natural properties. This conjecture generalizes the main result of arXiv:math/0401409 when P is the Borel subgroup. We prove our conjecture for G=GL(N), using the works of Brundan and Kleshchev interpreting the algebra U(g,e) in terms of certain shifted Yangians.Comment: minor change

Inhomogeneous Yang-Mills algebras

We determine all inhomogeneous Yang-Mills algebras and super Yang-Mills algebras which are Koszul. Following a recent proposal, a non-homogeneous algebra is said to be Koszul if the homogeneous part is Koszul and if the PBW property holds. In this paper, the homogeneous parts are the Yang-Mills algebra and the super Yang-Mills algebra.Comment: 17 page

On q-deformed gl(l+1)-Whittaker function II

A representation of a specialization of a q-deformed class one lattice gl(\ell+1}-Whittaker function in terms of cohomology groups of line bundles on the space QM_d(P^{\ell}) of quasi-maps P^1 to P^{\ell} of degree d is proposed. For \ell=1, this provides an interpretation of non-specialized q-deformed gl(2)-Whittaker function in terms of QM_d(\IP^1). In particular the (q-version of) Mellin-Barnes representation of gl(2)-Whittaker function is realized as a semi-infinite period map. The explicit form of the period map manifests an important role of q-version of Gamma-function as a substitute of topological genus in semi-infinite geometry. A relation with Givental-Lee universal solution (J-function) of q-deformed gl(2)-Toda chain is also discussed.Comment: Extended version submitted in Comm. Math. Phys., 24 page

Multiplicative slices, relativistic Toda and shifted quantum affine algebras

We introduce the shifted quantum affine algebras. They map homomorphically into the quantized $K$-theoretic Coulomb branches of $3d\ {\mathcal N}=4$ SUSY quiver gauge theories. In type $A$, they are endowed with a coproduct, and they act on the equivariant $K$-theory of parabolic Laumon spaces. In type $A_1$, they are closely related to the open relativistic quantum Toda lattice of type $A$.Comment: 125 pages. v2: references updated; in section 11 the third local Lax matrix is introduced. v3: references updated. v4=v5: 131 pages, minor corrections, table of contents added, Conjecture 10.25 is now replaced by Theorem 10.25 (whose proof is based on the shuffle approach and is presented in a new Appendix). v6: Final version as published, references updated, footnote 4 adde

Fermionic formulas for eigenfunctions of the difference Toda Hamiltonian

We use the Whittaker vectors and the Drinfeld Casimir element to show that eigenfunctions of the difference Toda Hamiltonian can be expressed via fermionic formulas. Motivated by the combinatorics of the fermionic formulas we use the representation theory of the quantum groups to prove a number of identities for the coefficients of the eigenfunctions.Comment: 33 pages, Late

A quantum isomonodromy equation and its application to N=2 SU(N) gauge theories

We give an explicit differential equation which is expected to determine the instanton partition function in the presence of the full surface operator in N=2 SU(N) gauge theory. The differential equation arises as a quantization of a certain Hamiltonian system of isomonodromy type discovered by Fuji, Suzuki and Tsuda.Comment: 15 pages, v2: typos corrected and references added, v3: discussion, appendix and references adde