The core of a weakly group-theoretical braided fusion category

We show that the Witt class of a weakly group-theoretical non-degenerate braided fusion category belongs to the subgroup generated by classes of non-degenerate pointed braided fusion categories and Ising braided categories. This applies in particular to solvable non-degenerate braided fusion categories. We also give some sufficient conditions for a braided fusion category to be weakly group-theoretical or solvable in terms of the factorization of its Frobenius–Perron dimension and the Frobenius–Perron dimensions of its simple objects. As an application, we prove that every non-degenerate braided fusion category whose Frobenius–Perron dimension is a natural number less than 1800, or an odd natural number less than 33075, is weakly group-theoretical.

Let \({\mathcal C}\) be an integral fusion category. We study some graphs, called the prime graph and the common divisor graph, related to the Frobenius-Perron dimensions of simple objects in the category \({\mathcal C}\), that extend the corresponding graphs associated to the irreducible character degrees and the conjugacy class sizes of a finite group. We describe these graphs in several cases, among others, when \({\mathcal C}\) is an equivariantization under the action of a finite group, a \(2\)-step nilpotent fusion category, and the representation category of a twisted quantum double. We prove generalizations of known results on the number of connected components of the corresponding graphs for finite groups in the context of braided fusion categories. In particular, we show that if \({\mathcal C}\) is any integral non-degenerate braided fusion category, then the prime graph of \({\mathcal C}\) has at most \(3\) connected components, and it has at most \(2\) connected components if \({\mathcal C}\) is in addition solvable. As an application we prove a classification result for weakly integral braided fusion categories all of whose simple objects have prime power Frobenius-Perron dimension.

On Müger's centralizer in braided equivariantized fusion categories

On G-crossed Frobenius ⋆-algebras and fusion rings associated with braided G-actions

Relative centers and tensor products of tensor and braided fusion categories

Reconstructing braided subcategories of SU(N)k

We show that a weakly integral braided fusion category ${{\mathcal C}}$ such that every simple object of ${{\mathcal C}}$ has Frobenius-Perron dimension ≤ 2 is solvable. In addition, we prove that such a fusion category is group-theoretical in the extreme case where the universal grading group of ${{\mathcal C}}$ is trivial.

We discuss several useful interpretations of the categorical dimension of objects in a braided fusion category, as well as some conjectures demonstrating the value of quantum dimension as a quantum statistic for detecting certain behaviors of anyons in topological phases of matter. From this discussion we find that objects in braided fusion categories with integral squared dimension have distinctive properties. A large and interesting class of non-integral modular categories such that every simple object has integral squared-dimensions are the metaplectic categories that have the same fusion rules as S O ( N ) 2 SO(N)_2 for some N N . We describe and complete their classification and enumeration, by recognizing them as Z Z 2 \mathbb {ZZ}_2 -gaugings of cyclic modular categories (i.e. metric groups). We prove that any modular category of dimension 2 k m 2^km with m m square-free and k ≤ 4 k\leq 4 , satisfying some additional assumptions, is a metaplectic category. This illustrates anew that dimension can, in some circumstances, determine a surprising amount of the category’s structure.

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 new notion of the core of a braided fusion category. It allows to separate the part of a braided fusion category that does not come from finite groups. We also give a comprehensive and self-contained exposition of the known results on braided fusion categories without assuming them pre-modular or non-degenerate. The guiding heuristic principle of our work is an analogy between braided fusion categories and Casimir Lie algebras.

We analyze the structure of the Witt group $${\mathcal{W}}$$ of braided fusion categories introduced in Davydov et al. (Journal fur die reine und angewandte Mathematik (Crelle’s Journal), eprint arXiv: 1009.2117 [math.QA], 2010). We define a “super” version of the categorical Witt group, namely, the group $${s\mathcal{W}}$$ of slightly degenerate braided fusion categories. We prove that $${s\mathcal{W}}$$ is a direct sum of the classical part, an elementary Abelian 2-group, and a free Abelian group. Furthermore, we show that the kernel of the canonical homomorphism $${S : \mathcal{W} \to s\mathcal{W}}$$ is generated by Ising categories and is isomorphic to $${{\mathbb{Z}}/16\mathbb{Z}}$$ . Finally, we give a complete description of etale algebras in tensor products of braided fusion categories.

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}$ that 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 Nikshych’s classification of the braidings on a fusion category.

The tensor functor called \alpha -induction produces a new unitary fusion category from a Frobenius algebra object, or a Q -system, in a braided unitary fusion category. In the operator algebraic language, it gives extensions of endomorphism of N to M arising from a subfactor N\subset M of finite index and finite depth, which gives a braided fusion category of endomorphisms of N . It is also understood in terms of Ocneanu’s graphical calculus. We study this \alpha -induction for bi-unitary connections, which provides a characterization of finite-dimensional nondegenerate commuting squares, and present certain 4 -tensors appearing in recent studies of 2 -dimensional topological order. We show that the resulting \alpha -induced bi-unitary connections are flat if we start with a commutative Frobenius algebra, or a local Q -system. Examples related to chiral conformal field theory and the Dynkin diagrams are presented.

A family of TQFTs parametrised by G -crossed braided spherical fusion categories has been defined recently as a state sum model and as a Hamiltonian lattice model. Concrete calculations of the resulting manifold invariants are scarce because of the combinatorial complexity of triangulations, if nothing else. Handle decompositions, and in particular Kirby diagrams are known to offer an economic and intuitive description of 4-manifolds. We show that if 3-handles are added to the picture, the state sum model can be conveniently redefined by translating Kirby diagrams into the graphical calculus of a G -crossed braided spherical fusion category. This reformulation is very efficient for explicit calculations, and the manifold invariant is calculated for several examples. It is also shown that in most cases, the invariant is multiplicative under connected sum, which implies that it does not detect exotic smooth structures.

Fusion surface models generalize the concept of anyon chains to 2+1 dimensions, utilizing fusion 2-categories as their input. We investigate bond-algebraic dualities in these systems and show that distinct module tensor categories \mathcal{M} ℳ over the same braided fusion category \mathcal{B} ℬ give rise to dual lattice models. This extends the 1+1d result that dualities in anyon chains are classified by module categories over fusion categories. We analyze two concrete examples: (i) a \text{Rep}(S_3) Rep ( S 3 ) model with a constrained Hilbert space, dual to the spin- \tfrac{1}{2} 1 2 XXZ model on the honeycomb lattice, and (ii) a bilayer Kitaev honeycomb model, dual to a spin- \tfrac{1}{2} 1 2 model with XXZ and Ising interactions. Unlike regular \mathcal{M}=\mathcal{B} ℳ = ℬ fusion surface models, which conserve only 1-form symmetries, models constructed from \mathcal{M} ≠ \mathcal{B} ℳ ≠ ℬ can exhibit both 1-form and 0-form symmetries, including non-invertible ones.