On projective modules in category \(\mathcal{O}_{\text{int}}\) of quantum \(\mathfrak{sl}_{2}\) (Q385540)

The first result of this paper asserts that the restriction from \(U_q(\mathfrak{sl}_3)\) to \(U_q(\mathfrak{sl}_2)\) of a Verma module is isomorphic to a direct sum of tensor products of a Verma module with all simple finite dimensional modules (of a fixed type). It is also shown that the canonical bases of Verma modules are compatible with such decomposition. The second result gives an explicit decomposition into indecomposable summands for the tensor product of the Verma cover of the trivial module with a finite dimensional simple module.