Van Kampen's Theorem - Key Properties

Van Kampen's theorem transforms the problem of computing fundamental groups from global homotopy analysis to local group-theoretic computation.

Theorem

(Van Kampen's Theorem - Basic Form) Let $X = U \cup V$ where $U, V$ are open and path-connected, $U \cap V$ is path-connected and non-empty, and $x_0 \in U \cap V$ . Let $i_U : U \cap V \to U$ and $i_V : U \cap V \to V$ be inclusions. Then: $\pi_1(X, x_0) \cong \pi_1(U, x_0) *_{\pi_1(U \cap V, x_0)} \pi_1(V, x_0)$ where the amalgamation is over the induced homomorphisms $(i_U)_*$ and $(i_V)_*$ .

The theorem says: every loop in $X$ can be expressed as a product of loops in $U$ and loops in $V$ , subject only to relations coming from loops in the overlap $U \cap V$ .

Example

Compute $\pi_1(S^1 \vee S^1)$ : Write $X = S^1 \vee S^1 = U \cup V$ where $U$ is the first circle with a neighborhood and $V$ is the second circle with a neighborhood. Then $U \cap V \simeq \{pt\}$ is contractible, so: $\pi_1(S^1 \vee S^1) \cong \mathbb{Z} *_{\{e\}} \mathbb{Z} = \mathbb{Z} * \mathbb{Z}$ This is the free group on two generators.

Theorem

(Van Kampen's Theorem - General Form) Let $X = \bigcup_{\alpha \in A} U_\alpha$ be an open cover with all $U_\alpha$ , all pairwise intersections $U_\alpha \cap U_\beta$ , and all finite intersections path-connected. If $x_0$ lies in all $U_\alpha$ , then $\pi_1(X, x_0)$ is the colimit (pushout) of the diagram of inclusions $\pi_1(U_\alpha \cap U_\beta) \to \pi_1(U_\alpha)$ .

This generalization handles arbitrary covers, not just two open sets. The fundamental group is the "free group with relations" generated by groups of the pieces, with relations from overlaps.

Example

Sphere decomposition: Write $S^2 = U \cup V$ where $U$ and $V$ are the northern and southern hemispheres (with overlap). Then $U \simeq V \simeq D^2$ are contractible, and $U \cap V \simeq S^1$ . By Van Kampen: $\pi_1(S^2) \cong \{e\} *_{\mathbb{Z}} \{e\}$ The amalgamation over $\mathbb{Z}$ forces all generators to be trivial, giving $\pi_1(S^2) = \{e\}$ .

Remark

The theorem requires path-connectivity of $U$ , $V$ , and $U \cap V$ . If these conditions fail, the theorem may not apply or may require modifications. The basepoint condition ( $x_0 \in U \cap V$ ) is also essential.

Theorem

(Relationship to Covering Spaces) Van Kampen's theorem is compatible with covering space theory: if $p : \tilde{X} \to X$ is a covering and $X = U \cup V$ satisfies Van Kampen hypotheses, then $\tilde{X} = p^{-1}(U) \cup p^{-1}(V)$ also satisfies the hypotheses, and the diagram of fundamental groups commutes.

This compatibility makes Van Kampen's theorem even more powerful: we can compute $\pi_1$ of complex spaces by first understanding simpler covers, then using covering space theory.