Covering space

Intuition [Beginner]

A covering space of a space $X$ is a "stack of pancakes" sitting above $X$ — another space $\tilde{X}$ together with a continuous projection $\tilde{X}\to X$ that, locally over every point of $X$, looks like a stack of disjoint copies of a small neighbourhood.

The simplest example: the real line $\mathbb{R}$ is a covering space of the circle $S^1$, with the projection $\mathbb{R}\to S^1$, $t\mapsto e^{2\pi it}$. Each point of the circle has a neighbourhood whose preimage in $\mathbb{R}$ is a disjoint union of intervals, one per integer "winding number." The line covers the circle infinitely many times.

Covering spaces are the geometric realisation of ${\pi }_1$: connected covers of $X$ correspond bijectively (the Galois correspondence) to subgroups of ${\pi }_1(X,x_0)$. The identity subgroup corresponds to the universal cover — the largest, simply connected cover. Every other connected cover sits between $X$ and its universal cover.

Visual [Beginner]

A blob $X$ at the bottom; multiple sheets above it, each a copy of $X$, with a projection arrow downward. Locally each point of $X$ has a "stack" of preimages.

The number of sheets is the degree of the cover. For $\mathbb{R}\to S^1$ this is countably infinite; for the standard double cover $S^n\to {\mathbb{RP}}^n$ it is two; the universal cover may have any cardinality up to $|{\pi }_1(X)|$.

Worked example [Beginner]

The standard exponential map $\exp :\mathbb{R}\to S^1$, $t\mapsto e^{2\pi it}$, is a covering. For each point $z\in S^1$, the preimage ${\exp }^{-1}(z)=\{t\in \mathbb{R}:e^{2\pi it}=z\}$ is a discrete set $\{t_0,t_0+1,t_0+2,\dots \}\cup \{t_0-1,t_0-2,\dots \}$ — an arithmetic progression of step 1, indexed by $\mathbb{Z}$.

Locally, a small arc around $z\in S^1$ has preimage equal to a disjoint union of small intervals around each $t_0+n$. The covering projection restricted to each interval is a homeomorphism onto the arc.

This makes $\mathbb{R}$ the universal cover of $S^1$: it is simply connected (contractible, in fact), and the deck transformations — the homeomorphisms of $\mathbb{R}$ commuting with $\exp$ — are translations by integers, forming a group isomorphic to ${\pi }_1(S^1)\cong \mathbb{Z}$.

For the sphere $S^n$ ($n\ge 2$), the antipodal map $S^n\to {\mathbb{RP}}^n$ is a 2-fold cover. The deck transformation group is $\mathbb{Z}/2$, matching ${\pi }_1({\mathbb{RP}}^n)\cong \mathbb{Z}/2$ for $n\ge 2$.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Let $X$ be a topological space 02.01.01. A covering map is a continuous surjection $p:\tilde{X}\to X$ such that every point $x\in X$ has an open neighbourhood $U$ with the property:

$$p^{-1}(U)=\underset{\alpha \in A}{⨆}{V}_{\alpha },$$

a disjoint union of open subsets $V_{\alpha }\subseteq \tilde{X}$ such that the restriction $p{|}_{V_{\alpha }}:V_{\alpha }\to U$ is a homeomorphism for every $\alpha$. Such a $U$ is evenly covered, and the $V_{\alpha }$ are the sheets over $U$. The cardinality $|A|$ is the degree or number of sheets (locally constant on $X$ if $X$ is connected).

The space $\tilde{X}$ is a covering space of $X$ via the covering map $p$.

A covering map is path-connected when $\tilde{X}$ is path-connected. A path-connected covering map $p:\tilde{X}\to X$ is a universal cover when $\tilde{X}$ is simply connected.

