Module categories over representations of \(\text{SL}_q(2)\) in the non-semisimple case (Q2427023): Difference between revisions

Let \(k\) be a field. By a module category over an abelian category \({\mathcal C}\) one means a semisimple \(k\)-category \({\mathcal M}\) with finitely many simple objects and an exact tensor functor \(F:{\mathcal C}\to \text{Fun}({\mathcal M},{\mathcal M})\) (the latter being the tensor category of additive functors from \({\mathcal M}\) to itself). In work of \textit{P. Etingof} and the author [Math. Res. Lett. 11, No. 1, 103--114 (2004; Zbl 1053.17010)], the case \(k=\mathbb{C}\) and \({\mathcal C}={\mathcal C}_{q}\), the category of representations of the quantum group \(\text{SL}_{q}(2)\) with \(q\) not a root of unity, was studied. In particular, the semisimple module categories with finitely many simple objects were classified. In the paper under review, these earlier results are generalized to the case where \(k\) is any field and \(q\) is arbitrary. Remarkably, the author is able to prove a corresponding classification theorem. We now describe the data arising in the classification. Given a finite set \(I\), an \(I\times I\)-graded vector space \(V\) having \(\dim V_{ij}= \dim V_{ji}\) is called symmetric. Associated to such a graded vector space is a graph with vertex set \(I\) and \(\dim V_{ij}\) edges between \(i\) and \(j\). The main theorem states that semisimple module categories over \({\mathcal C}_{q}\) with finitely many simple objects are classified by the data of \(I\) and \(V\) as above such that the graph associated to \(V\) does not have any connected components of \(ADET\) type and a collection of nondegenerate bilinear forms \(E_{ij}:V_{ij}\otimes V_{ji} \to k\) such that for each \(i\in I\), \[ \sum_{j\in I} \text{Tr} (E_{ij}(E_{ji}^{T})^{-1})= -q-q^{-1}. \] The graphs of \(ADET\) type are given in the work of Etingof and the author cited above. The proof makes use of the theory of tilting modules and derived categories. Applications include the Kozulity of preprojective algebras with connected underlying graph not of type \(ADET\) and with associated matrix \(D=(d_{ij})\), \(d_{ij}= \text{Tr}(E_{ij} (E_{ji}^{T})^{-1})\), admitting a nondegenerate eigenvalue. Also, an alternative interpretation and proof is given for a result of \textit{J. Bichon} on comodule categories for a class of Hopf algebras arising from nondegenerate bilinear forms [Commun. Algebra 31, No. 10, 4831--4851 (2003; Zbl 1034.16042)].