[论文解读] Factorization homology of stratified spaces

David Ayala, John Francis+1 more|arXiv (Cornell University)|Sep 2, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 3被引用 11

一句话总结

本文為具有切向结构的分层空间上的分解同调建立了一个基础框架，推广了经典同调与纽结不变量。它证明了广义的Eilenberg–Steenrod公理化体系，并将非交换Poincaré对偶性推广至分层情形，通过$ω$-范畴与$ω$-operad构造出新的纽结与链环同调理论。

ABSTRACT

This work forms a foundational study of factorization homology, or topological chiral homology, at the generality of stratified spaces with tangential structures. Examples of such factorization homology theories include intersection homology, compactly supported stratified mapping spaces, and Hochschild homology with coefficients. Our main theorem characterizes factorization homology theories by a generalization of the Eilenberg--Steenrod axioms; it can also be viewed as an analogue of the Baez--Dolan cobordism hypothesis formulated for the observables, rather than state spaces, of a topological quantum field theory. Using these axioms, we extend the nonabelian Poincaré duality of Salvatore and Lurie to the setting of stratified spaces -- this is a nonabelian version of the Poincaré duality given by intersection homology. We pay special attention to the simple case of singular manifolds whose singularity datum is a properly embedded submanifold and give a further simplified algebraic characterization of these homology theories. In the case of 3-manifolds with 1-dimensional submanifolds, these structure gives rise to knot and link homology theories.

研究动机与目标

• 为具有切向结构的分层空间发展分解同调的一般理论，推广经典同调与量子场论不变量。
• 将Eilenberg–Steenrod公理由推广以表征分解同调为同伦不变理论。
• 将非交换Poincaré对偶性推广至分层流形，包括具有适当嵌入子流形的奇异流形。
• 通过$ω$-operad与带框架的圆盘代数，从带有1维子流形的3-流形构造纽结与链环同调理论。
• 为简单分层空间（特别是带有1维子流形的3-流形）提供分解同调的代数表征。

提出的方法

• 作者使用$ω$-范畴与$ω$-operad来建模分层空间的几何结构，并通过在圆盘配置空间上的左Kan扩张来定义分解同调。
• 他们提出了观测量的广义 bordism 假设，将分解同调表述为满足类似Baez–Dolan假设的函子，但针对的是观测量而非状态空间。
• 该理论基于一个范畴$ω\mathsf{D}_{d\subset n}$，即带有$d$维子流形和切向结构的框架$n$-流形，并使用有限集合与双射的$ω$-范畴来建模配置。
• 关键技术工具是将分解同调识别为配置群胚上的余极限，利用等价式$\operatorname{\mathcal{M}\mathsf{fld}}_{d\subset n}(i(J_n,J_d), X) / \mathsf{O}(n)^{J_n} \times \mathsf{O}(d\subset n)^{J_d} \simeq \mathsf{Conf}_{J_n}(M\setminus L) \times \mathsf{Conf}_{J_d}(L)$。
• 通过在自同构群上的张量积，定义了$ω\mathsf{D}_{d\subset n}$-代数上的自由代数，得到公式：$\int_{(L\subset M)} \operatorname{Free}_{\mathcal{E}}^{\delta(P,Q)} \simeq \operatorname{Conf}^P(M\setminus L) \otimes \operatorname{Conf}^Q(L)$。
• 该构造与上推和同伦等价相容，确保了在分层空间上的同伦不变性与自然性。

实验结果

研究问题

• RQ1 如何通过Eilenberg–Steenrod公理的推广来对分层空间上的分解同调进行公理化？
• RQ2 切向结构在定义具有切向结构的分层流形上的分解同调中起什么作用？
• RQ3 非交换Poincaré对偶性如何推广至具有适当嵌入子流形的奇异流形？
• RQ4 在带有1维子流形的3-流形上，分解同调能否产生纽结与链环同调理论？
• RQ5 在简单分层情形（如带有1维子流形的3-流形）下，分解同调的代数表征是什么？

主要发现

• 本文建立了分解同调的广义Eilenberg–Steenrod公理化体系，将其表征为具有切向结构的分层空间上的同伦不变理论。
• 证明了分层空间上的非交换Poincaré对偶性，将Salvatore与Lurie的结果推广至具有适当嵌入子流形的奇异流形情形。
• 对于带有1维子流形$L$的3-流形$M$，$ω\mathsf{D}_{1\subset 3}$-代数$\delta(P,Q)$的分解同调等价于$\operatorname{Conf}^P(M\setminus L) \otimes \operatorname{Conf}^Q(L)$，从而产生纽结与链环同调理论。
• 该理论提供了分解同调的几何实现，即作为群胚上配置的左Kan扩张，余极限以自同构群的商形式表达：$\coprod_{[(J_n,J_d)]} \left( \operatorname{\mathcal{M}\mathsf{fld}}_{d\subset n}(i(J_n,J_d),X) \right) \otimes_{\operatorname{Aut}(J_n,J_d)} (P^{\otimes J_n} \otimes Q^{\otimes J_d})$。
• 该构造与上推和同伦等价相容，确保所得同调理论具有同伦不变性，并对开嵌入保持自然性。
• 该框架可推广至任意基本流形范畴$\mathcal{B}$与映射$\mathcal{E} \to \mathcal{B}$，显示出超越标准框架圆盘范畴的广泛应用性。