Graded extensions of generalized Haagerup categories (Q6188608)

Generalized Haagerup categories were introduced as a generalization of Haagerup's famous original example appearing in the classification of small index subfactors [\textit{M. Asaeda} and \textit{U. Haagerup}, Commun. Math. Phys. 202, No. 1, 1--63 (1999; Zbl 1014.46042)], by replacing the group \(\mathbb{Z} _{3}=\mathrm{Inv}\left( \mathcal{C}\right) \) of isomorphism classes of invertibel objects which appear in the Haagerup subfactor with an arbitrary finite abelian group. Generalized Haagerup categories were classified in [\textit{M. Izumi}, Quantum Topol. 9, No. 3, 473--562 (2018; Zbl 1403.46048)] in terms of solutions of certain polynomial equations, where, when there is such a solution, the category can be realized as a category of endomorphisms of a von Neumann factor completion of a Cuntz algebra. This paper generalizes this approach to also treat extensions of generalized Haagerup categories, which require replacing Cuntz algebras by more complicated algebras. A \(G\)-extension of a fusion category \(\mathcal{C}\)\ is a \(G\)-graded fusion category \(\mathcal{D}\)\ whose trivial component is \(\mathcal{C}\). There is a general obstruction theory for \(G\)-extensions developed by Etingof-Nikshych-Ostrik using the homotopy type of the Brauer-Picard groupoid of \(\mathcal{C}\)\ [\textit{P. Etingof} et al., Quantum Topol. 1, No. 3, 209--273 (2010; Zbl 1214.18007)]. This paper takes a bare-hands approach, using concrete realizations of examples as categories of endomorphisms and explicitly computing structure constants. This paper considers the special case of quasi-trivial extensions, where each of the invertible bimodules appearing as the non-trivially graded parts of a \(G\)-extension of \(\mathcal{C}\). The first main result goes as follows. Theorem. Unitary extensions of a generalized Haagerup category \(\mathcal{C}\)\ by an outer action of \(\mathbb{Z}_{2}\)\ which is trivial on the subcategory of invertible objects are completely classified by solutions to certain polynomial equations. Moreover, when these polynomial equations are satisfied, then the extensions may be explicitly realized as categories of endomorphisms of a factor completion of the free product \[ \mathcal{O}_{n+1}\ast\mathcal{O}_{n+1}\ast\mathcal{C}^{\ast}\left( \mathbb{F}_{3}\right) \] where \(\mathcal{O}\)\ denotes a Cuntz algebra, \(\mathbb{F}\)\ denotes a free group, and \(n\)\ is the size of \(\mathrm{Inv}\left( \mathcal{C}\right) \). Next the authors consider the category \(\mathcal{AH}_{4}\)\ in the Morita equivalence class of the Asaeda-Haagerup subfactor. In prior work [\textit{P. Grossman} and \textit{N. Snyder}, Trans. Am. Math. Soc. 368, No. 4, 2289--2331 (2016; Zbl 1354.46057); \textit{P. Grossman} et al., J. Reine Angew. Math. 743, 261--305 (2018; Zbl 1405.46046)], the authors calculated the Brauer-Picard groupoid of the Asaeda-Haagerup fusion categories, seeing that the Brauer-Picard group is the Klein 4-group. The second main result goes as follows. Theorem. The Asaeda-Haagerup fusion category \(\mathcal{AH}_{4}\)\ has an extension by its Klein 4-group of outer automorphisms. Moreover, this extension can be explicitly realized as a category of endomorphisms of a factor completion of the algebra \[ \mathcal{O}_{9}\ast\mathcal{O}_{9}\ast\mathcal{C}^{\ast}\left( \mathbb{F} _{3}\right) \] The authors are then concerned with the generalized Haagerup category for the group \(\mathbb{Z}_{2}\times\mathbb{Z}_{2}\), which is related to a conformal inclusion [\textit{C. Edie-Michell} and \textit{w. a. a. b. T. Gannon}, ``Type $II$ quantum subgroups of $\mathfrak{sl}_N$. I: Symmetries of local modules'', Preprint, \url{arXiv:2102.09065}; \textit{F. Xu}, Commun. Math. Phys. 357, No. 1, 61--75 (2018; Zbl 1386.81136)] \[ SU(5)_{5}\subset\mathrm{Spin}(24) \] The last main result goes as follows. Theorem. There is an \(A_{4}\)-graded extension of the \(\mathbb{Z}_{2}\times \mathbb{Z}_{2}\)\ generalized Haagerup category by its outer automorphism group. Moreover, this extension can be realized as a category of endomorphisms of a factor of the algebra \[ \mathcal{O}_{5}\ast\mathcal{O}_{5}\ast\mathcal{O}_{5}\ast\mathcal{O}_{5} \ast\mathcal{C}^{\ast}\left( \mathbb{F}_{13}\right) \]