Definition

Let MM be an nn-dimensional . An orientation of MM is an of its TMTM: at each pMp\in M, one chooses one of the two orientation classes of ordered bases of TpMT_pM, and the choice must vary continuously. Equivalently, an orientation is a maximal whose coordinate changes have positive . A manifold together with such a choice is oriented; a manifold admitting a choice is orientable. On each of a positive-dimensional , exactly two orientations exist.

Equivalent descriptions

For a smooth manifold, the following data determine the same orientation:

  1. an orientation of TMTM;
  2. an of positively oriented atlases; or
  3. a nowhere-vanishing smooth nn-form, where two such forms are equivalent when one is a positive smooth multiple of the other.

The equivalence uses smooth partitions of unity to construct a global positive top-degree form from compatible local choices; see Lee, Chapter 15.

Maps and boundaries

A between oriented nn-manifolds is orientation-preserving when its differential sends positive bases to positive bases, equivalently when its Jacobian in oriented charts is positive. If MM has boundary, the orients M\partial M: a boundary basis (v1,,vn1)(v_1,\ldots,v_{n-1}) is positive when (ν,v1,,vn1)(\nu,v_1,\ldots,v_{n-1}) is positive for an outward-pointing ν\nu.

Examples and scope

The standard ordered coordinates orient Rn\mathbb{R}^n. Every has a canonical orientation because a complex basis gives a real basis (v1,iv1,,vm,ivm)(v_1,iv_1,\ldots,v_m,iv_m). The Möbius band is not orientable. Orientability is a property; an orientation is one of the possible choices, so an orientable manifold is not automatically an oriented manifold.

References
  1. J. M. Lee, Introduction to Smooth Manifolds, 2nd ed., Springer, 2013. DOI record. Relevant: Chapter 15.
  2. L. W. Tu, An Introduction to Manifolds, 2nd ed., Springer, 2011. DOI record. Relevant: §21.3.