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.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2012
- DOI:
- 10.48550/arXiv.1206.5522
- arXiv:
- arXiv:1206.5522
- Bibcode:
- 2012arXiv1206.5522A
- Keywords:
-
- Mathematics - Algebraic Topology;
- Mathematics - Geometric Topology;
- Mathematics - Quantum Algebra
- E-Print:
- 37 pages. Accepted for publication by Journal of Topology