The path-lifting property: for any continuous path $\gamma :[0,1]\to X$ and any lift $\widetilde{x_0}\in p^{-1}(\gamma (0))$ of the starting point, there is a unique continuous lift $\tilde{\gamma }:[0,1]\to \tilde{X}$ with $p\circ \tilde{\gamma }=\gamma$ and $\tilde{\gamma }(0)=\widetilde{x_0}$.

The homotopy-lifting property generalises this: for any continuous family of paths (a homotopy) $H:[0,1]\times [0,1]\to X$ and any lift of an initial path, the homotopy lifts uniquely to $\tilde{X}$.

A deck transformation of a covering $p:\tilde{X}\to X$ is a homeomorphism $\phi :\tilde{X}\to \tilde{X}$ with $p\circ \phi =p$. The deck transformations form a group $\mathrm{Deck}(p)$ under composition, acting on $\tilde{X}$ by permuting the sheets.

For the universal cover $\tilde{X}\to X$ of a path-connected space (with reasonable local conditions), $\mathrm{Deck}(\tilde{X}/X)\cong {\pi }_1(X,x_0)$ canonically.

Key theorem with proof [Intermediate+]

Theorem (path lifting). Let $p:\tilde{X}\to X$ be a covering map, $\gamma :[0,1]\to X$ a continuous path, and $\widetilde{x_0}\in p^{-1}(\gamma (0))$. Then there exists a unique continuous lift $\tilde{\gamma }:[0,1]\to \tilde{X}$ with $\tilde{\gamma }(0)=\widetilde{x_0}$ and $p\circ \tilde{\gamma }=\gamma$.

Proof. Existence. The image $\gamma ([0,1])$ is compact. Cover $X$ by evenly-covered open sets; pull back to an open cover of $[0,1]$ via $\gamma$. By Lebesgue's number lemma, there exists $\delta >0$ such that any subinterval of $[0,1]$ of length $<\delta$ is mapped by $\gamma$ entirely into a single evenly-covered open set. Choose a partition $0=t_0<t_1<\dots <t_n=1$ with $t_{i+1}-t_i<\delta$.

Inductively define the lift on $[t_i,t_{i+1}]$: at $t_0=0$, $\tilde{\gamma }(0):=\widetilde{x_0}$. Suppose $\tilde{\gamma }$ is defined on $[0,t_i]$ with $\tilde{\gamma }(t_i)\in \tilde{X}$. Let $U_i\ni \gamma ([t_i,t_{i+1}])$ be evenly covered, and let $V_i$ be the unique sheet over $U_i$ containing $\tilde{\gamma }(t_i)$. Define $\tilde{\gamma }{|}_{[t_i,t_{i+1}]}:=(p{|}_{V_i}{)}^{-1}\circ \gamma {|}_{[t_i,t_{i+1}]}$. This is continuous (composition of continuous maps).

The pieces glue continuously at each $t_i$ because the formula at $t_i$ from both sides agrees. So $\tilde{\gamma }:[0,1]\to \tilde{X}$ is the desired lift.

Uniqueness. If ${\tilde{\gamma }}_1,{\tilde{\gamma }}_2$ are two lifts with ${\tilde{\gamma }}_1(0)={\tilde{\gamma }}_2(0)=\widetilde{x_0}$, the set $A:=\{t\in [0,1]:{\tilde{\gamma }}_1(t)={\tilde{\gamma }}_2(t)\}$ is non-empty (contains $0$), open (if ${\tilde{\gamma }}_1(t)={\tilde{\gamma }}_2(t)=:\tilde{x}$, the unique sheet over a neighbourhood of $\gamma (t)$ containing $\tilde{x}$ contains both lifts on a neighbourhood of $t$), and closed (limit points of agreement). So $A=[0,1]$. $\square$

The same argument with two parameters proves homotopy lifting; the lifted homotopy is unique given a chosen lift of one initial path.

Bridge. The construction here builds toward 03.05.05 (double cover), where the same data is upgraded, and the symmetry side is taken up in 03.09.04 (spin structure on an oriented riemannian manifold). The defining pattern appears again in those units in a sharpened form, where the local data is glued or quotiented. Putting these together, the foundational insight is that the data of this unit gives the structural signature that the rest of the strand reads off.

