Piecewise linear parametrization of canonical bases

DOI10.4310/PAMQ.2011.V7.N3.A8MaRDI QIDQ635869zbMATH OpenOpenAlexFDO

Publication date 24 August 2011

Published in Pure and Applied Mathematics Quarterly (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0807.2824

canonical basis Cartan datum piecewise linear quantized enveloping algebra

Ring-theoretic aspects of quantum groups (16T20) Connections of Hopf algebras with combinatorics (16T30) Quantum groups (quantized enveloping algebras) and related deformations (17B37)

Abstract: We extend the known piecewise linear parametrization of the canonical basis of the plus part of an enveloping algebra of type ADE to the nonsimplylaced case.

Review text

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.

Recommendations

Cited in

(17)

This page was built for publication: Piecewise linear parametrization of canonical bases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q635869)