Covering Spaces — Mathematics Knowledge System

Overview

A covering space of a topological space X is a space X̃ together with a continuous surjection p: X̃ → X such that every point of X has an open neighborhood U whose full preimage p⁻¹(U) is a disjoint union of open sets, each mapped homeomorphically onto U by p. Intuitively, X̃ 'unrolls' or 'unwinds' X locally without distortion — near any point, X̃ looks like several exact, non-overlapping copies of a neighborhood in X stacked on top of each other. Covering spaces are the geometric backbone of the fundamental group: there is a deep correspondence (the Galois correspondence for covering spaces) between subgroups of π₁(X) and covering spaces of X, with the universal cover — the covering space with trivial fundamental group — corresponding to the trivial subgroup and covering every other connected covering space of X.

Intuition

The classic picture is the helix covering the circle: map the real line ℝ onto the circle S¹ by p(t) = (cos 2πt, sin 2πt). Near any point of S¹, the preimage under p consists of infinitely many disjoint open arcs of ℝ (one per integer shift), each mapped homeomorphically onto a small arc of S¹ — exactly the local-triviality condition. Globally, though, p is very much not a homeomorphism: it wraps ℝ around S¹ infinitely many times. This is the universal cover of S¹: ℝ is simply connected (trivial π₁), and it 'unwinds' all the looping that makes π₁(S¹) = ℤ nontrivial. More generally, a covering space trades global topological complexity (nontrivial loops) for a locally identical, but globally different, space — think of a spiral staircase (covering space) versus the circular floor plan it sits above (the base space): each floor looks the same locally, but the staircase never closes up into a loop the way the floor's circular perimeter does.

Formal Definition

Definition

A continuous surjection p: X̃ → X is a covering map (and X̃ a covering space of X) if every point x ∈ X has an evenly covered open neighborhood U:

p^{-1}(U) = \bigsqcup_{\alpha \in A} V_\alpha, \quad V_\alpha \text{ open and disjoint, } p|_{V_\alpha}: V_\alpha \xrightarrow{\ \cong\ } U \text{ a homeomorphism}

Each 'sheet' V_α maps homeomorphically onto U; the index set A is the (locally constant) fiber, often called the number of sheets

Evenly covered neighborhood

\text{deg}(p) = |p^{-1}(x)| \quad \text{(constant on connected } X\text{)}

For connected X, every fiber p⁻¹(x) has the same cardinality, called the degree of the covering

Degree (number of sheets)

\tilde X \text{ simply connected} \implies \tilde X \text{ is THE universal cover of } X

The universal cover is unique up to homeomorphism (when X is nice enough to have one) and covers every other connected covering space of X

Universal cover

Notation

Notation	Meaning
$p: \tilde X \to X$	The covering map; X̃ is the total space (covering space), X the base space
$p^{-1}(U) \cong U \times A \text{ (discrete } A\text{)}$	An open set U ⊆ X whose preimage splits into disjoint homeomorphic copies of U
$\phi: \tilde X \to \tilde X, \ p \circ \phi = p$	A homeomorphism of X̃ that commutes with the covering map, i.e. permutes the sheets over each point

Derivation

Sketch of why the standard map p: ℝ → S¹, p(t) = (cos 2πt, sin 2πt), is a covering map, and why it is the universal cover.

\text{Fix } x = (\cos 2\pi t_0, \sin 2\pi t_0) \in S^1. \text{ Let } U \text{ be a small open arc around } x.

Choose an evenly-covered candidate neighborhood

p^{-1}(U) = \bigsqcup_{n \in \mathbb{Z}} (t_0 - \epsilon + n,\, t_0+\epsilon+n) \text{ for suitably small } \epsilon>0

The preimage splits into disjoint translated copies of a small interval, one per integer

p \text{ restricted to each interval } (t_0-\epsilon+n, t_0+\epsilon+n) \text{ is a homeomorphism onto } U

Each sheet maps homeomorphically onto U, since p is injective and continuous with continuous inverse on a short enough arc

\text{So every point of } S^1 \text{ has an evenly covered neighborhood} \implies p \text{ is a covering map.}

This verifies the local-triviality condition everywhere on S¹

\pi_1(\mathbb{R}) = \{e\} \text{ (ℝ is convex, hence simply connected)} \implies \mathbb{R} \text{ is the universal cover of } S^1.

