Reconstructing braided subcategories of SU(N)k

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

On Müger's centralizer in braided equivariantized 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.

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.

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.

We determine the fusion rules of the equivariantization of a fusion category \documentclass[12pt]{minimal}\begin{document}${\mathcal {C}}$\end{document}C under the action of a finite group G in terms of the fusion rules of \documentclass[12pt]{minimal}\begin{document}${\mathcal {C}}$\end{document}C and group-theoretical data associated to the group action. As an application we obtain a formula for the fusion rules in an equivariantization of a pointed fusion category in terms of group-theoretical data. This entails a description of the fusion rules in any braided group-theoretical fusion category.

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.

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

We prove that every braiding over a unitary fusion category is unitary and every unitary braided fusion category admits a unique unitary ribbon structure.

Nilpotent fusion categories

The main result is that the category of ordinary modules of an affine vertex operator algebra of a simply laced Lie algebra at admissible level is rigid and thus a braided fusion category. If the level satisfies a certain coprime property then it is even a modular tensor category. In all cases open Hopf links coincide with the corresponding normalized S-matrix entries of torus one-point functions. This is interpreted as a Verlinde formula beyond rational vertex operator algebras. A preparatory Theorem is a convenient formula for the fusion rules of rational principal W-algebras of any type.

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.

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.