2
$\begingroup$

Suppose $\pi:M_1 \to M_2$ is a $C^\infty$ map of one connected differentiable manifold to another.And suppose for each $p\in M_1$,the differential $\pi_*:T_p M_1 \to T_{\pi(p)}M_2$ is a vector space isomorphism.

(a)Show that if $M_1$ is compact,then $\pi$ is a covering space projection. (b)Given an example where $M_2$ is compact but $\pi:M_1 \to M_2$ is not a covering space (but has the $\pi_*$ isomorphism property).

I want to ask is my solution right? My solution:$\pi(M_1)$ is compact in $M_2$,so $\pi(M_1)$ is closed in $M_2$.For each $x\in \pi(M_1)$,there is an open set $V\subset M_2$ contains $x$ and is diffeomorphic to an open set $U\subset M_1$.So $V$ is an open set in $\pi(M_1)$. so $\pi(M_1)$ is open and closed in $M_2$.It equals to $M_2$.

Use $\pi_*:T_p M_1 \to T_{\pi(p)}M_2$ directly and we get each $x\in M_2$ has an open neighbourhood $U$ which is covered by $\pi$ evenly.

And could the counterexample in this page Question on covering spaces be the example of (b)?

Thank you :))

  • 0
    @AaronMazel-Gee Ah,yes!$M_1$ could be an open submanifold of $M_2$.Thank you! :))2012-05-27

0 Answers 0