Since ℝ has trivial fundamental group, it is the universal (simply connected) cover

Properties

Path lifting property

\text{Every path } \gamma: [0,1] \to X \text{ starting at } x_0 \text{ lifts uniquely to a path } \tilde\gamma: [0,1]\to\tilde X \text{ starting at any chosen } \tilde x_0 \in p^{-1}(x_0)

Condition: This is the foundational lifting theorem that makes covering spaces so useful for computing fundamental groups.

Homotopy lifting property

\text{Homotopies of paths in } X \text{ lift uniquely to homotopies of their lifted paths in } \tilde X

Condition: Together with path lifting, this shows the lift of a loop's endpoint depends only on the loop's homotopy class, giving a well-defined action of π₁(X,x₀) on the fiber p⁻¹(x₀).

Injectivity of p* on π₁

p_*: \pi_1(\tilde X, \tilde x_0) \to \pi_1(X, x_0) \text{ is injective}

Condition: So π₁ of the covering space is (isomorphic to) a subgroup of π₁ of the base — the starting point of the Galois correspondence for covering spaces.

Universal cover corresponds to the trivial subgroup

\tilde X \text{ simply connected} \iff p_*(\pi_1(\tilde X)) = \{e\} \text{ is the trivial subgroup of } \pi_1(X)

Condition: The universal cover is 'universal' precisely because it covers every other connected covering space of X (for X locally nice, e.g. locally path-connected and semilocally simply connected).

Applications

Covering spaces model multi-valued functions and phase ambiguities directly — e.g. the double cover of SO(3) by SU(2) (spin groups) explains why a spin-1/2 particle's wavefunction picks up a sign after a full 360° rotation, only returning to itself after 720°.

Worked Examples

p_n: S¹ → S¹, p_n(z) = z^n is continuous and surjective (every unit complex number has an n-th root that is also a unit complex number).
$p_n(z) = z^n$
For w ∈ S¹, the fiber p_n^{-1}(w) = {z ∈ S¹ : z^n = w} consists of exactly n distinct n-th roots of w (evenly spaced by angle 2π/n), since w ≠ 0.
$|p_n^{-1}(w)| = n \text{ for every } w \in S^1$
Each small arc U around w is evenly covered by n disjoint small arcs around the n roots, each mapped homeomorphically onto U by p_n — so p_n is a covering map of degree n.
$\deg(p_n) = n$

Answer: p_n(z) = z^n is an n-fold (degree-n) covering map of S¹ by itself, with every fiber containing exactly n points.

Practice Problems

Difficulty 6/10

The universal cover of a (nice enough) space X is characterized by:

Having the largest possible fundamental groupBeing simply connected (trivial fundamental group)Being homeomorphic to XHaving exactly two sheets

Difficulty 6/10

What is the degree of the covering map p: ℝ → S¹, p(t) = e^{2πit}?

Difficulty 8/10

Prove that p_*: π₁(X̃, x̃₀) → π₁(X, x₀) is injective for a covering map p: X̃ → X.

Common Mistakes

Common Mistake

Confusing a covering map with an arbitrary continuous surjection, or with a quotient map in general.

A covering map requires the strong local condition that every point of the base has an EVENLY covered neighborhood (preimage splits into disjoint homeomorphic sheets) — not just any continuous surjection or quotient satisfies this (e.g. the map [0,1]→[0,1] squaring the interval is not a covering map near the endpoints).

Common Mistake

Thinking the universal cover must be 'the biggest' covering space in some naive size sense.

The universal cover is characterized by being simply connected, not by cardinality; it happens to cover every other connected covering space, but the defining property is trivial π₁, not size.

Quiz

Summary

A covering map p: X̃ → X is a continuous surjection where every point of X has an evenly covered neighborhood — one whose preimage splits into disjoint sheets, each homeomorphic to it via p.
Paths and homotopies in X lift uniquely to X̃ once a starting point is chosen (path and homotopy lifting properties), and p_* is always injective on fundamental groups.
The universal cover is the simply connected covering space; ℝ → S¹ via t ↦ e^{2πit} is the prototypical example, recovering π₁(S¹) ≅ ℤ via winding numbers.
Covering spaces of X correspond (via the Galois correspondence) to subgroups of π₁(X), turning topological classification into group-theoretic bookkeeping.

References

WebsiteWikipedia — Covering space
BookHatcher, A. Algebraic Topology, Ch. 1.3.