[Paper Review] A Generalization of Seifert-Van Kampen Theorem for Fundamental Groups

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

Digital Image Processing Techniques1 references7 citations

TL;DR

This paper generalizes the Seifert–Van Kampen theorem to cases where the intersection of open sets in a topological space may not be arcwise-connected, allowing computation of fundamental groups for combinatorial manifolds and compact manifolds via their underlying topological graphs. The key contribution is a formula expressing the fundamental group as a quotient of a free product involving local charts and edge-induced graphs, extending classical results to non-simply-connected intersections.

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.

Motivation & Objective

• To extend the classical Seifert–Van Kampen theorem to cases where the intersection of open sets is not necessarily arcwise-connected.
• To provide a method for computing the fundamental group of combinatorial manifolds using their underlying topological graphs.
• To establish a connection between the fundamental group of a manifold and the fundamental group of its edge-induced graph $ G^\theta[M] $, particularly when intersections are simply connected.
• To generalize the universal property of fundamental groups to coverings with non-simply-connected overlaps.

Proposed method

• Introduces a generalized Seifert–Van Kampen theorem for spaces $ X = U \cup V $ where $ U \cap V $ has $ m \geq 1 $ arcwise-connected components $ C_1, \dots, C_m $, rather than a single component.
• Defines a quotient group construction using the kernel generated by $ (i_1^{-1}(g) \cdot i_2(g)) $ for $ g \in \prod_{i=1}^m \pi_1(C_i) $, generalizing the classical relation in the theorem.
• Applies the generalized theorem to combinatorial manifolds $ \widetilde{M} $, decomposed into charts $ M \in V(G[\widetilde{M}]) $, with intersections modeled via topological graphs.
• Uses the edge-induced graph $ G^\theta[\widetilde{M}] $, constructed from the nerve of the covering, to encode the gluing data of overlapping charts.
• Derives the fundamental group of $ \widetilde{M} $ as a quotient of a free product of local fundamental groups and the fundamental group of $ G^\theta[\widetilde{M}] $, with relations from intersection components.
• Applies the result to compact $ n $-manifolds by choosing charts $ U_\lambda \to \mathbb{R}^n $, showing $ \pi_1(M) \cong \pi_1(G^\theta[M]) / \langle (i_1^E)^{-1}(g) \cdot i_2^E(g) \rangle $.

Experimental results

Research questions

• RQ1 How can the Seifert–Van Kampen theorem be extended to cases where the intersection of open sets is not arcwise-connected?
• RQ2 What is the fundamental group of a combinatorial manifold when its local charts intersect in multiple non-simply-connected components?
• RQ3 Can the fundamental group of a compact $ n $-manifold be computed from its underlying topological graph and the fundamental groups of overlapping charts?
• RQ4 Under what conditions does the fundamental group of a manifold coincide with that of its edge-induced graph $ G^\theta[M] $?
• RQ5 How does the generalized theorem simplify the computation of fundamental groups in spaces with complex intersection structures?

Key findings

• The fundamental group of a combinatorial manifold $ \widetilde{M} $ is isomorphic to a quotient of the free product of the fundamental groups of its charts and the fundamental group of its edge-induced graph $ G^\theta[\widetilde{M}] $, modulo relations from intersection components.
• When all pairwise intersections $ M_1 \cap M_2 $ are simply connected, $ \pi_1(\widetilde{M}) \cong \left( \bigoplus_{M \in V(G[\widetilde{M}])} \pi_1(M) \right) \bigoplus \pi_1(G[\widetilde{M}]) $, recovering a known result from [8].
• For a compact $ n $-manifold $ 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 $, generalizing the classical theorem.
• If all chart intersections $ U_\mu \cap U_\nu $ are simply connected, then $ \pi_1(M) \cong \pi_1(G[M]) $, showing the fundamental group is determined entirely by the nerve graph.
• The construction $ G^\theta[M] $ is shown to be isomorphic to $ G^\theta[\widetilde{M}-M] \cup \bigcup_{(M,M') \in E(G[\widetilde{M}])} TB_{\mu(M,M')} $, enabling recursive computation.
• The result establishes that $ \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 $, with the kernel generated over all intersection components.