[论文解读] Relative directed homotopy theory of partially ordered spaces

Thomas Kahl|ArXiv.org|Jan 4, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用 8

一句话总结

本文证明了偏序空间（pospaces）的范畴在弱等价为双方向同伦等价（dihomotopy equivalences）、纤维化为双纤维化（difibrations）、余纤维化为双余纤维化（dicofibrations）的条件下，具有闭模型范畴结构。此外，本文还表明，在固定偏序空间下的相对方向同伦理论具有良好的行为，由固定偏序空间之下的偏序空间范畴构成纤维化与余纤维化范畴，从而为计算机科学中并发系统的建模提供了稳健的同伦理论框架。

ABSTRACT

Algebraic topological methods have been used successfully in concurrency theory, the domain of theoretical computer science that deals with distributed computing. L. Fajstrup, E. Goubault, and M. Raussen have introduced partially ordered spaces (pospaces) as a model for concurrent systems. In this paper it is shown that the category of pospaces under a fixed pospace is both a fibration and a cofibration category in the sense of H. Baues. The homotopy notion in this fibration and cofibration category is relative directed homotopy. It is also shown that the category of pospaces is a closed model category such that the homotopy notion is directed homotopy.

研究动机与目标

• 为并发理论中使用的偏序空间（pospaces）构建一个同伦理论框架。
• 在固定基偏序空间的背景下，定义并形式化相对方向同伦（dihomotopy）。
• 证明偏序空间范畴是一个闭模型范畴，其中方向同伦作为同伦概念。
• 证明所有偏序空间均为纤维化与余纤维化对象，确保其具有良好的同伦行为。
• 证明闭模型范畴意义上的双方向同伦与标准双方向同伦概念一致。

提出的方法

• 通过逗号范畴构造，形式化了在固定偏序空间之下的偏序空间范畴，以建立相对同伦理论。
• 定义了 dimaps（方向连续映射），其保持偏序关系，用于建模时间有序的系统状态转移。
• 通过一个同伦 H: (X,≤) × (I,Δ) → (Y,≤) 引入相对双方向同伦，该同伦在整个形变过程中固定基偏序空间 C。
• 将 Quillen 的闭模型范畴公理应用于偏序空间范畴，将弱等价定义为双方向同伦等价。
• 使用映射路径因子分解，并通过构造子偏序空间 E ⊆ (X×Y Y^I) × I，将态射分解为一个平凡双余纤维化后接一个双纤维化。
• 通过构造一个保持顺序且固定基的 dimap H，证明包含映射 i: X → E 是一个平凡双余纤维化。

实验结果

研究问题

• RQ1 偏序空间范畴能否被赋予一个反映方向同伦的闭模型范畴结构？
• RQ2 在固定基偏序空间下的偏序空间中，相对方向同伦（dihomotopy）是否具有良好行为？
• RQ3 偏序空间中的标准同伦结构（纤维化、余纤维化、弱等价）是否与并发理论中的方向概念一致？
• RQ4 在此模型结构中，所有偏序空间是否均为纤维化与余纤维化对象？
• RQ5 闭模型范畴意义上的同伦是否与标准双方向同伦概念一致？

主要发现

• 偏序空间范畴是一个闭模型范畴，其中弱等价为双方向同伦等价，纤维化为双纤维化，余纤维化为双余纤维化。
• 每个偏序空间均为纤维化与余纤维化对象，确保所有对象在同伦构造中行为良好。
• 闭模型范畴意义上的同伦关系与 dimaps 之间标准双方向同伦概念完全一致。
• 相对双方向同伦关系——即若路径通过保持初始与最终状态的形变而同伦，则视为等价——被该模型结构精确捕捉。
• 映射路径因子分解构造实现了任意 dimap 的分解：先为平凡双余纤维化，后接双纤维化，满足 Quillen 的因子分解公理。
• 将偏序空间的像包含于构造的路径空间 E 中的包含映射是一个平凡双余纤维化，这对证明模型范畴公理至关重要。