Differential Geometry – Bundle Orientability vs Manifold Orientability

differential-formsdifferential-geometrydifferential-topology

Given a vector bundle, I am a bit hazy about the difference between the notions of its orientability as a bundle and as a manifold.
I think I know that the following are true,

  • A tangent bundle of a manifold is orientable if and only if the manifold is orientable.

  • The tangent bundle of any manifold thought of as a new manifold is in some sense always "trivially" orientable.

And also I vaguely remember there being something special about the orientability of the tangent bundle of the tangent bundle of the manifold.

I am not aware if there is any generic relationship between the orientability of a vector bundle and its base manifold.

It would be helpful if someone can help me tie up these loose ends and help me see the full picture.

Best Answer

One way of thinking about orientability of an arbitrary rank $k$ vector bundle $E$ is to think about it analogously to the orientability of the tangent bundle.

Recall that the definition of an orientable tangent bundle is that the manifold is orientable, which is equivalent to the existence of a nowhere vanishing top form, aka a volume form. We can do something similar to the vector bundle $E$. If $E$ has rank $k$, we can form the top exterior power $\wedge^kE$. Then we say, analogous to the case of the tangent bundle, that the vector bundle $E$ is orientable iff there exists a nowhere vanishing section of $\wedge^kE$.

There is no direct relation between the orientability of a vector bundle and the base manifold. The reason that there is one between the tangent bundle is that the two notions (orientable manifold and orientable tangent bundle) mean exactly the same thing! So to ask for the relation of orientability of an arbitrary vector bundle and of the base manifold is to ask for the relation between an arbitrary vector bundle and the tangent bundle; and in general there isn't one.

(Just to illustrate: consider the Moebius strip formed by taking $[0,1]\times[0,1]$ and giving a half-twist. If you embed the Moebius strip in $\mathbb{R}^3$, and pull-back the tangent bundle of $\mathbb{R}^3$ to the strip, it is an orientable vector bundle when the Moebius strip itself is not orientable. On the other hand, consider the image of $S^1$ in the midline of the Moebius strip. Its normal bundle relative to the Moebius strip is not orientable, while $S^1$ is.)

About that double tangent bundle: if you treat $TTM$ as a bundle over $TM$, then for arbitrary $M$, since $TM$ is orientable as a manifold, clearly $TTM$, as its tangent bundle, is orientable as a bundle.


Let me add one more thing: if you are familiar with the proof that $TM$ is always orientable as a manifold, you can use the same method to prove the following theorem:

Theorem Let $E$ be a vector bundle over $M$. Consider the statements (i) $M$ is orientable as a manifold (ii) $E$ is orientable as a manifold (iii) $E$ is orientable as a vector bundle. Any two of the statements being true will imply the third.