A geometrical description of untwisted 3d Dijkgraaf-Witten TQFT with defects

Abstract

We give a simple, geometric and explicit construction of 3d untwisted Dijkgraaf-Witten theory with defects of all codimensions. It is given as a symmetric monoidal functor from a defect cobordism category into the category of finite-dimensional complex vector spaces. The objects of this category are oriented stratified surfaces and its morphisms are equivalence classes of stratified cobordisms, both labelled with higher categorical data. This TQFT is constructed in terms of geometric quantities such as fundamental groupoids and bundles and requires neither state sums on triangulations nor diagrammatic calculi for higher categories. It is obtained from a functor that assigns to each defect surface a representation of a gauge groupoid and to each defect cobordism a fibrant span of groupoids and an intertwiner between the groupoid representations at its boundary. It is constructed by homotopy theoretic methods and allows for an explicit computation of examples. In particular, we show how the 2d part of this defect TQFT gives a simple description of defects of all codimensions in Kitaev's quantum double model.

arXiv commentv1 65 pages. v2 65 pages; minor corrections and clarifications; minor modification in the title, surname of one author corrected. A perfected version will appear in Advances in Mathematics

References in corpus (20)

• Fault-tolerant quantum computation by anyons
• String-net condensation: A physical mechanism for topological phases
• Models for gapped boundaries and domain walls
• Duality and defects in rational conformal field theory
• Chern-Simons Theory with Finite Gauge Group
• Bicategories for boundary conditions and for surface defects in 3-d TFT
• Iterated spans and classical topological field theories
• Orbifolds of n-dimensional defect TQFTs
• 3-dimensional defect TQFTs and their tricategories
• The twisted Drinfeld double of a finite group via gerbes and finite groupoids
• Traces on Module Categories over Fusion Categories
• Line and surface defects in Reshetikhin-Turaev TQFT
• Cohomological Twisting of 2-Linearization and Extended TQFT
• A geometric approach to boundaries and surface defects in Dijkgraaf-Witten theories
• Categorical notions of fibration
• On the Brauer groups of symmetries of abelian Dijkgraaf-Witten theories
• Gray categories with duals and their diagrams
• Homotopy linear algebra
• Domain walls between 3d phases of Reshetikhin-Turaev TQFTs
• Frobenius-Schur Indicators and the Mapping Class Group of the Torus