[论文解读] Persistent homotopy theory

John F. Jardine|arXiv (Cornell University)|Feb 23, 2020

Topological and Geometric Data Analysis参考文献 7被引用 7

一句话总结

本文通过将维也纳-里普斯复形和度数里普斯复形建模为其单纯形偏序集的骨架，提出了一种基于偏序集的持久同伦理论框架，从而可将同伦稳定性定理重新表述为受控等价性。关键贡献是形式化的同伦交错构造，表明在子集附近距离 $ r $ 内添加点会诱导持久同伦型之间的 $ 2r $-等价性，该结果将里普斯稳定性推广至范畴论与偏序集理论的设定中，利用奎伦的偏序集同伦型理论。

ABSTRACT

Vietoris-Rips and degree Rips complexes are represented as homotopy types by their underlying posets of simplices, and basic homotopy stability theorems are recast in these terms. These homotopy types are viewed as systems (or functors), which are defined on a parameter space. The category of systems of spaces admits a partial homotopy theory that is based on controlled equivalences, suitably defined, that are the output of homotopy stability results.

研究动机与目标

• 将持久同伦稳定性定理重新表述为偏序集及其骨架的形式，避免依赖几何实现。
• 建立一个用于空间系统中受控等价性的正式框架，基于 $ r $-交错结构。
• 通过偏序集态射与同伦理论构造，将里普斯稳定性推广至范畴论设定。
• 利用奎伦的偏序集同伦型理论，提供布卢姆伯格-莱斯尼克里普斯稳定性定理的偏序集理论证明。

提出的方法

• 将维也纳-里普斯复形和度数里普斯复形建模为函子 $ s \to P_s(X) $，其中 $ P_s(X) $ 是大小 $ \leq s $ 的单纯形的偏序集。
• 使用骨架构造 $ BP_s(X) $，将偏序集实现为与单纯复形几何实现同伦等价的空间。
• 构造一个收缩映射 $ \theta: Y \to X $，满足 $ d(y, \theta(y)) < r $，从而诱导一个偏序集态射 $ \theta: P_s(Y) \to P_{s+2r}(X) $。
• 构建一个包含包含映射与 $ \theta $ 的同伦交错图，证明其在自然变换意义下可交换。
• 基于同伦群与路径连通分支上的 $ r $-单射、$ r $-满射与 $ r $-同构，定义 $ r $-等价性与 $ 2r $-等价性。
• 应用奎伦的偏序集同伦型理论，证明稳定性结果，并分析受控等价性下的系统拉回与上拉。

实验结果

研究问题

• RQ1 如何利用偏序集结构及其骨架，而非几何实现，重新表述持久同伦稳定性？
• RQ2 当 $ Y $ 是 $ X $ 的 $ r $-稠密扩张时，包含映射 $ V_s(X) \to V_s(Y) $ 的精确同伦理论性质是什么？
• RQ3 能否仅使用偏序集理论工具与奎伦理论重新证明布卢姆伯格-莱斯尼克里普斯稳定性定理？
• RQ4 何种条件可确保空间系统之间的映射为受控等价？其与纤维化和协纤维化的关系如何？
• RQ5 在 $ r $-交错与受控等价下，系统的上拉与拉回行为如何？

主要发现

• 由 $ r $-稠密子集 $ X \subset Y $ 导出的包含映射 $ V_s(X) \to V_s(Y) $ 在同伦群、路径连通分支与同调群上均为 $ 2r $-等价。
• 偏序集骨架 $ BP_s(X) $ 捕获了与维也纳-里普斯复形几何实现相同的同伦型，从而支持基于偏序集的同伦理论。
• 偏序集的 $ 2r $-交错图在 $ \pi_n $、$ \pi_0 $ 与同调群上诱导 $ 2r $-同构，证明了同伦稳定性。
• 受控等价性被定义为某个 $ r \geq 0 $ 的 $ r $-等价性，其与逐段纤维化和协纤维化具有良好相容性。
• 逐段纤维化与 $ r $-等价性的拉回是逐段纤维化与 $ 2r $-等价性，从而在极限下保持稳定性。
• 可 admitting $ r $-交错的协纤维化上拉也 admit $ r $-交错，并在 $ \pi_0 $ 上诱导 $ r $-同构，在同调群上诱导 $ 2r $-同构。