Related papers: Fusion 2-categories with no line operators are gro…

We prove that any fusion category over $\mathbb{C}$ with exactly one non-invertible simple object is spherical. Furthermore, we classify all such categories that come equipped with a braiding.

We give a necessary and sufficient condition in terms of group cohomology for two indecomposable module categories over a group-theoretical fusion category ${\mathcal C}$ to be equivalent. This concludes the classification of such module…

A finitely generated group $G$ is said to be condensed if its isomorphism class in the space of finitely generated marked groups has no isolated points. We prove that every product variety $\mathcal{UV}$, where $\mathcal{U}$ (respectively,…

We classify all finite 2-groups that have a cyclic or dihedral maximal subgroup and determine their automorphism groups. Based on this result, we classify all pairs $ (G,\mathcal{M}) $, such that $ G $ is a finite 2-group and $ \mathcal{M}…

In this paper we study grouplike monoids, these are monoids that contain a group to which we add an ordered set of idempotents. We classify finite categories with two objects having grouplike endomorphism monoids, and we give a count of…

We describe the exponent of a group-theoretical fusion category $\mathcal C = \mathcal C(G, \omega, F, \alpha)$ associated to a finite group $G$ in terms of group cohomology. We show that the exponent of $\C$ divides both $e(\omega) \exp G$…

In this paper, we classify finite categories with two objects such that one of the endomorphism monoids is a group. We prove that having a group on one side affects the structure of the other endomorphism monoid, and we prove that it is…

We generalize the notion of an anomaly for a symmetry to a noninvertible symmetry enacted by surface operators using the framework of condensation in 2-categories. Given a multifusion 2-category, potentially with some additional levels of…

A braided fusion category is said to have Property $\textbf{F}$ if the associated braid group representations factor over a finite group. We verify integral metaplectic modular categories have property $\textbf{F}$ by showing these…

Let P be a finite metacyclic 2-group and F a fusion system on P. We prove that F is nilpotent unless P has maximal class or P is homocyclic, i.e. P is a direct product of two isomorphic cyclic groups. As a consequence we obtain the…

We prove that if $V$ is a $C_2$-cofinite simple vertex operator algebra of CFT-type with a nonsingular invariant bilinear form and its an automorphism group $G$ is finite, then an orbifold model $V^G$ is also $C_2$-cofinite.

Let $\widehat{\mathbb{F}\mathbb{S}et}$ be the groupoid of finite sets and bijections between them equipped with the canonical symmetric rig category structure given by the disjoint union and the cartesian product of finite sets. We prove…

We propose a framework for fusion category symmetry on the (1+1)D lattice in the infinite-volume limit by giving a formal interpretation of SymTFT decompositions. Our approach is based on axiomatizing physical boundary subalgebra of…

Fusion categories are fundamental objects in quantum algebra, but their definition is narrow in some respects. By definition a fusion category must be k-linear for some field k, and every simple object V is strongly simple, meaning that (V)…

Let $\mathfrak{C}$ be a multifusion 2-category. We show that every finite semisimple $\mathfrak{C}$-module 2-category is canonically enriched over $\mathfrak{C}$. Using this enrichment, we prove that every finite semisimple…

We develop the Morita theory of fusion 2-categories. In order to do so, we begin by proving that the relative tensor product of modules over a separable algebra in a fusion 2-category exists. We use this result to construct the Morita…

Let $\mathcal{C}:=\mathcal{C}(G,\omega,H,\psi)$ be a finite group scheme-theoretical category over an algebraically closed field of characteristic $p\ge 0$ as defined by the first author. For any indecomposable exact module category over…

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…

A tensor category $\mathcal{C}$ over a field $\mathbb{K}$ is said to be invertible if there's a tensor category $\mathcal{D}$ such that $\mathcal{C}\boxtimes\mathcal{D}$ is Morita equivalent to $\mathrm{Vec}_{\mathbb{K}}$. When $\mathbb{K}$…

We define a notion of tensor product of bimodule categories and prove that with this product the 2-category of C-bimodule categories for fixed tensor C is a monoidal 2-category in the sense of Kapranov and Voevodsky. We then provide a…