[論文レビュー] The branching nerve of HDA and the Kan condition

Philippe Gaucher|ArXiv.org|Mar 2, 2001

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

ひとこと要約

本稿は、非収縮$\omega$-圏でモデル化された高次元オートマトン（HDA）のための新しい単体的構成、すなわち分岐および結合半球的神経を導入する。著者らは、これらの神経を経路$\omega$-圏$\pi^{-}\mathcal{C}$および$\pi^{+}\mathcal{C}$から構成することで、カン条件を満たすと同時に、元の分岐および結合半立方体的神経と同一の単体的ホモロジーを保存すると予想している。主な貢献は、高次元射の逆元を追加してもホモトピー的不変なホモロジー理論が一貫性を保つような枠組みを提供することにある。

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）モデルにおける分岐および結合半立方体的神経がカン条件を満たさないという問題を解決すること。
• 元の神経が保持するホモロジー情報を維持しつつ、カン条件を満たす新しい神経、すなわち分岐および結合半球的神経を構成すること。
• HDAが前立方体集合から自由に生成される文脈において、これらの新しい神経が元の分岐および結合半立方体的神経と同一の単体的ホモロジーをもたらすと予想すること。
• 高次元射（次元>2）をすべての合成法則（次元>1）に関して逆元化する枠組みを形式化し、双方向ホモトピーのモデル化における物理的および計算的整合性を保証すること。

提案手法

• 非収縮$\omega$-圏$\mathcal{C}$から、同じ源または標高に始まる・終わる1-射の胚を捉えるために、負および正の経路$\omega$-圏$\pi^{-}\mathcal{C}$および$\pi^{+}\mathcal{C}$を定義する。
• これらの経路$\omega$-圏から導かれる単体的集合として、分岐および結合半球的神経$\mathcal{N}^{gl^{-}}$および$\mathcal{N}^{gl^{+}}$を構成する。
• 分岐半球的神経$\mathcal{N}^{gl^{-}}$が正則であることを証明し、これは、球的神経から半球的神経への標準的写像が全射であることを意味する。
• 自然変換$h^{-}$および$h^{+}$を用いて、元の球的神経$\mathcal{N}^{gl}$と新しい半球的神経との関係を確立し、単体的写像の可換図式を構成する。
• 細い要素の予想に基づき、新しい半球的神経の単体的ホモロジーが、元の分岐および結合半立方体的神経と一致すると予想する。
• $\widehat{F(K)}$、すなわち次元>2の射にすべての合成法則>1に関して逆元を自由に追加して得られる厳密な球的$\omega$-群小で、球的神経がカン複体となるように枠組みを適用する。

実験結果

リサーチクエスチョン

• RQ1 分岐および結合半立方体的神経がカン条件を満たさない場合、それらを代替する新しい神経が、HDAモデルにおけるホモロジー情報を保持しつつカン条件を満たすように構成可能か。
• RQ2 HDAが前立方体集合から自由に生成される文脈において、新しい分岐および結合半球的神経の単体的ホモロジーが、元の分岐および結合半立方体的神経と同型であるか。
• RQ3 $\mathbb{P}^{-}\mathcal{C}$および$\mathbb{P}^{+}\mathcal{C}$の構成が、1-射の胚に基づく経路$\omega$-圏として、HDAにおける経路空間の整合的かつ計算的に意味のある精密化をもたらすか。
• RQ4 次元>2の射にすべての合成法則>1に関して逆元を追加することは、ホモロジー理論を変更せずに、HDAの幾何学的およびホモトピー的構造をどの程度保持するか。
• RQ5 HDAの神経構成において、不可逆的時間と非可逆的1-射の物理的直観を保ちつつ、カン条件を回復可能か。

主な発見

• 分岐および結合半球的神経$\mathcal{N}^{gl^{-}}$および$\mathcal{N}^{gl^{+}}$は、任意の非収縮$\omega$-圏$\mathcal{C}$に対してカン条件を満たすが、元の分岐および結合半立方体的神経とは異なり、満たさない。
• $\omega$-群小$\widehat{F(K)}$（次元>2の射にすべての合成法則>1に関して逆元を自由に追加して得られる）の球的神経$\mathcal{N}^{gl}(\widehat{F(K)})$は、カン複体となる。
• 標準的写像$\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の射に逆元を追加しても、分岐および結合神経に関連するホモロジー理論が変化せず、幾何的情報が保持されることを示している。