Covering space
A space that locally projects multiple copies onto a base space.
A covering space is a topological space that, together with a continuous map called a covering projection, locally behaves like a projection of multiple copies of a space onto itself. Covering spaces are special types of local homeomorphisms and are an important tool in several areas of mathematics, including complex analysis, algebraic topology, and modern geometry.
- field
- Topology
- known_for
- Locally acting like a projection of multiple copies of a space onto itself; used in calculation of homotopy groups and construction of manifolds
Lore & Background
Covering spaces first arose in the context of complex analysis, specifically the technique of analytic continuation, where they were introduced by Riemann as domains on which naturally multivalued complex functions become single-valued. These spaces are now called Riemann surfaces. In topology, a covering is defined as a continuous map π: X̃ → X such that for every x in X there exists an open neighborhood U_x and a discrete space D_x where π⁻¹(U_x) is the disjoint union of sheets V_d, each homeomorphic to U_x under π. The fiber π⁻¹(x) is the discrete set of points above x. If X is connected and X̃ is non-empty, the covering is surjective and the cardinality of the fiber is constant, called the degree of the covering.
Reader's Guide
Covering spaces are a fundamental concept in algebraic topology, closely related to the fundamental group. Because all coverings have the homotopy lifting property, they are an important tool in the calculation of homotopy groups. A standard example is the calculation of the fundamental group of the circle S¹ by means of the covering r: ℝ → S¹ given by r(t) = (cos(2πt), sin(2πt)). Under certain conditions, covering spaces exhibit a Galois correspondence with the subgroups of the fundamental group. In modern geometry, covering spaces (or branched coverings, which have slightly weaker conditions) are used in the construction of manifolds, orbifolds, and the morphisms between them. Coverings are also a special kind of étalé space, and a path-connected covering is equivalent to a locally trivial fiber bundle.
Did You Know?
- Covering spaces first arose in complex analysis through the technique of analytic continuation, introduced by Riemann.
- The map r: ℝ → S¹ with r(t) = (cos(2πt), sin(2πt)) is a covering of the unit circle.
- For a connected base X, the cardinality of the fiber is constant and is called the degree of the covering.
- Covering spaces are closely related to the fundamental group and exhibit a Galois correspondence with its subgroups.
Frequently Asked Questions
What is a Covering space?
A covering space is a topological space paired with a continuous surjective map (the covering projection) such that every point in the base has a neighborhood whose full preimage breaks into disjoint open pieces, each mapped homeomorphically back onto that neighborhood. Informally, if you zoom in close enough, the covering looks like several identical copies stacked neatly over the base.
How does Covering space differ from a general local homeomorphism?
Every covering map is a local homeomorphism, but the converse fails: a covering space demands that the number of sheets over every sufficiently small neighborhood is the same everywhere on the base. This global uniformity is precisely what makes covering spaces powerful for carrying out global topological computations.
What role does Covering space play in algebraic topology?
Covering spaces are a central tool for calculating fundamental groups and, more broadly, homotopy groups of a space. The universal cover in particular encodes the entire structure of the fundamental group and is indispensable for classifying spaces up to homotopy equivalence.
How is Covering space used in constructing manifolds?
By taking a quotient of a simply connected covering space under the action of its deck-transformation group, one can build a wide family of manifolds with prescribed local geometry. This recipe underlies the standard construction of flat, hyperbolic, and spherical manifolds in modern differential geometry.
Why do complex analysts care about Covering space?
The Riemann surface of a multi-valued analytic function—such as the complex logarithm or square root—is naturally a covering space of the punctured complex plane. This geometric reframing turns branch-point behavior into a clean topological statement about how the sheets of the cover are stitched together.
More in Topology And Abstract Spaces 1-24
Spotted an error? Know more?
This is a living reference — every entry is fact-audited, and reader corrections feed straight into our audit queue. Suggest an edit · See this site's audit record