Semicanonical Bases Arising from Enveloping Algebras

Abstract

Let U+ be the plus part of the enveloping algebra of a Kac-Moody Lie algebra g with a symmetric Cartan datum. In [L1] we have defined a canonical basis of U+ under the assumption that the Cartan datum is of finite type; this was later generalized to Cartan data of possibly infinite type in [K, L3]. The basis of U+ is obtained from a canonical basis of the quantized version of U+ by specializing the quantum parameter to 1. In [L4] we have constructed a basis of U+ in terms of constructible functions on a Lagrangian variety, assuming that the Cartan datum is of affine type. (The same construction applies for Cartan data of finite type.) This basis will be called the semicanonical basis of U+. In this paper we extend the definition of semicanonical basis to include the case where the Cartan datum is not necessarily of affine or finite type. While the semicanonical basis is not necessarily the same as the canonical basis, we will show that the semicanonical basis has a number of properties in common with the canonical basis: compatibility with various filtrations of U+, compatibility with the canonical antiautomorphism of U+. © 2000 Academic Press.