PBW bases for modified quantum groups

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 respect to its natural bilinear form (and hence called a PBW basis), and moreover, the matrix for the PBW-expansion of the canonical basis is unital triangular. All these follow by a new construction of the modified quantum group of arbitrary type, which is built on limits of sequences of elements in tensor products of lowest and highest weight modules. Explicitly formulas are worked out in the rank one case. Dedicated to George Lusztig with admiration and appreciation

[1]  Syu Kato.  Poincaré–Birkhoff–Witt bases and Khovanov–Lauda–Rouquier algebras , 2014 .

[2]  George Lusztig,et al.  Canonical bases arising from quantized enveloping algebras , 1990 .

[4]  Masaki Kashiwara,et al.  Global crystal bases of quantum groups , 1993 .

[5]  R. Rouquier.  Quiver Hecke Algebras and 2-Lie Algebras , 2011, 1112.3619.

[6]  Weiqiang Wang,et al.  Formulae of ı-divided powers in Uq(sl2) , 2017, Journal of Pure and Applied Algebra.

[7]  M. Kashiwara,et al.  On crystal bases of the $Q$-analogue of universal enveloping algebras , 1991 .

[8]  E. Vasserot,et al.  Canonical bases and KLR-algebras , 2011 .

[9]  Peter J. McNamara,et al.  Homological properties of finite type Khovanov-Lauda-Rouquier algebras , 2012, 1210.6900.

[10]  Weiqiang Wang,et al.  A New Approach to Kazhdan-lusztig Theory of Type $b$ Via Quantum Symmetric Pairs , 2013, 1310.0103.

[11]  Hironori Oya.  Representations of quantized coordinate algebras via PBW-type elements , 2018 .

[12]  G. Lusztig,et al.  Canonical bases in tensor products. , 1992, Proceedings of the National Academy of Sciences of the United States of America.

[13]  An Algebraic Characterization of the Affine Canonical Basis , 1998, math/9808060.

[14]  B. Webster.  Canonical bases and higher representation theory , 2012, Compositio Mathematica.

[15]  G. Lusztig.  Quivers, perverse sheaves, and quantized enveloping algebras , 1991 .

[16]  Aaron D. Lauda,et al.  A categorification of quantum sl(n) , 2008, 0807.3250.