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

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q431127
Importer (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 3 users not shown)
Property / author
 
Property / author: Victor Ostrik / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2066614526 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: math/0509530 / rank
 
Normal rank

Latest revision as of 06:09, 19 April 2024

scientific article
Language Label Description Also known as
English
Module categories over representations of \(\text{SL}_q(2)\) in the non-semisimple case
scientific article

    Statements

    Module categories over representations of \(\text{SL}_q(2)\) in the non-semisimple case (English)
    0 references
    14 May 2008
    0 references
    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)].
    0 references
    tensor category
    0 references
    quantum group
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references