Abstract
The classification of subfactors of small index revealed several new subfactors. The first subfactor above index 4, the Haagerup subfactor, is increasingly well understood and appears to lie in a (discrete) infinite family of subfactors where the
\mathbb{Z}
/3
\mathbb{Z}
symmetry is replaced by other finite abelian groups. The goal of this paper is to give a similarly good description of the Asaeda–Haagerup subfactor which emerged from our study of its Brauer–Picard groupoid. More specifically, we construct a new subfactor
{\mathcal{S}}
which is a
\mathbb{Z}
/4
\mathbb{Z}
\times
\mathbb{Z}
/2
\mathbb{Z}
analogue of the Haagerup subfactor and we show that the even parts of the Asaeda–Haagerup subfactor are higher Morita equivalent to an orbifold quotient of
{\mathcal{S}}
. This gives a new construction of the Asaeda–Haagerup subfactor which is much more symmetric and easier to work with than the original construction. As a consequence, we can settle many open questions about the Asaeda–Haagerup subfactor: calculating its Drinfeld center, classifying all extensions of the Asaeda–Haagerup fusion categories, finding the full higher Morita equivalence class of the Asaeda–Haagerup fusion categories, and finding intermediate subfactor lattices for subfactors coming from the Asaeda–Haagerup categories. The details of the applications will be given in subsequent papers.
Cyclic extensions of fusion categories via the Brauer–Picard groupoid