1
$\begingroup$

Let $(M,g)$ be a compact riemannian 3-manifold and $\Sigma \subset M$ an embedded compact surface homeomorphic to the projective plane. Consider the application $i_\#:\pi_1(\Sigma)\to \pi_1(M)$ given by $i_{\#}([\alpha])=[i(\alpha)]$, where $i$ denotes the inclusion application of $\Sigma$ into $M$. Why $i_{\#}$ not injective implies $TM\Big|_{\Sigma}$ orientable?

$\endgroup$
1
  • 1
    $\begingroup$ Not injective means trivial; consider the homomorphism in cohomology instead and see what it does to $w_1$. $\endgroup$ Aug 17, 2015 at 7:51

1 Answer 1

1
$\begingroup$

Orientability of $TM|_\Sigma$ is equivalent to non-triviality of normal bundle $N\Sigma$. Denote generator of $\pi_1(\Sigma)$ by $\gamma$; if we have $N\Sigma$ is trivial, then $TM|_{i(\gamma)}$ is non-orientable, so $\gamma$ cannot be nullhomotopic.

$\endgroup$

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