[Math] Are complex projective spaces orientable

complex-manifoldsdifferential-topologyprojective-space

I know that $\mathbb{RP}^1$ is oriented (since it is essentially the projectively extended real line), but $\mathbb{RP}^2$ is not (as the non-orientable surface of genus 1 it is arguably the simplest non-orientable surface). According to Wikipedia, for real projective spaces, this pattern continues — orientable for $n$ odd and non-orientable for $n$ even.

However, in contrast, Wikipedia says nothing about the orientability of complex projective spaces. I know that $\mathbb{CP}^1$ is homeomorphic to the sphere (provided $\mathbb{R}^2 \sim \mathbb{C}$) which is orientable, and that the real projective space of dimension $1$ is orientable. On the other hand, complex dimension $1$ is in some sense more like real dimension $2$, and the real projective surface $\mathbb{RP}^2$ is non-orientable.

My questions:

  1. Is orientability invariant under homeomorphisms? Or just diffeomorphisms? In the former case we could use the orientability of $S^2$ and the homeomorphism with $\mathbb{CP}^1$; in the latter case we would still have more work to do if we were to claim that $\mathbb{CP}^1$ is orientable.

  2. Are all complex projective spaces orientable? (E.g. not just the complex projective line $\mathbb{CP}^1$, but also the complex projective plane $\mathbb{CP}^2$.) Wikipedia says that all complex manifolds are oriented (not just orientable), which would imply that they are. Is this claim about complex manifolds true? (I don't know complex manifold theory, thus why I am asking.)

Best Answer

Every complex manifold is orientable, as every complex vector space as a canonical orientation as a real space. Namely if $V$, is a complex vector space, and $B= (u_1,...,u_n)$ is a base (over C), then $B^*=(u_1,...,u_n, iu_1,...iu_n)$ is a base over $\bf R$. Note that if $B'$ is another base over $C$ and $l$ the unique linear map $C$ map such that $lB=B'$, $lB^*=B'^*$, and the determinant of $l$, viwed as a $R$ linear map is the squre of the modulus of the determinant of $l$, hence positive. Thus the orientation given by $B$ is the same than that given by $B'$, and complex linear maps preserves this orientation.

Related Question