Module categories over representations of \(\text{SL}_q(2)\) and graphs (Q1882368)

Let \(q\) be a nonzero complex. If \(q=\pm 1\) or \(q\) is not a root of unity, let \({\mathcal{C}}_q\) denote the category of the representations of the quantum group \(\text{SL}_q(2)\). If \(q\) is a root of unity such that \(q^4\neq 1\), let \({\mathcal{C}}_q\) denote the fusion category attached to the quantum group \(\text{SL}_q(2)\). In this paper, the authors classify indecomposable semisimple module categories over \({\mathcal{C}}_q\) with finite many simple objects. It turns out that such module categories are parameterized by connected graphs equipped with bilinear form satisfying some relations. In the case when \(q\) is a root of unity of even order \(N>4\), this yields the classification of \textit{A. Ocneanu} [Contemp. Math. 294, 133--159 (2002)] and \textit{A. Kirillov jun.} and \textit{V. Ostrik} [Adv. Math. 171, 183--227 (2002; Zbl 1024.17013)].