Quantum double of {\rm U}_q((\ksl₂)^{\leq 0})

arXivmath/0512563MaRDI QIDQ6476501FDOQ6476501

Publication date: 25 December 2005

Abstract: Let

U_{q} (s l_{2})

be the quantized enveloping algebra associated to the simple Lie algebra

s l_{2}

. In this paper, we study the quantum double

D_{q}

of the Borel subalgebra

U_{q} ((s l_{2})^{l e q 0})

of

U_{q} (s l_{2})

. We construct an analogue of Kostant--Lusztig

Z [v, v^{- 1}]

-form for

D_{q}

and show that it is a Hopf subalgebra. We prove that, over an algebraically closed field, every simple

D_{q}

-module is the pullback of a simple

U_{q} (s l_{2})

-module through certain surjection from

D_{q}

onto

U_{q} (s l_{2})

, and the category of finite dimensional weight

D_{q}

-modules is equivalent to a direct sum of

| k^{i m e s} |

copies of the category of finite dimensional weight

U_{q} (s l_{2})

-modules. As an application, we recover (in a conceptual way) Chen's results as well as Radford's results on the quantum double of Taft algebra. Our main results allow a direct generalization to the quantum double of the Borel subalgebra of the quantized enveloping algebra associated to arbitrary Cartan matrix.

This page was built for publication: Quantum double of ${\rm U}_q((\ksl_2)^{\leq 0})$

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