Comodules of \(U_q(sl_2)\) and modules of \(\text{SL}_q(2)\) via quiver methods (Q995636)

Since the beginning of the study of quantum groups, the duality between a quantized enveloping algebra of a Lie algebra and the quantized function ring on the corresponding Lie group has been known and exploited. This paper concerns the construction of modules for \(\text{SL}_q(2)\) via comodules for \(U_q(sl_2)\), themselves obtained from representations of a certain quiver. When \(q\) is not a root of unity, the coalgebra \(U_q(sl_2)\) may be embedded into the path coalgebra \(kD^{c}\) of its Gabriel quiver \(D\). In this case, the quiver has vertex set \(\{ e_{l} \mid l\in \mathbb{Z} \}\) and two arrows from the vertex \(e_{l}\) to \(e_{l-1}\), for all \(l\). This injection allows the identification of a basis for \(U_q(sl_2)\) consisting of certain paths in \(kD^c\) (Theorem~3.5). Using this basis, the authors characterise \(U_q(sl_2)\)-comodules in terms of quiver representations, giving an equivalence of categories between the former and an identified full subcategory of \(\text{Rep}(k,D)\) (Theorem~4.3). In particular the relevant quiver representations are locally nilpotent. This information is used to give a complete classification of the indecomposable Schurian right \(U_q(sl_2)\)-comodules when \(q\) is not a root of unity. Finally, some left \(\text{SL}_q(2)\)-modules are constructed from representations of the Gabriel quiver \(D\), via the duality with \(U_q(sl_2)\).