Search

We define and study the shuffle algebra $Sh_{m|n}$ of the quantum toroidal algebra $\mathcal E_{m|n}$ associated to Lie superalgebra $\mathfrak{gl}_{m|n}$. We show that $Sh_{m|n}$ contains a family of commutative subalgebras $\mathcal B_{m|n}(s)$ depending on parameters $s=(s_1,\dots,s_{m+n})$, $\prod_i s_i=1$, given by appropriate regularity conditions. We show that $\mathcal B_{m|n}(s)$ is a free polynomial algebra and give explicit generators which conjecturally correspond to the traces of the $s$-weighted $R$-matrix computed on the degree zero part of $\mathcal E_{m|n}$ modules of levels $\pm 1$., Latex 31 page

We use combinatorics of $qq$-characters to study extensions of deformed $W$-algebras. We describe additional currents and part of the relations in the cases of $\mathfrak{gl}(n|m)$ and $\mathfrak{osp}(2|2n)$., Comment: Latex, 28 pages

We consider sets of screening operators with fermionic screening currents. We study sums of vertex operators which formally commute with the screening operators assuming that each vertex operator has rational contractions with all screening currents with only simple poles. We develop and use the method of $qq$-characters which are combinatorial objects described in terms of deformed Cartan matrix. We show that each qq-character gives rise to a sum of vertex operators commuting with screening operators and describe ways to understand the sum in the case it is infinite. We discuss combinatorics of the qq-characters and their relation to the q-characters of representations of quantum groups. We provide a number of explicit examples of the qq-characters with the emphasis on the case of $D(2,1;��)$. We describe a relationship of the examples to various integrals of motion., Latex, 44 pages. We made some corrections

The deformed $\mathcal W$ algebras of type $\textsf{A}$ have a uniform description in terms of the quantum toroidal $\mathfrak{gl}_1$ algebra $\mathcal E$. We introduce a comodule algebra $\mathcal K$ over $\mathcal E$ which gives a uniform construction of basic deformed $\mathcal W$ currents and screening operators in types $\textsf{B},\textsf{C},\textsf{D}$ including twisted and supersymmetric cases. We show that a completion of algebra $\mathcal K$ contains three commutative subalgebras. In particular, it allows us to obtain a commutative family of integrals of motion associated with affine Dynkin diagrams of all non-exceptional types except $\textsf{D}^{(2)}_{\ell+1}$. We also obtain in a uniform way deformed finite and affine Cartan matrices in all classical types together with a number of new examples, and discuss the corresponding screening operators., Latex 53 pages. Several misprints are corrected

We discuss the quantization of the $\widehat{\mathfrak{sl}}_2$ coset vertex operator algebra $\mathcal{W}D(2,1;\alpha)$ using the bosonization technique. We show that after quantization there exist three families of commuting integrals of motion coming from three copies of the quantum toroidal algebra associated to ${\mathfrak{gl}}_2$., Comment: Latex, 20 pages

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}$., Comment: Latex, 24 pages. Section 5.3 and Appendix are added

Iorgov, Lisovyy, and Teschner established a connection between isomonodromic deformation of linear differential equations and Liouville conformal field theory at $c=1$. In this paper we present a $q$ analog of their construction. We show that the general solution of the $q$-Painlev�� VI equation is a ratio of four tau functions, each of which is given by a combinatorial series arising in the AGT correspondence. We also propose conjectural bilinear equations for the tau functions., 26 pages

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., Comment: Latex 42 pages

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., Comment: Latex, 25 pages

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., Latex, 38 pages, misprints corrected

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., Comment: Latex 31 pages

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., Latex, 38 pages

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.

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$., Comment: 34 pages, no figure

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., Latex, 42 pages

