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.
The character formula of any finite dimensional irreducible module $L_λ$ for Lie superalgebra $\mathfrak{osp}(n|2)$ is computed. As a by-product, the decomposition of tensor module $L_λ\otimes \mathbb{C}^{n|2}$, where $\mathbb{C}^{n|2}$ is the natural representation, is obtained.
Closed formulae are constructed for the characters and dimensions of the finite dimensional simple modules of the queer Lie superalgebra q(n). This is achieved by refining Brundan's algorithm for computing simple q(n)-characters.
The generalized Kazhdan-Lusztig polynomials for the finite dimensional irreducible representations of the general linear superalgebra are computed explicitly. Using the result we establish a one to one correspondence between the set of composition factors of an arbitrary $r$-fold atypical $gl_{m|n}$-Kac-module and the set of composition factors of some $r$-fold atypical $gl_{r|r}$-Kac-module. The result of Kazhdan-Lusztig polynomials is also applied to prove a conjectural character formula put forward by van der Jeugt et al in the late 80s. We simplify this character formula to cast it into th…
The problem of computing the characters of the finite dimensional irreducible representations of the Lie superalgebra $\mathfrak{gl}(m|n)$ over $\C$ was solved a few years ago by V. Serganova. In this article, we present an entirely different approach. One consequence is a direct and elementary proof of a conjecture made by van der Jeugt and Zhang for the composition multiplicities of Kac modules. This does not seem to follow easily from Serganova's formula, since that involves certain alternating sums. We also compute Ext's between simple modules in the category of finite dimensional represen…
The character formula of any finite dimensional irreducible module for Lie superalgebra $\mathfrak{osp}(3|2m)$ is obtained in terms of characters of generalized Verma modules.
Drinfeld Realization for Quantum Affine Orthosymplectic Superalgebras
Instituto de Ciências Exatas, Universidade Federal de Minas Gerais（米纳斯吉拉斯联邦大学精确科学学院）；Shenzhen International Center for Mathematics, Southern University of Science and Technology（南方科技大学深圳国际数学中心）
In this paper, we present the hidden symmetry behind the Faddeev-Reshetikhin-Takhtajan-Semenov-Tian-Shansky realization of quantum affine superalgebras $U_q(\hat {osp}(1,2))$ and add the q-Serre relation to the Drinfeld realization of $U_q(\hat {osp}(1,2))$ (math.QA/9712011) derived from the FRTS realization.
We introduce the Z_2-extended Griess algebra of a vertex operator superalgebra with an involution and derive the Matsuo-Norton trace formulae for the extended Griess algebra based on conformal design structure. We illustrate an application of our formulae by reformulating the one-to-one correspondence between 2A-elements of the Baby-monster simple group and N=1 c=7/10 Virasoro subalgebras inside the Baby-monster vertex operator superalgebra.
We use the RTT realization of the quantum affine superalgebra associated with the Lie superalgebra $\mathfrak{gl}(M,N)$ to study its finite-dimensional representations and their tensor products. In the case $\mathfrak{gl}(1,1)$, the cyclicity condition of tensor products of finite-dimensional simple modules is determined completely in terms of zeros and poles of rational functions. This in turn induces cyclicity of some particular tensor products of Kirillov-Reshetikhin modules related to $\mathfrak{gl}(M,N)$.
In this paper, we extend the generalization of Drinfeld realization of quantum affine algebras to quantum affine superalgebras with its Drinfeld comultiplication and its Hopf algebra structure, which depends on a function $g(z)$ satisfying the relation: $g(z)=g(z^{-1})^{-1}.$ In particular, we present the Drinfeld realization of $U_q(\hat {\frak osp}(1,2))$ and its Serre relations.
We obtain Drinfel'd's realization of quantum affine superalgebra $U_q\hat{(gl(1|1))}$ based on the super version of RS construction method and Gauss decomposition.
We show that our construction of realizations for Lie algebras and quantum algebras can be generalized to quantum superalgebras, too. We study an example of quantum superalgebra $U_q(gl(2/1))$ and give the boson-fermion realization with respect to one pair od q-deformed boson operator and 2 pairs of fermions.
We give shuffle algebra realization of positive part of quantum affine superalgebra $U_{v}(\widehat{\mathfrak{D}}(2,1;θ))$ associated to any simple root systems. We also determine the shuffle algebra associated to $\widehat{\mathfrak{sl}}(2|1)$ with odd root system when $v$ is a primitive root of unity of even order, generalizing results in \cite{FJMMT03}.
Using super RS construction method and Gauss decomposition, we obtain Drinfeld's currents realization of two-parameter quantum affine superalgebra $U_{p,q}\widehat{(gl(1|1))}$ and get co-product structure for these currents.
We obtain Drinfeld second realization of the quantum affine superalgebras associated with the affine Lie superalgebra $D^{(1)}(2,1;x)$. Our results are analogous to those obtained by Beck for the quantum affine algebras. Beck's analysis uses heavily the (extended) affine Weyl groups of the affine Lie algebras. In our approach the structures are based on a Weyl groupoid.
We describe the realization of the super Reshetikhin-Semenov-Tian-Shansky (RS) algebra in quantum affine superalgebras, thus generalizing the approach of Frenkel-Reshetikhin to the supersymmetric (and twisted) case. The algebraic homomorphism between the super RS algebra and the Drinfeld current realization of quantum affine superalgebras is established by using the Gauss decomposition technique of Ding-Frenkel. As an application, we obtain Drinfeld realization of quantum affine superalgebra $U_q[osp(1|2)^{(1)}]$ and its degeneration -- central extended super Yangian double $DY_\hbar[osp(1|2)^…
The Holstein-Primakoff and the Dyson realizations of the Lie superalgebra $gl(n/m)$ are generalized to the class of the quantum superalgebras $U_q[gl(n/m)]$ for any $n$ and $m$. It is shown how the elements of $U_q[gl(n/m)]$ can be expressed via $n-1$ pairs of Bose creation and annihilation operators and $m$ pairs of Fermi creation and annihilation operators.
By generalizing the Reshetikhin and Semenov-Tian-Shansky construction to supersymmetric cases, we obtain Drinfeld current realization for quantum affine superalgebra $U_q[gl(m|n)^{(1)}]$. We find a simple coproduct for the quantum current generators and establish the Hopf algebra structure of this super current algebra.
We suggest a programming realization of an algorithm for verifying a given set of algebraic relations in the form of a supercommutator multiplication table for the Verma module, which is constructed according to a generalized Cartan procedure for a quadratic superalgebra and whose elements are realized as a formal power series with respect to non-commuting elements. To this end, we propose an algebraic procedure of Verma module construction and its realization in terms of non-commuting creation and annihilation operators of a given Heisenberg--Weyl superalgebra. In doing so, we set up a proble…
We give a realization of the quantum affine Lie superalgebras U_q(A(M,N))^(1) in terms of anyons defined on a one or two-dimensional lattice, the deformation parameter q being related to the statistical parameter $ν$ of the anyons by q = exp(iπν). The construction uses anyons contructed from usual fermionic oscillators and deformed bosonic oscillators. As a byproduct, realization deformed in any sector of the quantum superalgebras U_q(A(M,N)) is obtained.
We study the finite W-superalgebra $W_e$ associated to a nilpotent element $e$ in a general linear Lie superalgebra. Under certain restriction on the Jordan type of $e$, we give a realization of $W_e$ in terms of a quotient of a shifted super Yangian.
A bosonization of the quantum affine superalgebra $U_q(\widehat{sl}(M|N))$ is presented for an arbitrary level $k \in {\bf C}$.The Wakimoto realization is given by using $ξ-η$ system. The screening operators that commute with $U_q(\widehat{sl}(M|N))$ are presented for the level $k \neq -M+N$. New bosonization of the affine superalgebra $\widehat{sl}(M|N)$ is obtained in the limit $q \to 1$.
We give bosonizations of the superalgebras $U_q(\hat{sl}(N|1))$ and $U_{q,p}(\hat{sl}(N|1))$ for an arbitrary level $k \in {\bf C}$. We introduce the submodule by the $ξ$-$η$ system, that we call the $q$-Wakimoto realization.
The Bannai-Ito algebra $B(n)$ of rank $(n-2)$ is defined as the algebra generated by the Casimir operators arising in the $n$-fold tensor product of the $osp(1,2)$ superalgebra. The structure relations are presented and representations in bases determined by maximal Abelian subalgebras are discussed. Comments on realizations as symmetry algebras of physical models are offered.
In this paper, we give an explicit combinatorial realization of the crystal B(λ) for an irreducible highest weight U_q(q(n))-module V(λ) in terms of semistandard decomposition tableaux. We present an insertion scheme for semistandard decomposition tableaux and give algorithms of decomposing the tensor product of q(n)-crystals. Consequently, we obtain explicit combinatorial descriptions of the shifted Littlewood-Richardson coefficients.
A representation of the quantum superalgebra Uq(sl(M+1|N+1)) is constructed based on the q-differential operators acting on the coherent states parameterized by coordinates. These coordinates correspond to the local ones of the flag manifold. This realization provides us with a guide to construct the free field realization for the quantum affine superalgebra Uq^(sl(M+1|N+1)) at arbitrary level.
We develop explicit formulae for the eigenvalues of various invariants for highest weight irreducible representations of the quantum supergroup $U_q[gl(m|n)]$. The techniques employed make use of modified characteristic identity methods and allow for the evaluation of generator matrix elements and reduced Wigner coefficients.
The mathematical structure of a mixed paraparticle system (combining both parabosonic and parafermionic degrees of freedom) commonly known as the Relative Parabose Set, will be investigated and a braided group structure will be described for it. A new family of realizations of an arbitrary Lie superalgebra will be presented and it will be shown that these realizations possess the valuable representation-theoretic property of transferring invariably the super-Hopf structure. Finally two classes of virtual applications will be outlined: The first is of interest for both mathematics and mathemati…
We present a q-difference realization of the quantum superalgebra U_q(sl(M|N)), which includes Grassmann even and odd coordinates and their derivatives. Based on this result we obtain a free boson realization of the quantum affine superalgebra U_q(\widehat{sl}(2|1)) of an arbitrary level k.
Let $g$ be an exceptional Lie superalgebra, and let $p$ be the maximal parabolic subalgebra which contains the distinguished Borel subalgebra and has a purely even Levi subalgebra. For any parabolic Verma module in the parabolic category $O^p$, it is shown that the Jantzen filtration is the unique Loewy filtration, and the decomposition numbers of the layers of the filtration are determined by the coefficients of inverse Kazhdan-Lusztig polynomials. An explicit description of the submodule lattices of the parabolic Verma modules is given, and formulae for characters and dimensions of the finit…
A loop-algebraic presentation is given for toroidal Lie superalgebras of classical types. Based on the loop superalgebra presentation free field realizations of toroidal Lie superalgebras are constructed for types $A(m,n)$, $B(m,n)$, C(n) and $D(m,n)$.
In this paper, we give defining relations of the affine Lie superalgebras an and defining relations of a super-version of the Drinfeld[D]-Jimbo[J] affine quantized universal enveloping algebras. As a result, we can exactly define the affine quantized universal enveloping superalgebras with generators and relations. Moreover we give a Drinfeld's realizations of $U_h({\hat {sl}}(m|n)^{(1)})$.
We give a bosonization of the quantum affine superalgebra $U_q(\widehat{sl}(N|1))$ for an arbitrary level $k \in {\bf C}$. The bosonization of level $k \in {\bf C}$ is completely different from those of level $k=1$. From this bosonization, we induce the Wakimoto realization whose character coincides with those of the Verma module. We give the screening that commute with $U_q(\widehat{sl}(N|1))$. Using this screening, we propose the vertex operator that is the intertwiner among the Wakimoto realization and typical realization. We study non-vanishing property of the correlation function defined …
The coherent state method has proved to be useful in quantum physics and mathematics. This method, more precisely, the vector coherent state method, has been used by some authors to construct representations of superalgebras but almost, to our knowledge, it has not yet been extended to quantum superalgebras, except $U_q[osp(1|2)]$, one of the smallest quantum superalgebras. In this article the method is applied to a bigger quantum superalgebra, namely $U_q[gl(2|1)]$, in constructing $q$--boson-fermion realizations and finite-dimensional representations which, when irreducible, are classified i…
An elliptic two-parameter deformation of the (universal enveloping superalgebra of) affine Lie superalgebra $osp(1|2)^{(1)}$ is proposed in terms of free boson realization. This deformed superalgebra is shown to fit in the framework of infinite Hopf family of superalgebras, a generalization of the infinite Hopf family of algebras proposed earlier by the authors. The trigonometric and rational degenerations are briefly discussed.
We introduce the infinite-dimensional Lie superalgebra ${\mathcal A}$ and construct a family of mappings from certain category of ${\mathcal A}$-modules to the category of A_1^(1)-modules of critical level. Using this approach, we prove the irreducibility of a family of A_1^(1)-modules at the critical level. As a consequence, we present a new proof of irreducibility of certain Wakimoto modules. We also give a natural realizations of irreducible quotients of relaxed Verma modules and calculate characters of these representations.
We give character formulae for the positive energy unitary irreducible representations of the N-extended D=4 conformal superalgebras su(2,2/N). Using these we also derive decompositions of long superfields as they descend to the unitarity threshold. These results are also applicable to irreps of the complex Lie superalgebras sl(4/N). Our derivations use results from the representation theory of su(2,2/N) developed already in the 80s.
We investigate a general theory of the Z_2-twisted representations of vertex operator superalgebras. Certain one-to-one correspondence theorems are established. We also give an explicit realization of the Ising model SVOA and its Z_2-twisted modules. As an application, we obtain the Gerald Hoehn's Babymonster SVOA VB and its Z_2-twisted module VB_{tw} from the moonshine VOA V^\nat by cutting off the Ising models. It is also shown in this paper that Aut (VB) is finite.
We introduce and define the quantum affine $(m|n)$-superspace (or say quantum Manin superspace) $A_q^{m|n}$ and its dual object, the quantum Grassmann superalgebra $Ω_q(m|n)$. Correspondingly, a quantum Weyl algebra $\mathcal W_q(2(m|n))$ of $(m|n)$-type is introduced as the quantum differential operators (QDO for short) algebra $\textrm{Diff}_q(Ω_q)$ defined over $Ω_q(m|n)$, which is a smash product of the quantum differential Hopf algebra $\mathfrak D_q(m|n)$ (isomorphic to the bosonization of the quantum Manin superspace) and the quantum Grassmann superalgebra $Ω_q(m|n)$. An interested poin…
We consider asymptotic limits of q-oscillator (or Heisenberg) realizations of Verma modules over the quantum superalgebra $U_{q}(gl(M|N))$, and obtain q-oscillator realizations of the contracted algebras proposed in [arXiv:1205.1471]. Instead of factoring out the invariant subspaces, we make reduction on generators of the q-oscillator algebra, which gives a shortcut to the problem. Based on this result, we obtain explicit q-oscillator representations of a Borel subalgebra of the quantum affine superalgebra $U_{q}(\hat{gl}(M|N))$ for Baxter Q-operators.
We present complete realization of irreducible $A_1 ^{(1)}$-modules at the critical level in the principal gradation. Our construction uses vertex algebraic techniques, the theory of twisted modules and representations of Lie conformal superalgebras. We also provide an alternative Z-algebra approach to this construction. All irreducible highest weight $A_1 ^{(1)}$-modules at the critical level are realized on the vector space $M_{\tfrac{1}{2} + \Bbb Z} (1) ^{\otimes 2}$ where $M_{\tfrac{1}{2} + \Bbb Z} (1) $ is the polynomial ring ${\Bbb C}[α(-1/2), α(-3/2), ...]$. Explicit combinatorial bases…
A description of the quantum superalgebra U_q[sl(n+1|m)] via creation and annihilation generators (CAGs) is given. A statement that the Fock representations of the CAGs provide microscopic realizations of exclusion statistics is formulated.
Vertex operator realizations of symplectic and orthogonal Schur functions are studied and expanded. New proofs of determinant identities of irreducible characters for the symplectic and orthogonal groups are given. We also give a new proof of the duality between the universal orthogonal and symplectic Schur functions using vertex operators.
Let $\mathcal{O}^{int}_q(m|n)$ be a semisimple tensor category of modules over a quantum ortho-symplectic superalgebra of type $B, C, D$ introduced in the author's previous work. It is a natural counterpart of the category of finitely dominated integrable modules over a quantum group of type $B, C, D$ from a viewpoint of super duality. Continuing the previous work on type $B$ and $C$, we classify the irreducible modules in $\mathcal{O}^{int}_q(m|n)$, and prove the existence and uniqueness of their crystal bases in case of type $D$. A new combinatorial model of classical crystals of type $D$ is…
Fusion rules and rigidity for weight modules over the simple admissible affine $\mathfrak{sl}(2)$ and $\mathcal{N}=2$ superconformal vertex operator superalgebras
Osaka Metropolitan University（大阪公立大学）；University of Colorado Boulder（科罗拉多大学博尔德分校）；Universitat de València（瓦伦西亚大学）；Cardiff University（卡迪夫大学）；Research Institute for Mathematical Sciences Kyoto University（京都大学数学科学研究所）
Modules over affine Lie superalgebras ${\cal G}$ are studied, in particular, for ${\cal G}=\hat{OSP(1,2)}$. It is shown that on studying Verma modules, much of the results in Kac-Moody algebra can be generalized to the super case. Of most importance are the generalized Kac-Kazhdan formula and the Malikov-Feigin-Fuchs construction, which give the weights and the explicit form of the singular vectors in the Verma module over affine Kac-Moody superalgebras. We have also considered the decomposition of the admissible representation of $\hat{OSP(1,2)}$ into that of $\hat{SL(2)}\otimes$Virasoro alge…
We recall the relation between the Lie superalgebra $osp(1/2n)$ and para-Bose operators. The quantum superalgebra $U_q[osp(1/2n)]$, defined as usual in terms of its Chevalley generators, is shown to be isomorphic to an associative algebra generated by so-called pre-oscillator operators satisfying a number of relations. From these relations, and the analogue with the non-deformed case, one can interpret these pre-oscillator operators as deformed para-Bose operators. Some consequences for $U_q[osp(1/2n)]$ (Cartan-Weyl basis, Poincaré-Birkhoff-Witt basis) and its Hopf subalgebra $U_q[gl(n)]$ are …
We introduce the quasi-Hopf superalgebras which are $Z_2$ graded versions of Drinfeld's quasi-Hopf algebras. We describe the realization of elliptic quantum supergroups as quasi-triangular quasi-Hopf superalgebras obtained from twisting the normal quantum supergroups by twistors which satisfy the graded shifted cocycle condition, thus generalizing the quasi-Hopf twisting procedure to the supersymmetric case. Two types of elliptic quantum supergroups are defined, that is the face type $B_{q,λ}(G)$ and the vertex type $A_{q,p}[\hat{sl(n|n)}]$ (and $A_{q,p}[\hat{gl(n|n)}]$), where $G$ is any Kac-…
Using a realization of the q-exponential function as an infinite multiplicative sereis of the ordinary exponential functions we obtain new nonlinear connection formulae of the q-orthogonal polynomials such as q-Hermite, q-Laguerre and q-Gegenbauer polynomials in terms of their respective classical analogs.
As an alternative to Chevalley generators, we introduce Jacobson generators for the quantum superalgebra $U_q[sl(n+1|m)]$. The expressions of all Cartan-Weyl elements of $U_q[sl(n+1|m)]$ in terms of these Jacobson generators become very simple. We determine and prove certain triple relations between the Jacobson generators, necessary for a complete set of supercommutation relations between the Cartan-Weyl elements. Fock representations are defined, and a substantial part of this paper is devoted to the computation of the action of Jacobson generators on basis vectors of these Fock spaces. It i…
