Topology
Covering Spaces
Цели урока
- Define covering maps and state the path lifting theorem
- Understand the Galois correspondence between subgroups of pi_1(X) and coverings
- Compute deck groups and identify universal coverings of standard spaces
- Apply covering theory to relate pi_1 with H_1 via the Hurewicz map
Предварительные знания
- Homotopy and fundamental group
- Topological spaces and maps
- Basic group theory
Why does the complex logarithm require an infinite spiral to become single-valued? Covering spaces are the answer - and the same structure appears in Riemann surfaces, Galois theory, and network topology.
- Riemann surfaces: multi-valued complex functions become single-valued on their covering spaces
- Network routing: torus networks in datacenters are coverings of smaller grids, enabling fault tolerance
- Cryptography: finite covering spaces over projective planes underlie certain error-correcting codes
- Quantum mechanics: the double cover SU(2) -> SO(3) explains spinors and half-integer spin
From Riemann Sheets to Modern Topology
Bernhard Riemann in 1851 introduced multi-sheeted surfaces to handle multi-valued complex functions. Henri Poincare formalized the fundamental group in 1895 and recognized its connection to covering spaces. The full Galois correspondence was established by the early 20th century. In physics, Hermann Weyl showed in 1929 that SU(2) is the universal double cover of SO(3), explaining why electron spin transforms under a 720-degree rotation.
Covering Spaces and Lifting
Riemann in 1851 introduced multi-sheeted surfaces - the first historical covering. The function sqrt(z) on the punctured plane requires two sheets to become single-valued. Modern CDN routing on torus networks and error-correcting codes over projective planes are direct descendants of this idea.
The winding number of a loop gamma in S^1 at the base point is exactly the endpoint of its lift to R. Loop wind twice: lift goes from 0 to 2. Wind backwards: 0 to -1. This is the isomorphism pi_1(S^1) = Z in action.
What does a subgroup H of pi_1(X) correspond to in the covering classification?
Correct. The covering classification: subgroups H (up to conjugacy) biject with connected coverings. Index = number of sheets. Trivial subgroup gives the universal covering.
Classification Theorem and Examples
Every subgroup of pi_1(X) gives a covering, and every connected covering comes from a subgroup. This is the Galois correspondence - same structure as Galois theory of field extensions. The universal covering corresponds to the trivial subgroup. Normal subgroups give regular (Galois) coverings.
| Base X | pi_1(X) | Subgroup H | Covering X_H | Sheets |
|---|---|---|---|---|
| S^1 | Z | {0} | R (universal) | inf |
| S^1 | Z | nZ | S^1 (n-fold) | n |
| S^1 v S^1 | F_2 | {e} | Universal (tree) | inf |
| RP^2 | Z/2Z | {e} | S^2 | 2 |
Double cover of RP^n
Universal covering of real projective space
RP^n = S^n with antipodal identification. The covering map p: S^n -> RP^n sends each point to its antipodal pair. This is a 2-sheeted covering; pi_1(RP^n) = Z/2 for n >= 2. The deck transformation is the antipodal map x -> -x. Since Z/2 has no proper nontrivial subgroups, this is the only nontrivial connected covering of RP^n.
What is the deck group of the universal covering of S^1 v S^1?
Correct. The deck group of the universal covering equals pi_1(S^1 v S^1) = F_2. The universal covering is an infinite tree.
Applications in Topology and Algebra
Covering spaces are the geometric shadow of group theory. Every fact about subgroups of pi_1(X) has a geometric interpretation via coverings. The Seifert-van Kampen theorem + covering theory gives a complete toolkit for computing pi_1 and classifying spaces.
The classification theorem requires X to be connected, locally path-connected, and semi-locally simply connected. Without semi-local simple connectivity, the universal covering may fail to exist. The Hawaiian earring is the standard counterexample.
How does H_1(X; Z) relate to pi_1(X)?
Correct. The Hurewicz theorem: pi_1 -> H_1 is the abelianization map. H_1 kills the commutator subgroup.
Connections to other topics
Covering spaces connect algebraic topology, complex analysis, and group theory.
- Galois theory — Related topic
- Riemann surfaces — Related topic
- Spin geometry — Related topic
- Graph theory — Related topic
Итоги
- Covering map p: X-tilde -> X: every point has a neighborhood whose preimage is a disjoint union of homeomorphic sheets
- Path lifting: every path in X lifts uniquely to X-tilde given a starting lift
- Deck group Deck(X-tilde/X): homeomorphisms of X-tilde over X; isomorphic to pi_1(X) for universal cover
- Galois correspondence: connected coverings biject with conjugacy classes of subgroups of pi_1(X)
- Normal subgroup H gives regular covering with deck group pi_1(X)/H
- H_1(X; Z) = pi_1(X)^ab (Hurewicz theorem) - covering theory links to homology
Вопросы для размышления
- Why does the universal covering correspond to the trivial subgroup, while the base space itself corresponds to the full group?
- How does the Galois correspondence for coverings mirror the Galois correspondence for field extensions?
- What fails for the Hawaiian earring, and why does it not have a universal covering?
Связанные уроки
- top-22 — Fundamental group classifies coverings via deck group
- top-23 — Homology of covering spaces computed via transfer maps
- aa-01-groups-intro