English

Representations of quantized function algebras and the transition matrices from Canonical bases to PBW bases

Quantum Algebra 2015-07-06 v3 Representation Theory

Abstract

Let GG be a connected simply-connected simple complex algebraic group and g\mathfrak{g} the corresponding simple Lie algebra. In the first half of the present paper, we study the relation between the positive part Uq(n+)U_q(\mathfrak{n^+}) of the quantized enveloping algebra Uq(g)U_q(\mathfrak{g}) and the specific irreducible representations of the quantized function algebra Qq[G]\mathbb{Q}_q[G], taking into account the right Uq(g)U_q(\mathfrak{g})-algebra structure of Qq[G]\mathbb{Q}_q[G]. This work is motivated by Kuniba, Okado and Yamada's result together with Tanisaki and Saito's results. In the latter half, we calculate the transition matrices from the canonical basis to the PBW bases of Uq(n+)U_q(\mathfrak{n^+}) using the above relation. Consequently, we show that the constants arising from our calculation are described by the structure constants for the comultiplication of Uq(g)U_q(\mathfrak{g}). In particular, when g\mathfrak{g} is of type ADEADE, this result implies the positivity of the transition matrices, which was originally proved by Lusztig in the case when the PBW bases are associated with the adapted reduced words of the longest element of the Weyl group, and by Kato in arbitrary cases. In fact, the constants in our calculation coincide with ones arising from the calculation using the bilinear form on Uq(n±)U_q(\mathfrak{n}^{\pm}). We explain this coincidence in Appendix.

Keywords

Cite

@article{arxiv.1501.01416,
  title  = {Representations of quantized function algebras and the transition matrices from Canonical bases to PBW bases},
  author = {Hironori Oya},
  journal= {arXiv preprint arXiv:1501.01416},
  year   = {2015}
}

Comments

47 pages, v2:added Cor 3.11, 3.12 Prop 4.14, 4.17 and Appendix. The proof of Theorem 5.15 (in this version) was simplified by Proposition 4.17. The definitions of the PBW bases of U_q(n^-) and \ket{m} were changed, v3:modified Abstract and Introduction. added references and Remark A.8. Some proofs were shortened