• 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 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 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.
  • 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 one-point functions of the sine-Gordon 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 sine-Gordon 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 one-point 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 Gelfand-Zetlin type basis for a class of irreducible lowest weight $\gl_\infty$-modules.
  • Extending our previous construction in the sine-Gordon 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 one-point functions of the descendant fields in the sine-Gordon 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, 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 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.
  • With the aid of the creation operators introduced in our previous works, we show how to construct a basis of the space of quasi-local 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 quasi-local 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 anti-commute and kill the primary field. Here we construct the creation counterpart and prove the canonical anti-commutation relations with the annihilation operators. We show that the ground state averages of quasi-local 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 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.
  • In the recent study of correlation functions for the infinite XXZ spin chain, a new pair of anti-commuting operators $b(z), c(z)$ was introduced. They act on the space of quasi-local 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 anti-commutative family of operators b(z), c(z) which act on the space W. These operators are constructed as traces over representations of the q-oscillator algebra, in close analogy with Baxter's Q-operators. 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}^{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.
  • 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 sub-chain 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 Z-invariant (inhomogeneous) eight-vertex 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 non-trivial example of the Ansatz, we present a new formula for the next-nearest neighbor correlation functions.