Drinfeld Centers and Morita Equivalence Classes of Fusion 2-Categories
arXiv:2211.04917 · doi:10.1112/S0010437X24007553
Abstract
We prove that the Drinfeld center of a fusion 2-category is invariant under Morita equivalence. We go on to show that the concept of Morita equivalence between connected fusion 2-categories recovers exactly the notion of Witt equivalence between braided fusion 1-categories. A strongly fusion 2-category is a fusion 2-category whose braided fusion 1-category of endomorphisms of the monoidal unit is or . We prove that every fusion 2-category is Morita equivalent to the 2-Deligne tensor product of a strongly fusion 2-category and an invertible fusion 2-category. We proceed to show that every fusion 2-category is Morita equivalent to a connected fusion 2-category. As a consequence, we find that every rigid algebra in a fusion 2-category is separable. This implies in particular that every fusion 2-category is separable. Conjecturally, separability ensures that a fusion 2-category is 4-dualizable. We define the dimension of a fusion 2-category, and prove that it is always non-zero. Finally, we show that the Drinfeld center of any fusion 2-category is a finite semisimple 2-category.
arXiv commentNew lemma 4.2.3
References in corpus (13)
- Higher-dimensional Algebra and Topological Quantum Field Theory
- Homotopy field theory in dimension 3 and crossed group-categories
- Modular extensions of unitary braided fusion categories and 2+1D topological/SPT orders with symmetries
- On the Classification of Topological Field Theories
- Monoidal 2-structure of Bimodule Categories
- (Op)lax natural transformations, twisted quantum field theories, and "even higher" Morita categories
- The center of monoidal 2-categories in 3+1D Dijkgraaf-Witten Theory
- On dualizability of braided tensor categories
- Fusion 2-categories with no line operators are grouplike
- Rigid and Separable Algebras in Fusion 2-Categories
- Coherence for monoidal -categories and braided -crossed categories
- The 2-Deligne Tensor Product
- Compact Semisimple 2-Categories