[论文解读] The branching nerve of HDA and the Kan condition

Philippe Gaucher|ArXiv.org|Mar 2, 2001

Glycogen Storage Diseases and Myoclonus参考文献 17被引用 12

一句话总结

本文引入了分支与合并的半球状单纯复形，作为高维自动机（HDA）的新型单纯构造，其模型基于非收缩的 $\omega$-范畴。通过从路径 $\omega$-范畴 $\pi^{-}\mathcal{C}$ 和 $\pi^{+}\mathcal{C}$ 构造这些复形，作者确保了满足 Kan 条件，同时推测其保持与原始分支与合并的半立方单纯复形相同的单纯同调。其核心贡献在于构建了一个框架，使得在对高维态射添加逆元后，同伦不变的同调理论仍保持一致。

ABSTRACT

One can associate to any strict globular $ω$-category three augmented simplicial nerves called the globular nerve, the branching and the merging semi-cubical nerves. If this strict globular $ω$-category is freely generated by a precubical set, then the corresponding homology theories contain different informations about the geometry of the higher dimensional automaton modeled by the precubical set. Adding inverses in this $ω$-category to any morphism of dimension greater than 2 and with respect to any composition laws of dimension greater than 1 does not change these homology theories. In such a framework, the globular nerve always satisfies the Kan condition. On the other hand, both branching and merging nerves never satisfy it, except in some very particular and uninteresting situations. In this paper, we introduce two new nerves (the branching and merging semi-globular nerves) satisfying the Kan condition and having conjecturally the same simplicial homology as the branching and merging semi-cubical nerves respectively in such framework. The latter conjecture is related to the thin elements conjecture already introduced in our previous papers.

研究动机与目标

• 解决分支与合并半立方单纯复形在高维自动机（HDA）模型中不满足 Kan 条件的问题。
• 构造新的复形——分支与合并的半球状单纯复形，使其满足 Kan 条件，同时保留原始复形的同调信息。
• 推测在由预立方集自由生成的 HDA 框架下，这些新复形的单纯同调与原始分支与合并半立方单纯复形相同。
• 形式化一个框架，使得所有复合法则（维度 >1）下的高阶态射（维度 >2）均可逆，从而在建模双同伦性时保持物理与计算的一致性。

提出的方法

• 从非收缩的 $\omega$-范畴 $\mathcal{C}$ 定义负向与正向路径 $\omega$-范畴 $\pi^{-}\mathcal{C}$ 与 $\pi^{+}\mathcal{C}$，以捕捉在相同源或目标处开始或结束的 1-态射的胚芽。
• 从这些路径 $\omega$-范畴构造分支与合并的半球状单纯复形 $\mathcal{N}^{gl^{-}}$ 与 $\mathcal{N}^{gl^{+}}$，作为单纯集。
• 证明分支半球状复形 $\mathcal{N}^{gl^{-}}$ 是正则的，这意味着从球状复形到半球状复形的典范映射是满射。
• 利用自然变换 $h^{-}$ 与 $h^{+}$ 将原始球状复形 $\mathcal{N}^{gl}$ 与新的半球状复形联系起来，建立单纯映射的交换图。
• 推测新半球状复形的单纯同调与原始分支与合并半立方复形的同调一致，依据是细元素猜想。
• 将该框架应用于 $\widehat{F(K)}$，即通过自由添加维度 >2 的态射及其所有复合法则（>1）的逆元而得到的严格球状 $\omega$-群胚，确保球状复形成为 Kan 复形。

实验结果

研究问题

• RQ1 能否用满足 Kan 条件且保留同调信息的新复形，替代在 HDA 模型中不满足 Kan 条件的分支与合并半立方复形？
• RQ2 对于由预立方集自由生成的 HDA，新分支与合并半球状复形的单纯同调是否与原始分支与合并半立方复形同构？
• RQ3 基于 1-态射胚芽构建的 $\mathbb{P}^{-}\mathcal{C}$ 与 $\mathbb{P}^{+}\mathcal{C}$ 是否能提供路径 $\omega$-范畴的一致且计算上有意义的改进？
• RQ4 在所有维度 >1 的复合法则下，对维度 >2 的态射添加逆元，在多大程度上能保持 HDA 的几何与同伦结构而不改变其同调理论？
• RQ5 是否能在保持不可逆时间与非可逆 1-态射的物理直觉的同时，恢复 HDA 神经构造中的 Kan 条件？

主要发现

• 对于任意非收缩的 $\omega$-范畴 $\mathcal{C}$，分支与合并的半球状复形 $\mathcal{N}^{gl^{-}}$ 与 $\mathcal{N}^{gl^{+}}$ 均满足 Kan 条件，而原始的分支与合并半立方复形则不满足。
• $\omega$-群胚 $\widehat{F(K)}$（通过自由添加维度 >2 的态射及其所有维度 >1 的复合法则的逆元得到）的球状复形 $\mathcal{N}^{gl}(\widehat{F(K)})$ 成为 Kan 复形。
• 典范映射 $\mathcal{N}^{-} \to \mathcal{N}^{gl^{-}}$ 与 $\mathcal{N}^{+} \to \mathcal{N}^{gl^{+}}$ 是满射，且半球状复形的正则性确保目标中的每个元素均可由源中的元素复合得到。
• 作者推测单纯同调群 $H_*^{-}$ 与 $H_*^{gl^{-}}$（以及类似地 $H_*^{+}$ 与 $H_*^{gl^{+}}$）同构，意味着新复形保留了与原始半立方复形相同的同调信息。
• $\mathbb{P}^{-}\mathcal{C}$ 与 $\mathbb{P}^{+}\mathcal{C}$ 作为基于 1-态射胚芽的路径 $\omega$-范畴的构造，为 HDA 中执行路径空间提供了更精细的模型，新复形捕捉了其本质的同伦结构。
• 该框架表明，在所有复合法则（维度 >1）下对高阶态射（维度 >2）添加逆元，并不会改变与分支与合并复形相关的同调理论，从而保持了几何信息。