Van Kampen Theorem Applications

The fundamental group ${\pi }_1(X,x_0)$ is a powerful algebraic invariant that captures information about loops in a space. For complex spaces, computing it directly from definition is often intractable. The van Kampen theorem provides the essential machinery for breaking this computation into manageable pieces, allowing you to derive the fundamental group of a union of spaces from the groups of its overlapping constituents. Mastering its application is crucial for understanding the topology of surfaces, knots, and cell complexes.

Stating the Van Kampen Theorem

The classical theorem applies to a space $X$ constructed as the union of two open, path-connected subspaces. Let $X=U_1\cup U_2$, where $U_1$, $U_2$, and their intersection $U_1\cap U_2$ are all path-connected. Choose a basepoint $x_0\in U_1\cap U_2$. The inclusion maps induce homomorphisms between fundamental groups:

$$j_k:{\pi }_1(U_1\cap U_2,x_0)\to {\pi }_1(U_k,x_0)\text{for }k=1,2.$$

The van Kampen theorem states that ${\pi }_1(X,x_0)$ is the free product with amalgamation (or pushout) of these groups. Concretely, it is the quotient of the free product ${\pi }_1(U_1,x_0)\ast {\pi }_1(U_2,x_0)$ by the normal subgroup generated by all elements of the form $j_1(\gamma )j_2(\gamma {)}^{-1}$ for $\gamma \in {\pi }_1(U_1\cap U_2,x_0)$. In symbols:

$${\pi }_1(X,x_0)\cong \frac{{\pi }_1(U_1,x_0)\ast {\pi }_1(U_2,x_0)}{⟨⟨j_1(\gamma )j_2(\gamma {)}^{-1}:\gamma \in {\pi }_1(U_1\cap U_2)⟩⟩}.$$

This presentation tells you that ${\pi }_1(X)$ is formed by taking generators from both groups and forcing the images of any loop in the intersection to be equal in $X$. A more general version exists for covers by more than two open sets, but the two-set case suffices for many geometric constructions.

Application to Wedge Sums

A wedge sum $X\vee Y$ is formed by taking two pointed spaces $(X,x_0)$ and $(Y,y_0)$ and identifying their basepoints to a single point. This is a prime example where the intersection $U_1\cap U_2$ is contractible (just the basepoint). If you choose open neighborhoods $U_1$ and $U_2$ that deformation retract onto $X$ and $Y$ respectively, their intersection is contractible and thus has trivial fundamental group: ${\pi }_1(U_1\cap U_2)=1$.

In this case, the amalgamation relations from the theorem become trivial. The subgroup we quotient by is generated by $j_1(1)j_2(1{)}^{-1}=1$, so no relations are added. Therefore, the theorem simplifies dramatically:

$${\pi }_1(X\vee Y)\cong {\pi }_1(X)\ast {\pi }_1(Y).$$

That is, the fundamental group of a wedge sum is the free product of the individual fundamental groups. For example, the fundamental group of a bouquet of two circles (a figure-eight space) is the free group on two generators, $F_2$, which is the free product $\mathbb{Z}\ast \mathbb{Z}$.

Computing Fundamental Groups of Surfaces

The theorem is indispensable for computing the fundamental groups of closed surfaces. Consider the orientable genus-$g$ surface $S_g$. It can be constructed by taking a $4g$-gon and identifying its edges according to the standard pattern $a_1{b}_1{a}_1^{-1}{b}_1^{-1}\cdots a_g{b}_g{a}_g^{-1}{b}_g^{-1}$.

To apply van Kampen, let $U_1$ be the polygon minus its center (which deformation retracts onto the $1$-skeleton, a wedge of $2g$ circles). Its fundamental group is free on $2g$ generators: ${\pi }_1(U_1)=⟨a_1,b_1,...,a_g,b_g⟩$. Let $U_2$ be an open disk in the center of the polygon. This is contractible, so ${\pi }_1(U_2)=1$. Their intersection $U_1\cap U_2$ is an annulus, which deformation retracts onto a circle, so ${\pi }_1(U_1\cap U_2)\cong \mathbb{Z}$, generated by a loop $\gamma$ around the boundary of the disk.

The inclusion $j_1$ maps $\gamma$ to the loop that traces the entire identified boundary of the polygon in $U_1$. This boundary loop is precisely the product of commutators $[a_1,b_1]\cdots [a_g,b_g]$. The inclusion $j_2$ maps $\gamma$ to the trivial loop in $U_2$. The van Kampen theorem then dictates that we impose the relation $j_1(\gamma )=j_2(\gamma )$, which forces the boundary word to equal 1. This yields the classic presentation:

$${\pi }_1(S_g)\cong ⟨a_1,b_1,...,a_g,b_g\mid [a_1,b_1]\cdots [a_g,b_g]=1⟩.$$

Analyzing Knot Complements

Let $K\subset S^3$ be a knot. Its complement is the space $X_K=S^3\setminus N(K)$, where $N(K)$ is an open tubular neighborhood of the knot. The fundamental group ${\pi }_1(X_K)$ is a key knot invariant.

