[论文解读] Homological properties of non-deterministic branchings and mergings in higher dimensional automata

P. Gaucher|May 12, 2003

semigroups and automata theory被引用 4

一句话总结

本文通过流模型（一种并发模型）引入高维自动机的分支与合并同调理论。通过利用左 Quillen 调和函子从分支空间函子构造导出函子，建立了双同伦不变性，并证明了高维分支的长正合序列，为并发系统中的非确定性行为提供了代数不变量。

ABSTRACT

The branching (resp. merging) space functor of a flow is a left Quillen functor. The associated derived functor allows to define the branching (resp. merging) homology of a flow. It is then proved that this homology theory is a dihomotopy invariant and that higher dimensional branchings (resp. mergings) satisfy a long exact sequence.

研究动机与目标

• 为高维自动机中的非确定性分支与合并发展同调不变量。
• 通过导出构造克服原始分支空间函子在弱 S-同伦下的不良同伦行为。
• 建立所得同调在双同伦等价（弱 S-同伦与 T-同伦）下的不变性。
• 证明高维分支的长正合序列，类似于 Mayer-Vietoris 序列。
• 为使用代数拓扑分析并发系统提供同伦框架。

提出的方法

• 分支空间函子被定义为共享共同初始段的非恒定执行路径的芽的空间。
• 该函子在弱 S-同伦下表现不佳，因此引入同伦分支空间作为其导出函子。
• 通过左 Quillen 调和函子结构构造导出函子，从而通过关联的总导出函子获得同调理论。
• 证明该同调在弱 S-同伦与 T-同伦下不变，确立其为双同伦不变量。
• 利用流的态射的锥构造，推导出高维分支的长正合序列。
• 合并同调以类似方式处理，结果在附录 A 中对偶化。

实验结果

研究问题

• RQ1 能否构造一种能检测高维自动机中非确定性分支的同调理论？
• RQ2 该同调理论是否在双同伦等价下（特别是弱 S-同伦与 T-同伦）保持不变？
• RQ3 分支同调是否满足类似于经典同调代数的长正合序列？
• RQ4 同伦分支空间与原始分支空间函子之间有何关系？
• RQ5 合并同调能否以与分支同调类似的方式处理？

主要发现

• 分支同调 $ H_*^{-}(X) $ 是双同伦不变量，具体而言在弱 S-同伦与 T-同伦下不变。
• 通过左 Quillen 调和函子构造导出分支同调，确保与流上模型范畴结构的兼容性。
• 对任意态射 $ f: X \to Y $，建立了涉及锥 $ Cf $ 的长正合序列，其中 $ H_0(\text{ho}\bb{P}^{-}Z) $ 是 $ Z $ 的同伦分支空间路径连通分支上的自由阿贝尔群。
• 对于同伦余纤维流（即主要关注对象），同伦分支空间在同伦意义下与分支空间一致。
• S-同伦等价的流诱导同伦等价的分支空间，这通过 $ \bb{P}^{-} $ 的函子性得以证明。
• 合并同调 $ H_*^{+}(X) $ 以类似方式构造，并满足对偶性质，包括长正合序列。