Quantum double of \(\text U_q((\mathfrak{sl}_2)^{\leqslant 0})\) (Q2466498)

Let \(k\) be a field, \(q\) in \(k\) such that \(q^2\) is not 1. The quantum universal enveloping algebra \(U_q=U_q(sl(2))\) is generated by skew-primitives \(E\) and \(F\) and invertible group-like \(K\) with well-known relations (e.g., \(KE=(q^2)EK\)). Let \((U_q)^P\) be the subalgebra generated by \(E\) and \(K\), \((U_q)^N\) the subalgebra generated by \(F\) and \(K\). These are Hopf subalgebras of \(U_q\). There is a well-known pairing of \((U_q)^P\) and \((U_q)^N\) to \(k\). The tensor product of \((U_q)^P\) and \((U_q)^N\) has a Hopf algebra structure, called the quantum double \(D_q\). The coalgebra structure is that of the tensor product of two coalgebras, but the algebra structure involves the pairing. \(D_q\) is generated as an algebra by \(E, F, K\) and \(K'\), with familiar relations including \((q-q^{-1})(EF-FE)=K-(K')^{-1}\). The main section of the paper constructs an analogue for \(D_q\) of the Kostant-Lusztig \(Z[v, v^{-1}]\)-form for \(U_q\). Another section discusses relations between representations of \(D_q\) and of \(U_q\), assuming \(k\) is algebraically closed. A \(D_q\)-module is called a weight \(D_q\)-module if both \(K\) and \(K'\) act semisimply on it, whereas a \(U_q\)-module is called a weight \(U_q\)-module if \(K\) acts semisimply on it. It is shown that every finite-dimensional simple (respectively indecomposabe weight) \(D_q\)-module is the pullback of a finite-dimensional simple (respectively indecomposable weight) \(U_q\)-module through as algebra homomorphism of \(D_q\) to \(U_q\), and that the category of finite-dimensional weight \(D_q\)-modules is equivalent to a direct sum of \(|k^*|\) copies of the category of finite-dimensional weight \(U_q\)-modules. Another section gives the relation of \(D_q\) to the Taft Hopf algebras, where \(k\) is algebraically closed and \(q^2\) is a primitive root of unity. A final section gives a generalization to the case of an arbitrary Cartan matrix.