[Math] $M/\Gamma$ is orientable iff the elements of $\Gamma$ are orientation-preserving

manifolds

The probem is:

Suppose $M$ is connected, orientable, smooth manifold and $\Gamma$ is
a discrete group acting smoothly, freely, and properly on $M$. We say
that the action is orientable-preserving if for each $\gamma \in \Gamma$, the diffeomorphism $x \rightarrow \gamma \cdot x$ is
orientation-preserving. Show that $M/ \Gamma $ is orientable if only
if the action of $\Gamma$ is orientable-preserving.

Notes: I tried using that $\pi\colon M\to M/\Gamma$ is a covering map. I also tried to use that for any $\gamma$ we have two disjoint open sets $U,V\subset M$ such that $\pi|_{U}$ and $\pi|_{V}$ are diffeomorphisms and $(\pi|^{-1}_{U} \circ \pi|_V)(x)=\gamma.x$ but I didn't prove this result too.

Best Answer

If the action is orientation-preserving, construct explicitly an orientation on the quotient. Fix an orientation on $M$. If $\bar x\in M/\Gamma$ is a point and $x\in M$ is such that $\pi(x)=\bar x$, the differential $d\pi_x:T_xM\to T_{\bar x}(M/\Gamma)$ is an isomorphism, so you can push the orientation of $T_xM$ given by the orientation of $M$ to one on $T_{\bar x}(M/\Gamma)$. Check that this depends only on $\bar x$ and not on the preimage $x$ chosen: this is where the hypothesis comes in. Finally, check that this way of orienting the tangent spaces to $M/\Gamma$ is in fact an orientation of $M/\Gamma$.

Can you do the converse?

Related Question