Extensions of a near-group category of type (Z₂;1)

From MaRDI portal
Publication:2095121





The theory of fusion categories arises in many areas of mathematics and physics such as semisimple Hopf algebras, quantum groups, vertex operator algebras and topological quantum field theory. Group extensions play a significant role in the theory of fusion categories. This paper is concerned with near-group categories of type \(\left( \mathbb{Z}_{2},1\right)\).\par The principal objective in this paper is to establish the following two theorems.\par I. Let \(\mathcal{D}\)\ be a near-group fusion category of type \(\left(\mathbb{Z}_{2},1\right) \)\ and \[\mathcal{C}={\bigoplus\nolimits_{g\in G}}\mathcal{C}_{g}\] be an extension of \(\mathcal{D}\). Assume that \(\mathcal{C}\)\ is braided. Then the structure of \(\mathcal{C}\) is exactly one of the following:\par (1) If \(\mathcal{C}\) is of type \(\left( 1,2m;2,m\right) \), then \(\mathcal{C}\)\ is a \(\mathbb{Z}_{2}\)-equivariantization of a braided pointed fusion category \(\mathcal{D}\)\ of dimension \(3m\).\par (2) If \(\mathcal{C}\) is of type \(\left( 1,2m;\sqrt{3},2m;2,m\right) \), then \(\mathcal{C}\)\ is a \(\mathbb{Z}_{2}\)-equivariantization of a fusion category \(\mathcal{D}\)\ which is of type \(\left( 1,3m;\sqrt{3},m\right) \) and is a \(\mathbb{Z}_{2}\)-extension of a pointed fusion category of dimension \(3m\). In particular, \(\mathcal{D}\)\ is not braided.\par (3) If \(\mathcal{C}\) is of type \(\left( 1,2m;2,m;\sqrt{6},m\right) \), then \(\mathcal{C}\)\ is a \(\mathbb{Z}_{2}\)-equivariantization of a fusion category \(\mathcal{D}\)\ which is of type \(\left( 1,3m;\sqrt{6},m/2\right) \) and is a \(\mathbb{Z}_{2}\)-extension of a pointed fusion category of dimension \(3m\). In particular, \(\mathcal{D}\)\ is not braided.\par II. Let \(\mathcal{D}\)\ be a near-group fusion category of type \(\left(\mathbb{Z}_{2},1\right) \)\ and \[\mathcal{C}={\bigoplus\nolimits_{g\in G}}\mathcal{C}_{g}\] be an extension of \(\mathcal{D}\). Then \(\mathcal{C}\) is group-theoretical in one of the following forms:\par (1) \(\mathcal{C}\) is braided and integral.\par (2) \(\mathcal{C}\) is equivalent as a tensor category to the category of finite-dimensional representations of semisimple Hopf algebra.



Cites work









This page was built for publication: Extensions of a near-group category of type \((\mathbb{Z}_2;1)\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2095121)