• The affine evaluation map is a surjective homomorphism from the quantum toroidal ${\mathfrak {gl}}_n$ algebra ${\mathcal E}'_n(q_1,q_2,q_3)$ to the quantum affine algebra $U'_q\widehat{\mathfrak {gl}}_n$ at level $\kappa$ completed with respect to the homogeneous grading, where $q_2=q^2$ and $q_3^n=\kappa^2$. We discuss ${\mathcal E}'_n(q_1,q_2,q_3)$ evaluation modules. We give highest weights of evaluation highest weight modules. We also obtain the decomposition of the evaluation Wakimoto module with respect to a Gelfand-Zeitlin type subalgebra of a completion of ${\mathcal E}'_n(q_1,q_2,q_3)$, which describes a deformation of the coset theory $\widehat{\mathfrak {gl}}_n/\widehat{\mathfrak {gl}}_{n-1}$.
  • We study plane partitions satisfying condition $a_{n+1,m+1}=0$ (this condition is called "pit") and asymptotic conditions along three coordinate axes. We find the formulas for generating function of such plane partitions. Such plane partitions label the basis vectors in certain representations of quantum toroidal $\mathfrak{gl}_1$ algebra, therefore our formulas can be interpreted as the characters of these representations. The resulting formulas resemble formulas for characters of tensor representations of Lie superalgebra $\mathfrak{gl}_{m|n}$. We discuss representation theoretic interpretation of our formulas using $q$-deformed $W$-algebra $\mathfrak{gl}_{m|n}$.
  • On a Fock space constructed from $mn$ free bosons and lattice ${\Bbb {Z}}^{mn}$, we give a level $n$ action of the quantum toroidal algebra $\mathscr {E}_m$ associated to $\mathfrak{gl}_m$, together with a level $m$ action of the quantum toroidal algebra ${\mathscr E}_n$ associated to ${\mathfrak {gl}}_n$. We prove that the $\mathscr {E}_m$ transfer matrices commute with the $\mathscr {E}_n$ transfer matrices after an appropriate identification of parameters.
  • 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.
  • We construct an analog of the subalgebra $Ugl(n)\otimes Ugl(m)$ of $Ugl(m+n)$ in the setting of quantum toroidal algebras and study the restrictions of various representations to this subalgebra.
  • We identify the Taylor coefficients of the transfer matrices corresponding to quantum toroidal algebras with the elliptic local and non-local integrals of motion introduced by Kojima, Shiraishi, Watanabe, and one of the authors. That allows us to prove the Litvinov conjectures on the Intermediate Long Wave model. We also discuss the (gl(m),gl(n)) duality of XXZ models in quantum toroidal setting and the implications for the quantum KdV model. In particular, we conjecture that the spectrum of non-local integrals of motion of Bazhanov, Lukyanov, and Zamolodchikov is described by Gaudin Bethe ansatz equations associated to affine sl(2).
  • We introduce and study a category $\text{Fin}$ of modules of the Borel subalgebra of a quantum affine algebra $U_q\mathfrak{g}$, where the commutative algebra of Drinfeld generators $h_{i,r}$, corresponding to Cartan currents, has finitely many characteristic values. This category is a natural extension of the category of finite-dimensional $U_q\mathfrak{g}$ modules. In particular, we classify the irreducible objects, discuss their properties, and describe the combinatorics of the q-characters. We study transfer matrices corresponding to modules in $\text{Fin}$. Among them we find the Baxter $Q_i$ operators and $T_i$ operators satisfying relations of the form $T_iQ_i=\prod_j Q_j+ \prod_k Q_k$. We show that these operators are polynomials of the spectral parameter after a suitable normalization. This allows us to prove the Bethe ansatz equations for the zeroes of the eigenvalues of the $Q_i$ operators acting in an arbitrary finite-dimensional representation of $U_q\mathfrak{g}$.
  • We study highest weight representations of the Borel subalgebra of the quantum toroidal gl(1) algebra with finite-dimensional weight spaces. In particular, we develop the q-character theory for such modules. We introduce and study the subcategory of `finite type' modules. By definition, a module over the Borel subalgebra is finite type if the Cartan like current \psi^+(z) has a finite number of eigenvalues, even though the module itself can be infinite dimensional. We use our results to diagonalize the transfer matrix T_{V,W}(u;p) analogous to those of the six vertex model. In our setting T_{V,W}(u;p) acts in a tensor product W of Fock spaces and V is a highest weight module over the Borel subalgebra of quantum toroidal gl(1) with finite-dimensional weight spaces. Namely we show that for a special choice of finite type modules $V$ the corresponding transfer matrices, Q(u;p) and T(u;p), are polynomials in u and satisfy a two-term TQ relation. We use this relation to prove the Bethe Ansatz equation for the zeroes of the eigenvalues of Q(u;p). Then we show that the eigenvalues of T_{V,W}(u;p) are given by an appropriate substitution of eigenvalues of Q(u;p) into the q-character of V.
  • We study the conformal vertex algebras which naturally arise in relation to the Nakajima-Yoshioka blow-up equations.
  • We establish the method of Bethe ansatz for the XXZ type model obtained from the R-matrix associated to quantum toroidal gl(1). We do that by using shuffle realizations of the modules and by showing that the Hamiltonian of the model is obtained from a simple multiplication operator by taking an appropriate quotient. We expect this approach to be applicable to a wide variety of models.
  • We define and study representations of quantum toroidal $gl_n$ with natural bases labeled by plane partitions with various conditions. As an application, we give an explicit description of a family of highest weight representations of quantum affine $gl_n$ with generic level.
  • We establish the equivalence between the refined topological vertex of Iqbal-Kozcaz-Vafa and a certain representation theory of the quantum algebra of type W_{1+infty} introduced by Miki. Our construction involves trivalent intertwining operators Phi and Phi^* associated with triples of the bosonic Fock modules. Resembling the topological vertex, a triple of vectors in Z^2 is attached to each intertwining operator, which satisfy the Calabi-Yau and smoothness conditions. It is shown that certain matrix elements of Phi and Phi^* give the refined topological vertex C_{lambda mu nu}(t,q) of Iqbal-Kozcaz-Vafa. With another choice of basis, we recover the refined topological vertex C_{lambda mu}^nu(q,t) of Awata-Kanno. The gluing factors appears correctly when we consider any compositions of Phi and Phi^*. The spectral parameters attached to Fock spaces play the role of the K"ahler parameters.
  • In third paper of the series we construct a large family of representations of the quantum toroidal $\gl_1$ algebra whose bases are parameterized by plane partitions with various boundary conditions and restrictions. We study the corresponding formal characters. As an application we obtain a Gelfand-Zetlin type basis for a class of irreducible lowest weight $\gl_\infty$-modules.
  • We study the representation theory of the Ding-Iohara algebra $\calU$ to find $q$-analogues of the Alday-Gaiotto-Tachikawa (AGT) relations. We introduce the endomorphism $T(u,v)$ of the Ding-Iohara algebra, having two parameters $u$ and $v$. We define the vertex operator $\Phi(w)$ by specifying the permutation relations with the Ding-Iohara generators $x^\pm(z)$ and $\psi^\pm(z)$ in terms of $T(u,v)$. For the level one representation, all the matrix elements of the vertex operators with respect to the Macdonald polynomials are factorized and written in terms of the Nekrasov factors for the $K$-theoretic partition functions as in the AGT relations. For higher levels $m=2,3,...$, we present some conjectures, which imply the existence of the $q$-analogues of the AGT relations.
  • We begin a study of the representation theory of quantum continuous $\mathfrak{gl}_\infty$, which we denote by $\mathcal E$. This algebra depends on two parameters and is a deformed version of the enveloping algebra of the Lie algebra of difference operators acting on the space of Laurent polynomials in one variable. Fundamental representations of $\mathcal E$ are labeled by a continuous parameter $u\in {\mathbb C}$. The representation theory of $\mathcal E$ has many properties familiar from the representation theory of $\mathfrak{gl}_\infty$: vector representations, Fock modules, semi-infinite constructions of modules. Using tensor products of vector representations, we construct surjective homomorphisms from $\mathcal E$ to spherical double affine Hecke algebras $S\ddot H_N$ for all $N$. A key step in this construction is an identification of a natural bases of the tensor products of vector representations with Macdonald polynomials. We also show that one of the Fock representations is isomorphic to the module constructed earlier by means of the $K$-theory of Hilbert schemes.
  • We construct a family of irreducible representations of the quantum continuous $gl_\infty$ whose characters coincide with the characters of representations in the minimal models of the $W_n$ algebras of $gl_n$ type. In particular, we obtain a simple combinatorial model for all representations of the $W_n$-algebras appearing in the minimal models in terms of $n$ interrelating partitions.
  • We introduce an analogue $K_n(x,z;q,t)$ of the Cauchy-type kernel function for the Macdonald polynomials, being constructed in the tensor product of the ring of symmetric functions and the commutative algebra $\mathcal{A}$ over the degenerate $\mathbb{C} \mathbb{P}^1$. We show that a certain restriction of $K_n(x,z;q,t)$ with respect to the variable $z$ is neatly described by the tableau sum formula of Macdonald polynomials. Next, we demonstrate that the integer level representation of the Ding-Iohara quantum algebra naturally produces the currents of the deformed $\mathcal{W}$ algebra. Then we remark that the $K_n(x,z;q,t)$ emerges in the highest-to-highest correlation function of the deformed $\mathcal{W}$ algebra.
  • We introduce a class of quantum integrable systems generalizing the Gaudin model. The corresponding algebras of quantum Hamiltonians are obtained as quotients of the center of the enveloping algebra of an affine Kac-Moody algebra at the critical level, extending the construction of higher Gaudin Hamiltonians from hep-th/9402022 to the case of non-highest weight representations of affine algebras. We show that these algebras are isomorphic to algebras of functions on the spaces of opers on P^1 with regular as well as irregular singularities at finitely many points. We construct eigenvectors of these Hamiltonians, using Wakimoto modules of critical level, and show that their spectra on finite-dimensional representations are given by opers with trivial monodromy. We also comment on the connection between the generalized Gaudin models and the geometric Langlands correspondence with ramification.
  • We derive a bosonic formula for the character of the principal space in the level $k$ vacuum module for $\widehat{\mathfrak{sl}}_{n+1}$, starting from a known fermionic formula for it. In our previous work, the latter was written as a sum consisting of Shapovalov scalar products of the Whittaker vectors for $U_{v^{\pm1}}(\mathfrak{gl}_{n+1})$. In this paper we compute these scalar products in the bosonic form, using the decomposition of the Whittaker vectors in the Gelfand-Zetlin basis. We show further that the bosonic formula obtained in this way is the quasi-classical decomposition of the fermionic formula.
  • We introduce a unital associative algebra A over degenerate CP^1. We show that A is a commutative algebra and whose Poincar'e series is given by the number of partitions. Thereby we can regard A as a smooth degeneration limit of the elliptic algebra introduced by one of the authors and Odesskii. Then we study the commutative family of the Macdonald difference operators acting on the space of symmetric functions. A canonical basis is proposed for this family by using A and the Heisenberg representation of the commutative family studied by one of the authors. It is found that the Ding-Iohara algebra provides us with an algebraic framework for the free filed construction. An elliptic deformation of our construction is discussed, showing connections with the Drinfeld quasi-Hopf twisting a la Babelon Bernard Billey, the Ruijsenaars difference operator and the operator M(q,t_1,t_2) of Okounkov-Pandharipande.
  • We explicitly construct two classes of infinitly many commutative operators in terms of the deformed Virasoro algebra. We call one of them local integrals and the other nonlocal one, since they can be regarded as elliptic deformations of the local and nonlocal integrals of motion obtained by V.Bazhanov, S.Lukyanov and Al.Zamolodchikov.
  • We study a class of representations of the Lie algebra of Laurent polynomials with values in the nilpotent subalgebra of sl(3). We derive Weyl-type (bosonic) character formulas for these representations. We establish a connection between the bosonic formulas and the Whittaker vector in the Verma module for the quantum group $U_v sl(3)$. We also obtain a fermionic formula for an eigenfunction of the sl(3) quantum Toda Hamiltonian.
  • The filtration of the Virasoro minimal series representations M^{(p,p')}_{r,s} induced by the (1,3)-primary field $\phi_{1,3}(z)$ is studied. For 1< p'/p< 2, a conjectural basis of M^{(p,p')}_{r,s} compatible with the filtration is given by using monomial vectors in terms of the Fourier coefficients of $\phi_{1,3}(z)$. In support of this conjecture, we give two results. First, we establish the equality of the character of the conjectural basis vectors with the character of the whole representation space. Second, for the unitary series (p'=p+1), we establish for each $m$ the equality between the character of the degree $m$ monomial basis and the character of the degree $m$ component in the associated graded module Gr(M^{(p,p+1)}_{r,s}) with respect to the filtration defined by $\phi_{1,3}(z)$.
  • Let \{M_{r,s}\}_{0< r < p, 0< s < p'} be the irreducible Virasoro modules in the $(p,p')$-minimal series. In our previous paper, we have constructed a monomial basis of \oplus_{r=1}^{p-1}M_{r,s} in the case of $1<p'/p<2$. By `monomials' we mean vectors of the form \phi^{(r_L,r_{L-1})}_{-n_L}...\phi^{(r_1,r_{0})}_{-n_1} |r_0,s >, where \phi_{-n}^{(r',r)} are the Fourier components of the (2,1)-primary field mapping M_{r,s} to M_{r',s}, and |r_0,s > is the highest weight vector of M_{r_0,s}. In this article, for all p<p' with p>2 and s=1, we describe a subset of such monomials which conjecturally forms a basis of \oplus_{r=1}^{p-1}M_{r,1}. We prove that the character of the combinatorial set labeling these monomials coincides with the character of the corresponding Virasoro module. We also verify the conjecture in the case of p=3.
  • A higher level analog of Weyl modules over multi-variable currents is proposed. It is shown that the sum of their dual spaces form a commutative algebra. The structure of these modules and the geometry of the projective spectrum of this algebra is studied for the currents of dimension one and two. Along the way we prove some particular cases of the conjectures in [FL1] and propose a generalization of the notion of parking function representations.