Orbifold completion of 3-categories

Abstract

We develop a general theory of 3-dimensional ``orbifold completion'', to describe (generalised) orbifolds of topological quantum field theories as well as all their defects. Given a semistrict 3-category $\mathcal{T}$ with adjoints for all 1- and 2-morphisms (more precisely, a Gray category with duals), we construct the 3-category ${\mathcal{T}}_{\text{orb}}$ as a Morita category of certain $E_1$-algebras in $\mathcal{T}$ which encode triangulation invariance. We prove that in ${\mathcal{T}}_{\text{orb}}$ again all 1- and 2-morphisms have adjoints, that it contains $\mathcal{T}$ as a full subcategory, and we argue, but do not prove, that it satisfies a universal property which implies $({\mathcal{T}}_{\text{orb}}{)}_{\text{orb}}\cong {\mathcal{T}}_{\text{orb}}$. This is a categorification of the work in [CR]. Orbifold completion by design allows us to lift the orbifold construction from closed TQFT to the much richer world of defect TQFTs. We illustrate this by constructing a universal 3-dimensional state sum model with all defects from first principles, and we explain how recent work on defects between Witt equivalent Reshetikhin--Turaev theories naturally appears as a special case of orbifold completion.

58 pages, many diagrams and figures, v2: references, clarifications and improvements added, v3: small improvements

References in corpus (20)

• Defect lines, dualities, and generalised orbifolds
• Bicategories for boundary conditions and for surface defects in 3-d TFT
• Orbifold completion of defect bicategories
• (Op)lax natural transformations, twisted quantum field theories, and "even higher" Morita categories
• Orbifolds of n-dimensional defect TQFTs
• Discrete torsion defects
• 3-dimensional defect TQFTs and their tricategories
• Traces on Module Categories over Fusion Categories
• Line and surface defects in Reshetikhin-Turaev TQFT
• On dualizability of braided tensor categories
• Orbifold equivalent potentials
• Lecture notes on 2-dimensional defect TQFT
• Invertible braided tensor categories
• Rigid and Separable Algebras in Fusion 2-Categories
• Multifusion Categories and Finite Semisimple 2-Categories
• The Morita Theory of Fusion 2-Categories
• Strangely dual orbifold equivalence I
• Domain walls between 3d phases of Reshetikhin-Turaev TQFTs
• Reshetikhin-Turaev TQFTs close under generalised orbifolds
• An equivalence between Frobenius algebras and Calabi-Yau categories