Lifts of symmetries to minimal nondegenerate extensions are unique up to fermion attachment

Abstract

Gauging fermion parity in a $(2+1)$-dimensional fermionic topological order requires lifting its symmetries to the resulting bosonic theory. We give a direct tensor-categorical proof that, for a slightly degenerate braided fusion category $\mathcal{C}$ and a fixed minimal nondegenerate extension $\mathcal{E}$, the restriction homomorphism $r:{\mathrm{Aut}}_{\mathrm{LR}}(\mathcal{E})\to {\mathrm{Aut}}_{\mathrm{LR}}(\mathcal{C})$ on classes of complex-linear locality-respecting (LR) braided autoequivalences is surjective with central kernel $\mathbb{Z}/2$, generated by fermion attachment. Thus each symmetry class has exactly two LR lift classes, related by attaching the fermion to every vortex. We apply graded Morita theory to reduce the kernel to two module types on the vortex sector, corresponding to tensoring with the vacuum or the fermion. We then prove relative rigidity to show that each type determines a unique LR class, which are distinguished by fermionic self-braiding even when their actions on simple-object labels coincide. We prove surjectivity by extending graph algebras in ${\mathcal{C}}^{\mathrm{rev}}⊠\mathcal{C}$ to Lagrangian algebras in ${\mathcal{E}}^{\mathrm{rev}}⊠\mathcal{E}$. Our results require neither unitarity nor a ribbon structure. We illustrate the lifting ambiguity in the Laughlin state, the $SO(3{)}_3$ theory and the Ising topological order.

arXiv comment43 pages