-1
$\begingroup$

Prove that an even dimensional Real Projective space is not orientable.

  • 4
    You can follow Lee's scketch (Lee's "Introduction to Smooth Manifolds", p. 346-7 - exercises 13-4 and 13-5): first, if $M$ is a connected smoot manifold and $\Gamma$ is a group acting smoothly, freely, and properly on $M$, then $M/\Gamma$ is orientable if and only if every element on $\Gamma$ preserves orientation on $M$. Then, apply this to the case of projevtive spaces, where $M=\mathbb{S}^n$ $\Gamma$ will be $I,-I$ and the quotient will be the projective space itself.2012-05-01

1 Answers 1

16

Following the comment by matgaio: Suppose $\mathbb RP^{2n}$ admits a nonvanishing $2n$-form $\omega$. Consider the quotient map $\pi:S^{2n}\to \mathbb RP^{2n}$ associated to the action of antipodal map $f(x)=-x$. The pullback $\zeta=\pi^* \omega$ is a nonvanishing $2n$-form on $S^{2n}$. Since $\pi\circ f=\pi$, it follows that $f^*\zeta=\zeta$: in other words, $f$ is orientation-preserving map on $S^{2n}$. But the latter statement is false: $f$ reverses the sign of the standard volume form on $S^{2n}$.

  • 0
    That's the very explanation I am looking for, it helps me a lot, thank you very much!2017-03-08