[论文解读] 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 $（而非单一分支），提出广义的塞弗特-范坎彭定理。
• 通过生成元 $ (i_1^{-1}(g) \cdot i_2(g)) $ 的核构造商群，其中 $ g \in \prod_{i=1}^m \pi_1(C_i) $，推广经典定理中的关系。
• 将广义定理应用于组合流形 $ \widetilde{M} $，其被分解为图册 $ M \in V(G[\widetilde{M}]) $，交集通过拓扑图建模。
• 利用从覆盖的骨架导出的边诱导图 $ G^\theta[\widetilde{M}] $ 编码重叠图册的拼接数据。
• 推导出 $ \widetilde{M} $ 的基本群为局部基本群与 $ G^\theta[\widetilde{M}] $ 的基本群的自由积的商群，关系来自交集分支。
• 通过选取局部图册 $ U_\lambda \to \mathbb{R}^n $，将结果应用于紧致 $ 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 $，其中核在所有交集分支上生成。