Covering Spaces - Core Definitions

Covering spaces provide a powerful geometric tool for studying topological spaces through their "universal" or "simpler" covers, with profound connections to the fundamental group.

Definition

A covering space of a topological space $X$ is a space $\tilde{X}$ together with a continuous surjective map $p : \tilde{X} \to X$ (called the covering map) such that for each $x \in X$ , there exists an open neighborhood $U$ of $x$ that is evenly covered: $p^{-1}(U)$ is a disjoint union of open sets in $\tilde{X}$ , each mapped homeomorphically onto $U$ by $p$ .

The key property is local triviality: near each point, the covering looks like a product of the base space with a discrete space. This structure allows local geometric information to be lifted and studied in $\tilde{X}$ .

Example

The exponential map $p : \mathbb{R} \to S^1$ given by $p(t) = e^{2\pi i t}$ is a covering map. For any point $z \in S^1$ , a small arc around $z$ (not containing a full loop) is evenly covered by countably many disjoint intervals in $\mathbb{R}$ , each mapped homeomorphically onto the arc.

Definition

A local homeomorphism is a continuous map $f : X \to Y$ such that each point $x \in X$ has an open neighborhood $U$ with $f|_U : U \to f(U)$ a homeomorphism onto its image.

Every covering map is a local homeomorphism, but not conversely. The covering condition requires the global structure that neighborhoods are evenly covered, not just that the map is locally invertible.

Definition

Let $p : \tilde{X} \to X$ be a covering space. The fiber over a point $x \in X$ is $p^{-1}(x)$ . If all fibers have the same cardinality $n$ (finite or infinite), we say $p$ is an $n$ -fold covering or that $\tilde{X}$ is an $n$ -sheeted cover of $X$ .

Example

The map $p : S^1 \to S^1$ given by $p(z) = z^n$ is an $n$ -fold covering. Each point in $S^1$ has exactly $n$ preimages, corresponding to the $n$ -th roots of that point. For $n=2$ , this is the "double cover" where $\tilde{X}$ wraps around $X$ twice.

The fiber $p^{-1}(x_0)$ over a basepoint $x_0$ plays a special role in the theory. Points in this fiber correspond to different "sheets" of the covering, and the fundamental group $\pi_1(X, x_0)$ acts on $p^{-1}(x_0)$ via path lifting.

Remark

Covering spaces are ubiquitous in mathematics: they appear as Riemann surfaces in complex analysis, as configuration spaces in physics, and as quotient maps in group theory. The universal covering space, when it exists, is the "maximal" simply connected cover of a space.

The covering space perspective transforms global topological questions into algebraic questions about group actions and subgroups of $\pi_1$ , making many difficult problems tractable.