[論文レビュー] A Generalization of Seifert-Van Kampen Theorem for Fundamental Groups

Linfan Mao|arXiv (Cornell University)|Jun 18, 2010

Digital Image Processing Techniques参考文献 1被引用数 7

ひとこと要約

この論文は、位相空間における開集合の交わりが弧状に連結でない場合にも適用可能なセイフェルト＝ヴァン・カンペンの定理の一般化を提示し、組み合わせ的多様体およびコンパクト多様体の基本群をそれらの下位位相的グラフを用いて計算可能にする。主な貢献は、局所的チャートとエッジ誘導グラフを含む自由積の商として基本群を表現する公式を提示することで、古典的な結果を単純に連結でない交わりへと拡張することにある。

ABSTRACT

As we known, the {\it Seifert-Van Kampen theorem} handles fundamental groups of those topological spaces $X=U\cup V$ for open subsets $U, V\subset X$ such that $U\cap V$ is arcwise connected. In this paper, this theorem is generalized to such a case of maybe not arcwise-connected, i.e., there are $C_1$, $C_2$,$..., C_m$ arcwise-connected components in $U\cap V$ for an integer $m\geq 1$, which enables one to find fundamental groups of combinatorial spaces by that of spaces with theirs underlying topological graphs, particularly, that of compact manifolds by their underlying graphs of charts.

研究の動機と目的

• 開集合の交わりが弧状に連結でない場合にも適用可能な古典的なセイフェルト＝ヴァン・カンペンの定理の拡張を目的とする。
• 組み合わせ的多様体の基本群をその下位位相的グラフを用いて計算する手法を提供することを目的とする。
• 多様体の基本群とそのエッジ誘導グラフ $ G^\theta[M] $ の基本群との関係を、特に交わりが単純に連結である場合に確立することを目的とする。
• 基本群の普遍的性質を、単純に連結でない重なりを持つ被覆に対しても拡張することを目的とする。

提案手法

• 開集合 $ X = U \cup V $ において、交わり $ U \cap V $ が $ m \geq 1 $ 個の弧状に連結成分 $ C_1, \dots, C_m $ を持つ場合の一般化されたセイフェルト＝ヴァン・カンペンの定理を導入する。
• 各 $ g \in \prod_{i=1}^m \pi_1(C_i) $ に対して $ (i_1^{-1}(g) \cdot i_2(g)) $ で生成される核を用いた商群構成を定義し、定理における古典的関係を一般化する。
• 組み合わせ的多様体 $ \widetilde{M} $ に一般化された定理を適用する。$ \widetilde{M} $ はチャート $ M \in V(G[\widetilde{M}]) $ に分解され、交わりは位相的グラフによってモデル化される。
• 被覆のナーヴの構成から得られるエッジ誘導グラフ $ G^\theta[\widetilde{M}] $ を用い、重なり合うチャートの貼り合わせデータを符号化する。
• 交わりの成分からの関係を含む、局所的基本群と $ G^\theta[\widetilde{M}] $ の基本群の自由積の商として $ \widetilde{M} $ の基本群を導出する。
• コンパクト $ n $-多様体に対しては、チャート $ U_\lambda \to \mathbb{R}^n $ を選ぶことで結果を適用し、$ \pi_1(M) \cong \pi_1(G^\theta[M]) / \langle (i_1^E)^{-1}(g) \cdot i_2^E(g) \rangle $ を示す。

実験結果

リサーチクエスチョン

• RQ1 開集合の交わりが弧状に連結でない場合、セイフェルト＝ヴァン・カンペンの定理をどのように拡張できるか？
• RQ2 局所的チャートの交わりが複数の単純に連結でない成分を持つ場合、組み合わせ的多様体の基本群は何か？
• RQ3 コンパクト $ n $-多様体の基本群は、その下位位相的グラフと重なり合うチャートの基本群から計算可能か？
• RQ4 多様体の基本群がそのエッジ誘導グラフ $ G^\theta[M] $ の基本群と一致する条件は何か？
• RQ5 複雑な交わり構造を持つ空間において、一般化された定理は基本群の計算をどのように簡略化するか？

主な発見

• 組み合わせ的多様体 $ \widetilde{M} $ の基本群は、そのチャートの基本群とエッジ誘導グラフ $ G^\theta[\widetilde{M}] $ の基本群の自由積の商と同型であり、交わりの成分からの関係を法としている。
• すべての二重交わり $ M_1 \cap M_2 $ が単純に連結である場合、$ \pi_1(\widetilde{M}) \cong \left( \bigoplus_{M \in V(G[\widetilde{M}])} \pi_1(M) \right) \bigoplus \pi_1(G[\widetilde{M}]) $ が成り立ち、[8]で知られている結果が回復される。
• コンパクト $ n $-多様体 $ M $ に対しては、$ \pi_1(M) \cong \pi_1(G^\theta[M]) / \langle (i_1^E)^{-1}(g) \cdot i_2^E(g) \mid g \in \prod_{(U_\mu,U_\nu) \in E(G[M])} \pi_1(U_\mu \cap U_\nu) \rangle $ が成り立ち、古典的定理が一般化される。
• すべてのチャートの交わり $ U_\mu \cap U_\nu $ が単純に連結である場合、$ \pi_1(M) \cong \pi_1(G[M]) $ が成り立ち、基本群がナーヴグラフによって完全に決定されることを示す。
• $ G^\theta[M] $ の構成が $ G^\theta[\widetilde{M}-M] \cup \bigcup_{(M,M') \in E(G[\widetilde{M}])} TB_{\mu(M,M')} $ と同型であることが示され、再帰的計算が可能になる。
• 結果として、$ \pi_1(\widetilde{M}) \cong \left( \prod_{M \in V(G[\widetilde{M}])} \pi_1(M) \right) * \pi_1(G^\theta[\widetilde{M}]) / \langle (i_1^E)^{-1}(g) \cdot i_2^E(g) \rangle $ が成り立ち、核はすべての交わりの成分を渡って生成される。