Invertible braided tensor categories

Abstract

We prove that a finite braided tensor category A is invertible in the Morita 4-category BrTens of braided tensor categories if, and only if, it is non-degenerate. This includes the case of semisimple modular tensor categories, but also non-semisimple examples such as categories of representations of the small quantum group at good roots of unity. Via the cobordism hypothesis, we obtain new invertible 4-dimensional framed topological field theories, which we regard as a non-semisimple framed version of the Crane-Yetter-Kauffman invariants, after Freed--Teleman and Walker's construction in the semisimple case. More generally, we characterize invertibility for E_1- and E_2-algebras in an arbitrary symmetric monoidal oo-category, and we conjecture a similar characterization of invertible E_n-algebras for any n. Finally, we propose the Picard group of BrTens as a generalization of the Witt group of non-degenerate braided fusion categories, and pose a number of open questions about it.

References in corpus (6)

• On the Classification of Topological Field Theories
• 3-Dimensional TQFTs From Non-Semisimple Modular Categories
• On dualizable objects in monoidal bicategories, framed surfaces and the Cobordism Hypothesis
• The double of a Hopf monad
• Factorization Homology and 4D TQFT
• Invertible Topological Field Theories

Cited by in corpus (13)

• On the classification of topological orders
• Composing topological domain walls and anyon mobility
• (3+1)D topological orders with only a ${\mathbb{Z}}_2$-charged particle
• Enriched string-net models and their excitations
• Finite Semisimple Module 2-Categories
• Fusion 3-Categories for Duality Defects
• Compact Semisimple 2-Categories
• Bosonization and Anomaly Indicators of (2+1)-D Fermionic Topological Orders
• On the Dualizability of Fusion 2-Categories
• Support theory for Drinfeld doubles of some infinitesimal group schemes
• Unit inclusion in a non-semisimple braided tensor category and non-compact relative TQFTs
• Orbifold completion of 3-categories
• Compact Semisimple Tensor 2-Categories are Morita Connected