[論文レビュー] 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

ひとこと要約

この論文は、以前に定義されたホモロジー理論とは独立しているが深く関連する、有向グラフ（digraph）のホモトピー理論を確立する。ホモロジーのホモトピー不変性を証明し、ループの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.

研究の動機と目的

• 既存のホモロジー理論とは独立してあるが、それに整合する有向グラフ（digraph）の整合的なホモトピー理論の構築を目的とする。
• 有向グラフのホモロジー群がホモトピーに関して不変であることを証明し、古典的な不変性原理を有向設定に拡張する。
• 標準的なホモトピーを一般化する新しいC-ホモトピーの概念を用いて、有向グラフの基本群π₁を定義する。
• 第一ホモロジー群H₁と基本群π₁のアーベル化との間の正確な代数的関係を確立し、古典的トポロジーに類似した関係を提示する。
• グラフを有向グラフのフル部分カテゴリとして特定することにより、有向グラフからのホモトピーおよびホモロジー理論を無向グラフへ一貫的に拡張し、グラフ理論における新しい結果を導出する。

提案手法

• 局所的なパスおよびループの変換に基づくC-ホモトピーを用いて、有向グラフ上の新しいホモトピー関係を導入する。
• ベースポイントを固定したループの同値類として基本群π₁を定義し、パスの連結から群構造を導出する。
• 有向グラフ写像のシリンダーを構成し、それらを用いて写像間のホモトピーを定義するとともに、ホモロジーのホモトピー不変性を証明する。
• 無向グラフのカテゴリと有向グラフのフル部分カテゴリとの間の自然な同型を確立し、ホモトピーおよびホモロジー理論の移行を可能にする。
• 関手Oおよびその逆関手O⁻¹を用いて、有向グラフとその二重有向グラフとの関係を定め、ループ有向グラフを用いて高次ホモトピー群を定義する。
• 理論を応用して、有向グラフの基本群を用いたスパルナーの補題の新しい版を証明し、組合せ論への応用可能性を示す。

実験結果

リサーチクエスチョン

• RQ1 既存のホモロジー理論とは独立して有向グラフのホモトピー理論を構築する方法は何か、しかし同時にそれらと整合するようには？
• RQ2 有向グラフの基本群π₁と第一ホモロジー群H₁との正確な関係は何か？
• RQ3 有向グラフのホモロジーは、その構造のホモトピーに関して不変のままであるか？
• RQ4 有向グラフのホモトピーおよびホモロジー理論を、一貫的かつ意味的に無向グラフへどのように移行できるか？
• RQ5 新しいホモトピー的枠組みは、スパルナーの補題のような古典的組合せ論的結果の新たな証明や洞察を提供できるか？

主な発見

• 論文は、有向グラフのホモロジー群がホモトピーに関して不変であることを証明し、古典的代数的トポロジーと類似する重要な性質を確立した（定理3.3）。
• 標準ホモトピーを一般化する新しいC-ホモトピーの概念が導入され、これにより有向グラフの基本群π₁に整合的な群構造が得られる。
• 整数環ℤ上の第一ホモロジー群H₁は、基本群π₁のアーベル化に同型であり、すなわちH₁ ≅ π₁/[π₁, π₁] である。これは定理4.23で示された。
• グラフを有向グラフのフル部分カテゴリとして埋め込むことにより構築された無向グラフのホモトピー理論は、Babsonら[1,2]の既存理論と一致するが、関連するホモロジー理論は新規であり、ホモトピー不変性を有する。
• ベース付きグラフG*の基本群は、その二重有向グラフO⁻¹(G*)の基本群に同型である。これは定理6.18で確立された。
• 高次ホモトピー群πₙは、ループ有向グラフを用いて帰納的に定義され、πₙ(G*) = πₙ₋₁(LG*) として、有向グラフの完全なホモトピー的枠組みを提供する。