Cyclic extensions of fusion categories via the Brauer-Picard groupoid (Q2350388): Difference between revisions

The authors construct a long exact sequence computing the obstruction space, \(\pi_1\underline{\underline{\mathrm{BrPic}}}(\mathcal{C}_0)\), to \(G\)-graded extensions of a fusion category \(\mathcal{C}_0\). The other terms in the sequence can be computed directly from the fusion ring of \(\mathcal{C}_0\). This result is applied to several examples coming from small index subfactors, thereby constructing several new fusion categories as \(G\)-extensions. In particular, there is a \(\mathbb{Z}/2\mathbb{Z}\)-extension of one of the Asaeda-Haagerup fusion categories which is one of only two known \(3\)-supertransitive fusion categories outside the ADE series. The authors also prove that the long exact sequence appears in exactly the way it was expected: it is part of a long exact sequence of homotopy groups associated to a naturally occuring fibration.