On weakly group-theoretical non-degenerate braided fusion categories

We show that the core of a weakly group-theoretical braided fusion category [Formula: see text] is equivalent as a braided fusion category to a tensor product [Formula: see text], where [Formula: see text] is a pointed weakly anisotropic braided fusion category, and [Formula: see text] or [Formula: see text] is an Ising braided category. In particular, if [Formula: see text] is integral, then its core is a pointed weakly anisotropic braided fusion category. As an application we give a characterization of the solvability of a weakly group-theoretical braided fusion category. We also prove that an integral modular category all of whose simple objects have Frobenius–Perron dimension at most 2 is necessarily 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

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.

Reconstructing braided subcategories of SU(N)k

Relative centers and tensor products of tensor and braided fusion categories

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.

Let q be a odd prime number, d be an odd square-free natural number. We prove that a braided fusion category of Frobenius–Perron dimension dqn is solvable. If then we further prove that is tensor equivalent to the category of finite-dimensional representations of a semisimple quasitriangular Hopf algebra which is kG for some abelian group G, or a crossed product for some σ.

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.

We establish some relations between the orders of simple objects in a fusion category and the structure of its universal grading group. We consider fusion categories which have a faithful simple object and show that its universal grading group must be cyclic. As for the converse, we prove that a braided nilpotent fusion category with cyclic universal grading group always has a faithful simple object. We study the universal grading of fusion categories with generalized Tambara-Yamagami fusion rules. As an application, we classify modular categories in this class and describe the modularizations of braided Tambara-Yamagami fusion categories.