1
$\begingroup$

When reading Lee's book, I encountered the following exercise:

Let $\mathcal{P}\colon M\rightarrow G\backslash M$ be the covering arising from a free and proper discrete group action of $G$ on $M$ and suppose $M$ is connected. Let $\Gamma_G:=\{l_g\in \text{Diff}(M):g\in G\}$, then $G$ is isomorphic to $\Gamma_G$ by the obvious map $g\mapsto l_g$ and furthermore $\Gamma_G= \text{Deck}(\mathcal{P})$

I have two questions:

(1) Why do we need $M$ to be connected? I think the conclusion is obvious and does not involve connectedness of $M$.

(2) There is no assumption that the discrete group action is smooth, so isn't $\Gamma_G$ the empty set? Or we can deduce smoothness of the action from the connectedness of $M$?

  • 0
    There is an implicit assumption that the group acts smoothly.2012-10-23

1 Answers 1

1

Suppose $M=\mathbb R\sqcup\mathbb R\sqcup\mathbb R$ is the disjoint union of three copies of $\mathbb R$, and that $G$ is a cyclic group of order $3$ acting which permutes the copies transitively. Then $M/G=\mathbb R$. Can you see what the group of covering transformations $M\to M/G$ is?

  • 0
    OK...I will think over more..2012-10-23