Let $V(λ)$ be the irreducible lowest weight $U_q(D(N,1))$-module with lowest weight $λ$. Assume $λ= n_0ω_0-\sum_{i=0}^{N}n_iω_i$, where $ω_0$ is the fundamental weight corresponding to the unique odd coroot $h_0$, and $n_i$ are positive integers. $V(λ)$ is called typical if $n_0 \geq 0$. In this paper, we construct polarizable crystal bases of $V(λ)$ in the category ${\cal O}_{int}$, which is a class of integrable modules. We also describe the decomposition of the tensor product of typical representations into irreducible ones, using the generalized Littlewood-Richardson rule for $U_q(D(N))$.
We also present analogous results for the quantum superalgebra $U_q(B(N,1))$.
We develop a crystal base theory for the general linear Lie superalgebra $gl(m,n)$. We prove that any irreducible $U_q(gl(m,n))$-module in some category has a crystal base, and prove that its associated crystal base is parameterized by semistandard tableaux.
We introduce the notion of a crystal base of a finite dimensional q-deformed Kac module over the quantum superalgebra $U_q(\gl(m|n))$, and prove its existence and uniqueness. In particular, we obtain the crystal base of a finite dimensional irreducible $U_q(\gl(m|n))$-module with typical highest weight. We also show that the crystal base of a q-deformed Kac module is compatible with that of its irreducible quotient $V(λ)$ given by Benkart, Kang and Kashiwara when $V(λ)$ is an irreducible polynomial representation.
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…
We discuss Cauchy type decompositions of crystal graphs for general linear Lie superalgebras. More precisely, we consider bicrystal graph structures on various sets of matrices of non-negative integers, and obtain their decompositions with explicit combinatorial isomorphisms.
In this paper, we develop the crystal basis theory for the quantum queer superalgebra $\Uq$. We define the notion of crystal bases, describe the tensor product rule, and present the existence and uniqueness of crystal bases for finite-dimensional $\Uq$-modules in the category $\mathcal{O}_{int}^{\ge 0}$.
We give a new representation theoretic interpretation of the ring of quasi-symmetric functions. This is obtained by showing that the super analogue of the Gessel's fundamental quasi-symmetric function can be realized as the character of an irreducible crystal for the Lie superalgebra $\frak{gl}_{n|n}$ associated to its non-standard Borel subalgebra with a maximal number of odd isotropic simple roots. We also present an algebraic characterization of these super quasi-symmetric functions.
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.
Brundan and Kleshchev showed that some parts of the representation theory of the affine Hecke-Clifford superalgebras and its finite-dimensional "cyclotomic" quotients are controlled by the Lie theory of type $A^{(2)}_{2l}$ when the quantum parameter $q$ is a primitive $(2l+1)$-th root of unity. We show in this paper that similar theorems hold when $q$ is a primitive $4l$-th root of unity by replacing the Lie theory of type $A^{(2)}_{2l}$ with that of type $D^{(2)}_{l}$.
It is shown that the direct limit of the semistandard decomposition tableau model for polynomial representations of the queer Lie superalgebra exists, which is believed to be the crystal for the upper half of the corresponding quantum group. An extension of this model to describe the direct limit combinatorially is given. Furthermore, it is shown that the polynomial representations may be recovered from the limit in most cases.
We introduce a semisimple tensor category $\mc{O}^{int}_q(m|n)$ of modules over an quantum ortho-symplectic superalgebra. It is a natural counterpart of the category of finitely dominated integrable modules over the quantum classical (super) algebra of type $B_{m+n}$, $C_{m+n}$, $D_{m+n}$ or $B(0,m+n)$ from a viewpoint of super duality. We classify the irreducible modules in $\mc{O}^{int}_q(m|n)$ and show that an irreducible module in $\mc{O}^{int}_q(m|n)$ has a unique crystal base in case of type $B$ and $C$. An explicit description of the crystal graph is given in terms of a new combinatoria…
Ian Grojnowski has developed a purely algebraic way to connect the representation theory of affine Hecke algebras at an (l+1)-th root of unity to the highest weight theory of the affine Kac-Moody algebra of type A_l^(1). The present article is devoted to extending Grojnowski's machinery to the twisted case: we replace the affine Hecke algebras with the affine Hecke-Clifford superalgebras of Jones and Nazarov, and the Kac-Moody algebra A_l^(1) with the twisted algebra A_2l^(2). In particular, we obtain an algebraic construction purely in terms of the representation theory of Hecke-Clifford supe…
We introduce the notion of quantum Schur (or $q$-Schur) superalgebras. These algebras share certain nice properties with $q$-Schur algebras such as base change property, existence of canonical $\mathbb Z[v,v^{-1}]$-bases, and the duality relation with quantum matrix superalgebra $\sA(m|n)$. We also construct a cellular $\mathbb Q(\up)$-basis and determine its associated cells, called super-cells, in terms of a Robinson--Schensted--Knuth super-correspondence. In this way, we classify all irreducible representations over $\mathbb Q(\up)$ via super-cell modules.
Yangian Double $DY(A(m,n))$ of Lie Superalgebra $A(m,n)$ is described in terms of generators and defining relations. It is proved triangular decomposition for Yangian $Y(A(m,n))$ and its quantum double $DY(A(m,n))$ as a corollary of PBW theorem. It is introduced the normally ordered bases in Yangian and its dual Hopf superalgebra in quantum double. It is calculated the pairing formulas between the elements of its bases. It is received the formula of Universal $R$-matrix of Yangian Double. The formula for Universal $R$-matrix of Yangian, which was introduced by V. Drinfel'd, is received also.
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.
In this paper, we study transition matrices of PBW bases of the nilpotent subalgebra of quantum superalgebras associated with all possible Dynkin diagrams of type A and B in the case of rank 2 and 3, and examine relationships with three-dimensional (3D) integrability. We obtain new solutions to the Zamolodchikov tetrahedron equation via type A and the 3D reflection equation via type B, where the latter equation was proposed by Isaev and Kulish as a 3D analog of the reflection equation of Cherednik. As a by-product of our approach, the Bazhanov-Sergeev solution to the Zamolodchikov tetrahedron …
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.
The generalized quantum group of type $A$ is an affine analogue of quantum group associated to a general linear Lie superalgebra, which appears in the study of solutions to the tetrahedron equation or the three-dimensional Yang-Baxter equation. In this paper, we develop the crystal base theory for finite-dimensional representations of generalized quantum group of type $A$. As a main result, we construct Kirillov-Reshetikhin modules, that is, a family of irreducible modules which have crystal bases. We also give an explicit combinatorial description of the crystal structure of Kirillov-Reshetik…
As a natural generalization quantum Schur algebras associated with the Hecke algebra of the symmetric group, we introduce the quantum Schur superalgebra of type Q associated with the Hecke-Clifford superalgebra, which, by definition, is the endomorphism algebra of the induced module over the Hecke-Clifford superalgebra from certain permutation modules over the Hecke algebra of the symmetric group. We will describe certain integral bases for these superalgebras in terms of matrices and will establish the base change property for them. We will also identify the quantum Schur superalgebra of type…
New solutions of the quantum Yang-Baxter equation, depending in general on three arbitrary parameters, are written down. They are based on the root of unity representations of the quantum orthosymplectic superalgebra \\U, which were found recently. Representations of the braid group $B_N$ are defined within any $N^{th}$ tensorial power of root of 1 \\U modules.
We provide a characterization of the crystal bases for the quantum queer superalgebra recently introduced by Grantcharov et al.. This characterization is a combination of local queer axioms generalizing Stembridge's local axioms for crystal bases for simply-laced root systems, which were recently introduced by Assaf and Oguz, with further axioms and a new graph $G$ characterizing the relations of the type $A$ components of the queer crystal. We provide a counterexample to Assaf's and Oguz' conjecture that the local queer axioms uniquely characterize the queer supercrystal. We obtain a combinat…
In the framework of canonical and dual canonical bases of Fock spaces, Brundan in 2003 formulated a Kazhdan-Lusztig type conjecture for the characters of the irreducible and tilting modules in the BGG category for the general linear Lie superalgebra for the first time. In this paper, we prove Brundan's conjecture and its variants associated to all Borel subalgebras in full generality.
The famous Drinfeld-Kohno theorem for simple Lie algebras states that the monodromy representation of the Knizhnik-Zamolodchikov equations for these Lie algebras expresses explicitly via R-matrices of the corresponding Drinfeld-Jimbo quantum groups. This result was generalized by the second author to simple Lie superalgebras of type A-G. In this paper, we generalize the Drinfeld-Kohno theorem to the case of the trigonometric Knizhnik-Zamolodchikov equations for simple Lie superalgebras of type A-G. The equations contain a classical r-matrix on the Lie superalgebra, and the answer expresses thr…
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 study a class of modules, called Chari-Venkatesh modules, for the current superalgebra $\mathfrak{sl}(1|2)[t]$. This class contains other important modules, such as graded local Weyl, truncated local Weyl and Demazure-type modules. We prove that Chari-Venkatesh modules can be realized as fusion products of generalized Kac modules. In particular, this proves Feigin and Loktev's conjecture, that fusion products are independent of their fusion parameters in the case where the fusion factors are generalized Kac modules. As an application of our results, we obtain bases, dimension and character …
We study representations of the quantum affine superalgebra associated with a general linear Lie superalgebra. In the spirit of Hernandez-Jimbo, we construct inductive systems of Kirillov-Reshetikhin modules based on a cyclicity result that we established previously on tensor products of these modules, and realize their inductive limits as modules over its Borel subalgebra, the so-called $q$-Yangian. A new generic asymptotic limit of the same inductive systems is proposed, resulting in modules over the full quantum affine superalgebra. We derive generalized Baxter's relations in the sense of F…
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…
Some introductory concepts and basic definitions of the Lie superalgebras and their quantum deformations are exposed. Especially the induced representation methods in both cases are described. Based on the Kac representation theory we have succeeded in constructing representations of several higher rank superalgebras. When representations of quantum superalgebras are concerned, we have developed a method which can be applied not only to the one-parametric quantum deformations but also to the multi-parametric ones. As an intermediate step the Gel'fand-Zetlin basis description is extended to the…
We examine the two parameter deformed superalgebra $U_{qs}(sl(1|2))$ and use the results in the construction of quantum chain Hamiltonians. This study is done both in the framework of the Serre presentation and in the $R$-matrix scheme of Faddeev, Reshetikhin and Takhtajan (FRT). We show that there exists an infinite number of Casimir operators, indexed by integers $p > 1$ in the undeformed case and by $p \in Z$ in the deformed case, which obey quadratic relations. The construction of the dual superalgebra of functions on $SL_{qs}(1|2)$ is also given and higher tensor product representations a…
Covariant tensor representations of gl(m|n) occur as irreducible components of tensor powers of the natural (m+n)-dimensional representation. We construct a basis of each covariant representation and give explicit formulas for the action of the generators of gl(m|n) in this basis. The basis has the property that the natural Lie subalgebras gl(m) and gl(n) act by the classical Gelfand-Tsetlin formulas. The main role in the construction is played by the fact that the subspace of gl(m)-highest vectors in any finite-dimensional irreducible representation of gl(m|n) carries a structure of an irredu…
We conjecture that the category of permutation-twisted modules for a multi-fold tensor product vertex operator superalgebra and a cyclic permutation of even order is isomorphic to the category of parity-twisted modules for the underlying vertex operator superalgebra. This conjecture is based on our observations of the cyclic permutation-twisted modules for free fermions as we discuss in this work, as well as previous work of the first author constructing and classifying permutation-twisted modules for tensor product vertex operator superalgebras and a permutation of odd order. In addition, we …
Based on the Kazama-Suzuki type coset construction and its inverse coset between the subregular $\mathcal{W}$-algebras for $\mathfrak{sl}_n$ and the principal $\mathcal{W}$-superalgebras for $\mathfrak{sl}_{1|n}$, we prove weight-wise linear equivalences of their representation categories. Our main results are then improvements of these correspondences incorporating the monoidal structures. Firstly, in the rational case, we obtain the classification of simple modules and their fusion rules via simple current extensions from their Heisenberg cosets. Secondly, beyond the rational case, we use ce…
Recently, new classes of infinite-dimensional algebras, quiver Yangian (QY) and shifted QY, were introduced, and they act on BPS states for non-compact toric Calabi-Yau threefolds. In particular, shifted QY acts on general subcrystals of the original BPS crystal. A trigonometric deformation called quiver quantum toroidal algebra (QQTA) was also proposed and shown to act on the same BPS crystal. Unlike QY, QQTA has a formal Hopf superalgebra structure which is useful in deriving representations. In this paper, we define the shifted QQTA and study a class of their representations. We define 1d a…
We give a combinatorial construction for the canonical bases of the $\pm$-parts of the quantum enveloping superalgebra $\bfU(\mathfrak{gl}_{m|n})$ and discuss their relationship with the Kazhdan-Lusztig bases for the quantum Schur superalgebras $\bsS(m|n,r)$ introduced in \cite{DR}. We will also extend this relationship to the induced bases for simple polynomial representations of $\bfU(\mathfrak{gl}_{m|n})$.
The universal $R$-matrix of the quantum affine superalgebra associated to the Lie superalgebra $\mathfrak{gl}(1,1)$ is realized as the Casimir element of certain Hopf pairing, based on the explicit coproduct formula of all the Drinfeld loop generators.
We introduce a modified quantum enveloping algebra as well as a (modified) covering quantum algebra for the ortho-symplectic Lie superalgebra osp(1|2). Then we formulate and compute the corresponding canonical bases, and relate them to the counterpart for sl(2). This provides a first example of canonical basis for quantum superalgebras.
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.
By using certain quantum differential operators, we construct a super representation for the quantum queer supergroup U_v(q_n). The underlying space of this representation is a deformed polynomial superalgebra in 2n^2 variables whose homogeneous components can be used as the underlying spaces of queer q-Schur superalgebras. We then extend the representation to its formal power series algebra which contains a (super) submodule isomorphic to the regular representation of U_v(q_n). A monomial basis M for U_v(q_n) plays a key role in proving the isomorphism. In this way, we may present the quantum…
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.
