[论文解读] Cubical approximation for directed topology I

Sanjeevi Krishnan|arXiv (Cornell University)|Dec 2, 2010

Homotopy and Cohomology in Algebraic Topology被引用 1

一句话总结

本文建立了定向拓扑中的立方体与单纯逼近定理，引入了一套通过立方体集与流（streams）计算定向同伦不变量的框架。证明了在紧致且四边形化流（quadrangulable streams）条件下，弱与强定向同伦关系一致，从而可通过立方体逼近实现定向上同调理论的可计算性。

ABSTRACT

Topological spaces - such as classifying spaces, configuration spaces and spacetimes - often admit extra temporal structure. Qualitative invariants on such directed spaces often are more informative yet more difficult to calculate than classical homotopy invariants on underlying spaces because directed spaces rarely decompose as homotopy colimits of simpler directed spaces. Directed spaces often arise as geometric realizations of simplicial sets and cubical sets equipped with temporal structure encoding the orientations of simplices and 1-cubes. In an attempt to develop calculational tools for directed homotopy theory, we prove appropriate simplicial and cubical approximation theorems. We consequently show that geometric realization induces an equivalence between weak homotopy diagram categories of cubical sets and directed spaces and that its right adjoint satisfies an excision theorem. Along the way, we give criteria for two different homotopy relations on directed maps in the literature to coincide.

研究动机与目标

• 开发适用于定向空间的逼近定理，将经典单纯与立方体逼近推广至定向情形。
• 建立与定向几何实现兼容的立方体集与流的同伦理论。
• 通过证明在紧致性与四边形化条件下的等价性，统一两种不同的定向同伦定义——弱同伦与强同伦。
• 通过将刚性组合模型（立方体集）与灵活的拓扑模型（流）关联，为定向上同调理论提供计算工具。
• 将现有工具如胞射逼近与prod-单纯逼近推广至高维定向路径结构。

提出的方法

• 使用立方体集与单纯集作为定向空间的组合模型，通过序理论结构编码方向性。
• 引入流实现函子 ↿−⇂: ˆ□→S 与 ↿−⇂: ˆ∆→S，将立方体集与单纯集几何实现为拓扑流。
• 应用边对称细分（sd）与三角剖分（tri）函子，关联立方体与单纯模型，形成伴随函子的交换图。
• 使用余积与同余关系构造，定义几何实现并验证函子性质，包括有限积与单射嵌入的保持性。
• 利用Zig-zag恒等式与自然变换，证明复合函子的同伦等价性，尤其在sd与实现函子的伴随对情境下。
• 通过强定向同伦定义（基于带局部序预序的单位区间上的单调映射）建立流的同伦理论。

实验结果

研究问题

• RQ1 在何种条件下，流之间映射的弱与强定向同伦关系会一致？
• RQ2 当经典同伦扩张性质不成立时，如何将单纯与立方体逼近定理适配至定向情形？
• RQ3 流实现函子 ↿−⇂: ˆ□→S 与 ↿−⇂: ˆ∆→S 满足何种函子性质，特别是关于积与嵌入的性质？
• RQ4 在何种意义下，多重细分（如四重立方体细分）可局部因子化为表示性立方体集？
• RQ5 在存在方向性的情况下，如何利用立方体与单纯模型系统化定向上同调理论？

主要发现

• 函子 ↿−⇂: ˆ∆→S 保持有限积，确保与定向同伦理论中积结构的兼容性。
• 函子 ↿−⇂: ˆ□→S 将单射映射发送为流嵌入，保持立方体集在拓扑实现中的组合结构。
• 对于紧致且四边形化的流，弱同伦与强同伦的定向同伦定义生成等价的等价关系，推广了先前对预立方体集的结果。
• 三角剖分与其右伴随的复合函子是连续的（cocontinuous），这一性质未被几何实现及其伴随函子共享，对同伦计算至关重要。
• 边对称细分与三角剖分函子与实现函子构成交换图，使得单纯与立方体模型之间的系统比较成为可能。
• 复合函子同伦等价性的证明依赖于Zig-zag恒等式与自然变换，其中实现函子保持同伦等价性，至多模 ↭。