Covering Spaces and G Sets

From 0506Topology

Table of contents
1 Unbased Covering Spaces
2 Based Covering Spaces
3 The Main Point
4 Steps in the proofs of Theorem 1 and 2
5 A Deep Thought Question.
[edit]

Unbased Covering Spaces

Let B be a topological space and let {\mathcal C}(B) be the category of covering spaces of B: The category whose objects are (unbased!) coverings X\to B and whose morphisms are maps between such coverings that commute with the covering projections - a morphism between p_X:X\to B and p_Y:Y\to B is a map \alpha:X\to Y so that the diagram below is commutative:

Image:MorphismBetweenCoverings.png

Every topologists' highest hope is to find that her/his favourite category of topological objects is equivalent to some category of easily understood algebraic objects. The following theorem realizes this dream in full in the case of the category {\mathcal C}(B) of covering spaces of any reasonable base space B:

Theorem 1. (Classification of covering spaces)

  • If B has base point b0 and fundamental group G = π1(B,b0), then the map which assigns to every covering p:X\to B its fiber p − 1(b0) over the basepoint b0 induces a functor {\mathcal F} from the category {\mathcal C}(B) of coverings of B to the category {\mathcal S}(G) of G-sets - sets with a right G-action and set maps that respect the G action.
  • If in addition B is connected, locally connected and semi-locally simply connected then the functor {\mathcal F} is an equivalence of categories. (In fact, this is iff).

If indeed the categories {\mathcal C}(B) and {\mathcal S}(G) are equivalent, one should be able to extract everything topological about a covering p:X\to B from its associated G-set {\mathcal F}(X)=p^{-1}(b_0). The following theorem shows this to be right in at least two ways:

Theorem 2. For B connected, locally connected and semi-locally simply connected and X a covering of B:

  • The set of connected components of X is in a bijective correspondence with the set of orbits of G in {\mathcal F}(X).
  • Let x_0\in{\mathcal F}(X)=p^{-1}(b_0) be a basepoint for X that covers the basepoint b0 of B. Then the fundamental group π1(X,x0) is isomorphic via the projection p_\star into G = π1(B,b0) to the stabilizer group \{h\in G: xh=x\} of x in x_0\in{\mathcal F}(X).

(Both assertions of this theorem can be sharpened to deal with morphisms as well, but we will not bother to do so).

[edit]

Based Covering Spaces

There are similar theorems (call them theorem 1' and theorem 2') relating the category of based covering spaces with the category of based G-sets.

[edit]

The Main Point

Ok. Every math technician can spend some time and effort and understand the statements and (only then) the proofs of these two theorems. Your true challenge is to digest the following statement:


All there is to know about covering spaces follows from these two theorems


In particular, the following facts are all simple algebraic corollaries of these theorems:

Corollary 1. If X is connected then its covering number (="number of decks") is equal to the index of H=p_\star\pi_1(X) in G = π1(B), and the decks of X are in a non-canonical correspondence with the left cosets H\backslash G of H in G.

Corollary 2. If B is semi-locally simply connected, there exists a unique (up to base-point-preserving isomorphism) "universal covering space U of B" (a connected and simply connected covering U).

Corollary 3. The group of automorphisms of the universal covering U is equal to G = π1(B).

Corollary 4. \pi_1(S^1)={\mathbb Z}.

Corollary 5. \pi_1(SO(3))={\mathbb Z}/2{\mathbb Z}.

Corollary 6. If B is semi-locally simply connected, then for every H < G = π1(B) there is a unique (up to base-point-preserving isomorphism) connected covering space X with p_\star\pi_1(X)=H.

Corollary 7. If Xi for i = 1,2 are connected coverings of B with groups H_i=p_{i\star}\pi_1(X_i) and if H1 < H2 then X1 is a covering of X2 of covering number (H2:H1).

Corollary 8. If B is semi-locally simply connected there is a bijection between conjugacy classes of subgroups of G = π1(B) and unbased connected coverings of B.

Corollary 9. A connected covering X is normal (for any x_1,x_2\in p^{-1}(b) theres an automorphism τ of X with τx1 = x2) iff its group p_\star\pi_1(X) is normal in G = π1(B).

Corollary 10. If X is a connected covering of B and H=p_\star\pi_1(X), then \operatorname{Aut}(X)=N_G(H)/H where NG(H) is the normalizer of H in G.

Proposition 11. If we forgot anything, it follows too.

[edit]

Steps in the proofs of Theorem 1 and 2

  1. Use path liftings to construct a right action of G on p − 1(b0).
  2. Show that this is indeed a group action and that morphisms of coverings induce morphisms of right G-sets.
  3. Start the construction of an "inverse" functor {\mathcal G} of {\mathcal F}: Use spelunking (cave exploration) to construct a universal covering U of B, if B is semi-locally simply connected.
  4. Show that {\mathcal F}(U)=G.
  5. Use the construction of U or the general lifting property for covering spaces to show that there is a left action of G on U.
  6. For a general right G-set S set {\mathcal G}(S)=S\times_GU=\{(s,u)\in S\times U\}/(sg,u)\sim(s,gu) and show that {\mathcal G}(S) is a covering of B and {\mathcal F}({\mathcal G}(S))=S.
  7. Show that {\mathcal G} is compatible with maps between right G-sets.
  8. Understand the relationship between connected components and orbits.
  9. Prove Theorem 2.
  10. Use the existence and uniqueness of lifts to show that {\mathcal G}\circ{\mathcal F} is equivalent to the identity functor (working connected component by connected component).
[edit]

A Deep Thought Question.

What does it at all mean "{\mathcal G}\circ{\mathcal F} is equivalent to the identity functor" (and first, why can't it simply be the identity functor)? And even harder, what does it at all mean for two categories to be "equivalent"? If you answer this question correctly, you'll probably re-invent the notions of "natural transformation between two functors" and "natural equivalence", that gave the historical impetus for the development of category theory.

Retrieved from "http://katlas.math.toronto.edu/0506-Topology/index.php?title=Covering_Spaces_and_G_Sets"