We establish rank-finiteness for the class of $G$-crossed braided fusion categories, generalizing the recent result for modular categories and including the important case of braided fusion categories. This necessitates a study of slightly degenerate braided fusion categories and their centers, which are interesting for their own sake.
We introduce a finiteness property for braided fusion categories, describe a conjecture that would characterize categories possessing this, and verify the conjecture in a number of important cases. In particular we say a category has F if the associated braid group representations factor over a finite group, and suggest that categories of integral Frobenius-Perron dimension are precisely those with property F.
We develop a method for generating the complete set of basic data under the torsorial actions of $H^2_{[rho]}(G,mathcal{A})$ and $H^3(G,U(1))$ on a $G$-crossed braided tensor category $mathcal{C}_G^times$, where $mathcal{A}$ is the set of invertible simple objects in the braided tensor category $mathcal{C}$. When $mathcal{C}$ is a modular tensor category, the $H^2_{[rho]}(G,mathcal{A})$ and $H^3(G,U(1))$ torsorial action gives a complete generation of possible $G$-crossed extensions, and hence provides a classification. This torsorial classification can be (partially) collapsed by relabeling equivalences that appear when computing the set of $G$-crossed braided extensions of $mathcal{C}$. The torsor method presented here reduces these redundancies by systematizing relabelings by $mathcal{A}$-valued $1$-cochains.
For a braided fusion category $mathcal{V}$, a $mathcal{V}$-fusion category is a fusion category $mathcal{C}$ equipped with a braided monoidal functor $mathcal{F}:mathcal{V} to Z(mathcal{C})$. Given a fixed $mathcal{V}$-fusion category $(mathcal{C}, mathcal{F})$ and a fixed $G$-graded extension $mathcal{C}subseteq mathcal{D}$ as an ordinary fusion category, we characterize the enrichments $widetilde{mathcal{F}}:mathcal{V} to Z(mathcal{D})$ of $mathcal{D}$ which are compatible with the enrichment of $mathcal{C}$. We show that G-crossed extensions of a braided fusion category $mathcal{C}$ are G-extensions of the canonical enrichment of $mathcal{C}$ over itself. As an application, we parameterize the set of $G$-crossed braidings on a fixed $G$-graded fusion category in terms of certain subcategories of its center, extending Nikshychs classification of the braidings on a fusion category.
A braided monoidal category may be considered a $3$-category with one object and one $1$-morphism. In this paper, we show that, more generally, $3$-categories with one object and $1$-morphisms given by elements of a group $G$ correspond to $G$-crossed braided categories, certain mathematical structures which have emerged as important invariants of low-dimensional quantum field theories. More precisely, we show that the 4-category of $3$-categories $mathcal{C}$ equipped with a 3-functor $mathrm{B}G to mathcal{C}$ which is essentially surjective on objects and $1$-morphisms is equivalent to the $2$-category of $G$-crossed braided categories. This provides a uniform approach to various constructions of $G$-crossed braided categories.
This is a study of weakly integral braided fusion categories with elementary fusion rules to determine which possess nondegenerately braided extensions of theoretically minimal dimension, or equivalently in this case, which satisfy the minimal modular extension conjecture. We classify near-group braided fusion categories satisfying the minimal modular extension conjecture; the remaining Tambara-Yamagami braided fusion categories provide arbitrarily large families of braided fusion categories with identical fusion rules violating the minimal modular extension conjecture. These examples generalize to braided fusion categories with the fusion rules of the representation categories of extraspecial $p$-groups for any prime $p$, which possess a minimal modular extension only if they arise as the adjoint subcategory of a twisted double of an extraspecial $p$-group.