We consider the crystal structure of the level zero extremal weight modules $V(λ)$ using the crystal base of the quantum affine algebra constructed by Beck, Chari and Pressley. This approach yields an explicit form for the U^- extremal weight vectors in each connected component of the crystal of $V(λ)$, which are given as Schur functions in the imaginary root vectors. We use this fact to demonstrate Kashiwara's conjectures regarding the crystal structure of $V(λ)$.
We consider a category of $\gl_\infty$-crystals, whose objects are disjoint unions of extremal weight crystals of non-negative level with certain finite conditions on the multiplicity of connected components. We show that it is a monoidal category under tensor product of crystals and the associated Grothendieck ring is anti-isomorphic to an Ore extension of the character ring of integrable lowest weight $\gl_\infty$-modules with respect to derivations shifting the characters of fundamental modules. A Littlewood-Richardson rule of extremal weight crystals with non-negative level is described ex…
Let $\ag$ be an affine Lie algebra, and let $\Ua$ be the quantum affine algebra introduced by Drinfeld and Jimbo. In [Kas94] Kashiwara introduced a $\Ua$-module $V(λ)$, having a global crystal base for an integrable weight $λ$ of level 0. We call it an {\it extremal weight module}. In [\S13]{Kas00} Kashiwara gave a conjecture on the structure of extremal weight modules. We prove his conjecture when $\ag$ is an untwisted affine Lie algebra of a simple Lie algebra $\g$ of type $ADE$, using a result of Beck-Chari-Pressley [BCP].
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 quantized universal enveloping algebras we construct weight modules by inducing representations of the centralizer of the Cartan subalgebra in the quantized universal enveloping algebra. The induced modules arising from finite-dimensional weight modules the centralizer algebra are studied. In particular, we study the induction of one-dimensional modules, and this is related to the study of commutative subalgebras of the centralizer algebra. For the special case of $U_q(\mathfrak{sl}(2,\mathbb{C}))$ we show that we get the admissible unitary representations corresponding to the non-compact …
We give a path model for a level zero extremal weight module over a quantum affine algebra. By using this result, we prove a branching rule for an extremal weight module with respect to a Levi subalgebra. Furthermore, we also show a decomposition rule of Littelmann type for the concatenation of path models for an integrable highest weight module and a level zero extremal weight module in the case where the extremal weight is minuscule.
Let $\mathfrak{g}$ be a hyperbolic Kac-Moody algebra of rank $2$. We give a polyhedral realization of the crystal basis for the extremal weight module of extremal weight $λ$, where $λ$ is an integral weight whose Weyl group orbit has neither a dominant integral weight nor an antidominant integral weight.
In this paper, we give a characterization of the crystal bases $\mathcal{B}_{x}^{+}(λ)$, $x \in W_{\mathrm{af}}$, of Demazure submodules $V_{x}^{+}(λ)$, $x \in W_{\mathrm{af}}$, of a level-zero extremal weight module $V(λ)$ over a quantum affine algebra $U_{q}$, where $λ$ is an arbitrary level-zero dominant integral weight, and $W_{\mathrm{af}}$ denotes the affine Weyl group. This characterization is given in terms of the initial direction of a semi-infinite Lakshmibai-Seshadri path, and is established under a suitably normalized isomorphism between the crystal basis $\mathcal{B}(λ)$ of the le…
Demazure crystals are subcrystals of highest weight irreducible $\mathfrak{g}$-crystals. In this article, we study tensor products of a larger class of subcrystals, called extremal, and give a local characterization for exactly when the tensor product of Demazure crystals is extremal. We then show that tensor products of Demazure crystals decompose into direct sums of Demazure crystals if and only if the tensor product is extremal, thus providing a sufficient and necessary local criterion for when the tensor product of Demazure crystals is itself Demazure. As an application, we show that the p…
Using Lakshmibai-Seshadri paths, we give a combinatorial realization of the crystal basis of an extremal weight module of integral extremal weight over the quantized universal enveloping algebra associated to the infinite rank affine Lie algebra of type $B_{\infty}$, $C_{\infty}$, or $D_{\infty}$. Moreover, via this realization, we obtain an explicit description (in terms of Littlewood-Richardson coefficients) of how tensor products of these crystal bases decompose into connected components when their extremal weights are of nonnegative levels. These results, in types $B_{\infty}$, $C_{\infty}…
We define integrable representations of quantum toroidal algebras of type A by tensor product, using the Drinfeld "coproduct". This allow us to recover the vector representations recently introduced by Feigin-Jimbo-Miwa-Mukhin [6] and constructed by the author [21] as a subfamily of extremal loop weight modules. In addition we get new extremal loop weight modules as subquotients of tensor powers of vector representations. As an application we obtain finite-dimensional representations of quantum toroidal algebras by specializing the quantum parameter at roots of unity.
We study a relationship between the graded characters of generalized Weyl modules $W_{w λ}$, $w \in W$, over the positive part of the affine Lie algebra and those of specific quotients $V_{w}^- (λ) / X_{w}^- (λ)$, $w \in W$, of the Demazure submodules $V_{w}^- (λ)$ of the extremal weight modules $V(λ)$ over the quantum affine algebra, where $W$ is the finite Weyl group and $λ$ is a dominant weight. More precisely, we prove that a specific quotient of the Demazure submodule is a quantum analog of a generalized Weyl module.
In this paper we construct a new family of representations for the quantum toroidal algebras of type $A_n$, which are $\ell$-extremal in the sense of Hernandez [24]. We construct extremal loop weight modules associated to level 0 fundamental weights $\varpi_\ell$ when $n=2r+1$ is odd and $\ell=1, r+1$ or $n$. To do it, we relate monomial realizations of level 0 extremal fundamental weight crystals with integrable representations of $\mathcal{U}_q(sl_{n+1}^{tor})$, and we introduce promotion operators for the level 0 extremal fundamental weight crystals. By specializing the quantum parameter, w…
We introduce semi-infinite Lakshmibai-Seshadri paths by using the semi-infinite Bruhat order (or equivalently, Lusztig's generic Bruhat order) on affine Weyl groups in place of the usual Bruhat order. These paths enable us to give an explicit realization of the crystal basis of an extremal weight module of an arbitrary level-zero dominant integral extremal weight over a quantum affine algebra. This result can be thought of as a full generalization of our previous result (which uses Littelmann's Lakshmibai-Seshadri paths), in which the level-zero dominant integral weight is assumed to be a posi…
We study the properties of level zero modules over quantized affine algebras. The proof of the conjecture on the cyclicity of tensor products by Akasaka and the present author is given. Several properties of modules generated by extremal vectors are proved. The weights of a module generated by an extremal vector are contained in the convex hull of the Weyl group orbit of the extremalweight. The universal extremal weight module with level zero fundamental weight as an extremal weight is irreducible, and isomorphic to the affinization of an irreducible finite-dimensional module.
Let $\mathfrak{g}$ be a hyperbolic Kac-Moody algebra of rank 2, and set $λ=Λ_{1} - Λ_{2}$, where $Λ_{1}$, $Λ_{2}$ are the fundamental weights. Denote by $V(λ)$ the extremal weight module of extremal weight $λ$ with $v_λ$ the extremal weight vector, and by $\mathcal{B}(λ)$ the crystal basis of $V(λ)$ with $u_λ$ the element corresponding to $v_λ$. We prove that (i) $\mathcal{B}(λ)$ is connected, (ii) the subset $\mathcal{B}(λ)_μ$ of elements of weight $μ$ in $\mathcal{B}(λ)$ is a finite set for every integral weight $μ$, and $\mathcal{B}(λ)_λ = \{u_λ\}$, (iii) every extremal element in $\mathcal…
In recent work, Wang and the third author defined a class of 'extremal' vertex operator algebras (VOAs), consisting of those with at least two simple modules and conformal dimensions as large as possible for the central charge. In this article we show that there are exactly 15 character vectors of extremal VOAs with two simple modules. All but one of the 15 character vectors is realized by a previously known VOA. The last character vector is realized by a new VOA with central charge 33.
Let $\mathfrak{g}$ be a hyperbolic Kac-Moody algebra of rank $2$, and let $λ$ be an arbitrary integral weight. We denote by $\mathbb{B}(λ)$ the crystal of all Lakshmibai-Seshadri paths of shape $λ$. Let $V(λ)$ be the extremal weight module of extremal weight $λ$ generated by the (cyclic) extremal weight vector $v_λ$ of weight $λ$, and let $\mathcal{B}(λ)$ be the crystal basis of $V(λ)$ with $u_λ\in \mathcal{B}(λ)$ the element corresponding to $v_λ$. We prove that the connected component $\mathcal{B}_0(λ)$ of $\mathcal{B}(λ)$ containing $u_λ$ is isomorphic, as a crystal, to the connected compon…
Tensor product of irreducible modules of highest weight over a semi-simple quantum group is semi-simple if and only if a natural contravariant form is non-degenerate when restricted to the span of singular vectors. We express this restriction through the extremal projector of the quantum group providing a computationally feasible criterion for complete reducibility of tensor products.
We define the extremal projector of the $q$-boson Kashiwara algebra $B_q(\ge)$ and study their basic properties. Applying their proerties to the representation theory of the category ${\cal O}(B_q(\ge))$, whose objects are ''upper bounded '' $B_q(\ge)$-modules, we obtain its semi-simplicity and the classification of simple modules.
In this paper, we give a representation-theoretic interpretation of the specialization $E_{w_{\circ} λ} (q,\infty)$ of the nonsymmetric Macdonald polynomial $E_{w_{\circ} λ}(q,t)$ at $t=\infty$ in terms of the Demazure submodule $V_{w_\circ}^{-} (λ)$ of the level-zero extremal weight module $V(λ)$ over a quantum affine algebra of an arbitrary untwisted type, here, $λ$ is a dominant integral weight, and $w_{\circ}$ denotes the longest element in the finite Weyl group $W$. Also, for each $x \in W$, we obtain a combinatorial formula for the specialization $E_{x λ} (q, \infty)$ at $t=\infty$ of th…
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.
We construct a subcrystal of the Littelmann's path crystal whose formal character coincides with that of a certain simple integrable module of level zero over the untwisted affine Lie algebra associated to sl_n. We also establish an analogue of the Littlewood-Richardson rule for the tensor product of that crystal with a highest weight crystal.
We give a necessary and sufficient condition for an MV polytope $P$ in a highest weight crystal to lie in an arbitrary fixed Demazure crystal (resp., opposite Demazure crystal), in terms of the lengths of edges along a path through the 1-skeleton of $P$ corresponding to a reduced word for the longest element of the Weyl group $W$. % Also, we give an explicit description as a pseudo-Weyl polytope for extremal MV polytopes in a highest weight crystal. % Finally, by combining the results above, we obtain a polytopal condition for an MV polytope $P$ to lie in an arbitrary fixed opposite Demazure c…
Crystal base of the level 0 part of the modified quantum affine algebra $\widetilde U_q(\widehat{sl_2})_0$ is given by path. Weyl group actions, extremal vectors and crystal structure of all irreducible components are described explicitly.
Assuming the existence of the perfect crystal bases of Kirillov-Reshetikhin modules over simply-laced quantum affine algebras, we construct certain perfect crystals for twisted quantum affine algebras, and also provide compelling evidence that the constructed crystals are isomorphic to the conjectural crystal bases of Kirillov-Reshetikhin modules over twisted quantum affine algebras.
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…
In this paper, we develop the crystal basis theory for quantum generalized Kac-Moody algebras. For a quantum generalized Kac-Moody algebra $U_q(\mathfrak g)$, we first introduce the category $\mathcal O_{int}$ of $U_q(\mathfrak g)$-modules and prove its semisimplicity. Next, we define the notion of crystal bases for $U_q(\mathfrak g)$-modules in the category $\mathcal O_{int}$ and for the subalgebra $U_q^-(\mathfrak g)$. We then prove the tensor product rule and the existence theorem for crystal bases. Finally, we construct the global bases for $U_q(\mathfrak g)$-modules in the category $\math…
We give a parametrization for crystal bases of Demazure modules as a set of lattice points in some convex polytope and we also describe explicitly the extremal vectors as solutions of some system of linear equations.
In this paper, we give a new realization of crystal bases for irreducible highest weight modules over $U_q(G_2)$ in terms of monomials. We also discuss the natural connection between the monomial realization and tableau realization.
We show that every Weyl module for a current algebra has a filtration whose successive quotients are isomorphic to Demazure modules, and that the path model for a tensor product of level zero fundamental representations is isomorphic to a disjoint union of Demazure crystals. Moreover, we show that the Demazure modules appearing in these two objects coincide exactly. Though these results have been previously known in the simply laced case, they are new in the non-simply laced case.
We show that a crystal base exists for any Kirillov-Reshetikhin module of type $D_n^{(1)}$, generalizing the result of [(KMN)^2] for the end nodes of the Dynkin diagram of $D_n$.
For each $n\geqslant3$, we construct an uncountable family of models of the crystal of the basic $U_q(\hat{\mathfrak{sl}}_n)$-module. These models are all based on partitions, and include the usual $n$-regular and $n$-restricted models, as well as Berg's ladder crystal, as special cases.
In this paper, we study basic properties of global $\jmath$-crystal bases for integrable modules over a quantum symmetric pair coideal subalgebra $\mathbf{U}^{\jmath}$ associated to the Satake diagram of type AIII with even white nodes and no black nodes. Also, we obtain an intrinsic characterization of the $\jmath$-crystal bases, whose original definition is artificial.
We give a criterion for the Demazure crystal $B_w(λ)$ defined by Kashiwara to have a tensor product structure. We study the $\sln$ symmetric tensor case, and see some Demazure characters are expressed using Kostka-Foulkes polynomials.
We study, in the path realization, crystals for Demazure modules of affine Lie algebras of types $A^{(1)}_n,B^{(1)}_n,C^{(1)}_n,D^{(1)}_n, A^{(2)}_{2n-1},A^{(2)}_{2n}, and D^{(2)}_{n+1}$. We find a special sequence of affine Weyl group elements for the selected perfect crystal, and show if the highest weight is $l\La_0$, the Demazure crystal has a remarkably simple structure.
We study finite dimensional representations of current algebras, loop algebras and their quantized versions. For the current algebra of a simple Lie algebra of type {\tt ADE}, we show that Kirillov-Reshetikhin modules and Weyl modules are in fact all Demazure modules. As a consequence one obtains an elementary proof of the dimension formula for Weyl modules for the current and the loop algebra. Further, we show that the crystals of the Weyl and the Demazure module are the same up to some additional label zero arrows for the Weyl module. For the current algebra $\Lgc$ of an arbitrary simple Lie…
We give a simple description of the natural bijection between the set of FLOTW bipartitions and the set of Uglov bipartitions (which generalizes the set of Kleshchev bipartitions). These bipartitions, which label the crystal graphs of irreducible $\mathcal{U}\_v({\hat{\mathfrak{sl}}\_e})$-modules of level two, naturally appear in the context of the modular representation theory of Hecke algebras of type $B\_n$.
We introduce a quotient of the affine Temperley-Lieb category that encodes all weight-preserving linear maps between finite-dimensional sl(2)-representations. We study the diagrammatic idempotents that correspond to projections onto extremal weight spaces and find that they satisfy similar properties as Jones-Wenzl projectors, and that they categorify the Chebyshev polynomials of the first kind. This gives a categorification of the Kauffman bracket skein algebra of the annulus, which is well adapted to the task of categorifying the multiplication on the Kauffman bracket skein module of the tor…
We give a general way of representing the crystal (base) corresponding to the intgrable highest weight modules of quantum Kac-Moody algebras, which is called polyhedral realizations. This is applied to describe explicitly the crystal bases of integrable highest weight modules for arbitrary rank 2 Kac-Moody algebra cases, the classical A_n-case and the affine A^{(1)}_{n-1}-case.
We study the monomial crystal defined by the second author. We show that each component of the monomial crystal can be embedded into a crystal of an extremal weight module introduced by Kashiwara. And we determine all monomials appearing in the components corresponding to all level 0 fundamental representations of quantum affine algebras except for some nodes of $E_6^{(2)}$, $E_7^{(1)}$, $E_8^{(1)}$. Thus we obtain explicit descriptions of the crystals in these examples. We also give those for the corresponding finite dimensional representations. For classical types, we give them in terms of t…
This paper provides a combinatorial dictionary between three sets of objects: Bernstein-Zelevinsky multisegments, Kleshchev multipartitions, and the irreducible modules of the affine Hecke algebra $H_n$ (for generic $q$). In particular, we compute the action of the crystal operator $\tilde{e}_i$ (a refinement of socle of Restriction) on an irreducible module both in terms of its parameterization by multisegments and by multipartitions. In other words, we give explicit crystal graph isomorphisms. A byproduct is the determination of which multisegments parameterize modules of the {\it cyclotomic…
According to the Ringel-Green Theorem([G],[R1]), the generic composition algebra of the Hall algebra provides a realization of the positive part of the quantum group. Furthermore, its Drinfeld double can be identified with the whole quantum group([X],[XY]), in which the BGP-reflection functors coincide with Lusztig's symmetries. We first assert the elements corresponding to exceptional modules lie in the integral generic composition algebra, hence in the integral form of the quantum group. Then we prove that these elements lie in the crystal basis up to a sign. Eventually we show that the sign…
In this paper we describe a theory of (branched) crystals which is adapted to the study of representations in the BGG category $\cal O$ and which generalizes the theory of normal crystals of Kashiwara. In the case of $sl_2$ we show that one can associate (uniquely up to isomorphism) to every module in $\cal O$ a branched crystal . We show that the indecomposable modules in \cal O$ correspond to "indecomposable" branched crystals. We also define the tensor product of these crystals and show that for $sl_2$ the indecomposable components of the tensor product of branched crystals are the same as …
We apply the crystal basis theory for Fock spaces over quantum affine algebras to the modular representations of the cyclotomic Hecke algebras of type $G(p,p,n)$. This yields a classification of simple modules over these cyclotomic Hecke algebras in the non-separated case, generalizing our previous work [J. Hu, J. Algebra 267 (2003) 7-20]. The separated case was completed in [J. Hu, J. Algebra 274 (2004) 446--490]. Furthermore, we use Naito--Sagaki's work [S. Naito & D. Sagaki, J. Algebra 251 (2002) 461--474] on Lakshmibai--Seshadri paths fixed by diagram automorphisms to derive explicit formu…
We show that the different labelings of the crystal graph for irreducible highest weight $\mathcal{U}\_q (\hat{\mathfrak{sl}}\_e)$-modules lead to different labelings of the simple modules for non semisimple Ariki-Koike algebras by using Lusztig $a$-values.
We construct a crystal basis for the negative half of the quantum group U associated to the standard super Cartan datum of gl(m|1), which is compatible with known crystals on Kac modules and simple modules. We show that these crystals admit globalization functions which produce compatible canonical bases. We then define a braid group action on a family of quantum groups including U, and use this action to show that our canonical basis agrees with those constructed from PBW bases. Finally, we explicitly compute some small-rank examples.
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…
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…
We investigate the interplay of crystal bases and completions in the sense of Enright on certain nonintegrable representations of quantum groups. We define completions of crystal bases, show that this notion of completion is compatible with Enright's completion of modules, prove that every module in our category has a crystal basis which can be completed and that a completion of the crystal lattice is unique. Furthermore, we give two constructions of the completion of a crystal lattice.
Let $V(Λ_i)$ (resp., $V(-Λ_j)$) be a fundamental integrable highest (resp., lowest) weight module of $U_q(\hat{sl}_{2})$. The tensor product $V(Λ_i)\otimes V(-Λ_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(Λ_i)$ is the highest vector and $\bar{v}_{n-i}\in V(-Λ_j)$ is an extremal vector. We show that $F_n/F_{n+2}$ is isomorphic to the level 0 extremal weight module $V(n(Λ_1-Λ_0))$. Using this we give a functional realization of the completion of $V(Λ_i)\otimes V(-Λ_j)$ by the filtration $(F_n)_{n\geq0}$. The subsp…
We give an expression of the $q$-analogues of the multiplicities of weights in irreducible $\sl_{n+1}$-modules in terms of the geometry of the crystal graph attached to the corresponding $U_q(\sl_{n+1})$-modules. As an application, we describe multivariate polynomial analogues of the multiplicities of the zero weight, refining Kostant's generalized exponents.