Exercises [Intermediate+]

Lean formalization [Intermediate+]

lean_status: partial — Mathlib has IsCoveringMap, basic path-lifting, and the deck transformation group. The full Galois correspondence is partially formalised.

[object Promise]

The companion module re-exports IsCoveringMap and the path-lifting / homotopy-lifting lemmas as Codex's standard interface.

Advanced results [Master]

Existence of universal covers. A path-connected, locally path-connected, semi-locally simply connected space admits a universal cover, unique up to isomorphism. The construction: take $\tilde{X}:=\{[\gamma ]:\gamma$ is a path in $X$ starting at $x_0\}$, where $[\gamma ]$ is the homotopy class with fixed endpoints. The projection sends $[\gamma ]$ to its endpoint. The topology is generated by basic opens determined by the local-simple-connectedness condition.

Galois correspondence. Stated in Exercise 4. Conjugacy classes of subgroups $H\le {\pi }_1(X,x_0)$ ↔ isomorphism classes of connected covers. Normal subgroups correspond to normal covers, where the deck transformation group acts transitively on each fibre. For normal covers, $\mathrm{Deck}(\tilde{X}/X)\cong {\pi }_1(X)/H$.

Quotient by free actions. A free properly discontinuous action of a group $G$ on a simply connected space $\tilde{X}$ yields a covering $\tilde{X}\to \tilde{X}/G$ with deck group $G$ and base fundamental group $G$. Many examples: ${\mathbb{R}}^n\to T^n$ via ${\mathbb{Z}}^n$-action, $S^n\to {\mathbb{RP}}^n$ via $\mathbb{Z}/2$-action, $S^3\to \mathrm{SO}(3)$ via the $\mathbb{Z}/2$ centre of $\mathrm{Spin}(3)$.

Lifting criterion. Given a covering $p:\tilde{X}\to X$ and a continuous map $f:Y\to X$ from a path-connected, locally path-connected $Y$, there is a continuous lift $\tilde{f}:Y\to \tilde{X}$ iff $f_{\ast }({\pi }_1(Y,y_0))\subseteq p_{\ast }({\pi }_1(\tilde{X},\widetilde{x_0}))$. The lift, when it exists, is unique once a lift of one point is fixed.

Spin double covers. The cover $\mathrm{Spin}(n)\to \mathrm{SO}(n)$ for $n\ge 3$ is a connected double cover with deck group $\mathbb{Z}/2$. The corresponding subgroup of ${\pi }_1(\mathrm{SO}(n))\cong \mathbb{Z}/2$ is the identity subgroup, making $\mathrm{Spin}(n)$ the universal cover of $\mathrm{SO}(n)$. This is the topological foundation of spin structures 03.09.04.

Connection to algebraic topology. Covering spaces are the topological avatars of Galois extensions in number theory; the Galois correspondence is precisely analogous. In the language of $\infty$-categories, covers of $X$ are objects of the "étale topos" of $X$, and the Galois correspondence is a special case of étale-fundamental-groupoid recovery.

Synthesis. This construction generalises the pattern fixed in 02.01.01 (topological space), with the symmetric data replaced by its skew or twisted analogue. Read in the opposite direction, the construction is dual to the metric story: complements and orthogonality are taken with respect to the bilinear datum of this unit, not a metric, and the resulting category of subobjects is the one the rest of the strand classifies. The central insight is that this datum identifies algebra with geometry: functions become vector fields, subspaces become quotients, and invariants become cohomology classes — and that identification is the engine driving every theorem downstream.

Full proof set [Master]

Path-lifting. Proved in §"Key theorem".

Homotopy-lifting. Apply the Lebesgue-number argument in $[0,1]\times [0,1]$ with the partition refinement done in both coordinates. The two-dimensional cells are evenly-covered, and a uniqueness argument with the "agree on boundary" condition forces the lift to be unique once an initial path's lift is chosen.

