
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 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 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.

In our previous works on the XXZ chain of spin one half, we have studied the
problem of constructing a basis of local operators whose members have simple
vacuum expectation values. For this purpose a pair of fermionic creation
operators have been introduced. In this article we extend this construction to
the spin one case. We formulate the fusion procedure for the creation
operators, and find a triplet of bosonic as well as two pairs of fermionic
creation operators. We show that the resulting basis of local operators
satisfies the dual reduced qKZ equation.

We study onepoint functions of the sineGordon model on a cylinder. Our
approach is based on a fermionic description of the space of descendent fields,
developed in our previous works for conformal field theory and the sineGordon
model on the plane. In the present paper we make an essential addition by
giving a connection between various primary fields in terms of yet another kind
of fermions. The onepoint functions of primary fields and descendants are
expressed in terms of a single function defined via the data from the
thermodynamic Bethe Ansatz equations.

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.

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.

Extending our previous construction in the sineGordon model, we show how to
introduce two kinds of fermionic screening operators, in close analogy with
conformal field theory with c<1.

We apply the fermionic description of CFT obtained in our previous work to
the computation of the onepoint functions of the descendant fields in the
sineGordon model.

The Grassmann structure of the critical XXZ spin chain is studied in the
limit to conformal field theory. A new description of Virasoro Verma modules is
proposed in terms of Zamolodchikov's integrals of motion and two families of
fermionic creation operators. The exact relation to the usual Virasoro
description is found up to level 6.

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 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.

With the aid of the creation operators introduced in our previous works, we
show how to construct a basis of the space of quasilocal operators for the
homogeneous XXZ chain.

In this article we unveil a new structure in the space of operators of the
XXZ chain. We consider the space of all quasilocal operators, which are
products of the disorder field with arbitrary local operators. In analogy with
CFT the disorder operator itself is considered as primary field. In our
previous paper, we have introduced the annhilation operators which mutually
anticommute and kill the primary field. Here we construct the creation
counterpart and prove the canonical anticommutation relations with the
annihilation operators. We show that the ground state averages of quasilocal
operators created by the creation operators from the primary field are given by
determinants.

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.

In the recent study of correlation functions for the infinite XXZ spin chain,
a new pair of anticommuting operators $b(z), c(z)$ was introduced. They act on
the space of quasilocal operators, which are local operators multiplied by the
disorder operator. For the inhomogeneous chain with the spectral parameters
$\xi_{k}$, these operators have simple poles at $z^2=\xi_{k}^2$. The residues
are denoted by $b_{k}, c_{k}$. At $q=i$, we show that the operators $b_{k},
c_{k}$ are cubic monomials in free fermions. In other words, the action of
these operators is very simple in the fermion basis. We give an explicit
construction of these fermions. Then, we show that the existence of the
fermionic basis is a consequence of the Grassmann relation, the equivariance
with respect to the action of the symmetric group and the reduction property,
which are all valid for the operators $b_{k}, c_{k}$ in the case of generic
$q$.

For the critical XXZ model, we consider the space W of operators which are
products of local operators with a disorder operator. We introduce two
anticommutative family of operators b(z), c(z) which act on the space W. These
operators are constructed as traces over representations of the qoscillator
algebra, in close analogy with Baxter's Qoperators. We show that the vacuum
expectation values of operators in W can be expressed in terms of an
exponential of a quadratic form of b(z), c(z).

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.

Taking the XXZ chain as the main example, we give a review of an algebraic
representation of correlation functions in integrable spin chains obtained
recently. We rewrite the previous formulas in a form which works equally well
for the physically interesting homogeneous chains. We discuss also the case of
quantum group invariant operators and generalization to the XYZ chain.

We consider a finite subchain on an interval of the infinite XXX model in
the ground state. The density matrix for such a subsystem was described in our
previous works for the model with inhomogeneous spectral parameters. In the
present paper, we give a compact formula for the physically interesting case of
the homogeneous model.

We propose a conjectural formula for correlation functions of the Zinvariant
(inhomogeneous) eightvertex model. We refer to this conjecture as Ansatz. It
states that correlation functions are linear combinations of products of three
transcendental functions, with theta functions and derivatives as coefficients.
The transcendental functions are essentially logarithmic derivatives of the
partition function per site. The coefficients are given in terms of a linear
functional on the Sklyanin algebra, which interpolates the usual trace on
finite dimensional representations. We establish the existence of the
functional and discuss the connection to the geometry of the classical limit.
We also conjecture that the Ansatz satisfies the reduced qKZ equation. As a
nontrivial example of the Ansatz, we present a new formula for the
nextnearest neighbor correlation functions.