An polynomial identity is derived from the representation V_m(x)\otimes V_n(y) of U_q(\hat {sl_2}) and a new basis of V_m(x)\otimes V_n(y) is established under some condition.
The structure of the tensor product representation v_{λ_1}(x)\otimes V_{λ_2}(y) of U_q(\hat sl_2) is investigated at roots of unity. A polynomial identity is derived as an outcome. Also, new bases of v_{λ_1}(x)\otimes V_{λ_2}(y) are established under certain conditions.
We construct a realization of the central extension of super-Yangian double $DY_{\hbar}(\hat{sl}(M+1|N+1))$ at level-one in terms of free boson fields with a continuous parameter.
We construct a vertex representation for the quantum toroidal algebra through the quantum general linear algebra. Using a new realization of the quantum general linear algebra we construct vertex operators for root vectors on the basic representation of the affine Lie algebra $gl_n$ and show that the simple generators give rise a realization of the quantum toroidal algebra with two parameters.
We construct by fusion product new irreducible representations of the quantum affinization $U_q(\hat{sl}_\infty)$. The action is defined via the Drinfeld coproduct and is related to the crystal structure of semi-standard tableaux of type $A_\infty$. We call these representations extremal loop weight modules. The main motivations are applications to quantum toroidal algebras $U_q(sl_{n+1}^{tor})$: we prove the conjectural link between $U_q(\hat{sl}_\infty)$ and $U_q(sl_{n+1}^{tor})$ stated in [14] for this family of representations. We recover in this way the extremal loop weight modules obtain…
For the Klein group $K$, $k\in\mathbb{Z}_{\geqslant 1}$ and $m\in\mathbb{Z}_{\geqslant 4}$, we study the representations of the orbifold vertex operator algebra $L_{\hat{\mathfrak{sl}_2}}(k,0)^{K}$ and the commutant vertex operator algebra of $L_{\hat{\mathfrak{so}_m}}(3,0)$ in $L_{\hat{\mathfrak{so}_m}}(1,0)^{\otimes 3}$ which can be realized as the orbifold vertex operator subalgebra $L_{\hat{\mathfrak{sl}_2}}(2m,0)^{K}$ or its extension. All the irreducible modules for $L_{\hat{\mathfrak{sl}_2}}(k,0)^{K}$ and $C_{{L_{\hat{\mathfrak{so}_m}}(1,0)}^{\otimes 3}}({L_{\hat{\mathfrak{so}_m}}(3,0)}…
This is an extension of quantum spinor construction of $U_q(\hat {\frak gl}(n))$. We define quantum affine Clifford algebras based on the tensor category and the solutions of q-KZ equations, and construct quantum spinor representations of $U_q(\hat{\frak o}(N))$.
A level-one representation of the quantum affine superalgebra $\U_q(\hat{\frak{sl}}(M+1|N+1))$ and vertex operators associated with the fundamental representations are constructed in terms of free bosonic fields. Character formulas of level-one irreducible highest weight modules of $\U_q(\hat{\frak{sl}}(2|1))$ are conjectured.
The method of vector coherent states is generalized to study representations of the affine Lie algebra $\hat{sl}(2)$. A large class of highest weight irreps is explicitly constructed, which contains the integrable highest weight irreps as special cases.
An algebra homomorphism $ψ$ from the nonstandard q-deformed (cyclically symmetric) algebra $U_q(so_3)$ to the extension ${\hat U}_q(sl_2)$ of the Hopf algebra $U_q(sl_2)$ is constructed. Not all irreducible representations of $U_q(sl_2)$ can be extended to representations of ${\hat U}_q(sl_2)$. Composing the homomorphism $ψ$ with irreducible representations of ${\hat U}_q(sl_2)$ we obtain representations of $U_q(so_3)$. Not all of these representations of $U_q(so_3)$ are irreducible. Reducible representations of $U_q(so_3)$ are decomposed into irreducible components. In this way we obtain all …
We determine the exchange relations of the level-one q-vertex operators of the quantum affine superalgebra $U_q[\hat{gl(N|N)}]$. We study in details the level-one irreducible highest weight representations of $U_q[\hat{gl(2|2)}]$, and compute the characters and supercharacters associated with these irreducible modules.
We define the Hopf algebra structure on the Grothendieck group of finite-dimensional polynomial representations of $U_q \hat{gl}_N$ in the limit $N \to \infty$. The resulting Hopf algebra $Rep U_q \hat{gl}_\infty$ is a tensor product of its Hopf subalgebras $Rep_a U_q \hat{gl}_\infty$, $a\in\C^\times/q^{2\Z}$. When $q$ is generic (resp., $q^2$ is a primitive root of unity of order $l$), we construct an isomorphism between the Hopf algebra $Rep_a U_q \hat{gl}_\infty$ and the algebra of regular functions on the prounipotent proalgebraic group $SL_\infty^-$ (resp., $\tilde{GL}_l^-$). When $q$ is …
We classify the irreducible restricted modules for the affine Nappi-Witten Lie algebra $\hat{H}_{4}$ with some natural conditions. It turns out the representation theory of $\hat{H}_{4}$ is quite different from the theory of representations of Heisenberg algebras. We also study the extension of the vertex operator algebra $V_{\hat{H}_{4}}(\ell,0)$ by the even lattice $L$. We give the structure of the extension $V_{\hat{H}_{4}}(\ell,0)\otimes \C[L]$ and its irreducible modules via irreducible representations of $V_{\hat{H}_{4}}(\ell,0)$ viewed as a vertex algebra.
In this note we consider the algebra $U_q(\hat{sl}_\infty)$ and we study the category O of its integrable representations. The main motivations are applications to quantum toroidal algebras, more precisely predictions of character formulae for representations of quantum toroidal algebras. In this context, we state a general positivity conjecture for representations of $U_q(\hat{sl}_\infty)$ viewed as representations of quantum toroidal algebras, that we prove for Kirillov-Reshetikhin modules.
We give a general construction for finite dimensional representations of $U_q(\hat{\G})$ where $\hat{\G}$ is a non-twisted affine Kac-Moody algebra with no derivation and zero central charge. At $q=1$ this is trivial because $U(\hat{\G})=U({\G})\otimes \C(x,x^{-1})$ with $\G$ a finite dimensional Lie algebra. But this fact no longer holds after quantum deformation. In most cases it is necessary to take the direct sum of several irreducible $U_q({\G})$-modules to form an irreducible $U_q(\hat{\G})$-module which becomes reducible at $q = 1$. We illustrate our technique by working out explicit ex…
The admissible modules for $\hat{sl}_2$ are studied from the point of view of vertex operator algebra. If $l$ is rational such that $l+2={p\over q}$ for some coprime positive integers $p\ge 2$ and $q$, Kac and Wakimoto found finitely many distinguished irreducible representations for $\hat{sl}_2$, called admissible representations. In this paper we prove that the vertex operator algebra $L(l,0)$ associated to irreducible highest weight representation of $l$ is not rational if $l$ is not a positive integer. However if we change the Virasoro algebra in certain way, $L(l,0)$ becomes a rational ve…
We study the level-one irreducible highest weight representations of $U_q[\hat{gl(1|1)}]$ and associated q-vertex operators. We obtain the exchange relations satisfied by the vertex operators. The characters and supercharacters associated with these irreducible representations are calculated.
We study the level-one irreducible highest weight representations of the quantum affine superalgebra $U_q[\hat{sl(N|1)}]$, and calculate their characters and supercharacters. We obtain bosonized q-vertex operators acting on the irreducible $U_q[\hat{sl(N|1)}]$-modules and derive the exchange relations satisfied by the vertex operators. We give the bosonization of the multi-component super $t-J$ model by using the bosonized vertex operators.
This is an extension of quantum spinor construction in \cite{DF2}. We define quantum affine Clifford algebras based on the tensor category and the solutions of q-KZ equations, construct quantum spinor representations of $U_q(\hat{\frak gl}(n))$ and explain classical and quantum boson-fermion correspondence.
Using vertex operators, we construct explicitly Lusztig's $\mathbb Z[q, q^{-1}]$-lattice for the level one irreducible representations of quantum affine algebras of ADE type. We then realize the level one irreducible modules at roots of unity and show that the q-dimension is still given by the Weyl-Kac character formula. As a consequence we also answer the corresponding question of realizing the affine Kac-Moody Lie algebras of simply laced type at level one in finite characteristic.
Affine analogue of Jack's polynomials introduced by Etingof and Kirillov Jr. is studied for the case of \hat{sl}_2. Using the Wakimoto representation, we give an integral formula of elliptic Selberg type for the affine Jack's polynomials. From this integral formula, the action of SL_2(Z) on the space of the affine Jack's polynomials is computed. For simple cases, we write down the affine Jack's polynomials in terms of some modular and elliptic functions.
We re-examine the level-one irreducible highest weight representations of the quantum affine superalgebra $U_q(\hat{sl}(2|1))$ and derive the characters and supercharacters associated with these representations. We calculate the exchange relations of the vertex operators and find that these vertex operators satisfy the graded Faddeev-Zamolodchikov algebra. We give an integral expression of the correlation functions of the q-deformed supersymmetric t-J model and derive the difference equations which they satisfy.
Level-one representations of the quantum affine superalgebra $U_q[\hat{gl(N|N)}]$ associated to the appropriate non-standard system of simple roots and $q$-vertex operators (intertwining operators) associated with the level-one modules are constructed explicitly in terms of free bosonic fields.
We define a new modular functor based on Kac-Wakimoto admissible representations and the corresponding D-module on the moduli space of rank 2 vector bundles with parabolic structure. A new fusion functor arises which is related to representation theory of the pair "osp(1|2),sl(2)" in the same way as the fusion functor for the Virasoro algebra is related to representation theory of the pair "sl(2),sl(2)"
Let $\{B(Λ_m)|m\in\Z/e\Z\}$ be the set of level one $\mathfrak{g}(A^{(1)}_{e-1})$-crystals, and consider the realization of $B(Λ_m)$ using $e$-restricted partitions. We prove a purely Young diagrammatic criterion for an element of $B(Λ_0)^{\otimes d_1}\otimes B(Λ_m)^{\otimes d_2}$ to be in the component $B(d_1Λ_0+d_2Λ_m)$. As an application, we give a non-recursive characterization of simple modules of the Hecke algebra of type $B$. In the course of the proof, we also obtain a combinatorial description of the second type of Kashiwara's Demazure crystal in $B(Λ_m)$.
New deformed affine algebras A_{\hbar,η}(\hat{g}) are defined for any simply-laced classical Lie algebra g, which are generalizations of the algebra A_{\hbar,η}(\hat{sl_2}) recently proposed by Khoroshkin, Lebedev and Pakuliak (KLP). Unlike the work of KLP, we associate to the new algebras the structure of an infinite Hopf family of algebras in contrast to the one containing only finite number of algebras introduced by KLP. Bosonic representation for A_{\hbar,η}(\hat{g}) at level 1 is obtained, and it is shown that, by repeated application of Drinfeld-like comultiplications, a realization of A…
We propose a new realization of the elliptic quantum group equipped with the H-Hopf algebroid structure on the basis of the elliptic algebra U_{q,p}(\hat{sl}_2). The algebra U_{q,p}(\hat{sl}_2) has a constructive definition in terms of the Drinfeld generators of the quantum affine algebra U_q(\hat{sl}_2) and a Heisenberg algebra. This yields a systematic construction of both finite and infinite-dimensional dynamical representations and their parallel structures to U_q(\hat{sl}_2). In particular we give a classification theorem of the finite-dimensional irreducible pseudo-highest weight represe…
We construct the screening currents of the quantum superalgebra $U_q(\hat{sl}(N|1))$ for an arbitrary level $k \neq -N+1$. We show that these screening currents commute with the superalgebra modulo total difference. We propose bosonizations of the vertex operators by using the screening currents. We check that these vertex operators are the intertwiners among the Fock-Wakimoto representation and the typical representation for rank $N \leq 4$.
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.
Using the fusion product of the representations of the Lie algebra $\mathfrak{sl}_2$ we construct a set of the integrable highest weight $\hat{\mathfrak{sl}_2}$-modules $L^D$, depending on the vector $D\in\mathbb{N}^{k+1}$. In a special cases of $D$ our modules are isomorphic to the irreducible $\hat{\mathfrak{sl}_2}$-modules $L_{i,k}$. We construct a basis of the $L^D$ and study the decomposition of $L^D$ on the irreducible components. We also write a formulas for the characters of $L^D$.
The category of finite dimensional (type 1) representations of a quantum affine algebra $U_q(\hat{\mathfrak g})$ is not semisimple. However, as any abelian category with finite-length objects, it admits a unique decomposition into a direct sum of indecomposable subcategorie (blocks). We define the elliptic central character of a finite dimensional (type 1) representation of $U_q(\hat{\mathfrak g})$. Then we show that the block decomposition of this category is paramentrized by these elliptic central characters.
We show that there are precisely two, up to conjugation, anti-involutions sigma_{\pm} of the algebra of differential operators on the circle preserving the principal gradation. We classify the irreducible quasifinite highest weight representations of the central extension \hat{D}^{\pm} of the Lie subalgebra of this algebra fixed by - sigma_{\pm}, and find the unitary ones. We realize them in terms of highest weight representations of the central extension of the Lie algebra of infinite matrices with finitely many non-zero diagonals over the truncated polynomial algebra C[u] / (u^{m+1}) and its…
We study the explicit formula of Lusztig's integral forms of the level one quantum affine algebra $U_q(\hat{sl}_2)$ in the endomorphism ring of symmetric functions in infinitely many variables tensored with the group algebra of $\mathbb Z$. Schur functions are realized as certain orthonormal basis vectors in the vertex representation associated to the standard Heisenberg algebra. In this picture the Littlewood-Richardson rule is expressed by integral formulas, and is used to define the action of Lusztig's $\mathbb Z[q, q]$-form of $U_q(\hat{sl}_2)$ on Schur polynomials.
In this paper we study general quantum affinizations $\U_q(\hat{\Glie})$ of symmetrizable quantum Kac-Moody algebras and we develop their representation theory. We prove a triangular decomposition and we give a classication of (type 1) highest weight simple integrable representations analog to Drinfel'd-Chari-Pressley one. A generalization of the q-characters morphism, introduced by Frenkel-Reshetikhin for quantum affine algebras, appears to be a powerful tool for this investigation. For a large class of quantum affinizations (including quantum affine algebras and quantum toroidal algebras), t…
We show that the action of universal $R$-matrix of affine $U_qsl_2$ quantum algebra, when $q$ is a root of unity, can be renormalized by some scalar factor to give a well defined nonsingular expression, satisfying Yang-Baxter equation. It reduced to intertwining operators of all representations, corresponding to Chiral Potts, if the parameters of these representations lie on well known algebraic curve. We also show that affine $U_qsl_2$ for $q$ is a root of unity form the autoquasitriangular Hopf algebra in the sence of Reshetikhin.
In this paper, we construct a Q-operator as a trace of a representation of the universal R-matrix of $U_q(\hat{sl}_2)$ over an infinite-dimensional auxiliary space. This auxiliary space is a four-parameter generalization of the q-oscillator representations used previously. We derive generalized T-Q relations in which 3 of these parameters shift. After a suitable restriction of parameters, we give an explicit expression for the Q-operator of the 6-vertex model and show the connection with Baxter's expression for the central block of his corresponding operator.
We study $q$-series-valued invariants of 3-manifolds that depend on the choice of a root system $G$. This is a natural generalization of the earlier works by Gukov-Pei-Putrov-Vafa [arXiv:1701.06567] and Gukov-Manolescu [arXiv:1904.06057] where they focused on $G={\rm SU}(2)$ case. Although a full mathematical definition for these ''invariants'' is lacking yet, we define $\hat{Z}^G$ for negative definite plumbed 3-manifolds and $F_K^G$ for torus knot complements. As in the $G={\rm SU}(2)$ case by Gukov and Manolescu, there is a surgery formula relating $F_K^G$ to $\hat{Z}^G$ of a Dehn surgery o…
The integrable structure of the two dimensional superconformal field theory is considered. The classical counterpart of our constructions is based on the $\hat{osp}(1|2)$ super-KdV hierarchy. The quantum version of the monodromy matrix associated with the linear problem for the corresponding L-operator is introduced. Using the explicit form of the irreducible representations of $\hat{osp}_q(1|2)$, the so-called "fusion relations" for the transfer matrices considered in different representations of $\hat{osp}_q(1|2)$ are obtained. The possible integrable perturbations of the model (primary oper…
The infinite affine Lie algebras of type ABCD, also called $\widehat{\mathfrak{gl}}(\infty)$, $\widehat{\mathfrak{o}}(\infty)$, $\widehat{\mathfrak{sp}}(\infty)$, are equivalent to subalgebras of the quantum $W_{1+\infty}$ algebras. They have well-known representations on the Fock space of either a Dirac fermion ($\hat A_\infty$), a Majorana fermion ($\hat B_\infty$ and $\hat D_\infty$) or a symplectic boson ($\hat C_\infty$). Explicit formulas for the action of the quantum $W_{1+\infty}$ subalgebras on the Fock states are proposed for each representation. These formulas are the equivalent of …