Piecewise linear parametrization of canonical bases (Q635869): Difference between revisions

In the author's paper [(*) J. Am. Math. Soc. 3, 447--498 (1990; Zbl 0703.17008)] the canonical bases in the plus part of the quantum enveloping algebras of types \(A\), \(D\) and \(E\) was constructed. Later this construction was generalized by the author to the nonsimply-laced case in [Introduction to quantized enveloping algebras. New developments in Lie theory and their applications, Proc. 3rd Workshop Represent. Theory Lie Groups Appl., Córdoba/Argent. 1989, Prog. Math. 105, 49--65 (1992; Zbl 0767.17014)]. In (*) it was found that in the simply-laced case the set of elements of the canonical base has a piecewise linear structure. This means that this set possesses a collection of bijections with \(\mathbb{N}^{\mathbb{N}}\) such that any two automorphisms differ by composition with a piecewise linear automorphism of \(\mathbb{N}^{\mathbb{N}}\) (an automorphism which can be expressed in terms of operations \(a+b\), \(a-b\), \(\min(a,b)\)). The main result of the paper under review is a construction of an analogous piecewise-linear structure in the nonsimply-laced case. The structure of the paper is the following. In sections 1.1--1.6 the Cartan datum is defined. The Cartan datum is a finite set of indices \(I\) together with a symmetric positive defined matrix \((i\cdot j)\) of integers indexed by \(I\times I\) such that a) \(i\cdot i\in 2\mathbb{N}_{>0}\) b) \(2\frac{i\cdot j}{i\cdot i}\in -\mathbb{N}\) for \(i\neq j\). The notion of a simply-laced Cartan datum is defined. With each Cartan datum its Weil group is associated. For permutations \(\sigma\) of \(I\) such that \(\sigma(i)\cdot\sigma(j)=i\cdot j\) on the set \(\underline{I}\) of orbits of \(\sigma\) the Cartan datum is defined. Then in the section 1.7 the construction of set \(\mathcal{B}\), parameterizing the canonical bases from (*) is presented. In the simply-laced case this set comes with a collection of bijections \(K^{\mathbb{N}}\rightarrow \mathcal{B}\), where \(K\simeq \mathbb{N}\). The bijections differ by an automorphism of \(\mathcal{N}\) which is expressed through the operations \(a+b\), \(a-b\), \(\min(a,b)\). In the rest part of the section 1 the case of the nonsimply-laced Cartan datum \(\underline{I}\), obtained by twisting of a simply-laced Cartan datum by a permutation \(\sigma\) is considered. The permutation \(\sigma\) acts naturally on the set \(\mathcal{B}\) and there exists a bijection \(\underline{\mathcal{B}}\leftrightarrow \mathcal{B}^{\sigma}\). Here \(\mathcal{B}^{\sigma}\) is a set of fixed points of \(\sigma\) in \(\mathcal{B}\) and \(\underline{\mathcal{B}}\) is a set parameterizing the canonical bases for the Cartan datum \(\underline{I}\). This identification allows to define a piecewise linear structure on \(\underline{\mathcal{B}}\). As an application in the section 2 it is shown that the canonical bases has a natural monoid structure, a certain ``Frobenius'' endomorphism of this monoid is defined.