I'm trying to prove that the projective plane $\mathbb{P}^n$ is orientable is and only if $n$ is odd. To do that that, I have a hint,to prove that the antipodal map is orientation preserving if only if $n$ is odd, I've done that, but it don't know how to conclude the result.
Projective Space orientation
2
$\begingroup$
differential-geometry
-
0How to you define $\mathbb P^n$? – 2012-05-20
-
0Identifying antipodal points on the sphere... – 2012-05-20
-
0What do you know about the orientability of the sphere? – 2012-05-20
-
0I know that it is a orientable manifold... – 2012-05-20
-
0So, what happens if you simply take the orientation of the sphere as orientation of the projective space? – 2012-05-20
-
0@Phira what do you mean? – 2012-05-21
-
1I think the word "plane" is misleading if we aren't talking about the 2-dimensional object; perhaps projective "space" would be a better term? – 2012-05-21
1 Answers
2
Let $\{O_p\}_{p \in S^n}$ be an orientation for $S^n$. If $\pi:S^n \rightarrow \mathbb P^{n}$ is the projection (a local diffeomorphism), then the idea is to define a basis $(b_1,\dots,b_n)$ of $T_q\mathbb P^{n}$ to be in $O_q'$ if $\pi_{*,p}^{-1}(b_1,\dots,b_n) \in O_p$ for any one of the two points $p$ in the fibre $\pi^{-1}(q)$.
You have already shown that this is well defined if $n$ is odd!
-
0do you have a proof using differential forms aproach? – 2012-05-21
-
0you mean providing a nowhere vanishing $n-$Form? – 2012-05-21
-
0yes!! This exercise was in the context of differential forms. – 2012-05-21
-
1You must show a nonwhere vanishing $n$-form: if you have $n$ tangent vectors at $q$, then you could push them up via $\pi^{-1}_{*,p}$ for the two points $p$. On $S^n$ there is a volume form - evaluate. This is well defined if $n$ is odd. (think about the pullback of the volumeform under the antipodal map) – 2012-05-22