The Classification of Two-Dimensional Extended Topological Field Theories

Abstract

We provide a complete generators and relations presentation of the 2-dimensional extended unoriented and oriented bordism bicategories as symmetric monoidal bicategories. Thereby we classify these types of 2-dimensional extended topological field theories with arbitrary target bicategory. As an immediate corollary we obtain a concrete classification when the target is the symmetric monoidal bicategory of algebras, bimodules, and intertwiners over a fixed commutative ground ring. In the oriented case, such an extended topological field theory is equivalent to specifying a (non-commutative) separable symmetric Frobenius algebra. The text is divided into three chapters. The first develops a variant of higher Morse theory and uses it to obtain a combinatorial description of surfaces suitable for the higher categorical language used later. The second chapter is an extensive treatment of the theory of symmetric monoidal bicategories. We introduce several stricter variants on the notion of symmetric monoidal bicategory, and give a very general treatment of the notion of presentation by generators and relations. Finally we provide a host of strictification and cohernece results for symmetric monoidal bicategories. The final chapter focuses on extended tqfts. We give a precise treatment of the extended bordism bicategory equipped with additional structure (such as framings or orientations). We apply the results of the previous two chapters to obtain a simple presentation of both the oriented and unoriented bordism bicategories, and describe the general method to obtain such classifications for other choices of structure. We examine the consequences of our classification when the target is the bicategory of algebras, bimodules, and maps, over a fixed commutative ground ring.

arXiv comment317 pages, 147 figures, 19 tables. v2 Greatly expanded based on referee comments. Appendix C contains an excerpt from arXiv:1301.1053, reproduced with the author's permission. v1 Ph. D. dissertation (2009)

References in corpus (9)

• Algebras and modules in monoidal model categories
• D-branes and K-theory in 2D topological field theory
• Open-closed strings: Two-dimensional extended TQFTs and Frobenius algebras
• A Quillen model structure for Gray-categories
• Constructing symmetric monoidal bicategories
• Direct Sum Decompositions and Indecomposable TQFT's
• Topological field theories, string backgrounds and homotopy algebras
• Extended TQFT's and Quantum Gravity
• Positivity of the universal pairing in 3 dimensions

Cited by in corpus (84)

• Topological Defect Lines and Renormalization Group Flows in Two Dimensions
• Edge modes and corner ambiguities in 3d Chern-Simons theory and gravity
• Iterated spans and classical topological field theories
• Modular categories as representations of the 3-dimensional bordism 2-category
• The Character Theory of a Complex Group
• Quasistrict symmetric monoidal 2-categories via wire diagrams
• Minimal nondegenerate extensions
• Cohomological Twisting of 2-Linearization and Extended TQFT
• Biunitary constructions in quantum information
• Classification of topological phases in one dimensional interacting non-Hermitian systems and emergent unitarity
• Spin Hurwitz numbers and topological quantum field theory
• Higher Categories and Topological Quantum Field Theories
• Lecture notes on 2-dimensional defect TQFT
• Rigid and Separable Algebras in Fusion 2-Categories
• Parity and Spin CFT with boundaries and defects
• Non-Semisimple Extended Topological Quantum Field Theories
• Gray categories with duals and their diagrams
• Dichromatic state sum models for four-manifolds from pivotal functors
• Higher Quantum Theory
• Introductory lectures on topological quantum field theory
• Open Diagrams via Coend Calculus
• Topological defects
• Naturality in sutured monopole and instanton homology
• Perversely categorified Lagrangian correspondences
• From dual-unitary to biunitary: a 2-categorical model for exactly-solvable many-body quantum dynamics
• Condensations in higher categories
• (3+1)D topological orders with only a ${\mathbb{Z}}_2$-charged particle
• Tori Detect Invertibility of Topological Field Theories
• Flavour singlets in gauge theory as Permutations
• Extended 3-dimensional bordism as the theory of modular objects
• Extended quantum field theory, index theory and the parity anomaly
• Categorification of algebraic quantum field theories
• The 2-dimensional stable homotopy hypothesis
• Coherence for Frobenius pseudomonoids and the geometry of linear proofs
• Orientation twisted homotopy field theories and twisted unoriented Dijkgraaf-Witten theory
• Smooth Functorial Field Theories from B-Fields and D-Branes
• Relative symmetric monoidal closed categories I: Autoenrichment and change of base
• Fully extended $\mathbf{r}$-spin TQFTs
• K-theory for 2-categories
• Extending Landau-Ginzburg models to the point
• Extended Functorial Field Theories and Anomalies in Quantum Field Theories
• Azumaya Objects in Triangulated Bicategories
• Extended TQFTs From Non-Semisimple Modular Categories
• Reflection Structures and Spin Statistics in Low Dimensions
• Stable Postnikov data of Picard 2-categories
• The monoidal structure of strictification
• Local Modules in Braided Monoidal 2-Categories
• Dimensional Reduction, Extended Topological Field Theories and Orbifoldization
• Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract)
• Building the bicategory Span${}_2(\mathcal{C})$
• The Serre automorphism via homotopy actions and the Cobordism Hypothesis for oriented manifolds
• Coherence for adjunctions in a $3$-category via string diagrams
• Shaded tangles for the design and verification of quantum circuits
• String topology of finite groups of Lie type
• Frobenius objects in the category of spans
• Coherence for braided and symmetric pseudomonoids
• On the Dualizability of Fusion 2-Categories
• Effectful Semantics in 2-Dimensional Categories: Premonoidal and Freyd Bicategories
• Traced Monoidal Categories as Algebraic Structures in Prof
• On the Landau-Ginzburg/conformal field theory correspondence
• Representable diagrammatic sets as a model of weak higher categories
• Traced monoidal categories as algebraic structures in $\mathbf{Prof}$
• Frobenius algebras and homotopy fixed points of group actions on bicategories
• A cobordism realizing crossing change on ${\mathfrak{sl}}_2$ tangle homology and a categorified Vassiliev skein relation
• Extension Theory and Fermionic Strongly Fusion 2-Categories (with an Appendix by Thibault Didier Décoppet and Theo Johnson-Freyd)
• Gluing Manifolds in the Cahiers Topos
• Zigzag normalisation for associative $n$-categories
• A Categorical Semantics for Bounded Petri Nets
• Gerbes in Geometry, Field Theory, and Quantisation
• Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)
• Morita Bicategories of Algebras and Duality Involutions
• Bimonoidal Categories, $E_n$-Monoidal Categories, and Algebraic $K$-Theory
• Quantization of algebraic invariants through Topological Quantum Field Theories
• The formal theory of multimonoidal monads
• Types, Codes and TFTs
• 2-categorical opfibrations, Quillen's Theorem B, and $S^{-1}S$
• Monoidal 2-Categories: A Review
• A Physical Origin for Singular Support Conditions in Geometric Langlands Theory
• Quillen's Theorem A and the Whitehead theorem for bicategories
• Semisimple Field Theories Detect Stable Diffeomorphism
• Categories of Lagrangian Correspondences in Super Hilbert Spaces and Fermionic Functorial Field Theory
• The Cyclic and Modular Microcosm Principle in Quantum Topology
• Decomposition of the first Vassiliev derivative of Khovanov homology and its application
• Transversality theorem in highly relative situations and its application