Existence of universal cover (sketch). Define $\tilde{X}$ as homotopy classes of paths starting at $x_0$; topology by basic opens. Verify that the natural projection $\tilde{X}\to X$ is a covering, that $\tilde{X}$ is simply connected (homotopy classes of paths starting at $x_0$ form a tree-like structure), and that the deck group acts faithfully and transitively on fibres.

Galois correspondence (sketch). Given a subgroup $H\le {\pi }_1(X,x_0)$, construct the cover $X_H:=\tilde{X}/H$ where $H$ acts via deck transformations. Verify that ${\pi }_1(X_H,[\widetilde{x_0}])\cong H$ under the natural map. Conversely, given a connected cover $\tilde{X}\to X$, take $H:=p_{\ast }({\pi }_1(\tilde{X},\widetilde{x_0}))$. The two assignments are inverse up to base-point conjugacy.

$\mathrm{Spin}(n)$ as universal cover for $n\ge 3$. ${\pi }_1(\mathrm{SO}(n))\cong \mathbb{Z}/2$ for $n\ge 3$ (a classical computation using the long exact sequence of the fibration $\mathrm{SO}(n-1)\to \mathrm{SO}(n)\to S^{n-1}$). The connected double cover is $\mathrm{Spin}(n)$, with the identity subgroup of ${\pi }_1$. By the Galois correspondence, $\mathrm{Spin}(n)$ is the universal cover.

Connections [Master]

• Topological space 02.01.01 — the underlying setting.

• Continuous map 02.01.02 — covering maps are a special class of continuous surjections.

• Homotopy and homotopy group 03.12.01 — covering spaces realise subgroups of ${\pi }_1$ geometrically.

• Double cover 03.05.05 — the special case of 2-fold covers, used heavily in spin geometry.

• Spin structure 03.09.04 — built on the universal double cover $\mathrm{Spin}(n)\to \mathrm{SO}(n)$.

• Spin group 03.09.03 — the universal cover of $\mathrm{SO}(n)$ for $n\ge 3$.

Historical & philosophical context [Master]

Riemann's notion of "Riemann surface" (1851) was the first systematic encounter with covering spaces — multi-valued holomorphic functions like $\sqrt{z}$ and $\log z$ resolve to single-valued functions on appropriate covers of the punctured plane. Poincaré's Analysis Situs (1895) introduced the universal cover of an arbitrary topological space and recognised the deck group as the fundamental group.

The Galois correspondence between covers and subgroups of ${\pi }_1$ — a topological analogue of Galois's theory of field extensions — was developed in the early twentieth century through the work of Schreier (1927) and others. It made covering-space theory the prototype for fundamental groupoids, étale fundamental groups in algebraic geometry (Grothendieck's SGA), and the modern theory of $\infty$-groupoids.

In physics, double covers play a role wherever spinor representations appear: $\mathrm{Spin}(n)\to \mathrm{SO}(n)$ is the source of spin-1/2 fermions, and the covering-space topology underlies why spin structures exist in some manifolds and not others. The Aharonov-Bohm effect realises in physics the holonomy of the universal cover.

Bibliography [Master]

• Hatcher, A., Algebraic Topology, Cambridge University Press, 2002. §1.3.
• Bredon, G. E., Topology and Geometry, Springer GTM 139, 1993. §III.3.
• May, J. P., A Concise Course in Algebraic Topology, University of Chicago Press, 1999. Ch. 3.
• Munkres, J. R., Topology, 2nd ed., Prentice Hall, 2000. §53.
• Massey, W. S., Algebraic Topology: An Introduction, Springer GTM 56, 1967.

---

Wave 4 Strand B unit #2. Covering space — the geometric realisation of ${\pi }_1$ via the Galois correspondence; foundation for double covers and spin structures.