HEXAGONbeta

Positivity of Canonical Basis Multiplication in Modified Quantum Groups

A mix of human-written and AI-generated textHuman understanding: some partsmath.QA — Quantum Algebramath.RT — Representation Theory

Contributed by Qiyue Tang ↗

Version 1 / Nov 07, 2026 / CC BY 4.0

Abstract

We prove the multiplication part of Lusztig’s positivity conjecture for symmetric Cartan data.

Provenance statement

GPT-6-Pro was used to develop the proof. The recorded research session lasted 5 hours, 45 minutes, and 46 seconds. Codex was used to review the proof and revise the exposition. A Rethlas-OSV review is planned, and its findings will be reported in a later version.

References

  1. A. A. Beilinson, G. Lusztig and R. MacPherson, A geometric setting for the quantum deformation of GLn\mathrm{GL}_n , Duke Math. J. 61 (1990), 655--677.
  2. A. Beliakova, K. Habiro, A. D. Lauda and B. Webster, Cyclicity for categorified quantum groups , J. Algebra 452 (2016), 118--132.
  3. J. Brundan, On the definition of Kac--Moody 2-category , Math. Ann. 364 (2016), 353--372.
  4. J. Brundan and N. Davidson, Categorical actions and crystals , in Categorification and Higher Representation Theory , Contemp. Math. 683 , Amer. Math. Soc., Providence, RI, 2017, 105--147.
  5. J. Fang and X. He, Thickening realization and positivity properties of canonical bases , arXiv:2609.06676v1 (https://arxiv.org/abs/2609.06676v1), 2026.arXiv
  6. J. Fang and Y. Lan, Canonical bases of tensor products of integrable highest weight modules arising from framed constructions , Int. Math. Res. Not. IMRN (2025), no. 24, rnaf360.
  7. Z. Fan and Y. Li, Positivity of canonical bases under comultiplication , Int. Math. Res. Not. IMRN (2021), no. 9, 6871--6931.
  8. Q. Fu and T. Shoji, Positivity properties for canonical bases of modified quantum affine sln\mathfrak{sl}_n , Math. Res. Lett. 25 (2018), 535--559.
  9. I. Grojnowski and G. Lusztig, A comparison of bases of quantized enveloping algebras , in Linear Algebraic Groups and Their Representations , Contemp. Math. 153 , Amer. Math. Soc., Providence, RI, 1993, 11--19.
  10. S.-J. Kang and M. Kashiwara, Categorification of highest weight modules via Khovanov--Lauda--Rouquier algebras , Invent. Math. 190 (2012), 699--742.
Show all 22 referencesShow fewer references
  1. M. Kashiwara, On crystal bases of the qq-analogue of universal enveloping algebras , Duke Math. J. 63 (1991), 465--516.
  2. M. Khovanov and A. D. Lauda, A diagrammatic approach to categorification of quantum groups III , Quantum Topol. 1 (2010), 1--92.
  3. Y. Li, A geometric realization of modified quantum algebras , arXiv:1007.5384v4 (https://arxiv.org/abs/1007.5384v4), 2012.arXiv
  4. G. Lusztig, Canonical bases arising from quantized enveloping algebras , J. Amer. Math. Soc. 3 (1990), 447--498.
  5. G. Lusztig, Quivers, perverse sheaves, and quantized enveloping algebras , J. Amer. Math. Soc. 4 (1991), 365--421.
  6. G. Lusztig, Canonical bases in tensor products , Proc. Natl. Acad. Sci. USA 89 (1992), 8177--8179.
  7. G. Lusztig, Introduction to Quantum Groups , Progr. Math. 110 , Birkhäuser, Boston, 1993.
  8. H. Murata, A diagrammatic approach to reflection functors , arXiv:2506.17070v4 (https://arxiv.org/abs/2506.17070v4), 2026.arXiv
  9. R. Rouquier, Quiver Hecke algebras and 2-Lie algebras , Algebra Colloq. 19 (2012), 359--410.
  10. O. Schiffmann and E. Vasserot, Geometric construction of the global base of the quantum modified algebra of gl^n\widehat{\mathfrak{gl}}_n , Transform. Groups 5 (2000), 351--360.
  11. M. Varagnolo and E. Vasserot, Canonical bases and KLR-algebras , J. Reine Angew. Math. 659 (2011), 67--100.
  12. B. Webster, Canonical bases and higher representation theory , Compos. Math. 151 (2015), 1215--1261.

Version history

  1. v1 · 27 pagesSubmitted by Qiyue TangInitial depositCurrentNov 07, 2026