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.

317 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 (4)

• D-branes and K-theory in 2D topological field theory
• Constructing symmetric monoidal bicategories
• Extended TQFT's and Quantum Gravity
• Positivity of the universal pairing in 3 dimensions

Cited by in corpus (81)

• 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
• Minimal nondegenerate extensions
• Quasistrict symmetric monoidal 2-categories via wire diagrams
• 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
• Gray categories with duals and their diagrams
• Non-Semisimple Extended Topological Quantum Field Theories
• Higher Quantum Theory
• Introductory lectures on topological quantum field theory
• Dichromatic state sum models for four-manifolds from pivotal functors
• Open Diagrams via Coend Calculus
• Naturality in sutured monopole and instanton homology
• Topological defects
• From dual-unitary to biunitary: a 2-categorical model for exactly-solvable many-body quantum dynamics
• Perversely categorified Lagrangian correspondences
• Condensations in higher categories
• Tori Detect Invertibility of Topological Field Theories
• (3+1)D topological orders with only a ${\mathbb{Z}}_2$-charged particle
• Flavour singlets in gauge theory as Permutations
• Extended quantum field theory, index theory and the parity anomaly
• Extended 3-dimensional bordism as the theory of modular objects
• Categorification of algebraic quantum field theories
• Orientation twisted homotopy field theories and twisted unoriented Dijkgraaf-Witten theory
• Coherence for Frobenius pseudomonoids and the geometry of linear proofs
• The 2-dimensional stable homotopy hypothesis
• Smooth Functorial Field Theories from B-Fields and D-Branes
• Relative symmetric monoidal closed categories I: Autoenrichment and change of base
• Extending Landau-Ginzburg models to the point
• Fully extended $\mathbf{r}$-spin TQFTs
• K-theory for 2-categories
• Extended Functorial Field Theories and Anomalies in Quantum Field Theories
• 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)
• String topology of finite groups of Lie type
• Shaded tangles for the design and verification of quantum circuits
• Coherence for adjunctions in a $3$-category via string diagrams
• Frobenius objects in the category of spans
• Coherence for braided and symmetric pseudomonoids
• The Serre automorphism via homotopy actions and the Cobordism Hypothesis for oriented manifolds
• Building the bicategory Span${}_2(\mathcal{C})$
• On the Dualizability of Fusion 2-Categories
• On the Landau-Ginzburg/conformal field theory correspondence
• Traced Monoidal Categories as Algebraic Structures in Prof
• Extension Theory and Fermionic Strongly Fusion 2-Categories (with an Appendix by Thibault Didier Décoppet and Theo Johnson-Freyd)
• Effectful Semantics in 2-Dimensional Categories: Premonoidal and Freyd Bicategories
• 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
• Traced monoidal categories as algebraic structures in $\mathbf{Prof}$
• Representable diagrammatic sets as a model of weak higher categories
• A Categorical Semantics for Bounded Petri Nets
• Gerbes in Geometry, Field Theory, and Quantisation
• Gluing Manifolds in the Cahiers Topos
• Morita Bicategories of Algebras and Duality Involutions
• Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)
• Zigzag normalisation for associative $n$-categories
• Bimonoidal Categories, $E_n$-Monoidal Categories, and Algebraic $K$-Theory
• Semisimple Field Theories Detect Stable Diffeomorphism
• The Cyclic and Modular Microcosm Principle in Quantum Topology
• Transversality theorem in highly relative situations and its application
• Types, Codes and TFTs
• Decomposition of the first Vassiliev derivative of Khovanov homology and its application
• Quantization of algebraic invariants through Topological Quantum Field Theories
• A Physical Origin for Singular Support Conditions in Geometric Langlands Theory
• 2-categorical opfibrations, Quillen's Theorem B, and $S^{-1}S$
• The formal theory of multimonoidal monads
• Monoidal 2-Categories: A Review
• Quillen's Theorem A and the Whitehead theorem for bicategories
• Categories of Lagrangian Correspondences in Super Hilbert Spaces and Fermionic Functorial Field Theory