7
$\begingroup$

I'm trying to solve the following exercise in Lee's book.

Suppose M is a connected, oriented smooth manifold and Γ is a discrete group acting freely and properly on M. We say the action is orientation-preserving if for each γ ∈ Γ, the diffeomorphism $x\rightarrow γx$ is orientation-preserving. Show that M/Γ is orientable if and only if Γ is orientation-preserving.

Assuming $\Gamma $ to be orientation-preserving, I tried taking a commutative diagram taking an orientation of M to one of M$/\Gamma$ and vice-versa and tried using local diffeomorphism arguments to prove the orientability of M$/\Gamma$. However, I can't make this proof explicit. Nor can I proceed for the other direction.

Can someone please provide a proof for both if and only if parts? Thanks in advance.

$\endgroup$
2
$\begingroup$

Suppose the quotient space is orientable. Choose an everywhere non-zero top dimensional differential form (section of the determinant bundle)and pull it back by the covering projection. This gives a global top dimensional form on M. Since the covering map is a local diffeomorphism the pull back is also nowhere zero. So M is orientable.

In this case you do not need to assume that the covering transformations are orientation preserving but once you have the global non-zero n-form on M you can show that they must be.

BTW: You can also show this by the naturally of the Stiefel-Whitney classes. If the quotient manifold is orientable then the first Stiefel-Whitney class is zero and so pulls back to zero.

Going the other way. If the group of covering transformations is finite then you can average a global non-zero form over the covering maps and this form will descend to the quotient.It will be everywhere non-zero because the covering transformations preserve orientation.

For the general case, I would try choosing compatible local orientations of the fiber spheres in M ( or in the determinant bundle) over coordinate charts that project diffeomorphically onto charts in the base. Then show that compatible local orientations can be chosen over these projections.

$\endgroup$

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.