Covering Spaces - Applications

Covering space theory provides powerful computational tools and has applications throughout mathematics, from computing fundamental groups to understanding Riemann surfaces.

Theorem

(Computing $\pi_1$ via Coverings) If $p : \tilde{X} \to X$ is a covering space with $\tilde{X}$ simply connected, then $\pi_1(X, x_0) \cong \text{Deck}(\tilde{X}/X)$ . This allows us to compute $\pi_1(X)$ by understanding the deck transformations of its universal cover.

Example

To compute $\pi_1(S^1)$ : The universal cover is $\mathbb{R}$ with $p(t) = e^{2\pi i t}$ . Deck transformations are maps $\phi : \mathbb{R} \to \mathbb{R}$ with $p \circ \phi = p$ . This forces $\phi(t) = t + n$ for $n \in \mathbb{Z}$ . Therefore $\text{Deck}(\mathbb{R}/S^1) \cong \mathbb{Z}$ , giving $\pi_1(S^1) \cong \mathbb{Z}$ .

Theorem

(Fundamental Group of Surfaces) Using covering space theory, we can compute:

$\pi_1(T^2) = \mathbb{Z}^2$ (torus)
$\pi_1(\Sigma_g) = \langle a_1, b_1, \ldots, a_g, b_g \mid [a_1,b_1] \cdots [a_g,b_g] = 1 \rangle$ (orientable surface of genus $g$ )
$\pi_1(\mathbb{RP}^2) = \mathbb{Z}/2\mathbb{Z}$ (projective plane)

The universal cover of the torus is $\mathbb{R}^2$ , with deck transformation group $\mathbb{Z}^2$ acting by lattice translations. For higher genus surfaces, the universal cover is the hyperbolic plane $\mathbb{H}^2$ .

Example

Real projective space: The antipodal map $x \mapsto -x$ on $S^n$ is a deck transformation of the double cover $p : S^n \to \mathbb{RP}^n$ . Since $S^n$ is simply connected for $n \geq 2$ , we have $\pi_1(\mathbb{RP}^n) \cong \mathbb{Z}/2\mathbb{Z}$ for $n \geq 2$ .

Theorem

(Borsuk-Ulam Theorem via Coverings) The Borsuk-Ulam theorem states that any continuous map $f : S^n \to \mathbb{R}^n$ has a point $x$ with $f(x) = f(-x)$ . This can be proved using covering space theory: if no such point existed, $f$ would descend to a map $\mathbb{RP}^n \to \mathbb{R}^n \setminus \{0\}$ , contradicting fundamental group considerations.

Example

Application to knot theory: Knot complements $S^3 \setminus K$ have non-trivial $\pi_1$ , and covering spaces of knot complements encode important knot invariants. The fundamental group distinguishes knots: the trefoil and unknot have different fundamental groups.

Remark

In complex analysis, covering spaces appear as Riemann surfaces. The exponential map $\mathbb{C} \to \mathbb{C}^*$ is a covering, and multi-valued functions like $\log z$ are single-valued on appropriate covering spaces. This geometric viewpoint clarifies branch cuts and analytic continuation.

Theorem

(Monodromy) Let $p : E \to B$ be a covering space and $\gamma$ a loop in $B$ at $b_0$ . The monodromy action lifts $\gamma$ to various sheets of $E$ , permuting the fiber $p^{-1}(b_0)$ . This defines a homomorphism $\pi_1(B, b_0) \to \text{Perm}(p^{-1}(b_0))$ called the monodromy representation.

Monodromy connects topology with representation theory and provides a systematic way to study multi-valued functions and differential equations with singularities.