Thickening realization and positivity properties of canonical bases

Abstract

Let $\mathbf{U}$ be a quantum group associated with a symmetric Cartan datum, let $\dot{\mathbf{U}}$ be its modified form, and let $\dot{\mathbf{B}}$ be the canonical basis of $\dot{\mathbf{U}}$. Lusztig conjectured that the structure constants of the multiplication, comultiplication, and bilinear form in $\dot{\mathbf{U}}$ with respect to $\dot{\mathbf{B}}$ belong to $\mathbb{N}[v,v^{-1}]$. We introduce the \emph{thickening realization}, which relates $\dot{\mathbf{B}}$ to the canonical basis of the negative part of a larger quantum group ${\tilde{\mathbf{U}}}^{-}$. More precisely, it identifies the relevant structure constants in $\dot{\mathbf{U}}$ with the structure constants in ${\tilde{\mathbf{U}}}^{-}$. As consequences, we prove, for arbitrary symmetric Cartan datum, $\dot{\mathbf{B}}$ has the positivity properties for the comultiplication and bilinear form, as well as the positivity for the multiplication whenever one factor is spherical parabolic. In particular, Lusztig's conjecture holds for simply-laced finite type. We also prove the canonical bases of a broad class of tensor products of integrable modules have the positivity properties for the transition matrices and actions by $\dot{\mathbf{B}}$.

46 pages. This paper supersedes arXiv:2510.12154 and establishes substantially stronger results