
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 GelfandZeitlin 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}}_{n1}$.

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}_{mn}$. We discuss representation theoretic interpretation of
our formulas using $q$deformed $W$algebra $\mathfrak{gl}_{mn}$.

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 nonlocal 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 nonlocal 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 finitedimensional $U_q\mathfrak{g}$ modules. In particular, we
classify the irreducible objects, discuss their properties, and describe the
combinatorics of the qcharacters. 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 finitedimensional representation of $U_q\mathfrak{g}$.

We study highest weight representations of the Borel subalgebra of the
quantum toroidal gl(1) algebra with finitedimensional weight spaces. In
particular, we develop the qcharacter 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 finitedimensional 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 twoterm 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 qcharacter of V.

We study the conformal vertex algebras which naturally arise in relation to
the NakajimaYoshioka blowup equations.

We establish the method of Bethe ansatz for the XXZ type model obtained from
the Rmatrix 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
IqbalKozcazVafa 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 CalabiYau 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
IqbalKozcazVafa. With another choice of basis, we recover the refined
topological vertex C_{lambda mu}^nu(q,t) of AwataKanno. 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 GelfandZetlin
type basis for a class of irreducible lowest weight $\gl_\infty$modules.

We study the representation theory of the DingIohara algebra $\calU$ to find
$q$analogues of the AldayGaiottoTachikawa (AGT) relations. We introduce the
endomorphism $T(u,v)$ of the DingIohara algebra, having two parameters $u$ and
$v$. We define the vertex operator $\Phi(w)$ by specifying the permutation
relations with the DingIohara 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, semiinfinite
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 Cauchytype 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 DingIohara 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 highesttohighest 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 KacMoody
algebra at the critical level, extending the construction of higher Gaudin
Hamiltonians from hepth/9402022 to the case of nonhighest 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 finitedimensional 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 GelfandZetlin basis. We show further that the bosonic formula obtained
in this way is the quasiclassical 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 DingIohara 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 quasiHopf twisting a la Babelon Bernard Billey, the Ruijsenaars
difference operator and the operator M(q,t_1,t_2) of OkounkovPandharipande.

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 Weyltype (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}^{p1}M_{r,s} in the case of $1<p'/p<2$. By
`monomials' we mean vectors of the form
\phi^{(r_L,r_{L1})}_{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}^{p1}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 multivariable 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.