[论文解读] Zero-pointed manifolds

David Ayala, John Francis|arXiv (Cornell University)|Sep 9, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 24被引用 17

一句话总结

本文引入了零点流形——一类带有基点的局部紧致空间，其基点的补集为 $n$-流形——以统一拓扑中的庞加莱对偶性与 $ $-代数中的科什乌尔对偶性。通过将分解同调推广至该范畴，作者构造了一个对偶映射，借助巴尔构造实现了 $ $-操作族的科什乌尔自对偶性，从而建立了非交换庞加莱对偶性的几何实现。

ABSTRACT

We formulate a theory of pointed manifolds, accommodating both embeddings and Pontryagin-Thom collapse maps, so as to present a common generalization of Poincaré duality in topology and Koszul duality in $\mathcal{E}_n$-algebra.

研究动机与目标

• 解决在流形拓扑中缺乏同时支持同调与上同调理论的统一几何框架的问题。
• 通过引入在嵌入和庞特里亚金-托姆坍缩映射下封闭的最小流形范畴，将庞加莱对偶性推广至分解同调。
• 通过 $n$-圆盘代数上的巴尔构造，提供 $ $-操作族科什乌尔自对偶性的几何实现。
• 基于零点流形的结构，建立分解同调与上同调之间的对偶映射。
• 证明 $n$-重迭代巴尔构造在增强 $ $-代数上自然具有 $ $-余代数结构。

提出的方法

• 将零点流形定义为基点的补集为 $n$-流形的带基点空间，其态射为在基点外限制为开嵌入的带基点映射。
• 构造一个范畴 $ $，其同时包含 $ $ 及其对偶，从而支持前推与零扩展函子。
• 将分解同调扩展至 $ $，通过 $ $ 上的压紧映射引入零扩展映射与余代数结构。
• 将 $ $ 的分解同调识别为增强 $ $-代数的 $n$-重迭代巴尔构造。
• 利用 $ $ 与其对偶之间的对偶性，在分解同调语境下定义庞加莱/科什乌尔对偶映射。
• 应用对称单子 $ $-范畴与终单位的理论，证明沿 $ $ 的限制在单位为终时诱导函子范畴的等价，从而确立对偶化函子的表示性。

实验结果

研究问题

• RQ1 能否构造一个共同的几何范畴，以同时支持流形的同调与上同调理论？
• RQ2 如何扩展分解同调以同时支持前推与零扩展映射？
• RQ3 科什乌尔自对偶性的几何实现是什么？
• RQ4 增强 $ $-代数的 $n$-重迭代巴尔构造如何继承 $ $-余代数结构？
• RQ5 是否存在一个自然的对偶映射，将分解同调与上同调联系起来，从而推广庞加莱对偶性？

主要发现

• 零点 $n$-流形的范畴 $ $ 通过否定函子 $\neg$ 具有自然的自对偶性，诱导同构 $\n \cong \n^{\mathsf{op}}$。
• 作为 $ $ 的 1-点紧化，$ $ 的分解同调通过压紧映射自然成为 $n$-圆盘余代数，从而将 $n$-重迭代巴尔构造实现为余代数。
• 增强 $ $-代数的 $n$-重迭代巴尔构造具有自然的 $ $-余代数结构，从而几何地实现了 $ $-操作族的科什乌尔自对偶性。
• 函子 $\operatorname{Fun}^{\otimes, \sf aug}(\mathcal{M}, \mathcal{V})$ 由 $\mathcal{V}_{/\mathbbm{1}}$ 表示，且当 $ $ 的单位为终时，沿 $ $ 的限制在对称单子函子上诱导等价，从而证明了对偶化函子的表示性。
• 涉及 $ $ 与 $ $ 的对称单子 $ $-范畴的图表在等价意义下交换，由于 $ $ 中单位的终性，遗忘函子为等价。
• 在 $ $ 上的自然对称单子结构使得遗忘函子 $\operatorname{Fun}^{\otimes, \sf aug}(\mathcal{M}_+, \mathcal{V}) \to \operatorname{Fun}^{\otimes, \sf aug}(\mathcal{M}, \mathcal{V})$ 在 $ $ 具有终单位时为等价，从而证明了对偶化函子的表示性。