Automatic Construction of Explicit R Matrices for the One-Parameter Families of Irreducible Typical Highest Weight (0|α) Representations of U_q[gl(m|n)]
We detail the automatic construction of R matrices corresponding to (the tensor products of) the (0|α) families of highest-weight representations of the quantum superalgebras U_q[gl(m|n)]. These representations are irreducible, contain a free complex parameter α, and are 2^{mn} dimensional. Our R matrices are actually (sparse) rank 4 tensors, containing a total of 2^{4mn} components, each of which is in general an algebraic expression in the two complex variables q and α.
Although the constructions are straightforward, we describe them in full here, to fill a perceived gap in the literature. As the algorithms are generally impracticable for manual calculation, we have implemented the entire process in Mathematica; illustrating our results with U_q[gl(3|1)].
The Iwahori-Hecke algebra of type A acts on tensor product space of the natural representation of the quantum superalgebra U_q(gl(m,n)). We show this action of the Hecke algebra and the action of U_q(gl(m,n)) on the same space determine commuting actions of each other. Together with this result and Gyoja's q-analogue of the Young symmetrizer, we construct a highest weight vector of each irreducible summmand of the tensor product space.
We generalize the results of [KMST] concerning equivariant quantization by means of Verma modules $M(λ)$ for generic weight $λ$ to the case of general $λ$. We consider the relationship between the Shapovalov form on an irreducible highest weight module of a semisimple complex Lie algebra, fusion elements, and equivariant quantization. We also discuss some limiting properties of fusion elements. [KMST] E. Karolinsky and A. Stolin, Dynamical Yang-Baxter equations, quasi-Poisson homogeneous spaces, and quantization, Lett. Math. Phys., 71 (2005), p.179-197; e-print math.QA/0309203.
A class of highest weight irreducible representations of the algebra $U_h(A_\infty)$, the quantum analogue of the completion and central extension $A_\infty$ of the Lie algebra $gl_\infty$, is constructed. It is considerably larger than the class of representations known so far. Within each module a basis is introduced and the transformation relations of the basis under the action of the Chevalley generators are explicitly given. The verification of the quantum algebra relations is shown to reduce to a set of nontrivial $q$-number identities. All representations are restricted in the terminolo…
We shall derive Kazhdan-Lusztig type character formula for the irreducible modules with arbitrary non-critical highest weights over affine Lie algebras from the rational case by using the translation functor, the Enright functor and Jantzen's deformation argument.
We decompose the level-1 irreducible highest weight modules of the quantum affine algebra $U_q(\hat{sl}_n)$ with respect to the level-0 $U'_q (\hat{sl}_n)$--action defined in q-alg/9702024. The decomposition is parameterized by the skew Young diagrams of the border strip type.
Two classes of irreducible highest weight modules of the general linear Lie superalgebra $gl(1/\infty)$ are constructed. Within each module a basis is introduced and the transformation relations of the basis under the action of the algebra generators are written down.
A class of highest weight irreducible representations of the algebra $U_h(A_\infty)$, the quantum analogue of the completion and central extension $A_\infty$ of the Lie algebra $gl_\infty$, is constructed. It is considerably larger than the known so far representations. Within each module a basis is introduced and the transformation relations of the basis under the action of the Chevalley generators are explicitly written. The verification of the quantum algebra relations to be satisfied is shown to reduce to a set of nontrivial $q$-number identities. All our representations are restricted in …
We present a geometric construction of highest weight crystals for quantum generalized Kac-Moody algebras. It is given in terms of the irreducible components of certain Lagrangian subvarieties of Nakajima's quiver varieties associated to quivers with edge loops.
We give the complete set of irreducible representations of U(SU(2))_q when q is a m-th root of unity. In particular we show that their dimensions are less or equal to m. Some of them are not highest weight representations.
Let $n>1$ be an integer, $α\in{\mathbb C}^n$, $b\in{\mathbb C}$, and $V$ a $\mathfrak{gl}_n$-module. We define a class of weight modules $F^α_{b}(V)$ over $\sl_{n+1}$ using the restriction of modules of tensor fields over the Lie algebra of vector fields on $n$-dimensional torus. In this paper we consider the case $n=2$ and prove the irreducibility of such 5-parameter $\mathfrak{sl}_{3}$-modules $F^α_{b}(V)$ generically. All such modules have infinite dimensional weight spaces and lie outside of the category of Gelfand-Tsetlin modules. Hence, this construction yields new families of irreducibl…
Using combinatorics of Young walls, we give a new realization of arbitrary level irreducible highest weight crystals $\mathcal{B}(λ)$ for quantum affine algebras of type $A_n^{(1)}$, $B_n^{(1)}$, $C_n^{(1)}$, $A_{2n-1}^{(2)}$, $A_{2n}^{(2)}$, and $D_{n+1}^{(2)}$. The irreducible highest weight crystals are realized as the affine crystals consisting of reduced proper Young walls. The notion of slices and splitting of blocks plays a crucial role in the constructions of crystal graphs.
We study the representations of the W-algebra W(g) associated to an arbitrary finite-dimensional simple Lie algebra g via the quantized Drinfeld-Sokolov reductions. The characters of irreducible representations with non-degenerate highest weights are expressed by Kazhdan-Lusztig polynomials. The irreduciblity conjecture of Frenkel, Kac and Wakimoto is proved completely for the "-" reduction and partially for the "+" reduction. In particular, the existence of the minimal series representations (= the modular invariant representations) of W(g) is proved.
In a recent paper, V. Dobrev and A. Sudbery classified the highest-weight and lowest-weight finite dimensional irreducible representations of the quantum Lie algebra sl(2)_q introduced by V. Lyubashenko and A. Sudbery. The aim of this note is to add to this classification all the finite dimensional irreducible representations which have no highest weight and/or no lowest weight, in the case when q is a root of unity. For this purpose, we give a description of the enlarged centre.
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 consider a special category of Hopf algebras, depending on parameters $Σ$ which possess properties similar to the category of representations of simple Lie group with highest weight $λ$. We connect quantum groups to minimal objects in this categories---they correspond to irreducible representations in the category of representations with highest weight $λ$. Moreover, we want to correspond quantum groups only to finite dimensional irreducible representations. This gives us a condition for $λ$: $λ$--- is dominant means the minimal object in the category of representations with highest weight …
Using certain results for the vertex operator algebras associated with affine Lie algebras we obtain recurrence relations for the characters of integrable highest weight irreducible modules for an affine Lie algebra. As an application we show that in the simply-laced level 1 case, these recurrence relations give the known characters, whose principal specializations naturally give rise to some multisum Macdonald identities.
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.
A representation of the Quantum Toroidal Algebra of type sl(N) is constructed on every irreducible integrable highest weight module of the Quantum Affine Algebra of type gl(N). As an intermediate step in the construction, we obtain a quantum analogue of the classical level-rank duality, describing the reciprocal decomposition of the q-Fock space with respect to mutually commutative actions of U_q(gl(N)^) of level L, and U_q(sl(L)^) of level N.
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.
In this paper, we first construct a Lie algebra $L$ from rank 3 quantum torus, and show that it is isomorphic to the core of EALAs of type $A_1$ with coordinates in rank 2 quantum torus. Then we construct two classes of irreducible ${\bf Z}$-graded highest weight representations, and give the necessary and sufficient conditions for these representations to be quasifinite. Next, we prove that they exhaust all the generalized highest weight irreducible ${\bf Z}$-graded quasifinite representations. As a consequence, we determine all the irreducible ${\bf Z}$-graded quasifinite representations wit…
We consider $U_{q}(\mathfrak{gl}_{n})$, the quantum group of type $A$ for $|q| = 1$, $q$ generic. We provide formulas for signature characters of irreducible finite-dimensional highest weight modules and Verma modules. In both cases, the technique involves combinatorics of the Gelfand-Tsetlin bases. As an application, we obtain information about unitarity of finite-dimensional irreducible representations for arbitrary $q$: we classify the continuous spectrum of the unitarity locus. We also recover some known results in the classical limit $q \rightarrow 1$ that were obtained by different means…
We study quantized enveloping algebras called twisted Yangians. They are analogues of the Yangian Y(gl(N)) for the classical Lie algebras of B, C, and D series. The twisted Yangians are subalgebras in Y(gl(N)) and coideals with respect to the coproduct in Y(gl(N)). We give a complete description of their finite-dimensional irreducible representations. Every such representation is highest weight and we give necessary and sufficient conditions for an irreducible highest weight representation to be finite-dimensional. The result is analogous to Drinfeld's theorem for the ordinary Yangians. Its de…
We classify the quasi-finite irreducible highest weight modules over the infinite rank Lie superalgebras $\hgltwo$, $\hC$ and $\hD$, and determine the necessary and sufficient conditions for quasi-finite irreducible highest weight modules to be unitarizable with respect to natural $\ast$-structures of the Lie superalgebras. The unitarizable irreducible modules are constructed in terms of Fock spaces of free quantum fields, and explicit formulae for their formal characters are also obtained by investigating Howe dualities between the infinite rank Lie superalgebras and classical Lie groups.
We classify finite-dimensional irreducible highest weight modules of generalized quantum groups whose positive part is infinite dimensional and has a Kharchenko's PBW basis with an irreducible finite positive root system.
A classification of finite dimensional irreducible representations of the nonstandard $q$-deformation $U'_q(so_n)$ of the universal enveloping algebra $U(so(n, C))$ of the Lie algebra $so(n, C)$ (which does not coincides with the Drinfeld--Jimbo quantized universal enveloping algebra $U_q(so_n)$) is given for the case when $q$ is not a root of unity. It is shown that such representations are exhausted by representations of the classical and nonclassical types. Examples of the algebras $U'_q(so_3)$ and $U'_q(so_4)$ are considered in detail. The notions of weights, highest weights, highest weigh…
In a categorification of tensor products of fundamental representations of quantum sl(k) via highest weight categories, the indecomposable tilting modules descend to the canonical basis. Since projective functors map tilting modules to tilting modules, the coefficients of the canonical basis of tensor products of finite dimensional, irreducible representations under the action of the Chevalley generators are positive.
We classify the simple quantum group modules with finite dimensional weight spaces when the quantum parameter $q$ is transcendental and the Lie algebra is not of type $G_2$. This is part $2$ of the story. The first part being Irreducible quantum group modules with finite dimensional weight spaces. I (arXiv:1504.07042). In that paper the classification is reduced to the classification of torsion free simple modules. In this paper we follow the procedures used by O. Mathieu to reduce the classification to the classification of infinite dimensional admissible simple highest weight modules. We the…
We consider the quantum symmetric pair $(\mathcal{U}_q(\mathfrak{su}(3)), \mathcal{B})$ where $\mathcal{B}$ is a right coideal subalgebra. We prove that all finite-dimensional irreducible representations of $\mathcal{B}$ are weight representations and are characterised by their highest weight and dimension. We show that the restriction of a finite-dimensional irreducible representation of $\mathcal{U}_q(\mathfrak{su}(3))$ to $\mathcal{B}$ decomposes multiplicity free into irreducible representations of $\mathcal{B}$. Furthermore we give explicit expressions for the highest weight vectors in th…
We define analogues of Verma modules for finite W-algebras. By the usual ideas of highest weight theory, this is a first step towards the classification of finite dimensional irreducible modules. Motivated by known results in type A, we then formulate some precise conjectures in the case of nilpotent orbits of standard Levi type.
We show that the support of an irreducible weight module over the twisted Heisenberg-Virasoro algebra, which has an infinite dimensional weight space, coincides with the weight lattice and that all nontrivial weight spaces of such a module are infinite dimensional. As a corollary, we obtain that every irreducible weight module over the twisted Heisenberg-Virasoro algebra, having a nontrivial finite dimensional weight space, is a Harish-Chandra module (and hence is either an irreducible highest or lowest weight module or an irreducible module from the intermediate series
This paper is the detailed version of math.QA/0403477 (T. Arakawa, Quantized Reductions and Irreducible Representations of W-Algebras) with extended results; We study the representation theory of the W-algebra $W_k(g)$ associated with a simple Lie algebra $g$ (and its principle nilpotent element) at level k. We show that the "-" reduction functor is exact and sends an irreducible module to zero or an irreducible module at any level k. Moreover, we show that the character of each irreducible highest weight representation of $W_k(g)$ is completely determined by that of the corresponding irreduci…
Tensor products of irreducible representations of the Jordanian quantum algebras U_h(sl(2)) and U_h(su(1,1)) are considered. For both the highest weight finite dimensional representations of U_h(sl(2)) and lowest weight infinite dimensional ones of U_h(su(1,1)), it is shown that tensor product representations are reducible and that the decomposition rules to irreducible representations are exactly the same as those of corresponding Lie algebras.
We give a new realization of arbitrary level perfect crystals and arbitrary level irreducible highest weight crystals of type $D_n^{(1)}$, in the language of Young walls. The notions of splitting of blocks and slices play crucial roles in the construction of crystals. The perfect crystals are realized as the set of equivalence classes of slices. And the irreducible highest weight crystals are realized as the affine crystals consisting of reduced proper Young walls which, in turn, are concatenations of slices.
It is well known that using the weight lattice of type $E_6$, $P$, and the lattice construction for vertex operator algebras one can obtain all three level 1 irreducible $\tilde{g}$-modules with $V_P = V^{\Lamba_0} \oplus V^{\Lamba_1} \oplus V^{\Lamba_6}$. The Dynkin diagram of type $E_6$ has an order 2 automorphism, $τ$, which can be lifted to $\tilde{τ}$, a Lie algebra automorphism of $\tilde{g}$ of type $E_6^(1)$. The fixed points of $\tilde{τ}$ are a subalgebra $\tilde{a}$ of type $F_4^(1)$. The automorphism $τ$ lifts further to $\hat{τ}$ a vertex operator algebra automorphism of $V_P$. We…
We show that the support of an irreducible weight module over the $W$-algebra $W(2, 2)$, which has an infinite dimensional weight space, coincides with the weight lattice and that all nontrivial weight spaces of such a module are infinite dimensional. As a corollary, we obtain that every irreducible weight module over the the $W$-algebra $W(2, 2)$, having a nontrivial finite dimensional weight space, is a Harish-Chandra module (and hence is either an irreducible highest or lowest weight module or an irreducible module of the intermediate series).
In this paper, we consider the classification of irreducible ${\bf Z}$- and ${\bf Z}^2$-graded modules with finite dimensional homogeneous subspaces over the Virasoro-like algebra. We first prove that such a module is a uniformly bounded module or a generalized highest weight module. Then we determine all generalized highest weight irreducible modules. As a consequence, we also determine all the modules with nonzero center. Finally, we prove that there does not exist any nontrivial ${\bf Z}$-graded modules of intermediate series.
In this paper, we prove Khovanov-Lauda's cyclotomic categorification conjecture for all symmetrizable Kac-Moody algebras. Let $U_q(g)$ be the quantum group associated with a symmetrizable Cartan datum and let $V(Λ)$ be the irreducible highest weight $U_q(g)$-module with a dominant integral highest weight $Λ$. We prove that the cyclotomic Khovanov-Lauda-Rouquier algebra $R^Λ$ gives a categorification of $V(Λ)$.
In this paper we prove the Kazhdan-Lusztig type character formula for irreducible highest weight modules with positive rational highest weights over symmetrizable Kac-Moody Lie algebras.
Different generators of a deformed oscillator algebra give rise to one-parameter families of $q$-exponential functions and $q$-Hermite polynomials related by generating functions. Connections of the Stieltjes and Hamburger classical moment problems with the corresponding resolution of unity for the $q$-coherent states and with 'coordinate' operators - Jacobi matrices, are also pointed out.
In the first part of the paper we give the denominator identity for all simple finite-dimensional Lie super algebras $\frak g\/$ with a non-degenerate invariant bilinear form. We give also a character and (super) dimension formulas for all finite-dimensional irreducible $\frak g\/$-modules of atypicality $\leq 1\/$ . In the second part of the paper we give the denominator identity for the affine superalgebras $\hat{\frak g}\/$ associated to $\frak g\/$. Specializations of this identity give almost all old and many new formulas for the number of representations of an integer as sums of squares …
A class of highest weight irreducible representations of the quantum algebra U_h(gl_\infty) is constructed. Within each module a basis is introduced and the transformation relations of the basis under the action of the Chevalley generators are explicitly written.
We study a family of fermionic oscillator representations of the Virasoro algebra via 2-point-local Virasoro fields on the Fock space $\mathit{F^{\otimes \frac{1}{2}}}$ of a neutral (real) fermion. We obtain the decomposition of $\mathit{F^{\otimes \frac{1}{2}}}$ as a direct sum of irreducible highest weight Virasoro modules with central charge $c=1$. As a corollary we obtain the decomposition of the irreducible highest weight Virasoro modules with central charge $c=\frac{1}{2}$ into irreducible highest weight Virasoro modules with central charge $c=1$. As an application we show how positive s…
Methods are developed for systematically constructing the finite dimensional irreducible representations of the super Yangian Y(gl(M|N)) associated with the Lie superalgebra gl(M|N). It is also shown that every finite dimensional irreducible representation of Y(gl(M|N)) is of highest weight type, and is uniquely characterized by a highest weight. The necessary and sufficient conditions for an irrep to be finite dimensional are given.
The aim of the paper is to study modules for the twisted Heisenberg-Virasoro algebra $\mathcal H$ at level zero as modules for the $W(2,2)$-algebra by using construction from [J. Pure Appl. Algebra 219 (2015), 4322-4342, arXiv:1405.1707]. We prove that the irreducible highest weight ${\mathcal H}$-module is irreducible as $W(2,2)$-module if and only if it has a typical highest weight. Finally, we construct a screening operator acting on the Heisenberg-Virasoro vertex algebra whose kernel is exactly $W(2,2)$ vertex algebra.
We give a simple characterization of the highest weight vertices in the crystal graph of the level l Fock spaces. This characterization is based on the notion of totally periodic symbols viewed as affine analogues of reverse lattice words classically used in the decomposition of tensor products of fundamental $\mathfrak{sl}_{n}$-modules. This yields a combinatorial decomposition of the Fock spaces in their irreducible components and the branching law for the restriction of the irreducible highest weight $\mathfrak{sl}_{\infty}$-modules to $\hat{\mathfrak{sl}_{e}}$.
We construct a new representation of the infinite rank Lie algebra $a_{\infty}$ with central charge $c=1$ on the Fock space $\mathit{F^{\otimes \frac{1}{2}}}$ of a single neutral fermion. We show that $\mathit{F^{\otimes \frac{1}{2}}}$ is a direct sum of irreducible integrable highest weight modules for $a_{\infty}$ with central charge $c=1$. We prove that as $a_{\infty}$ modules $\mathit{F^{\otimes \frac{1}{2}}}$ is isomorphic to the Fock space $\mathit{F^{\otimes 1}}$ of the charged free fermions. As a corollary we obtain the decompositions of certain irreducible highest weight modules for $…
In this paper, we investigate the structure of highest weight modules over the quantum queer superalgebra $U_q(q(n))$. The key ingredients are the triangular decomposition of $U_q(q(n))$ and the classification of finite dimensional irreducible modules over quantum Clifford superalgebras. The main results we prove are the classical limit theorem and the complete reducibility theorem for $U_q(q(n))$-modules in the category $O_q^{\geq 0}$.
In this paper, the irreducible modules for the $\mathbb{Z}_{2}$-orbifold vertex operator subalgebra of the parafermion vertex operator algebra associated to the irreducible highest weight modules for the affine Kac-Moody algebra $A_1^{(1)}$ of level $k$ are classified and constructed.
In this paper, we use partial differential equations to find the decomposition of the polynomial algebra over the basic irreducible module of $E_7$ into a sum of irreducible submodules. Moreover, we obtain a combinatorial identity, saying that the dimensions of certain irreducible modules of $E_7$ are correlated by the binomial coefficients of fifty-five. Furthermore, we prove that two families of irreducible submodules with three integral parameters are solutions of the fundamental invariant differential operator corresponding to Cartan's unique quartic $E_7$ invariant.
We consider finite W-algebras U(g,e) associated to even multiplicity nilpotent elements in classical Lie algebras. We give a classification of finite dimensional irreducible U(g,e)-modules with integral central character in terms of the highest weight theory for finite W-algebras. As a corollary, we obtain a parametrization of primitive ideals of U(g) with associated variety the closure of the adjoint orbit of e and integral central character.
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.
