Crossed pointed categories and their equivariantizations (Q600651)

The first aim of this paper is to classify, up to equivalence, the crossed product categories. To this end the author introduces the quasiabelian third cohomology \(H^3_{\text{qa}}(\mathcal{H}, \mathbb{K}^\times)\) of crossed modules \(\mathcal{H}=(G, X, \partial)\), which generalizes both Eilenberg and Mac Lane's abelian and Ospel's quasiabelian third cohomology group. Then it is shown that the crossed pointed categories are classified by the orbits of \(H^3_{\text{qa}}(\mathcal{H}, \mathbb{K}^\times)\). The second aim is to apply the equivariantization process to a crossed product category \(\mathcal{C}(\xi)\), \(\xi\in H^3_{\text{qa}}(\mathcal{H}, \mathbb{K}^\times)\), and to study the resulting braided fusion category \(\mathcal{C}(\xi)^G\). Furthermore, it is proved that every braided group theoretical category is equivalent to \(\mathcal{C}(\xi)^G\) for some \(\xi\in H^3_{\text{qa}}(\mathcal{H}, \mathbb{K}^\times)\), and that \(\mathcal{C}(\xi)^G\) is nondegenerate if and only if \(\partial: X\rightarrow G\) is surjective and \(\xi\) is nondegenerate. Since \(\mathcal{C}(\xi)^G\) is integral, by a result of \textit{P. Etingof, D. Nikshych} and \textit{V. Ostrik} [``On fusion categories'', Ann. Math. (2) 162, No.~2, 581--642 (2005; Zbl 1125.16025)] it follows that \(\mathcal{C}(\xi)^G\) is equivalent as a braided fusion category to the category of representations of a certain finite-dimensional quasi-Hopf algebra \(H\). The paper ends with the explicit description of the quasitriangular quasi-Hopf algebra structure of a such an \(H\), and so of all braided group-theoretical categories.