A standard decomposition uses the Wirtinger presentation, which can be derived via van Kampen. View $S^3$ as ${\mathbb{R}}^3\cup \{\infty \}$. Decompose the complement: let $U_1$ be the complement of the knot's "braid" (a thickened knot with a single strand removed), and let $U_2$ be a thickened neighborhood of the removed strand. Their intersection is a torus minus a disk.

The group ${\pi }_1(U_1)$ is free, with generators corresponding to arcs going over the other strands. The group ${\pi }_1(U_2)$ is infinite cyclic, generated by a meridian loop around the removed strand. The intersection group is also free, but the key inclusion maps are determined by how the meridian and longitude of the neighborhood link with the rest of the knot. The van Kampen theorem yields a set of relations, one for each crossing, of the form $x_i{x}_j=x_k{x}_i$. These are the Wirtinger relations. The resulting presentation of ${\pi }_1(X_K)$ provides a computable algebraic model of the knot.

Application to CW Complexes

For CW complexes, the van Kampen theorem offers an inductive computational tool. The fundamental group of a connected $1$-dimensional CW complex (a graph) is a free group. To build a $2$-dimensional complex, you attach $2$-cells via attaching maps ${\phi }_{\alpha }:S^1\to X^1$, where $X^1$ is the $1$-skeleton.

The attachment can be modeled with a van Kampen decomposition. Let $X=X^1\cup (\bigcup e_{\alpha }^2)$. Choose $U_1$ to be a neighborhood of $X^1$ union with a small open disk from each $2$-cell. This $U_1$ deformation retracts onto $X^1$. Let $U_2$ be the union of the interiors of the $2$-cells. Then $U_2$ is contractible, and $U_1\cap U_2$ is a disjoint union of punctured $2$-cells, each deformation retracting onto a circle (the boundary of the cell).

The inclusion $j_1$ maps the generator of the fundamental group of the $\alpha$-th circle in $U_1\cap U_2$ to the homotopy class of the attaching map $[{\phi }_{\alpha }]\in {\pi }_1(X^1)$. The inclusion $j_2$ maps it to the trivial element. The van Kampen theorem therefore implies that attaching a $2$-cell introduces the relation $[{\phi }_{\alpha }]=1$ into the fundamental group. Thus, if ${\pi }_1(X^1)$ has a presentation $⟨\text{generators}\mid ⟩$, then ${\pi }_1(X)$ has the presentation:

$${\pi }_1(X)\cong ⟨\text{generators of }{\pi }_1(X^1)\mid [{\phi }_{\alpha }]=1\text{ for each attaching map}⟩.$$

This shows that the fundamental group of a CW complex is determined entirely by its $2$-skeleton.

Common Pitfalls

1. Ignoring Path-Connectedness Assumptions: The theorem requires $U_1$, $U_2$, and $U_1\cap U_2$ to be path-connected. If the intersection is not connected, the theorem in its basic form does not apply. You must either choose a different open cover or use the more complex groupoid version of the theorem.
2. Misidentifying the Intersection Group: A frequent error is incorrectly determining ${\pi }_1(U_1\cap U_2)$ or the homomorphisms induced by inclusion $j_1$ and $j_2$. Carefully construct deformation retracts to find the true homotopy type of the intersection. The maps $j_k$ are induced by the literal inclusion of a loop in the intersection into the larger subspace $U_k$.
3. Overlooking the Basepoint Condition: The standard formulation requires the basepoint to lie in $U_1\cap U_2$. If your chosen basepoint is not in the intersection, you must use a path to connect it, which introduces auxiliary isomorphisms that can complicate the algebra. Always choose the basepoint in the intersection for a clean application.
4. Applying to Non-Open Covers: The sets $U_1$ and $U_2$ must be open in $X$. Using closed sets (like the northern and southern hemispheres of a sphere) is invalid unless you can thicken them slightly to form open sets that still deformation retract onto the spaces you want to use.

Summary

• The van Kampen theorem computes the fundamental group of a union $X=U_1\cup U_2$ as the amalgamated free product ${\pi }_1(X)\cong {\pi }_1(U_1){\ast }_{{\pi }_1(U_1\cap U_2)}{\pi }_1(U_2)$.
• For wedge sums $X\vee Y$, where the intersection is contractible, the theorem simplifies to a free product: ${\pi }_1(X\vee Y)\cong {\pi }_1(X)\ast {\pi }_1(Y)$.
• For surfaces, applying the theorem to a polygon-with-disk decomposition yields the standard one-relator presentation $⟨a_1,b_1,...,a_g,b_g\mid [a_1,b_1]\cdots [a_g,b_g]=1⟩$ for an orientable genus-$g$ surface.
• For knot complements, a van Kampen decomposition underlies the Wirtinger presentation, providing a computable group invariant for the knot.
• In CW complexes, attaching $2$-cells introduces relations into the fundamental group of the $1$-skeleton, making the theorem a powerful inductive tool for algebraic topology.