Pointwise and Continuous Orientations
A single vector space has two orientations, and on
\(\mathbb{R}^n\)
one of them is singled out by universal agreement. A manifold is a space whose tangent spaces are
all isomorphic to \(\mathbb{R}^n\) but are not canonically identified with it, so each tangent
space must be oriented separately, and the orientations of nearby tangent spaces need not have
anything to do with one another. The new phenomenon, absent in the linear setting, is that a
consistent choice across the whole manifold may be impossible. On a sphere one can decide
unambiguously which rotational sense is counterclockwise by viewing the surface from outside; on a
Möbius band a frame transported once around the band returns as its mirror image, so no global
choice of sense exists. Capturing the difference between these two cases is the purpose of this
page.
Definition: Pointwise Orientation
Let \(M\) be a smooth \(n\)-manifold with or without boundary. A pointwise
orientation on \(M\) is a choice, for each \(p \in M\), of an
orientation
of the tangent space \(T_pM\).
By itself a pointwise orientation carries no information tying neighboring points together: on
\(\mathbb{R}^n\) one could assign the standard orientation at points with rational first coordinate
and its opposite elsewhere, a perfectly well-defined pointwise orientation with no relation to the
smooth structure. To make the assignment respect the smooth structure, we require that it vary
continuously, expressed through frames. Recall that a
local frame
\((E_1, \dots, E_n)\) on an open set \(U\) is an ordered \(n\)-tuple of vector fields whose values
form a basis of \(T_pM\) at each \(p \in U\); since vector fields are continuous, such a frame
furnishes a continuously varying basis.
Definition: Positively and Negatively Oriented Frames
Let \(M\) be a smooth \(n\)-manifold with or without boundary, endowed with a pointwise
orientation, and let \((E_1, \dots, E_n)\) be a local frame on an open set \(U\). The frame is
positively oriented if \(\bigl(E_1|_p, \dots, E_n|_p\bigr)\) is a positively
oriented basis of \(T_pM\) at every \(p \in U\), and negatively oriented if it
is negatively oriented at every such point.
Definition: Orientation of a Manifold
A pointwise orientation on \(M\) is continuous if every point of \(M\) lies in
the domain of a positively oriented local frame. A continuous pointwise orientation is called an
orientation of \(M\). The manifold \(M\) is orientable if it
admits an orientation and nonorientable otherwise; an oriented
manifold is a pair \((M, \mathcal{O})\) consisting of an orientable manifold together
with a choice of orientation \(\mathcal{O}\). For each \(p \in M\), the orientation of \(T_pM\)
determined by \(\mathcal{O}\) is written \(\mathcal{O}_p\).
The continuity condition is what fails for the Möbius band and holds for the sphere. For a
zero-dimensional manifold the definition degenerates gracefully: a point has tangent space
\(\{0\}\), whose orientation is a choice of \(\pm 1\), so an orientation of a \(0\)-manifold is a
choice of \(\pm 1\) at each point, with the continuity requirement vacuous. Every \(0\)-manifold is
therefore orientable.
The Orientation Form
Checking continuity frame by frame is workable but clumsy. The
covector description of orientation
on a vector space suggests a global substitute: a single
differential form
of top degree, defined on all of \(M\) and vanishing nowhere, assigns an orientation to every
tangent space at once. The next proposition shows that this device captures orientability exactly.
Proof.
Suppose \(\omega\) is a nowhere-vanishing \(n\)-form. At each \(p\) the covector \(\omega_p\) is
a nonzero element of \(\Lambda^n(T_p^*M)\) and so
determines an orientation
of \(T_pM\); this defines a pointwise orientation, and only its continuity is in question. The
statement is vacuous when \(n = 0\), so assume \(n \geq 1\). Given \(p\), choose any local frame
\((E_i)\) on a
connected
neighborhood \(U\) of \(p\), with dual
coframe
\((\varepsilon^i)\). Since the top exterior power \(\Lambda^n(T_p^*M)\) is one-dimensional
with basis \(\varepsilon^1 \wedge \dots \wedge \varepsilon^n\) at each point, the form is
\(\omega = f\,\varepsilon^1 \wedge \dots \wedge
\varepsilon^n\) for a continuous function \(f\), and evaluating on the frame gives
\[
\omega(E_1, \dots, E_n) = f .
\]
Because \(\omega\) is nowhere zero, \(f\) is nowhere zero on \(U\); since \(U\) is connected and
\(f\) is continuous, \(f\) has constant sign there. The frame is therefore positively oriented
on all of \(U\) when \(f > 0\), and negatively oriented when \(f < 0\); in the latter case
replacing \(E_1\) by \(-E_1\) yields a positively oriented frame on \(U\). Either way \(p\) lies
in the domain of a positively oriented frame, so the pointwise orientation is continuous. It is
the unique orientation making \(\omega\) positively oriented, since the orientation of each
\(T_pM\) is forced by \(\omega_p\).
Conversely, suppose \(M\) is oriented. Cover \(M\) by connected positively oriented charts; on
each such chart domain \(U_\alpha\) the coordinate coframe gives a smooth \(n\)-form
\(\omega_\alpha = dx^1 \wedge \dots \wedge dx^n\) that is positively oriented at every point of
\(U_\alpha\). Let \(\{\psi_\alpha\}\) be a
partition of unity
subordinate to this cover and set \(\omega = \sum_\alpha \psi_\alpha \omega_\alpha\). Local
finiteness makes the sum finite near each point, so \(\omega\) is a smooth \(n\)-form. At a point
\(p\), every \(\omega_\alpha\) with \(\psi_\alpha(p) > 0\) is a positive multiple of any fixed
positively oriented \(n\)-covector at \(p\) — the fiber \(\Lambda^n(T_p^*M)\) is one-dimensional,
and all the \(\omega_\alpha(p)\) lie on the same open half-line determined by the orientation.
A sum of nonnegative multiples of vectors on one open half-line of a line, not all zero, again
lies on that half-line; since \(\sum_\alpha \psi_\alpha(p) = 1\) the coefficients are not all
zero, so \(\omega_p\) is a positive multiple of the chosen covector. Thus \(\omega\) is
positively oriented, hence nowhere vanishing, at every point.
A nowhere-vanishing \(n\)-form is accordingly called an orientation form, and the
orientation it determines is the one for which the form is positively oriented. If
\(\omega\) and \(\widetilde{\omega}\) are two positively oriented forms for the same orientation,
then \(\widetilde{\omega} = f\omega\) for a strictly positive smooth function \(f\), since at each
point the two are positive multiples of one another. For a \(0\)-manifold the same statement reads:
a nowhere-vanishing \(0\)-form is a nowhere-zero real-valued function, assigning the orientation
\(+1\) where it is positive and \(-1\) where it is negative.
The orientation form makes one further notion convenient. A smooth
coordinate chart
on an oriented manifold is positively oriented if its coordinate frame
\(\bigl(\partial / \partial x^i\bigr)\) is positively oriented, and negatively
oriented if that frame is negatively oriented. On a chart with connected domain the
coordinate frame is one or the other throughout, by the constant-sign argument just used, so every
connected chart is of exactly one type.
Oriented Atlases and Their Consequences
There is a third way to record an orientation, purely in terms of an atlas, and it is the one most
convenient for computation. Two positively oriented charts overlap in a way constrained by the
sign of a Jacobian, because the
change-of-coordinates law for a top-degree form
introduces exactly the determinant of the transition map. This motivates the following notion.
Definition: Consistently Oriented Atlas
A smooth
atlas
\(\{(U_\alpha, \varphi_\alpha)\}\) for a smooth manifold is consistently
oriented if for each \(\alpha, \beta\) the
transition map
\(\varphi_\beta \circ \varphi_\alpha^{-1}\) has positive Jacobian determinant everywhere on
\(\varphi_\alpha(U_\alpha \cap U_\beta)\).
Proposition: Orientation Determined by an Atlas
Let \(M\) be a smooth positive-dimensional manifold with or without boundary. Any consistently
oriented smooth atlas for \(M\) determines a unique orientation for which each chart of the atlas
is positively oriented. Conversely, if \(M\) is oriented and either \(\partial M = \varnothing\)
or \(\dim M > 1\), the collection of all positively oriented smooth charts is a consistently
oriented atlas.
Proof.
Given a consistently oriented atlas, each chart determines a pointwise orientation on its domain
by declaring its coordinate frame positively oriented. Where two charts overlap, the transition
matrix between their coordinate frames is the Jacobian of the transition map, whose determinant
is positive by hypothesis; the two charts therefore induce the same orientation at each common
point. The pointwise orientation so defined is continuous, since each point lies in the domain
of an oriented coordinate frame, and it is the unique orientation making every chart positively
oriented.
Conversely, assume \(M\) is oriented. Each point lies in the domain of a smooth chart, and if a
chart is negatively oriented one may replace the first coordinate \(x^1\) by \(-x^1\) to obtain a
positively oriented chart; the resulting collection covers \(M\). Any two positively oriented
charts have coordinate frames inducing the same orientation, so the determinant of their
Jacobian is positive, and the atlas is consistently oriented. The replacement step deserves a
comment when boundary charts are present. In a boundary chart the last coordinate \(x^n\) is
constrained to be nonnegative, while \(x^1\) is free; negating \(x^1\) therefore reverses the
chart's orientation while keeping it a valid boundary chart — provided \(x^1\) is not itself the
constrained coordinate. This holds whenever \(\dim M > 1\), and fails only for \(\dim M = 1\),
where \(x^1 = x^n\) is the sole coordinate and cannot be negated without leaving the half-space.
Hence the stated hypothesis.
The three descriptions assembled so far — a continuous choice of pointwise orientation, a
nowhere-vanishing orientation form, and a consistently oriented atlas — are interchangeable
presentations of the same structure. Each is preferred in a different situation: frames for
pointwise reasoning, the form for integration, the atlas for coordinate computation. Three
standard consequences follow, recorded here without full proofs since each is a direct application
of one of these descriptions.
Proposition: Products, Components, and Codimension Zero
Let all manifolds below be smooth, with or without boundary.
(a) Products. If \(M_1, \dots, M_k\) are orientable, then
\(M_1 \times \dots \times M_k\) carries a unique product orientation for which,
whenever \(\omega_i\) is an orientation form for \(M_i\), the form
\(\pi_1^* \omega_1 \wedge \dots \wedge \pi_k^* \omega_k\) is an orientation form for the product.
(b) Components. A connected orientable manifold has exactly two orientations,
and two orientations that agree at a single point are equal.
(c) Codimension zero. If \(M\) is oriented and \(D \subseteq M\) is a smooth
codimension-\(0\) submanifold with or without boundary, the orientation of \(M\) restricts to an
orientation of \(D\); if \(\omega\) is an orientation form for \(M\), its pullback to \(D\) under
the inclusion is an orientation form for \(D\).
Proof Sketch.
For (a), the displayed wedge product is nowhere vanishing because at each point of the product,
evaluating it on a basis assembled from bases of the individual tangent spaces \(T_{p_i}M_i\)
yields the product of the nonzero values of the factors \(\omega_i\) on those bases; and any two
such forms differ
by a positive function; it is therefore an orientation form, and its class is independent of the
chosen \(\omega_i\). For (b), the difference between two pointwise orientations on a connected
manifold is a locally constant sign, hence constant by
connectedness;
two orientations agreeing at one point agree everywhere, and the two global sign choices give the
only two orientations. For (c), a codimension-\(0\) submanifold inherits the ambient coordinate
frames at each of its points, on which the restriction of an orientation form is again nowhere
vanishing, so the inclusion pulls an orientation form back to an orientation form.
Pullbacks, Parallelizability, and Lie Groups
A diffeomorphism between oriented manifolds either respects the two orientations or reverses them,
and the distinction is detected pointwise by its differential. This is the manifold counterpart of
a linear isomorphism carrying one basis class to the other, and it lets an orientation be
transported across a diffeomorphism.
Definition: Orientation-Preserving and Reversing Maps
Let \((M, \mathcal{O}_M)\) and \((N, \mathcal{O}_N)\) be oriented smooth manifolds of the same
dimension, and let \(F : M \to N\) be a
local diffeomorphism.
At a point \(p\), the differential \(dF_p : T_pM \to T_{F(p)}N\) is a linear isomorphism, so it
carries the orientation \((\mathcal{O}_M)_p\) to one of the two orientations of \(T_{F(p)}N\).
The map \(F\) is orientation-preserving if this image is \((\mathcal{O}_N)_{F(p)}\)
for every \(p\), and orientation-reversing if it is the opposite orientation
for every \(p\). When \(M\) and \(N\) are \(0\)-manifolds the differential carries no
information; instead \(F\) is orientation-preserving if \(p\) and \(F(p)\) carry the same sign
\(\pm 1\) for every \(p\), and orientation-reversing if they carry opposite signs.
Not every local diffeomorphism is one or the other — it may preserve orientation on one component
and reverse it on another — but on a connected domain the two exhaust the possibilities, by the
constant-sign argument used throughout. The pullback of an orientation form makes the same
distinction analytically and supplies orientations on the domain of any local diffeomorphism.
Proposition: Pullback of an Orientation
Suppose \(M\) and \(N\) are smooth \(n\)-manifolds and \(F : M \to N\) is a local
diffeomorphism. If \(N\) is oriented with orientation form \(\omega\), then the
pullback
\(F^*\omega\) is an orientation form on \(M\), and the orientation it determines depends only on
the orientation of \(N\), not on the choice of \(\omega\). This orientation is the unique one
making \(F\) orientation-preserving, and it is called the orientation pulled back
by \(F\).
Proof.
Since \(F\) is a local diffeomorphism, each differential \(dF_p\) is an isomorphism, so the
pullback covector \((F^*\omega)_p = (dF_p)^* \omega_{F(p)}\) is nonzero whenever
\(\omega_{F(p)}\) is; thus \(F^*\omega\) is nowhere vanishing and is an orientation form on
\(M\). For an ordered basis \((v_1, \dots, v_n)\) of \(T_pM\),
\[
(F^*\omega)_p(v_1, \dots, v_n) = \omega_{F(p)}\bigl(dF_p(v_1), \dots, dF_p(v_n)\bigr),
\]
so the basis is positively oriented for \(F^*\omega\) exactly when its image under \(dF_p\) is
positively oriented for \(\omega\). Hence the orientation determined by \(F^*\omega\) is the one
for which \(dF_p\) carries positively oriented bases to positively oriented bases — that is, the
unique orientation making \(F\) orientation-preserving. Replacing \(\omega\) by a positive
multiple multiplies \(F^*\omega\) by the same positive function, leaving the orientation
unchanged.
A recurring way to certify orientability bypasses forms and atlases entirely: produce a single
global frame. A manifold admitting one is
parallelizable,
and parallelizability is a strictly stronger condition than orientability.
Proposition: Parallelizable Manifolds Are Orientable
Every parallelizable smooth manifold is orientable. A global frame
\((E_1, \dots, E_n)\) determines the orientation in which that frame is positively oriented at
every point.
Proof.
A global frame is in particular a positively oriented local frame on all of \(M\) once its own
class is declared positive, so the pointwise orientation it defines is continuous everywhere;
equivalently, its dual coframe \((\varepsilon^i)\) gives the nowhere-vanishing orientation form
\(\varepsilon^1 \wedge \dots \wedge \varepsilon^n\). The converse fails: orientability does not
return a global frame, as the even-dimensional spheres illustrate — orientable, yet not
parallelizable, since they admit no nowhere-vanishing vector field at all.
The most important parallelizable manifolds for what follows are the Lie groups, where a global
frame is produced canonically by translating a basis of the tangent space at the identity. This is
the structural fact that makes every Lie group an oriented manifold in a preferred way, and it is
the entry point for invariant integration.
Proposition: Lie Groups Are Orientable
Every
Lie group
\(G\) is orientable. A basis of the tangent space at the identity extends by left translation to
a
left-invariant global frame,
and the orientation determined by this frame is left-invariant: left translation by every group
element is orientation-preserving. Moreover, \(G\) has precisely two left-invariant orientations,
and they correspond to the two orientations of the tangent space \(T_eG\) at the identity.
Proof.
A Lie group is
parallelizable
by its left-invariant frame, hence orientable by the previous proposition, with the orientation
in which that frame is positively oriented. Because each left translation carries the frame to
itself, its differential sends the positively oriented frame at one point to the positively
oriented frame at the image point, so left translation preserves the orientation. The
construction depends on a choice of basis at the identity, but any two choices related by a
positive determinant give the same orientation, and a Lie group with more than one component
receives a compatible orientation on each. Finally, a left-invariant orientation is determined
by its value at the identity alone: left-invariance forces the orientation at each \(g\) to be
the image of \(\mathcal{O}_e\) under left translation, so the orientation is recovered from
\(\mathcal{O}_e\) throughout \(G\). Since \(T_eG\) has exactly two orientations and each extends
by left translation to a left-invariant orientation, \(G\) has precisely two of them, in
bijection with the orientations of \(T_eG\).
With orientation in hand on a Lie group, the left-invariant orientation form will combine with a
left-invariant metric to produce a left-invariant volume — the geometric object whose integral is
invariant under the group's own action, and the foundation on which averaging over a compact group
is built.