How to show the covering space of an orientable manifold is orientable

Solution 1:

You can use orientation coverings or orientation reversing curves (together with the observation, that every curve in the covering comes from a curve in your manifold) to prove your statement in one line. If you want to prove it by definition, as you are conjecturing correctly, $\mu$ gives rise to $\hat \mu$ on $\hat M$ by post-composing (here $\hat M \to M$ is the covering. (note that in nyour definition you forgot to mention the important fact that you need preferred generators on local homology i.e. you need that the maps, induced by inclusions map $\mu_U \mapsto \mu_x$).

To finish your proof consider the diagram: $$ \begin{array}{c} H_n(\hat M, \hat M-U) &\to& H_n(\hat M, \hat M - \{x\})\\ \downarrow && \downarrow\\ H_n(M,M-\pi(U)) &\to & H_n(M,M-\{\pi(x)\}), \end{array} $$ where $U$ is chosen such that $\pi|U$ is a homeomorphism and the lower horizontal map is as desired and sends preferred generator to preferred generators. Since such diagrams commute, you certainly obtain your $\hat \mu_x =\mu_{\pi(x)}$.

Solution 2:

Using local homology seems like overkill to me. How about just using atlases, something like this.

Let $d$ be the dimension of $M$, and let $B^d \subset \mathbb{R}^d$ be the open unit ball. Choose an atlas of covering maps $\phi_i : U_i \to B^d$ for $M$ such that every overlap map $$\phi_{ji} : \phi_i(U_i \cap U_j) \to \phi_j(U_i \cap U_j) $$ preserves orientation. We may assume that each $U_i$ is an evenly covered open set with respect to the covering map $q : N \to M$.

Now define an atlas for $N$, with charts of the form $\psi_{i,k} : V_{i,k} \to B^d$ so that the $V_{i,k}$ is one of the components of the set $q^{-1}(U_i)$, and $\psi_{i,k}$ is the composition $$V_{i,k} \xrightarrow{q} U_i \xrightarrow{\phi_i} B^d $$ From this construction it follows almost immediately that the overlap maps of the atlas of $N$ preserve orientation.