The Fundamental Group - Applications

The fundamental group provides powerful tools for solving concrete problems in topology, analysis, and geometry through its interplay with covering spaces and fixed point theory.

Theorem

(No Retraction Theorem) There is no continuous retraction $r : D^2 \to S^1$ , i.e., no continuous map $r : D^2 \to S^1$ with $r(x) = x$ for all $x \in S^1$ .

Proof: Suppose $r : D^2 \to S^1$ is a retraction and let $i : S^1 \hookrightarrow D^2$ be the inclusion. Then $r \circ i = \text{id}_{S^1}$ , so applying $\pi_1$ : $r_* \circ i_* = (\text{id}_{S^1})_* = \text{id}_{\mathbb{Z}}$ But $\pi_1(D^2) = \{e\}$ and $\pi_1(S^1) = \mathbb{Z}$ , so $i_* : \mathbb{Z} \to \{e\}$ cannot have a left inverse. Contradiction.

This theorem immediately implies the Brouwer Fixed Point Theorem in dimension 2.

Theorem

(Brouwer Fixed Point Theorem, $n=2$ ) Every continuous map $f : D^2 \to D^2$ has a fixed point.

Proof: If $f$ had no fixed point, we could define a retraction $r : D^2 \to S^1$ by drawing a ray from $f(x)$ through $x$ and taking $r(x)$ to be the point where this ray intersects $S^1$ . This contradicts the No Retraction Theorem.

Example

The fundamental group distinguishes spaces that cannot be homeomorphic. For instance, $\mathbb{R}^2$ and $\mathbb{R}^2 \setminus \{0\}$ are not homeomorphic because $\pi_1(\mathbb{R}^2) = \{e\}$ but $\pi_1(\mathbb{R}^2 \setminus \{0\}) = \mathbb{Z}$ . Similarly, $S^1$ and $S^2$ are not homotopy equivalent.

The fundamental group theory connects deeply with covering space theory, which provides computational tools for determining fundamental groups.

Theorem

(Lifting Criterion) Let $p : (\tilde{X}, \tilde{x}_0) \to (X, x_0)$ be a covering space and $f : (Y, y_0) \to (X, x_0)$ a continuous map with $Y$ path-connected and locally path-connected. Then $f$ lifts to a map $\tilde{f} : (Y, y_0) \to (\tilde{X}, \tilde{x}_0)$ (i.e., $p \circ \tilde{f} = f$ ) if and only if $f_*(\pi_1(Y, y_0)) \subseteq p_*(\pi_1(\tilde{X}, \tilde{x}_0))$

This criterion provides a powerful method for studying maps through their effect on fundamental groups.

Example

The exponential map $\exp : \mathbb{R} \to S^1$ given by $\exp(t) = e^{2\pi i t}$ is a covering map with $\pi_1(\mathbb{R}) = \{e\}$ and $\pi_1(S^1) = \mathbb{Z}$ . The lifting criterion explains why continuous functions $f : X \to S^1$ can be lifted to $\tilde{f} : X \to \mathbb{R}$ when $\pi_1(X) = \{e\}$ .

Remark

The relationship between fundamental groups and covering spaces is reciprocal: covering spaces help compute fundamental groups (via lifting), and fundamental groups classify covering spaces (via the Galois correspondence between subgroups of $\pi_1$ and covering spaces).

Applications extend beyond pure topology. In complex analysis, the fundamental group determines the existence of global primitives for holomorphic functions. In differential geometry, it controls the existence of global coordinate systems and the structure of vector bundles. These connections make $\pi_1$ one of the most versatile tools in modern mathematics.