Cyclic extensions of fusion categories via the Brauer-Picard groupoid

Abstract

We construct a long exact sequence computing the obstruction space, pi_1(BrPic(C_0)), to G-graded extensions of a fusion category C_0. The other terms in the sequence can be computed directly from the fusion ring of C_0. We apply our result to several examples coming from small index subfactors, thereby constructing several new fusion categories as G-extensions. The most striking of these is a Z/2Z-extension of one of the Asaeda-Haagerup fusion categories, which is one of only two known 3-supertransitive fusion categories outside the ADE series. In another direction, we show that our long exact sequence appears in exactly the way one expects: it is part of a long exact sequence of homotopy groups associated to a naturally occuring fibration. This motivates our constructions, and gives another example of the increasing interplay between fusion categories and algebraic topology.

18 pages, 1 figure

References in corpus (2)

• Higher-Dimensional Algebra V: 2-Groups
• Cyclotomic integers, fusion categories, and subfactors

Cited by in corpus (9)

• Spontaneous symmetry breaking from anyon condensation
• A Cuntz algebra approach to the classification of near-group categories
• Equivalences of Graded Categories
• Lifting shadings on symmetrically self-dual subfactor planar algebras
• Classification of $\mathbb{Z}/2\mathbb{Z}$-quadratic unitary fusion categories
• The Relative Deligne Tensor Product over Pointed Braided Fusion Categories
• A complete classification of unitary fusion categories tensor generated by an object of dimension $\frac{1+\sqrt{5}}{2}$
• Type $II$ quantum subgroups of ${\mathfrak{sl}}_N$. $I$: Symmetries of local modules
• Existence of the $AH+2$ subfactor