1
$\begingroup$

I have the excersise:

Let $M_1$ and $M_2$ be differentiable manifolds. Let $\phi:M_1\rightarrow M_2$ be a local diffeomorphism. Prove that if $M_2$ is orientable, then $M_1$ is orientable.

My attempt: Since $\phi$ is a local diffeomorphism we can choose for each $p\in M$ two open sets $U_p\subset M_1$ and $V_p\subset M_2$ containing $p$ and $\phi(p)$ respectively such that $\phi\upharpoonright U_p=\phi_p:U_p\rightarrow V_p$ is a diffeomorphism. Since $M_2$ is oriented there exist an atlas $\{(y_\alpha,W_\alpha)\}$ which induces an orientation.

I want a little hint to construct the atlas that gives an orientation to $M_1$.

Note: I have seen Given a local diffeomorphism $f: N \to M$ with $M$ orientable, then $N$ is orientable. this is the exactly same question but I don't understand the answer because I have no idea about differentiable forms.

Thanks for help!

$\endgroup$
  • $\begingroup$ There is no need to construct an atlas. You have given two manifolds with two differentiable structures. And more! $\phi$ is a diffeomorphism, that's enaugh. You know that $M_2$ is orientable. That means the tangent-space at every point for $M_2$ has on oriented basis of say n-linear independent elements. The tangent map $T\phi$ has an inverse, because its an isomorphism, because $\phi$ is a diffeomorphism. $T\phi$ plays the same role like iso's in linear algebra. $T\phi$ therefore has an inverse, which maps one basis to another. That's the key. $\endgroup$ – Frieder Mar 13 '15 at 2:52
  • $\begingroup$ What is your definition of orientable? $\endgroup$ – Travis Mar 13 '15 at 2:53
  • $\begingroup$ A manifold $M$ is orientable iff it has $\{(x_\alpha, U_\alpha)\}$ differentiable structure, such that the differential of the change of coordinates $x_\alpha^{-1}\circ x_{\beta}$ has positive determinant. $\endgroup$ – YTS Mar 13 '15 at 2:59
  • $\begingroup$ @Travis but $\phi$ is not an diffeomorphis is just a local diffeomorphism. $\endgroup$ – YTS Mar 13 '15 at 3:03
  • $\begingroup$ @Travis: The assumption that $\phi$ is a local diffeomorphism is given. To show is that the determinant for inverse of $T_p\phi $ does not change sign. $\endgroup$ – Frieder Mar 13 '15 at 3:28
0
$\begingroup$

Hint: Show that you can pick an atlas $(V_{\beta})$ of $M_2$ so that for each $\beta$ the restriction $\phi|_U \to V_{\beta}$ is a diffeomorphism for each component $U$ of $\phi^{-1}(V_{\beta})$.

$\endgroup$
  • $\begingroup$ I define $W_{\alpha p}=y(W_\alpha)\cap V_p$ then the restriction $y_\alpha \upharpoonright y_\alpha^{-1}W_{\alpha p}=y_{\alpha p}$ gives a new atlas $\{(y_{\alpha p}, y_\alpha^{-1}(W_{\alpha p}))\}$. Is this atlas you mean? (I am using the notation of my post) $\endgroup$ – YTS Mar 13 '15 at 3:30
  • $\begingroup$ Sorry, there was a typo: The last symbol in the answer should be $\phi^{-1}(V_{\beta})$, not $V_{\beta}$ itself (otherwise, the restriction $\phi|_U$ doesn't even make sense). $\endgroup$ – Travis Mar 13 '15 at 3:45
  • $\begingroup$ Anyway, the atlas I have in mind is just the one comprised of the charts $(U, \psi_{\beta} \circ \phi|_U)$. $\endgroup$ – Travis Mar 13 '15 at 3:45

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.