Related papers: Canonical bases of tensor products and positivity …
Given a quantum group, we prove that the canonical bases of the tensor products of its integrable highest weight modules can be obtained from the canonical bases of the integrable highest weight modules of a bigger quantum group. As a…
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…
We construct canonical bases in tensor products of several lowest and highest weight integrable modules, generalizing Lusztig's work.
The positivity property for canonical bases asserts that the structure constants of the multiplication for the canonical basis are in ${\mathbb N}[v,v^{-1}]$. Let $\mathbf U$ be the quantum group over ${\mathbb Q}(v)$ associated with a…
For the quantum symmetric pair $(\textbf{U}, \textbf{U}^{\imath})$ of type AIII/AIV, we show various positivity properties of the $\imath$-canonical bases on finite-dimensional simple $\textbf{U}$-modules, as well as their tensor product.
We generalize a construction in [BW18] (arXiv:1610.09271) by showing that the tensor product of a based $\textbf{U}^{\imath}$-module and a based $\textbf{U}$-module is a based $\textbf{U}^{\imath}$-module. This is then used to formulate a…
We obtain a family of explicit "polyhedral" combinatorial expressions for multiplicities in the tensor product of two simple finite-dimensional modules over a complex semisimple Lie algebra. Here "polyhedral" means that the multiplicity in…
Using the tensor product variety introduced by Malkin and Nakajima, the complete structure of the tensor product of a finite number of integrable highest weight modules of U_q(sl_2) is recovered. In particular, the elementary basis,…
We consider tensor products of finite-dimensional representations of a coideal subalgebra in $U_{q}(\mathfrak{sl}_2)$. We present an explicit expression for the dual of the canonical bases through a diagrammatic presentation. We show that…
We develop a general theory of canonical bases for quantum symmetric pairs $(\mathbf{U}, \mathbf{U}^\imath)$ with parameters of arbitrary finite type. We construct new canonical bases for the simple integrable $\mathbf{U}$-modules and their…
In this paper, we investigate a connection between convolution products for quiver Hecke algebras and tensor products for quantum groups. We give a categorification of the natural projection $ \pi_{\lambda, \mu} :…
For $\imath$quantum covering groups $(\mathbf{U}, \mathbf{U}^\imath)$ of super Kac-Moody type, we construct $\imath$-canonical bases for the highest weight integrable $\mathbf{U}$-modules and their tensor products regarded as…
We categorify the highest weight integrable representations and their tensor products of a symmetric quantum Kac-Moody algebra. As byproducts, we obtain a geometric realization of Lusztig's canonical bases of these representations as well…
We describe the algebraic ingredients of a proof of the conjecture of Frenkel and Ip that the category of positive representations $\mathcal{P}_\lambda$ of the quantum group $U_q(\mathfrak{sl}_{n+1})$ is closed under tensor products. Our…
By using characteristic cycles, we build a morphism from the canonical bases of integrable highest weight modules of quantum groups to the top Borel-Moore homology groups of Nakajima's quiver and tensor product varieties, and compare the…
We study the tensor product decomposition of the split real quantum group $U_{q\tilde{q}}(sl(2,R))$ from the perspective of finite dimensional representation theory of compact quantum groups. It is known that the class of positive…
Given a quantized enveloping algebra $U_q(\mathfrak g)$ and a pair of dominant weights ($\lambda$, $\mu$), we extend a conjecture raised by Lusztig in \cite{Lusztig:1992}to a more general form and then prove this extended Lusztig's…
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 Lie algebra automorphism $\theta$. We…
We construct a basis for a modified quantum group of finite type, extending the PBW bases of positive and negative halves of a quantum group. Generalizing Lusztig's classic results on PBW bases, we show that this basis is orthogonal with…
In the present article, a basis of the coordinate algebra of the multi-parameter quantized matrix is constructed by using an elementary method due to Lusztig. The construction depends heavily on an anti-automorphism, the bar action. The…