[论文解读] Homotopy theory for digraphs

Alexander Grigorʼyan, Yong Lin+2 more|arXiv (Cornell University)|Jul 1, 2014

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

一句话总结

本文為有向圖（有向圖）建立了一套獨立但與先前定義的有向圖同調理論密切相關的同倫理論。它證明了同調的同倫不變性，透過 C-同倫定義了路徑的基本群，並顯示第一個同調群同構於基本群的交換化，類比於古典代數拓撲。該理論自然地延伸至無向圖，恢復了已知結果，同時引入了新的同調不變量。

ABSTRACT

We introduce a homotopy theory of digraphs (directed graphs) and prove its basic properties, including the relations to the homology theory of digraphs constructed by the authors in previous papers. In particular, we prove the homotopy invariance of homologies of digraphs and the relation between the fundamental group of the digraph and its first homology group. The category of (undirected) graphs can be identified by a natural way with a full subcategory of digraphs. Thus we obtain also consistent homology and homotopy theories for graphs. Note that the homotopy theory for graphs coincides with the one constructed in the paper of Babson et.

研究动机与目标

• 開發一套一致的有向圖（有向圖）同倫理論，該理論獨立於但與現有的同調理論相容。
• 證明有向圖的同調群在同倫下不變，將古典不變性原理延伸至有向設定。
• 透過一種新的 C-同倫概念定義有向圖的基本群 π₁，該概念廣義化了標準同倫。
• 建立第一個同調群 H₁ 與 π₁ 的交換化之間精確的代數關係，類比於古典拓撲。
• 透過將圖視為有向圖的全子範疇，將有向圖的同倫與同調理論延伸至無向圖，從而為圖論帶來新結果。

提出的方法

• 引入一種新的有向圖同倫關係，基於 C-同倫的概念，透過路徑與環的局部變換定義。
• 將基本群 π₁ 定義為基點環在 C-同倫下的等價類集合，其群結構源自路徑併接。
• 為有向圖映射構造柱體，並用其定義映射間的同倫，進而證明同調的同倫不變性。
• 建立無向圖範疇與有向圖中全子範疇之間的自然同構，使同倫與同調理論得以轉移。
• 使用函子 O 及其逆 O⁻¹ 連結有向圖與其雙重有向圖，使能透過環有向圖定義高階同倫群。
• 將理論應用於證明 Sperner 引理的一個新版本，使用有向圖的基本群，展示其在組合數學中的適用性。

实验结果

研究问题

• RQ1 如何構建一套獨立於現有同調理論的有向圖同倫理論，同時仍與其相容？
• RQ2 有向圖的基本群 π₁ 與其第一個同調群 H₁ 之間的精確關係為何？
• RQ3 有向圖的同調是否在底層有向圖結構的同倫下保持不變？
• RQ4 如何以一致且有意義的方式將有向圖的同倫與同調理論轉移到無向圖？
• RQ5 新的同倫理論框架能否為經典組合結果（如 Sperner 引理）提供新證明或新見解？

主要发现

• 本文證明了有向圖的同調群在同倫下不變，確立了類似於古典代數拓撲的關鍵性質（定理 3.3）。
• 引入了一種新的 C-同倫概念，其廣義化標準同倫，並允許在 π₁（有向圖的基本群）上定義良好的群結構。
• 在 ℤ 上的第一個同調群 H₁ 同構於基本群 π₁ 的交換化，即 H₁ ≅ π₁/[π₁, π₁]，如定理 4.23 所示。
• 透過圖嵌入有向圖所構建的無向圖同倫理論，與 Babson 等人 [1,2] 的既有理論一致，但其關聯同調理論為新創且具有同倫不變性。
• 基點圖 G* 的基本群同構於其雙重有向圖 O⁻¹(G*) 的基本群，如定理 6.18 所確立。
• 高階同倫群 πₙ 透過環有向圖遞歸定義，其中 πₙ(G*) = πₙ₋₁(LG*)，為有向圖提供了完整的同倫理論框架。