Crystal Bases for Quantum Generalized Kac-Moody Algebras

Following Kashiwara's algebraic approach in one-parameter case, we construct crystal bases for two-parameter quantum algebras and for their integrable modules. We also show that the global crystal basis coincides with the canonical basis geometrically constructed by Fan and Li up to a 2-cocycle deformation.

A Littelmann path model is constructed for crystals pertaining to a not necessarily symmetrizable Borcherds-Cartan matrix. Here one must overcome several combinatorial problems coming from the imaginary simple roots. The main results are an isomorphism theorem and a character formula of Borcherds-Kac-Weyl type for the crystals. In the symmetrizable case, the isomorphism theorem implies that the crystals constructed by this path model coincide with those of Jeong, Kang, Kashiw...

For a dominant integral weight $lambda $, we introduce a family of $U_q ^+ (mathfrak{g})$-submodules $V_w (lambda)$ of the irreducible highest weight $U_q (mathfrak{g})$-module $V(lambda)$ of highest weight $lambda $ for a generalized Kac--Moody algebra $mathfrak{g}$. We prove that the module $V_w (lambda)$ is spanned by its global basis, and then give a character formula for $V_w (lambda)$, which generalizes the Demazure character formula for ordinary Kac--Moody algebras.

Colored planar rook algebra is a semigroup algebra in which the basis element has a diagrammatic description. The category of finite dimensional modules over this algebra is completely reducible and suitable functors are defined on this category so that it admits a crystal structure in the sense of Kashiwara. We show that the category and functors categorify the crystal bases for the polynomial representations of quantized enveloping algebra $U_q(gl_{n+1})$.

This paper is a continuation of the series of papers "Quantization of Lie bialgebras (QLB) I-V". We show that the image of a Kac-Moody Lie bialgebra with the standard quasitriangular structure under the quantization functor defined in QLB-I,II is isomorphic to the Drinfeld-Jimbo quantization of this Lie bialgebra, with the standard quasitriangular structure. This implies that when the quantization parameter is formal, then the category O for the quantized Kac-Moody algebra is...

Let $ \mathfrak{g} $ be an untwisted affine Kac-Moody algebra over the field $ K \, $, and let $ U_q(\mathfrak{g}) $ be the associated quantum enveloping algebra; let $ \mathfrak{U}_q(g) $ be the Lusztig's integer form of $ U_q(\mathfrak{g}) \, $, generated by $ q $-divided powers of Chevalley generators over a suitable subring $ R $ of $ K(q) \, $. We prove a Poincar\'e-Birkhoff-Witt like theorem for $ \mathfrak{U}_q(\mathfrak{g}) \, $, yielding a basis over $ R $ made of or...

Henriques and Kamnitzer have defined a commutor for the category of crystals of a finite-dimensional complex reductive Lie algebra that gives it the structure of a coboundary category (somewhat analogous to a braided monoidal category). Kamnitzer and Tingley then gave an alternative definition of the crystal commutor, using Kashiwara's involution on Verma crystals, that generalizes to the setting of symmetrizable Kac-Moody algebras. In the current paper, we give a geometric i...

For quantum symmetric pairs $(\mathbf{U}, \textbf{U}^\imath)$ of Kac-Moody type, we construct $\imath$canonical bases for the highest weight integrable $\mathbf{U}$-modules and their tensor products regarded as $\mathbf{U}^\imath$-modules, as well as an $\imath$canonical basis for the modified form of the $\imath$quantum group $\mathbf{U}^\imath$. A key new ingredient is a family of explicit elements called $\imath$divided powers, which are shown to generate the integral form...

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.

Let $\mathfrak{g}$ be a symmetrizable Kac-Moody algebra, $U_q(\mathfrak{g})$ its quantum group, and $U_q(\mathfrak{k}) \subset U_q(\mathfrak{g})$ a quantum symmetric pair subalgebra determined by a distinguished Lie algebra automorphism $\theta$. We introduce a category $W_\theta$ of \emph{weight} $U_q(\mathfrak{k})$-modules, which is acted upon by the category of weight $U_q(\mathfrak{g})$-modules via tensor products. We construct a universal tensor K-matrix $\mathbb{K}$ (th...