Differential Forms - Key Properties

The orientation of a manifold is fundamental for integration theory. It determines a consistent choice of "positive" direction for measuring volumes, encoded algebraically through nowhere-vanishing top-degree forms.

DefinitionOrientation

An orientation on an $n$ -manifold $M$ is a choice of equivalence class of atlases, where two atlases are equivalent if all transition maps have positive Jacobian determinant. Equivalently, an orientation is a nowhere-vanishing $n$ -form $\omega$ up to multiplication by positive functions.

A manifold is orientable if it admits an orientation. Not all manifolds are orientable - the Möbius strip and Klein bottle are classic counterexamples.

ExampleOrientations on $\mathbb{R}^n$

The standard orientation on $\mathbb{R}^n$ is determined by the volume form $\omega = dx^1 \wedge \cdots \wedge dx^n$ . Any other orientation is given by $-\omega$ . The two orientations correspond to "right-handed" and "left-handed" coordinate systems.

DefinitionVolume Form

A volume form on an oriented $n$ -manifold $M$ is a nowhere-vanishing $n$ -form $\omega \in \Omega^n(M)$ . On an orientable manifold, choosing a volume form is equivalent to choosing an orientation.

Remark

On a Riemannian manifold $(M, g)$ , there is a canonical volume form determined by the metric, often denoted $dV_g$ or $\text{vol}_g$ . In local coordinates, $dV_g = \sqrt{\det(g_{ij})} dx^1 \wedge \cdots \wedge dx^n$ .

DefinitionPullback of Forms

For a smooth map $f: M \to N$ and a $k$ -form $\omega$ on $N$ , the pullback $f^*\omega$ is a $k$ -form on $M$ defined by

(f^*\omega)_p(v_1, \ldots, v_k) = \omega_{f(p)}(f_*v_1, \ldots, f_*v_k)

The pullback satisfies $f^*(\omega \wedge \eta) = f^*\omega \wedge f^*\eta$ and $f^*(d\omega) = d(f^*\omega)$ .

ExampleCoordinate Change

If $f: U \to V$ is a coordinate change and $\omega = g(y) dy^1 \wedge \cdots \wedge dy^n$ on $V$ , then

f^*\omega = (g \circ f) \det\left(\frac{\partial y^i}{\partial x^j}\right) dx^1 \wedge \cdots \wedge dx^n

This is the change of variables formula from multivariable calculus.

TheoremNaturality of Exterior Derivative

For any smooth map $f: M \to N$ and form $\omega$ on $N$ :

f^*(d\omega) = d(f^*\omega)

This commutivity with pullback makes the exterior derivative a natural transformation.

DefinitionInterior Product

Given a vector field $X$ and a $k$ -form $\omega$ , the interior product $i_X\omega$ is the $(k-1)$ -form defined by

(i_X\omega)(v_1, \ldots, v_{k-1}) = \omega(X, v_1, \ldots, v_{k-1})

The interior product satisfies $i_X \circ i_X = 0$ and $i_X(\omega \wedge \eta) = (i_X\omega) \wedge \eta + (-1)^k \omega \wedge (i_X\eta)$ .

The trio of operations $d$ (exterior derivative), $\wedge$ (wedge product), and $i_X$ (interior product) form the fundamental calculus of differential forms, unified by Cartan's formula: $\mathcal{L}_X = i_X d + d i_X$ .