The filtration of the Virasoro minimal series representations M^{(p,p')}_{r,s} induced by the (1,3)-primary field $��_{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 $��_{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 $��_{1,3}(z)$., 34 pages, no figure

Let $V(\Lambda_i)$ (resp., $V(-\Lambda_j)$) be a fundamental integrable highest (resp., lowest) weight module of $U_q(\hat{sl}_{2})$. The tensor product $V(\Lambda_i)\otimes V(-\Lambda_j)$ is filtered by submodules $F_n=U_q(\hat{sl}_{2})(v_i\otimes \bar{v}_{n-i})$, $n\ge 0, n\equiv i-j\bmod 2$, where $v_i\in V(\Lambda_i)$ is the highest vector and $\bar{v}_{n-i}\in V(-\Lambda_j)$ is an extremal vector. We show that $F_n/F_{n+2}$ is isomorphic to the level 0 extremal weight module $V(n(\Lambda_1-\Lambda_0))$. Using this we give a functional realization of the completion of $V(\Lambda_i)\otimes V(-\Lambda_j)$ by the filtration $(F_n)_{n\geq0}$. The subspace of $V(\Lambda_i)\otimes V(-\Lambda_j)$ of $sl_2$-weight $m$ is mapped to a certain space of sequences $(P_{n,l})_{n\ge 0, n\equiv i-j\bmod 2,n-2l=m}$, whose members $P_{n,l}=P_{n,l}(X_1,...,X_l|z_1,...,z_n)$ are symmetric polynomials in $X_a$ and symmetric Laurent polynomials in $z_k$, with additional constraints. When the parameter $q$ is specialized to $\sqrt{-1}$, this construction settles a conjecture which arose in the study of form factors in integrable field theory., Comment: 33 pages

Let ${\bf p}=\{P_{n,l}\}_{n,l\in\Z_{\ge 0}\atop n-2l=m}$ be a sequence of skew-symmetric polynomials in $X_1,...,X_l$ satisfying $\deg_{X_j}P_{n,l}\le n-1$, whose coefficients are symmetric Laurent polynomials in $z_1,...,z_n$. We call ${\bf p}$ an $\infty$-cycle if $P_{n+2,l+1}\bigl|_{X_{l+1}=z^{-1},z_{n-1}=z,z_n=-z} =z^{-n-1}\prod_{a=1}^l(1-X_a^2z^2)\cdot P_{n,l}$ holds for all $n,l$. These objects arise in integral representations for form factors of massive integrable field theory, i.e., the SU(2)-invariant Thirring model and the sine-Gordon model. The variables $\alpha_a=-\log X_a$ are the integration variables and $\beta_j=\log z_j$ are the rapidity variables. To each $\infty$-cycle there corresponds a form factor of the above models. Conjecturally all form-factors are obtained from the $\infty$-cycles. In this paper, we define an action of $U_{\sqrt{-1}}(\widetilde{\mathfrak{sl}}_2)$ on the space of $\infty$-cycles. There are two sectors of $\infty$-cycles depending on whether $n$ is even or odd. Using this action, we show that the character of the space of even (resp. odd) $\infty$-cycles which are polynomials in $z_1,...,z_n$ is equal to the level $(-1)$ irreducible character of $\hat{\mathfrak{sl}}_2$ with lowest weight $-\Lambda_0$ (resp. $-\Lambda_1$). We also suggest a possible tensor product structure of the full space of $\infty$-cycles., Comment: 27 pages, abstract and section 3.1 revised

We consider $\hat{sl_2}$ spaces of coinvariants with respect to two kinds of ideals of the enveloping algebra $U(sl_2\otimes\C[t])$. The first one is generated by $sl_2\otimes t^N$, and the second one is generated by $e\otimes P(t), f\otimes R(t)$ where $P(t), R(t)$ are fixed generic polynomials. (We also treat a generalization of the latter.) Using a method developed in our previous paper, we give new fermionic formulas for their Hilbert polynomials in terms of the level-restricted Kostka polynomials and $q$-multinomial symbols. As a byproduct, we obtain a fermionic formula for the fusion product of $sl_3$-modules with rectangular highest weights, generalizing a known result for symmetric (or anti-symmetric) tensors., LaTeX, 22 pages; very minor changes

For a pair of positive integers (k,r) with r>1 such that k+1 and r-1 are relatively prime, we describe the space of symmetric polynomials in variables x_1,...,x_n which vanish at all diagonals of codimension k of the form x_i=tq^{s_i}x_{i-1}, i=2,...,k+1, where t and q are primitive roots of unity of orders k+1 and r-1., Latex, 13 pages

In this paper, we continue our study of the Hilbert polynomials of coinvariants begun in our previous work math.QA/0205324 (paper I). We describe the sl_n-fusion products for symmetric tensor representations following the method of Feigin and Feigin, and show that their Hilbert polynomials are A_{n-1}-supernomials. We identify the fusion product of arbitrary irreducible sl_n-modules with the fusion product of their resctriction to sl_{n-1}. Then using the equivalence theorem from paper I and the results above for sl_3, we give a fermionic formula for the Hilbert polynomials of a class of affine sl_2-coinvariants in terms of the level-restricted Kostka polynomials. The coinvariants under consideration are a generalization of the coinvariants studied in [FKLMM]. Our formula differs from the fermionic formula established in [FKLMM] and implies the alternating sum formula conjectured in [FL] for this case., Comment: 30 pages

For each pair (k,r) of positive integers with r>1, we consider an ideal I^(k,r)_n of the ring of symmetric polynomials in n variables. The ideal I_n^(k,r) has a basis consisting of Macdonald polynomials P(x_1,...,x_n;q,t) at t^{k+1}q^{r-1}=1, and is a deformed version of the one studied earlier in the context of Jack polynomials. In this paper we give a characterization of I^(k,r)_n in terms of explicit zero conditions on the k-codimensional shifted diagonals of the form x_{2}=tq^{s_1}x_1,...,x_{k+1}=tq^{s_k}x_k. The ideal I^(k,r)_n may be viewed as a deformation of the space of correlation functions of an abelian current of the affine Lie algebra \hat{sl_r}. We give a brief discussion about this connection., Latex, 17 pages

We derive bosonic-type formulas for the characters of $\hat{sl_2}$ coinvariants., Latex, 17 pages

For each pair of positive integers (k,r) such that k+1,r-1 are coprime, we introduce an ideal $I^{(k,r)}_n$ of the ring of symmetric polynomials. The ideal $I^{(k,r)}_n$ has a basis consisting of Jack polynomials with parameter $��=-(r-1)/(k+1)$, and admits an action of a family of differential operators of Dunkl type including the positive half of the Virasoro algebra. The space $I^{(k,2)}_n$ coincides with the space of all symmetric polynomials in $n$ variables which vanish when $k+1$ variables are set equal. The space $I_n^{(2,r)}$ coincides with the space of correlation functions of an abelian current of a vertex operator algebra related to Virasoro minimal series (3,r+2)., Latex, 12 pages

Bosonic formulas for generating series of partitions with certain restrictions are obtained by solving a set of linear matrix q-difference equations. Some particular cases are related to combinatorial problems arising from solvable lattice models, representation theory and conformal field theory., Comment: Latex, 29 pages

We show that the deformed Virasoro algebra specializes in a certain limit to Lepowsky-Wilson's Z-algebra. This leads to a free field realization of the affine Lie algebra \hat{sl_2} which respects the principal gradation. We discuss some features of this bosonization including the screening current and vertex operators., 8 pages

We study a vertex operator algebra (VOA) V related to the M(3,p) Virasoro minimal series. This VOA reduces in the simplest case p=4 to the level two integrable vacuum module of $\hat{sl}_2$. On V there is an action of a commutative current a(z), which is an analog of the current e(z) of $\hat{sl}_2$. Our main concern is the subspace W generated by this action from the highest weight vector of V. Using the Fourier components of a(z), we present a monomial basis of W and a semi-infinite monomial basis of V. We also give a Gordon type formula for their characters., Comment: 28 pages

We investigate the structure of the elliptic algebra U_{q,p}(^sl_2) introduced earlier by one of the authors. Our construction is based on a new set of generating series in the quantum affine algebra U_q(^sl_2), which are elliptic analogs of the Drinfeld currents. They enable us to identify U_{q,p}(^sl_2) with the tensor product of U_q(^sl_2) and a Heisenberg algebra generated by P,Q with [Q,P]=1. In terms of these currents, we construct an L operator satisfying the dynamical RLL relation in the presence of the central element c. The vertex operators of Lukyanov and Pugai arise as `intertwiners' of U_{q,p}(^sl_2) for level one representation, in the sense to be elaborated on in the text. We also present vertex operators with higher level/spin in the free field representation., Comment: 49 pages, (AMS-)LaTeX ; added an explanation of integration contours; added comments. To appear in Comm. Math. Phys. Numbering of equations is corrected

The level-$1$ integrable highest weight modules of $U_q(\widehat{sl}_2)$ admit a level-$0$ action of the same algebra. This action is defined using the affine Hecke algebra and the basis of the level-$1$ module generated by components of vertex operators. Each level-$1$ module is a direct sum of finite-dimensional irreducible level-$0$ modules, whose highest weight vector is expressed in terms of Macdonald polynomials. This decomposition leads to the fermionic character formula for the level-$1$ modules., 22 pages, LaTeX 2.09 (and amsfonts preferably). (Minor corrections)

A level-0 action of $U_q(\widehat{sl}_2)$ is defined on the sum of level-1 irreducible highest weight modules. With the aid of the affine Hecke algebras, this action is realized on the basis created by the vertex operators. This is a $q$-analogue of the Yangian symmetry in conformal field theory., Comment: 24 pages, LaTeX 2.09 or LaTeX2e (and preferably amsfonts). Contribution to the Proceedings of the meeting `Statistical Mechanics and Quantum Field Theory', USC, May 16-21, 1994. (1st revision: Some technical changes regarding the completions and other minor corrections have been made.) (new revision: corrections in section 4.2)

An elliptic deformation of $\widehat{sl}_2$ is proposed. Our presentation of the algebra is based on the relation $RLL=LLR^*$, where $R$ and $R^*$ are eight-vertex $R$-matrices with the elliptic moduli chosen differently. In the trigonometric limit, this algebra reduces to a quotient of that proposed by Reshetikhin and Semenov-Tian-Shansky. Conjectures concerning highest weight modules and vertex operators are formulated, and the physical interpretation of $R^*$ is discussed., (Final version for publication.)