Covering space


In topology, a covering or covering projection is a map between topological spaces that, intuitively, locally acts like a projection of multiple copies of a space onto itself. In particular, coverings are special types of local homeomorphisms. If is a covering, is said to be a covering space or cover of, and is said to be the base of the covering, or simply the base. By abuse of terminology, and may sometimes be called covering spaces as well. Since coverings are local homeomorphisms, a covering space is a special kind of étalé space.
Covering spaces first arose in the context of complex analysis, where they were introduced by Riemann as domains on which naturally multivalued complex functions become single-valued. These spaces are now called Riemann surfaces.
Covering spaces are an important tool in several areas of mathematics. In modern geometry, covering spaces are used in the construction of manifolds, orbifolds, and the morphisms between them. In algebraic topology, covering spaces are closely related to the fundamental group: for one, since all coverings have the homotopy lifting property, covering spaces are an important tool in the calculation of homotopy groups. A standard example in this vein is the calculation of the fundamental group of the circle by means of the covering of Circle| by Real number|. Under certain conditions, covering spaces also exhibit a Galois correspondence with the subgroups of the fundamental group.

Definition

Let be a topological space. A covering of is a continuous map
such that for every there exists an open neighborhood of and a discrete space such that is the disjoint union and is a homeomorphism for every.
The open sets are called sheets, which are uniquely determined up to homeomorphism if is connected. For each the discrete set is called the fiber of. If is connected, it can be shown that is surjective, and the cardinality of is the same for all ; this value is called the degree of the covering. If is path-connected, then the covering is called a path-connected covering. This definition is equivalent to the statement that is a locally trivial fiber bundle.
Some authors also require that be surjective in the case that is not connected.

Examples

  • For every topological space, the identity map is a covering. Likewise for any discrete space the projection taking is a covering. Coverings of this type are called trivial coverings; if has finitely many elements, the covering is called the trivial -sheeted covering of.
  • The map with is a covering of the unit circle. The base of the covering is and the covering space is. For any point such that, the set is an open neighborhood of. The preimage of under is
  • :
  • Another covering of the unit circle is the map with for some positive For an open neighborhood of an, one has:
  • A map which is a local homeomorphism but not a covering of the unit circle is with. There is a sheet of an open neighborhood of, which is not mapped homeomorphically onto.
  • Let be odd. The map defined by is a homomorphic double covering.

    Properties

Local homeomorphism

Since a covering maps each of the disjoint open sets of homeomorphically onto it is a local homeomorphism, i.e. is a continuous map and for every there exists an open neighborhood of, such that is a homeomorphism.
It follows that the covering space and the base space locally share the same properties.
  • If is a connected and non-orientable manifold, then there is a covering of degree, whereby is a connected and orientable manifold.
  • If is a connected Lie group, then there is a covering which is also a Lie group homomorphism and is a Lie group.
  • If is a graph, then it follows for a covering that is also a graph.
  • If is a connected manifold, then there is a covering, whereby is a connected and simply connected manifold.
  • If is a connected Riemann surface, then there is a covering which is also a holomorphic map and is a connected and simply connected Riemann surface.

    Factorisation

Let and be path-connected, locally path-connected spaces, and and be continuous maps, such that the diagram
commutes.
  • If and are coverings, so is.
  • If and are coverings, so is.

    Product of coverings

Let and be topological spaces and and be coverings, then with is a covering. However, coverings of are not all of this form in general.

Equivalence of coverings

Let be a topological space and and be coverings. Both coverings are called equivalent, if there exists a homeomorphism, such that the diagram
commutes. If such a homeomorphism exists, then one calls the covering spaces and isomorphic.

Lifting property

