PBW bases for modified quantum groups

TL;DR

This paper constructs a new PBW basis for modified quantum groups of finite type, generalizing classical results, and demonstrates its orthogonality and triangular relations with the canonical basis.

Contribution

It introduces a novel construction of the modified quantum group for arbitrary type, extending PBW bases and analyzing their properties.

Findings

The PBW basis is orthogonal with respect to its bilinear form.

The matrix for PBW-expansion of the canonical basis is unital triangular.

Explicit formulas are provided in the rank one case.

Abstract

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.