We give a fast algorithm for computing the canonical basis of an irreducible highest-weight module for $U_q(\hat{\mathfrak{sl}}_e)$, generalising the LLT algorithm.
Let ${\mathbf U}^-_q$ be the negative part of the quantum enveloping algebra associated to a simply laced Kac-Moody Lie algebra ${\mathfrak g}$, and $\underline{\mathbf U}^-_q$ the algebra corresponding to the fixed point subalgebra of ${\mathfrak g}$ obtained from a diagram automorphism $σ$ on ${\mathfrak g}$. Let ${\mathbf B}^σ$ be the set of $σ$-fixed elements in the canonical basis of ${\mathbf U}_q^-$, and $\underline{\mathbf B}$ the canonical basis of $\underline{\mathbf U}_q^-$. Lusztig proved that there exists a canonical bijection ${\mathbf B}^σ \simeq \underline{\mathbf B}$ based on …
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 $\mathbf{U}^\imath$-modules, as well as a canonical basis for the modified form of the $\imath$quantum group $\mathbf{U}^\imath$, using the $\imath^π$-divided powers, rank one canonical basis for $\mathbf{U}^\imath$.
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.
Denote by $N \subset SL_k$ the subgroup of unipotent upper triangular matrices. In this paper, we show that the dual canonical basis of $\mathbb{C}[N]$ (and base affine spaces) can be parameterized by semi-standard Young tableaux. Moreover, we give an explicit formula for every element in the the dual canonical basis using the data of the corresponding semistandard Young tableau. We apply our results to study cluster variables in $\mathbb{C}[N]$.
It has been known since their birth in Bao and Wang's work that the $\imath$canonical bases of $\imath$quantum groups are not stable in general. In the author's previous work, the stability of $\imath$canonical bases of certain quasi-split types turned out to be closely related to the theory of $\imath$crystals. In this paper, we prove the stability of $\imath$canonical bases of irreducible finite type of real rank $1$, for which the theory of $\imath$crystals has not been developed, by means of global and local crystal bases.
Expanding the classical work of Kazhdan-Lusztig, we construct a bar involution and canonical bases on the $q$-Brauer algebra introduced by Wenzl. We define explicit actions of the $q$-Brauer algebra on the tensor spaces, and formulate $\imath$Schur dualities between the $q$-Brauer algebra and the $\imath$quantum groups of type AI and AII respectively.
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 tensor products regarded as $\mathbf{U}^\imath$-modules. We also construct a canonical basis for the modified form of the $\imath$quantum group $\mathbf{U}^\imath$. To that end, we establish several new structural results on quantum symmetric pairs, such as bilinear forms, braid group actions, integral forms, Levi subalgebras (of real rank one), and integra…
Let ${\mathbf U}^-_q$ be the negative part of the quantized enveloping algebra associated to a Kac-Moody algebra ${\mathfrak g}$ of symmetric type, and $\underline{\mathbf U}^-_q$ the algebra corresponding to the orbit algebra ${\mathfrak g}^σ$ obtained from an admissible diagram automorphism $σ$ on ${\mathfrak g}$. Lusztig consructed the canonical basis ${\mathbf B}$ of ${\mathbf U}_q^-$ and the canonical signed basis $\underline{\widetilde{\mathbf B}}$ of $\underline{\mathbf U}_q^-$ by making use of the geometric theory of quivers. He proved that there is a natural bijection $\widetilde{\mat…
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 of $\dot{\bf{U}}^\imath$. We prove a conjecture of Balagovic-Kolb, removing a major technical assumption in the theory …