24
$\begingroup$

I have read on several places that given a (say path connected) topological space $X$ and its universal covering $\tilde{X}\stackrel{p}\rightarrow X$, there is an isomorphism

$$\mathrm{Deck}(\tilde{X}/X) \simeq \pi_1(X, x_0).$$

Here $\mathrm{Deck}(\tilde{X}/X)$ denotes the group of deck transformations of the universal cover and $x_0$ is some basepoint. (Maybe I am omitting some assumptions, but I am interested in this mainly for path connected smooth manifolds, which should be "nice enough" topological spaces.)

However, I was unable to find any explicit description of the isomorphism. What I have in mind is the following:

Given a loop $\gamma$ in $X$, what is the corresponding deck transformation? In other words, how does the fundamental group $\pi_1(X, x_0)$ act on the covering space $\tilde{X}$?

That is, I am interested in the "geometric picture" behind the isomorphism. I understand there is some choice involved, something like fixing some preimage $\tilde{x}_0 \in p^{-1}(x_0)$, I can imagine lifting the loop uniquely modulo this choice, however I cannot see how to obtain a homemorphism of $\tilde{X}$ using this lifted path (is it some use of the universal property of $\tilde{X}\rightarrow X$, perhaps?).

Thanks in advance for any help.

$\endgroup$
4
  • $\begingroup$ what exactly is your problem? Given a loop $\gamma$ based at a point $x_0$ on $X$, you can lift it to a path $\tilde{\gamma}$ on the universal cover, the corresponding deck transform would send $\tilde\gamma(0)$ to $\tilde\gamma(1)$, by homotopy lifting property this is well-defined. You can do this for every point of $x \in X$ and get a well-defined bijection $\tilde X \to \tilde X$. I guess in order to show that it is a homeomorphism, you need to use that $\tilde X \to X$ is a local homeomorphism. $\endgroup$ Sep 22, 2015 at 10:35
  • $\begingroup$ @IvanBodhidharma: I guess I do not understand the part "You can do this at every point $x \in X$" - the loop $\gamma$ is fixed, so how can I obtain, say, prescription where some point $\tilde{x}$ should be mapped if $p(\tilde{x})$ is not in the image of $\gamma$, i.e. "does not have anything to do with $\gamma$"? $\endgroup$ Sep 22, 2015 at 12:13
  • 1
    $\begingroup$ I see. Actually, a deck transform is deformed by how it acts on a fibre, by uniqueness of path lifting (because of they way I phrased things in my previous comment, it is not obvious). In order to see how $\gamma \in \pi_1(X, x_0)$ acts on $\tilde X$ you first look at the action on the fibre over $x_0$ by lifting the loop to paths that start in preimages of $x_0$ then use the unique path lifting to extend this to all of $\tilde X$ $\endgroup$ Sep 22, 2015 at 13:50
  • 2
    $\begingroup$ Note the notation ${\rm Deck}(\tilde X/X)$ can be confusing as there is no meaningful quotient $\tilde X/X$. The standard notation is ${\rm Deck}(\tilde X, X)$. $\endgroup$ Jun 29, 2019 at 12:35

2 Answers 2

21
$\begingroup$

Here is how it goes.

Let $B$, be a space nice enough to have a (simply connected) universal cover, say $B$ is connected, locally connected and semi-locally simply connected. Let $(X,x_0)\to (B,b_0)$ be its universal cover.

Take a loop $\gamma: (S^1,1)\to (B,b_0)$ then you can lift $\gamma$ to a path $\overline{\gamma}: I\to X$ that projects to $\gamma$. Now $\overline{\gamma}(1)$ is an element of $X_{b_0}$. You can use then the following theorem.

Let $(Y,y_0)\to (B,b_0)$ be a (path) onnected and locally path connected space over $B$ and $(X,x_0)\to (B,b_0)$ is a cover of $B$, then a lift of $(Y,y_0)\to (B,b_0)$ to $(Y,y_0)\to (X,x_0)$ exists iff the image of $\pi_1(Y,y_0)$ inside $\pi_1(B,b_0)$ is contained in the image of $\pi_1(X,x_0)$ inside $\pi_1(B,b_0)$

Use the previous theorem with $(Y,y_0)=(X,\overline{\gamma}(1) )$. This tells you that there exists a covering map $X\to X$ sending $x_0$ to $\gamma(1)$.

It is easy to see that this map depends only on the homotopy class of $\gamma$ using the following result

Let $(X,x_0)$ be a cover of $(B,b_0)$ and $Y$ be a connected space over $B$. If two liftings of $Y\to B$ to $Y\to X$ coincide at some $y_0$ in $Y$, the they're equal.

This tells you that if $\overline{\gamma}(1)=\overline{\tau}(1)$ then the two morphisms $X\to X$ you get, coincide. Moreover, using the inverse of $\gamma$, you see that the morphisms $X\to X$ you get are automorphisms.

This gives you a well defined map $\pi_1(B,b_0)\to \text{Aut}_B(X)$. Using what I said before, it is easy to see that it is an isomorphism.

$\endgroup$
1
  • $\begingroup$ I agree with the answer of A. Rod, but also feel it is preferable to work using the algebraic model of covering maps in terms of covering morphisms of groupoids., see [2]:math.stackexchange.com/questions/1438169/… $\endgroup$ Sep 23, 2015 at 11:31
2
$\begingroup$

I felt there was still a bit more to say about a "geometric picture" behind this action, so here it goes.

Right, so take $X$ be a suitably nice space with simply connected cover $p:\tilde{X}\rightarrow X$. Take $\gamma$ to be a loop in $X$ based at some point $x_0\in X$, representing an element of $\pi_1(X,x_0)$. Now, pick some $\tilde{x}\in\tilde{X}$; we'd like to describe $\gamma\cdot\tilde{x}$, the image of $\tilde{x}$ under the deck transformation determined by $\gamma$.

Let $\tilde{x_0}$ be some lift of $x_0$ to $X$ and pick a path $\tilde{\alpha}$ in $\tilde{X}$ starting at $\tilde{x_0}$ and ending at $\tilde{x}$. Define $\alpha=p\circ\tilde{\alpha}$. Let $\gamma\bullet\alpha$ be the path concatenation of $\gamma$ followed by $\alpha$ and let $\widetilde{\gamma\bullet\alpha}$ be the lift of $\gamma\bullet\alpha$ to $\tilde{X}$ starting at $\tilde{x_0}$. Then, define $\gamma\cdot\tilde{x}=\widetilde{\gamma\bullet\alpha}(1)$. The facts stated in another answer above tell us that this is well defined.

This way to define the action yields a nice picture, I think. The idea is that if $\tilde{\gamma}$ is the lift of $\gamma$ starting at $\tilde{x_0}$, then $\tilde{\gamma}(1)$ is another element of $p^{-1}(x_0)$. Then, we can "do $\tilde{\alpha}$" starting at $\tilde{\gamma}(1)$ instead of $\tilde{x_0}$, and $\gamma\cdot\tilde{x}$ is the endpoint of this new path. See the image below.

Deck Action Image

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .