$ Def: An equivalence class of continuous, nowhere-vanishing n-forms on an n-manifold M, where two such forms ω1 ~ ω2 iff there is a (strictly) positive function f on M such that ω1 = f ω2.
* Applications: A specific choice of n-form is necessary for defining integrals on the manifold.
* And other structure: A vector space does not come with a natural orientation.
$ Def: A differentiable manifold M is orientable if, equivalently,
- There exists a continuous n-form ω ≠ 0 on M;
- There exists an atlas such that, for any two charts (Ui, φi) and (Uj, φj), the Jacobian of φj \(\circ\) (φi)−1 is positive; or
- The frame bundle F(M) is reducible to a principal fiber bundle with group the connected component of the identity of GL(n, \(\mathbb R\)).
* Sufficient condition: The manifold M is simply connected.
* Necessary and sufficient condition: The Stiefel-Whitney class W1(TM) = 0.
* Properties: The product of orientable manifolds is also orientable.
> Online resources: see Wikipedia page (2D surfaces in 3D).
> s.a. diffeomorphisms [changing time orientation].
* Idea: A manifold M is time orientable if we can choose a Lorentzian metric on it and, in a continuous way throughout M, one of the two half-light cones at each point as the future one.
* Conditions: A sufficient condition is that the manifold be simply connected.
@ Non-time-orientable: Hadley CQG(02)gq [phenomenology].
Related Topics > s.a. Orientifold.
* Synge's theorem: If M is an even-dimensional, orientable manifold with a Riemannian metric that has positive sectional curvatures, then any closed geodesic of M is unstable (it can be shortened by a variation); Corollary: A compact, orientable, even-dimensional manifold with positive sectional curvatures is simply connected.
@ In physics: Marmo et al RPMP(05)-a0708 [electrodynamics]; Nawarajan & Visser a1601 [physical motivation].
– journals – comments
– other sites – acknowledgements
send feedback and suggestions to bombelli at olemiss.edu – modified 17 jan 2016