Rigid and Separable Algebras in Fusion 2-Categories

Abstract

Rigid monoidal 1-categories are ubiquitous throughout quantum algebra and low-dimensional topology. We study a generalization of this notion, namely rigid algebras in an arbitrary monoidal 2-category. Examples of rigid algebras include $G$-graded fusion 1-categories, and $G$-crossed fusion 1-categories. We explore the properties of the 2-categories of modules and of bimodules over a rigid algebra, by giving a criterion for the existence of right and left adjoints. Then, we consider separable algebras, which are particularly well-behaved rigid algebras. Specifically, given a fusion 2-category, we prove that the 2-categories of modules and of bimodules over a separable algebra are finite semisimple. Finally, we define the dimension of a connected rigid algebra in a fusion 2-category, and prove that such an algebra is separable if and only if its dimension is non-zero.

A missing hypothesis was added to the statement of theorem 3.2.4

References in corpus (1)

• On the Classification of Topological Field Theories

Cited by in corpus (13)

• Gauging Noninvertible Defects: A 2-Categorical Perspective
• Fusion Surface Models: 2+1d Lattice Models from Fusion 2-Categories
• Composing topological domain walls and anyon mobility
• Enriched string-net models and their excitations
• Fiber 2-Functors and Tambara-Yamagami Fusion 2-Categories
• Fusion 3-Categories for Duality Defects
• Drinfeld Centers and Morita Equivalence Classes of Fusion 2-Categories
• Local Modules in Braided Monoidal 2-Categories
• (2+1)d Lattice Models and Tensor Networks for Gapped Phases with Categorical Symmetry
• On the Dualizability of Fusion 2-Categories
• Condensation Completion and Defects in 2+1D Topological Orders
• Orbifold completion of 3-categories
• Compact Semisimple Tensor 2-Categories are Morita Connected