Canonical bases of tensor products and positivity properties
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908956176154624 |
|---|---|
| author | Fang, Jiepeng He, Xuhua |
| author_facet | Fang, Jiepeng He, Xuhua |
| contents | Let $\mathbf{U}$ be a quantum group of symmetric type. We introduce the {\it thickening realization} to realize (a suitable approximation of) the tensor product ${^ωΛ_{λ_1}}\otimes Λ_{λ_2}$ of a simple integrable lowest weight module and a highest weight module as a subquotient of the Verma module of a larger quantum group $\tilde{\mathbf{U}}$. For the canonical basis of the tensor product, we show that the entries of the transition matrix from the pure tensor basis to it, and the structure constants of the action by spherical parabolic subalgebras of the modified quantum group $\dot{\mathbf{U}}$ are given by the structure constants of the comultiplication and multiplication in the negative part $\tilde{\mathbf{U}}^-$ of $\tilde{\mathbf{U}}$ with respect to its canonical basis respectively. Thus, we deduce the positivity property of the canonical basis of the tensor product.
In particular, we obtain the positivity property of the canonical bases for the action of $\dot{\mathbf{U}}$ on simple integrable highest weight modules, generalizing Lusztig's theorem from Chevalley generators to any canonical basis elements of $\dot{\mathbf{U}}$; for the action of Chevalley generators on ${^ωΛ_{λ_1}}\otimes Λ_{λ_2}$; and for multiplication in $\dot{\mathbf{U}}$, as well as the actions on arbitrary tensor products. At $v=1$, these results connect to geometric total positivity on double flag varieties, explored in the joint work of He and Xie. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_12154 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Canonical bases of tensor products and positivity properties Fang, Jiepeng He, Xuhua Quantum Algebra Representation Theory 17B37, 20G42 Let $\mathbf{U}$ be a quantum group of symmetric type. We introduce the {\it thickening realization} to realize (a suitable approximation of) the tensor product ${^ωΛ_{λ_1}}\otimes Λ_{λ_2}$ of a simple integrable lowest weight module and a highest weight module as a subquotient of the Verma module of a larger quantum group $\tilde{\mathbf{U}}$. For the canonical basis of the tensor product, we show that the entries of the transition matrix from the pure tensor basis to it, and the structure constants of the action by spherical parabolic subalgebras of the modified quantum group $\dot{\mathbf{U}}$ are given by the structure constants of the comultiplication and multiplication in the negative part $\tilde{\mathbf{U}}^-$ of $\tilde{\mathbf{U}}$ with respect to its canonical basis respectively. Thus, we deduce the positivity property of the canonical basis of the tensor product. In particular, we obtain the positivity property of the canonical bases for the action of $\dot{\mathbf{U}}$ on simple integrable highest weight modules, generalizing Lusztig's theorem from Chevalley generators to any canonical basis elements of $\dot{\mathbf{U}}$; for the action of Chevalley generators on ${^ωΛ_{λ_1}}\otimes Λ_{λ_2}$; and for multiplication in $\dot{\mathbf{U}}$, as well as the actions on arbitrary tensor products. At $v=1$, these results connect to geometric total positivity on double flag varieties, explored in the joint work of He and Xie. |
| title | Canonical bases of tensor products and positivity properties |
| topic | Quantum Algebra Representation Theory 17B37, 20G42 |
| url | https://arxiv.org/abs/2510.12154 |