[论文解读] Popaths and Holinks

David Miller|ArXiv.org|Sep 7, 2009

Spatial Cognition and Navigation参考文献 1被引用 10

一句话总结

本文在同伦分层空间中建立了路径空间与Holink空间之间的同伦等价，通过构造一个固定端点的形变收缩，使得像中的路径立即成为Holink路径。关键贡献在于证明了Holink空间到路径空间的包含映射是一种特殊路径包含，从而在分层拓扑中通过路径复合实现范畴结构。

ABSTRACT

In the study of stratified spaces it is useful to examine spaces of popaths (paths which travel from lower strata to higher strata) and holinks (those spaces of popaths which immediately leave a lower stratum for their final stratum destination). It is not immediately clear that for adjacent strata these two path spaces are homotopically equivalent, and even less clear that this equivalence can be constructed in a useful way (with a deformation of the space of popaths which fixes start and end points and where popaths instantly become members of the holink). The advantage of such an equivalence is that it allows a stratified space to be viewed categorically because popaths, unlike holink paths (which are easier to study), can be composed. This paper proves the aforementioned equivalence in the case of Quinn's homotopically stratified spaces.

研究动机与目标

• 在同伦分层空间中建立路径空间与Holink空间之间的同伦等价。
• 从路径空间到Holink构造一个固定起点和终点的形变收缩。
• 使可复合的路径（popaths）能在分层拓扑中用于范畴构造。
• 解决Holink路径不可复合而popaths可以复合的挑战。
• 为从其路径范畴重构分层空间提供基础工具。

提出的方法

• 将popaths定义为在过滤空间中仅从低层向高层移动的保序路径。
• 将holinks定义为立即离开初始层且永不返回的popaths。
• 在度量popath空间上使用单位分解论证，构造一个连续的收缩参数。
• 构造一个同伦 $ j_s $，利用近乎保持层结构的收缩，将路径的初始段收缩到起点层。
• 构造第二个同伦 $ k_s $，通过在子空间上使用先前建立的同伦，操控路径在某一点之后的部分。
• 将同伦复合为 $ l_s = j_s \circ k_s $，以确保像路径避开中间层，并在 $ s > 0 $ 时成为Holink路径。

实验结果

研究问题

• RQ1 在同伦分层空间中，Holink空间到路径空间的包含映射是否为同伦等价？
• RQ2 该等价性能否通过一个固定路径起点和终点的形变收缩来构造？
• RQ3 此类形变能否在保持路径空间结构的同时，确保所有 $ s > 0 $ 时的像路径均为Holink路径？
• RQ4 该构造是否允许通过归纳方式移除中间层，将问题简化为双层情形？
• RQ5 该结果能否支持从其popath范畴重构分层空间？

主要发现

• 在同伦分层空间中，包含映射 $ \mathrm{hol}(X_b \cup X_a, X_a) \subset \mathrm{pop}(X_b, X, X_a) $ 是一种特殊路径包含。
• 存在一个同伦 $ l: \mathrm{popath} \times I \to \mathrm{popath} $，使得 $ l_0 = \mathrm{id} $，对所有 $ s $，$ l_s $ 固定起点和终点，且当 $ s > 0 $ 时，有 $ \mathrm{im}(l_s) \subset \mathrm{holink} $。
• 该构造依赖于对中间层的归纳移除，将问题简化为双层情形。
• 双层情形通过连续收缩参数 $ \lambda $ 和近乎保持层结构的收缩 $ r $ 解决，确保过渡点的上半连续性。
• 结果确认了路径空间与Holink空间在与复合兼容的意义下是同伦等价的，从而支持范畴解释。
• 该构造在后续工作中被明确用于从其popath范畴重构分层空间。