On a class of fusion 2-category symmetry: condensation completion of braided fusion category

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.

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

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

Reconstructing braided subcategories of SU(N)k

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.

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.

Relative centers and tensor products of tensor and braided fusion categories

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.

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.

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.

In this work, we use Ising chain and Kitaev chain to check the validity of an earlier proposal in arXiv:2011.02859 that enriched fusion (higher) categories provide a unified categorical description of all gapped/gapless quantum liquid phases, including symmetry-breaking phases, topological orders, SPT/SET orders and CFT-type gapless quantum phases. In particular, we show explicitly that, in each gapped phase realized by these two models, the spacetime observables form a fusion category enriched in a braided fusion category such that its monoidal center is trivial. We also study the categorical descriptions of the boundaries of these models. In the end, we obtain a classification of and the categorical descriptions of all 1-dimensional (spatial dimension) gapped quantum phases with a bosonic/fermionic finite onsite symmetry.

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 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.

The center Z(C) of an autonomous category C is monadic over C (if certain coends exist in C). The notion of a Hopf monad naturally arises if one tries to reconstruct the structure of Z(C) in terms of its monad Z: we show that Z is a quasitriangular Hopf monad on C and Z(C) is isomorphic to the braided category Z − C of Z-modules. More generally, let T be a Hopf monad on an autonomous category C. We construct a Hopf monad ZT on C, the centralizer of T , and a canonical distributive law Ω: TZT → ZTT . By Beck’s theory, this has two consequences. On one hand, DT = ZT ◦Ω T is a quasitriangular Hopf monad on C, called the double of T , and Z(T − C) DT − C as braided categories. As an illustration, we define the double D(A) of a Hopf algebra A in a braided autonomous category in such a way that the center of the category of A-modules is the braided category of D(A)-modules (generalizing the Drinfeld double). On the other hand, the canonical distributive law Ω also lifts ZT to a Hopf monad Z Ω T on T−C, and ZΩ T ( , T0) is the coend of T−C. For T = Z, this gives an explicit description of the Hopf algebra structure of the coend of Z(C) in terms of the structural morphisms of C. Such a description is useful in quantum topology, especially when C is a spherical fusion category, as Z(C) is then modular.