[論文レビュー] The fundamental group of a locally finite graph with ends

Reinhard Diestel, Philipp Sprüssel|ArXiv.org|Oct 29, 2009

Finite Group Theory Research参考文献 9被引用数 3

ひとこと要約

この論文は、局所的に有限なグラフの終点を含む基本群を、弦の簡約された無限語として表現することで、組合せ的特徴づけを提供する。この無限語群は、自由群の逆極限に自然に埋め込まれる。主な貢献は、任意の可算順序型を用いた簡約を許容する無限ループのホモトピー理論の確立であり、これは有限グラフの基本群の自由性の一般化であり、終点を付加した無限グラフに拡張する。

ABSTRACT

We characterize the fundamental group of a locally finite graph G with ends combinatorially, as a group of infinite words. Our characterization gives rise to a canonical embedding of this group in the inverse limit of the (free) fundamental groups of the finite subgraphs of G.

研究の動機と目的

• 局所的に有限なグラフ G 及びそのフレーデンシュタインコンパクト化 |G| の基本群 π₁(|G|) の組合せ的記述を提供すること。|G| にはグラフの終点が含まれる。
• 古典的な有限グラフの結果（π₁(G) は弦の辺上で自由）を、π₁(|G|) がもはや自由でないが、自由群の極限に埋め込める無限グラフに拡張すること。
• 無限語と任意の可算順序型による簡約を用いて、|G| 内のループのホモトピーを形式化すること。これは、無限の簡約における整列順序の欠如を克服する。
• すべての有限部分グラフ G' ⊆ G に対して自由群 π₁(G') を用いた逆極限 F* への、π₁(|G|) の自然な埋め込みを確立すること。この埋め込みは、無限語の簡約を用いる。
• トポロジカルサイクル空間 C(G) が第一特異ホモロジー群 H₁(|G|) と一致するかどうかという未解決問題を解消すること。本研究では、両者が本質的に異なることを示した。

提案手法

• トポロジカルなスパニングツリー T の向き付き弦を用いた無限語として |G| 内のループを表現する。語は、キャンセルを伴う弦の簡約された列である。
• F∞ を、任意の可算順序型（例えば、有理順序）をもつ簡約された無限語の群と定義する。これは |G| 内のループのトレースを捉える。
• すべての有限部分グラフ G' ⊆ G に対して自由群 π₁(G') を用いた逆極限 F* への、自然な埋め込み F∞ → F* を構成する。
• 2つのループ σ′ と τ′ が同一の語トレースを持つ場合に、それらの通過を同期化する技術を用い、ホモトピー構成のためのドメイン区間を共有する再パrametrization を行う。
• セグメントごとのホモトピー補題（補題 2）を適用し、対応する通過間の局所ホモトピーを組み合わせて、非可算個のセグメントにわたる連続性を保証するグローバルホモトピーを構成する。
• 無限語の簡約が、すべての有限部分語の簡約によって完全に決定されることを活用し、F∞ に整合的な群構造を定義可能とする。

実験結果

リサーチクエスチョン

• RQ1 無限の場合には自由でないため、終点を含む局所的に有限なグラフの基本群が、どのように組合せ的に特徴づけられるか。
• RQ2 ホモトピー類のループが、無限の設定においても、1つの弦ペアを同時にキャンセルする基本的なホモトピーのみで生成可能か。
• RQ3 基本群 π₁(|G|) と有限弦集合上の自由群の逆極限との間の正確な関係は何か。
• RQ4 局所的に有限なグラフのトポロジカルサイクル空間 C(G) は、その第一特異ホモロジー群 H₁(|G|) と一致するか、それとも異なるか。
• RQ5 任意の可算順序型をもつ無限語の簡約を、群構造とホモトピー同値性を保つ形でどのように形式化できるか。

主な発見

• 基本群 π₁(|G|) は、トポロジカルスパニングツリー T の弦からなる簡約された無限語の部分群 F∞ に同型である。語は任意の可算順序型をとる。
• F∞ は、すべての有限部分グラフ G' ⊆ G に対して自由群 π₁(G') を用いた逆極限 F* に自然に埋め込まれ、完全な組合せ的モデルを提供する。
• |G| 内のループ間のホモトピーは、任意の整列順序でない簡約（例えば、有理順序）であっても、弦ペアの逐次キャンセルの系列として実現可能である。
• 簡約プロセスは、すべての有限部分語の簡約によって完全に決定され、F∞ に整合的な群構造を定義可能である。
• G に唯一の非自明な終点がある場合、この特徴づけは、ハワイアン・エアロープの基本群の既知の組合せ的記述を回復し、先行研究と整合性を確認する。
• この特徴づけにより、未解決問題が解消された：トポロジカルサイクル空間 C(G) は、第一特異ホモロジー群 H₁(|G|) とは本質的に異なることが、後続の応用で示された。