Group-theoretical graph categories (Q2114811)

The paper under review is concerned with certain diagrammatic categories of partitions and graphs and with their relations with compact matrix quantum groups and their representation categories, as considered in [\textit{S.L.\ Woronowicz}, Invent.\ Math.\ 93, No.\ 1, 35--76 (1988; Zbl 0664.58044)]. Categories of partitions were classified in [\textit{S. Raum} and \textit{M. Weber}, Commun. Math. Phys. 341, No. 3, 751--779 (2016; Zbl 1356.46061)], and an important class of such categories is formed by the group theoretical categories of partitions. The compact matrix quantum groups corresponding to group theoretical categories of partitions were described in [\textit{S.\ Raum} and \textit{M.\ Weber}, J.\ Noncommut.\ Geom.\ 9, No.\ 4, 1261--1293 (2015; Zbl 1350.46047)], and a more general class of skew categories of partitions was studied in [\textit{L. Maaßen}, J. Noncommut. Geom. 14, No. 3, 987--1017 (2020; Zbl 07358364)]. The present paper generalizes these concepts into the context of graph categories. The author defines a class of \emph{group theoretical graph categories} and introduces the more general concept of \emph{skew graph categories}. He also defines \emph{graph fibrations}, shows that they are in one-to-one correspondence with skew graph categories and uses them to describe the compact matrix quantum group corresponding to such a category. In the final section, the opposite question of describing graph categories corresponding to a given compact matrix quantum group is considered.