Quantum subgroups of the Haagerup fusion categories

Abstract

We answer three related questions concerning the Haagerup subfactor and its even parts, the Haagerup fusion categories. Namely we find all simple module categories over each of the Haagerup fusion categories (in other words, we find the `"quantum subgroups" in the sense of Ocneanu), we find all subfactors whose principal even part is one of the Haagerup fusion categories, and we compute the Brauer-Picard groupoid of Morita equivalences of the Haagerup fusion categories. In addition to the two even parts of the Haagerup subfactor, there is exactly one more fusion category which is Morita equivalent to each of them. This third fusion category has six simple objects and the same fusion rules as one of the even parts of the Haagerup subfactor, but has not previously appeared in the literature. We also find the full lattice of intermediate subfactors for every subfactor whose even part is one of these three fusion categories, and we discuss how our results generalize to Izumi subfactors.

Final version. 40 pages, many figures

References in corpus (2)

• SU(3)-Goodman-de la Harpe-Jones subfactors and the realisation of SU(3) modular invariants
• On intermediate subfactors of Goodman-de la Harpe-Jones subfactors

Cited by in corpus (21)

• Asymptotic density of states in 2d CFTs with non-invertible symmetries
• Construction of two-dimensional topological field theories with non-invertible symmetries
• Dualities in one-dimensional quantum lattice models: symmetric Hamiltonians and matrix product operator intertwiners
• Generalized string-nets for unitary fusion categories without tetrahedral symmetry
• Numerical evidence for a Haagerup conformal field theory
• A critical lattice model for a Haagerup conformal field theory
• Fusion Surface Models: 2+1d Lattice Models from Fusion 2-Categories
• The balanced tensor product of module categories
• Topological Field Theory with Haagerup Symmetry
• Q-system completion for C* 2-categories
• Haploid algebras in $C^{\ast }$-tensor categories and the Schellekens list
• 1-supertransitive subfactors with index at most 6+1/5
• Computing associators of endomorphism fusion categories
• The little desert? Some subfactors with index in the interval (5,3+\sqrt{5})
• Level bounds for exceptional quantum subgroups in rank two
• Topological and nontopological degeneracies in generalized string-net models
• Quantum Cluster State Model with Haagerup Fusion Category Symmetry
• von Neumann Subfactors and Non-invertible Symmetries
• Noninvertible symmetries in the B model TFT
• From gauging to duality in one-dimensional quantum lattice models
• Separable algebras in multitensor C${}^{\ast }$-categories are unitarizable