[论文解读] Classification of Constructible Cosheaves

Justin Curry, Amit Patel|arXiv (Cornell University)|Mar 4, 2016

Homotopy and Cohomology in Algebraic Topology被引用 8

一句话总结

本文在局部锥状分层空间上的可构造余层与进入路径范畴之间的函子之间建立了范畴等价，基于特定开包含所诱导的同构，提出了一种新的、简化的可构造性条件。主要贡献在于以1-范畴框架提供了MacPherson等价关系的自-contained证明，并在取值于Set时推广至分层覆盖的分类。

ABSTRACT

In this paper we prove an equivalence theorem originally observed by Robert MacPherson. On one side of the equivalence is the category of cosheaves that are constructible with respect to a locally cone-like stratification. Our constructibility condition is new and only requires that certain inclusions of open sets are sent to isomorphisms. On the other side of the equivalence is the category of functors from the entrance path category, which has points for objects and certain homotopy classes of paths for morphisms. When our constructible cosheaves are valued in $\mathsf{Set}$ we prove an additional equivalence with the category of stratified coverings.

研究动机与目标

• 建立一种基于特定开包含所诱导同构的、新的、简化的可构造余层定义。
• 证明此类可构造余层与进入路径范畴函子之间的等价性，推广MacPherson的观察。
• 通过从进入路径范畴到Set的函子对分层覆盖进行分类，将经典覆盖空间理论推广至分层设定。
• 在1-范畴框架下提供一个自-contained、易于理解的等价性处理，适用于纯数学以外的应用。

提出的方法

• 引入余层的新可构造性条件：要求同一层内的开集包含在余层中诱导同构。
• 通过路径的等价类定义进入路径范畴，这些路径以受控方式进入各层，等价关系通过有限的初等操作（最多穿过一个层的捷径）定义。
• 证明进入路径范畴的van Kampen型定理，依赖于新等价关系以确保与粘合公理的相容性。
• 建立从可构造余层到进入路径范畴函子的全忠实且本质满射函子，从而证明主要等价定理。
• 利用该等价性，将分层覆盖分类为从进入路径范畴到集合范畴的函子。
• 验证该分类能恢复已知例子，例如通过R上的锥构造圆的万有覆盖，以及通过zn映射得到的n重覆盖。

实验结果

研究问题

• RQ1 如何重新定义余层的可构造性，以简化其与进入路径范畴之间的等价性？
• RQ2 在局部锥状分层空间上，分类可构造余层的精确范畴结构是什么？
• RQ3 能否通过从进入路径范畴到Set的函子完全分类分层覆盖？
• RQ4 是否存在一种自-contained的1-范畴证明，以避免使用高阶范畴理论来证明MacPherson的等价性？
• RQ5 是否能通过在层等价关系下对开集的偏序集进行局部化，直接构造进入路径范畴？

主要发现

• 提出了一种新的余层可构造性条件，要求特定开集包含诱导同构；该条件蕴含经典定义。
• 取值于双完备范畴Ω的可构造余层范畴，与从进入路径范畴到Ω的函子范畴等价。
• 当余层取值于Set时，该等价性限制为与分层覆盖范畴的等价。
• 进入路径范畴通过允许最多穿过一个层的有限捷径的路径等价关系定义，从而支持van Kampen定理。
• 该分类恢复了经典例子：圆的万有覆盖作为Z上平移映射对应的分层覆盖被恢复，而zn的n重覆盖则通过有限置换表示被恢复。
• 该理论为MacPherson的洞见提供了一个概念性的最小框架，提示可通过开集偏序集的局部化直接构造进入路径范畴。