Crossed pointed categories and their equivariantizations (Q600651): Difference between revisions

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.