Related papers: On fusion categories

Let $C$ be a modular category of Frobenius-Perron dimension $dq^n$, where $q$ is a prime number and $d$ is a square-free integer. We show that if $q>2$ then $C$ is integral and nilpotent. In particular, $C$ is group-theoretical. In the…

We classify all fusion categories for a given set of fusion rules with three simple object types. If a conjecture of Ostrik is true, our classification completes the classification of fusion categories with three simple object types. To…

The integral group rings $\mathbb{Z}G$ for finite groups $G$ are precisely those fusion rings whose basis elements have Frobenius-Perron dimension 1, and each is categorifiable in the sense that it arises as the Grothendieck ring of a…

We construct analogs of the embedding of orthogonal and symplectic groups into unitary groups in the context of fusion categories. At least some of the resulting module categories also appear in boundary conformal field theory. We determine…

We show that anyon chains, after stabilizing with infinite-dimensional ancilla spaces, factorize locally as tensor products of infinite-dimensional Hilbert spaces. This implies that any unitary fusion category can be realized as symmetries…

We define total Frobenius-Schur indicator for each object in a spherical fusion category $C$ as a certain canonical sum of its higher indicators. The total indicators are invariants of spherical fusion categories. If $C$ is the…

We show that any slightly degenerate weakly group-theoretical fusion category admits a minimal non-degenerate extension. Let $d$ be a positive square-free integer, given a weakly group-theoretical non-degenerate fusion category…

The behaviour of limits of weak morphisms in 2-dimensional universal algebra is not 2-categorical in that, to fully express the behaviour that occurs, one needs to be able to quantify over strict morphisms amongst the weaker kinds.…

We study properties of the category of modules of an algebra object A in a tensor category C. We show that the module category inherits various structures from C, provided that A is a Frobenius algebra with certain additional properties. As…

We investigate non-semisimple modular categories with an eye towards a structure theory, low-rank classification, and applications to low dimensional topology and topological physics. We aim to extend the well-understood theory of…

We propose a method of constructing abelian envelopes of symmetric rigid monoidal Karoubian categories over an algebraically closed field $\bf k$. If ${\rm char}({\bf k})=p>0$, we use this method to construct generalizations ${\rm…

We obtain two formulae for the higher Frobenius-Schur indicators: one for a spherical fusion category in terms of the twist of its center and the other one for a modular tensor category in terms of its twist. The first one is a categorical…

We propose a notion of Frobenius-Perron dimension for certain free $\mathbb{Z}$-modules of infinite rank and compute it for the $\mathbb{Z}$-modules of finite dimensional complex representations of unitary groups with nonnegative dominant…

For a fusion category, we prove some new integral properties concerning the dimension of a simple object that generates a Isaacs fusion subcategory. A stronger divisibility result is proven for any modular fusion category. This divisibility…

Dimensions of objects in fusion categories are cyclotomic integers, hence number theoretic results have implications in the study of fusion categories and finite depth subfactors. We give two such applications. The first application is…

Several complications arise when attempting to work with fusion categories over arbitrary fields. Here we describe some of the new phenomena that occur when the field is not algebraically closed, and we adapt tools such as the…

We contribute to the classification of modular categories $\mathcal{C}$ with $\operatorname{FPdim}(\mathcal{C})\equiv 2 \pmod 4$. We prove that such categories have group of invertibles of even order, and that they factorize as $\mathcal…

Constructing and manipulating homotopy types from categorical input data has been an important theme in algebraic topology for decades. Every category gives rise to a `classifying space', the geometric realization of the nerve. Up to weak…

We show that the universal measuring coalgebras between Frobenius algebras turn the category of Frobenius algebras into a Hopf category (in the sense of Batista-Caenepeel-Vercruysse), and the universal comeasuring algebras between Frobenius…

Let $\mathcal{C}$ be a finite tensor category and $\mathcal{M}$ an exact left $\mathcal{C}$-module category. We call $\mathcal{M}$ unimodular if the finite multitensor category ${\sf Rex}_{\mathcal{C}}(\mathcal{M})$ of right exact…