All coverings satisfy the lifting property, i.e.:
Let be the unit interval and be a covering. Let be a continuous map and be a lift of, i.e. a continuous map such that. Then there is a uniquely determined, continuous map for which and which is a lift of, i.e..
If is a path-connected space, then for it follows that the map is a lift of a path in and for it is a lift of a homotopy of paths in.
As a consequence, one can show that the fundamental group of the unit circle is an infinite cyclic group, which is generated by the homotopy classes of the loop with.
Let be a path-connected space and be a connected covering. Let be any two points, which are connected by a path, i.e. and. Let be the unique lift of, then the map
is bijective.
If is a path-connected space and a connected covering, then the induced group homomorphism
is injective and the subgroup of consists of the homotopy classes of loops in, whose lifts are loops in.

Branched covering

Definitions

Holomorphic maps between Riemann surfaces

Let and be Riemann surfaces, i.e. one dimensional complex manifolds, and let be a continuous map. is holomorphic in a point, if for any charts of and of, with, the map is holomorphic.
If is holomorphic at all, we say is holomorphic.
The map is called the local expression of in.
If is a non-constant, holomorphic map between compact Riemann surfaces, then is surjective and an open map, i.e. for every open set the image is also open.

Ramification point and branch point

Let be a non-constant, holomorphic map between compact Riemann surfaces. For every there exist charts for and and there exists a uniquely determined, such that the local expression of in is of the form. The number is called the ramification index of in and the point is called a ramification point if. If for an, then is unramified. The image point of a ramification point is called a '''branch point.'''

Degree of a holomorphic map

Let be a non-constant, holomorphic map between compact Riemann surfaces. The degree of is the cardinality of the fiber of an unramified point, i.e..
This number is well-defined, since for every the fiber is discrete and for any two unramified points, it is:
It can be calculated by:

Branched covering

Definition

A continuous map is called a branched covering, if there exists a closed set with dense complement, such that is a covering.

Examples

  • Let and, then with is a branched covering of degree, where by is a branch point.
  • Every non-constant, holomorphic map between compact Riemann surfaces of degree is a branched covering of degree.

    Universal covering

Definition

Let be a simply connected covering. If is another simply connected covering, then there exists a uniquely determined homeomorphism, such that the diagram
commutes.
This means that is, up to equivalence, uniquely determined and because of that universal property denoted as the universal covering of the space.

Existence

A universal covering does not always exist. The following theorem guarantees its existence for a certain class of base spaces.
Let be a connected, locally simply connected topological space. Then, there exists a universal covering
The set is defined as where is any chosen base point. The map is defined by
The topology on is constructed as follows: Let be a path with Let be a simply connected neighborhood of the endpoint Then, for every there is a path inside from to that is unique up to homotopy. Now consider the set The restriction with is a bijection and can be equipped with the final topology of
The fundamental group acts freely on by and the orbit space is homeomorphic to through the map

Examples

  • with is the universal covering of the unit circle.
  • with is the universal covering of the projective space for.
  • with is the universal covering of the unitary group.
  • Since, it follows that the quotient map is the universal covering of.
  • A topological space which has no universal covering is the Hawaiian earring: One can show that no neighborhood of the origin is simply connected.

    G-coverings

Let G be a discrete group acting on the topological space X. This means that each element g of G is associated to a homeomorphism Hg of X onto itself, in such a way that Hg ''h is always equal to Hg'' Hh for any two elements g and h of G. It is natural to ask under what conditions the projection from X to the orbit space X/''G is a covering map. This is not always true since the action may have fixed points. An example for this is the cyclic group of order 2 acting on a product by the twist action where the non-identity element acts by. Thus the study of the relation between the fundamental groups of X'' and X/''G is not so straightforward.
However the group G'' does act on the fundamental groupoid of X, and so the study is best handled by considering groups acting on groupoids, and the corresponding orbit groupoids. The theory for this is set down in Chapter 11 of the book Topology and groupoids referred to below. The main result is that for discontinuous actions of a group G on a Hausdorff space X which admits a universal cover, then the fundamental groupoid of the orbit space X/''G is isomorphic to the orbit groupoid of the fundamental groupoid of X'', i.e. the quotient of that groupoid by the action of the group G. This leads to explicit computations, for example of the fundamental group of the symmetric square of a space.