Volume form

A volume form is a nowhere-vanishing differential form of top degree on an oriented manifold. A metric supplies the canonical local density $\sqrt{|\det g|}$ and hence a metric volume form after choosing orientation.

On an oriented Riemannian manifold, the metric volume form is the volume form taking value one on positively oriented orthonormal frames. In an oriented manifold chart it has the displayed expression. Under an orientation-preserving coordinate change with Jacobian $A$, $\det g$ acquires the factor $(\det A{)}^2$, precisely matching the transformation of the top exterior product. Thus the expressions agree on chart overlaps. Orientation is needed to make a globally positive form, though the volume density exists without it.

The oriented metric volume form on a two-dimensional surface. On the unit sphere with standard orientation, $\omega =\sin \theta d\theta \wedge d\phi$ and $\int \omega =4\pi$. Its pullback of a differential form under a map measures signed local area.

On an oriented $d$-dimensional pseudo-Riemannian manifold, the metric volume tensor is the totally antisymmetric tensor with ${ϵ}_{1\dots d}=\sqrt{|\det g|}$ in positively oriented coordinates. It supplies the components of the volume form. It differs from the coordinate Levi-Civita symbol, whose entries are just $0,1,-1$. Raising indices with a Lorentzian metric can change signs; the metric, dimension and orientation must be specified.

A vector field preserves a chosen volume form $\omega$ when its local flow pulls $\omega$ back to itself. Infinitesimally this is ${\mathcal{L}}_X\omega =0$, using the Lie derivative. The condition depends on the chosen volume form.

Suppose a nonempty compact $(n+1)$-manifold with a volume form has $n$ pointwise independent volume-preserving vector fields that commute and are tangent to its boundary. If restriction $H_{\mathrm{dR}}^1(M)\to H_{\mathrm{dR}}^1(\partial M)$ is injective, the boundary must have at least two connected components.

Indeed $\eta ={\iota }_{X_1}\cdots {\iota }_{X_n}\omega$ is nowhere zero. Cartan's magic formula and commutation show $d\eta =0$, while boundary tangency gives $j^{\ast }\eta =0$. Injectivity in de Rham cohomology makes $\eta =df$. On a connected boundary $f$ is constant; a maximum or minimum differing from that boundary value would be an interior critical point, contradicting $df\ne 0$. Empty boundary is also impossible.