Diagrammatic construction of representations of small quantum \(\mathfrak{sl}_2\) (Q2674763)

The main goal of the paper consists in providing a ``diagrammatic'' description of the monoidal category \(\bar{U}\text{-}\mathsf{mod}\) of finite-dimensional left \(\bar{U}\)-modules, where \(\bar{U}\) is the small quantum group of \(\mathfrak{sl}_2\) at a root of the unity of odd order. This description is obtained by providing a ``diagrammatic'' category \(\bar{\mathsf{TL}}\) of tangles (as morphisms) and a full functor from this category to \(\bar{U}\text{-}\mathsf{mod}\) (see Theorem 1, p. 753). In details, let \(q=e^{2i\pi/r}\) for some odd integer \(r\geq 3\) and let \(\bar{U}\) be the complex algebra generated by three generators \(E,F,K\) subject to a finite number of relations, and called the ``small quantum group of \(\mathfrak{sl}_2\)''. It is actually a Hopf algebra (see p. 754). Let \(\mathsf{TL}_x\) be the \(\mathbb{C}(x)\)-linear category with \(\mathbb{N}\) as set of objects and with vector spaces of morphisms generated by some tangles (modulo a relation, see p. 758). It is monoidal and in fact rigid. Let \(\mathsf{TL}\) be the idempotent completion of the specialization of \(TL_x\) at \(x=q\). There is a monoidal linear functor \(F_{\mathsf{TL}}\colon \mathsf{TL}\to \bar{U}\text{-}\mathsf{mod}\) that sends \(1\) to the ``fundamental'' simple \(\bar{U}\)-module \(X\) (pp. 754--755). Then the author introduce the ``extended Temperley-Lieb category'' \(\tilde{\mathsf{TL}}\) which is defined as the smallest linear category containing \(\mathsf{TL}\) as a linear subcategory as well with some additional morphisms that correspond to splittings in \(\bar{U}\text{-}\mathsf{mod}\) of some indecomposable modules (see p. 775). The functor \(F_{\mathsf{TL}}\) actually extends to a full monoidal linear functor from \(\tilde{\mathsf{TL}}\) to \(\bar{U}\text{-}\mathsf{mod}\). (This is the content of Theorem 1 which is proved in Sect. 6 (pp. 780--784).) Finally the additional relations satisfied by the images of some morphisms occurring in \(\tilde{\mathsf{TL}}\) are explicitly described in a final section.