Crossed pointed categories and their equivariantizations (Q600651): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1964581790 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1111.5246 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 16:17, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Crossed pointed categories and their equivariantizations |
scientific article |
Statements
Crossed pointed categories and their equivariantizations (English)
0 references
1 November 2010
0 references
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.
0 references
braided crossed \(G\)-categories
0 references
quasiabelian third cohomology
0 references
crossed product category
0 references
equivariantization
0 references
braided group-theoretical fusion category
0 references