Factorization homology of topological manifolds

Abstract

Factorization homology theories of topological manifolds, after Beilinson, Drinfeld and Lurie, are homology-type theories for topological $n$-manifolds whose coefficient systems are $n$-disk algebras or $n$-disk stacks. In this work we prove a precise formulation of this idea, giving an axiomatic characterization of factorization homology with coefficients in $n$-disk algebras in terms of a generalization of the Eilenberg--Steenrod axioms for singular homology. Each such theory gives rise to a kind of topological quantum field theory, for which observables can be defined on general $n$-manifolds and not only closed $n$-manifolds. For $n$-disk algebra coefficients, these field theories are characterized by the condition that global observables are determined by local observables in a strong sense. Our axiomatic point of view has a number of applications. In particular, we give a concise proof of the nonabelian Poincaré duality of Salvatore, Segal, and Lurie. We present some essential classes of calculations of factorization homology, such as for free $n$-disk algebras and enveloping algebras of Lie algebras, several of which have a conceptual meaning in terms of Koszul duality.

37 pages. Corrected Proposition 5.3

References in corpus (5)

• Operads, homotopy algebra and iterated integrals for double loop spaces
• Embeddings from the point of view of immersion theory: Part I
• The tangent complex and Hochschild cohomology of E_n-rings
• The blob complex
• Koszul duality of E_n-operads

Cited by in corpus (44)

• Integrating quantum groups over surfaces
• Symplectic homology and the Eilenberg-Steenrod axioms
• On dualizability of braided tensor categories
• Higher enveloping algebras
• Homotopy theory of algebraic quantum field theories
• Operads for algebraic quantum field theory
• Betti numbers and stability for configuration spaces via factorization homology
• Betti numbers of configuration spaces of surfaces
• Invertible braided tensor categories
• Excision of Skein Categories and Factorisation Homology
• Topological twists of supersymmetric algebras of observables
• A model for configuration spaces of points
• Higher Structures in Algebraic Quantum Field Theory
• Spin, statistics, orientations, unitarity
• Cross-effects and the classification of Taylor towers
• Categorification of algebraic quantum field theories
• The Lambrechts-Stanley Model of Configuration Spaces
• Weyl n-algebras
• BV quantization of the Rozansky-Witten model
• The topological chiral homology of the spherical category
• The factorization theory of Thom spectra and twisted non-abelian Poincaré duality
• Higher Hochschild cohomology of the Lubin-Tate ring spectrum
• Strictification theorems for the homotopy time-slice axiom
• Kauffman Skein Algebras and Quantum Teichmüller Spaces via Factorisation Homology
• On Quantum Obstruction Spaces and Higher Codimension Gauge Theories
• Free loop space and the cyclic bar construction
• Quillen homology of spectral Lie algebras with application to mod $p$ homology of labeled configuration spaces
• Curved Koszul duality of algebras over unital versions of binary operads
• Secondary products in supersymmetric field theory
• A remark on extremal stability of configuration spaces
• Deformation Quantization via Categorical Factorization Homology
• Inclusions of Operator Algebras from Tensor Categories: beyond irreducibility
• Eisenstein series via factorization homology of Hecke categories
• Defects via Factorization Algebras
• The Disc-structure space
• A Context for Manifold Calculus
• Applications of equivariant factorization homology
• Natural symmetries of secondary Hochschild homology
• $C^{\ast }$-categorical prefactorization algebras for superselection sectors and topological order
• Holomorphic field theories and higher algebra
• Quantization of algebraic invariants through Topological Quantum Field Theories
• Goodwillie's cosimplicial model for the space of long knots and its applications
• A Kuenneth theorem for configuration spaces
• Models for the n-Swiss Cheese operads