Orientable manifold

Definition
A manifold is said to be orientable if it possesses an orientation, viz there exists a global section of the orientation-generator sheaf (the subsheaf of the orientation sheaf whose fibre at every point is the set of generators of the stalk at that point).

By default orientable means orientable with integer coefficients. Orientability over any ring is equivalent to orientability with integer coefficients if $$2 \ne 0$$ in the ring; if $$2 = 0$$ then any manifold is orientable with respect to that ring.

However, the number of possible orientations depends on the choice of ring; for a connected orientable manifold, the number of possible orientations equals the number of invertible element in the ring of coefficients.

Stronger properties

 * Simply connected manifold
 * Compact connected orientable manifold
 * Connected orientable manifold

Facts

 * The map from the orientation-generator sheaf to the manifold is a double cover; hence if the fundamental group of the manifold does not possess a normal subgroup of index two, the manifold must be orientable. In particular, any simply connected manifold is orientable. However, the converse is not true: real projective space in odd dimensions has fundamental group of order two, but is orientable.
 * Every manifold is either orientable or has an orientable double cover: this double cover is the orientation-generator sheaf itself

Metaproperties
A direct product of two orientable manifolds is again orientable. In fact, a converse statement is true: a direct product of manifolds is orientable iff each is manifold.

Any covering space of an orientable manifold is again an orientable manifold (the manifold structure is given in the usual way.

If $$E$$ is a fiber bundle with base space $$B$$ and fiber space $$F$$, and if $$B$$ and $$F$$ are both orientable manifolds, then so is $$E$$. Note that this covers the case of direct products and covering space.

The converse is not necessarily true, but some weaker variants thereof are.