I want to verify the fact that
every almost complex manifold is orientable.
By definition, an almost complex manifold is an even-dimensional smooth manifold $M^{2n}$ with a complex structure, i.e., a bundle isomorphism $J\colon TM\to TM$ such that $J^2=-I$, where $I$ is the identity.
For every tangent space $T_pM$, there exists tangent vectors $v_1,\cdots, v_n$ such that $(v_1,\cdots, v_n,Jv_1,\cdots,Jv_n)$ is a real ordered basis for $T_pM$. I've checked that any two such bases are related by a matrix with positive determinant.
So for each tangent space $T_pM$ I fix such a basis. Hence, I've obtained a possibly discontinuous global frame $X_1,\cdots,X_n,JX_1,\cdots,JX_n$. To show this frame determine an orientation on $M$, I've been trying to construct for each $p\in M$ a coordinate neighborhood $(U,x^1,\cdots,x^{2n})$ such that
$$(dx^1\wedge\cdots dx^{2n})(X_1,\cdots,X_n,JX_1,\cdots JX_n)>0$$ for every point in $U$.
How do I show that? Thanks!
Best Answer
Here's a slightly different way of looking at it. First, note that we can choose a Riemannian metric $g$ on $M$ that satisfies $g(X,Y) = g(JX, JY)$ (start with any Riemannian metric $h$ and then define $g(X,Y) = h(X,Y) + h(JX, JY)$). You can then show that $\omega(X,Y) = g(X,JY)$ is skew-symmetric:
\begin{align} \omega(X,Y) & = g(X,JY) = g(JY, X) \\& = g(J^2Y, JX) = -g(Y, JX) = -\omega(Y,X) \end{align}
and is therefore a 2-form. $\omega$ is also non-degenerate, since $\omega(X, -) = - g(JX, -)$ and a metric is non-degenerate by definition. Then since $\omega$ is non-degenerate, its top exterior power $\omega^n = \omega\wedge \dots \wedge \omega$ is nowhere zero. A nowhere vanishing top form defines an orientation on $M$, so we are done.