Diagram automorphisms and canonical bases for quantized enveloping algebras (Q2097267): Difference between revisions

Let \(X\) be the Cartan datum corresponding to a Kac-Moody algebra \(g\), let \(\sigma : X \rightarrow X\) be the diagram automorphism of \(X.\) The pair \((X, \sigma)\) induces a Cartan datum \(X\), which corresponds to the orbit algebra \(g^{\sigma}\) of \(g\). Let Let \(\underline{U_q}\) be the negative part of the quantized enveloping algebra \(U_q\) associated to \(X\). The main result of the present paper is the following one. Assume that the exists the canonical basis \(B\) for \({U_q}^-\). Denote by \(B^{\sigma}\) the set of \(\sigma\)-fixed elements in \(B\). Let \(\tilde{B}\) be \(B\cup -B\). Then the authors construct the canonical signed basis \(\tilde{\mathcal{B}}\) of \(\underline{U^-_q}\) and a natural bijection \(\sigma: \tilde{B^{\sigma}}\rightarrow \tilde{\mathcal{B}} \) in an elementary way, without appealing the geometric theory, nor the theory of crystal basis.