The Riemannian Volume Form

The Volume Form and Its Coordinate Expression Hypersurfaces and Boundaries

The Volume Form and Its Coordinate Expression

An orientation tells us which ordered frames count as positive, but it says nothing about size: two oriented frames are interchangeable as far as orientation is concerned, however much they differ in length or angle. A Riemannian metric supplies exactly the missing notion of size, assigning a length to every tangent vector and an angle to every pair. The combination of an orientation and a metric singles out, at each point, a unique top-degree alternating tensor that evaluates to \(1\) on any positively oriented orthonormal frame, declaring such a frame to span a unit of \(n\)-dimensional volume. Globalized into a nowhere-vanishing \(n\)-form, this object is what allows functions on the manifold to be integrated against a geometrically meaningful measure.

This construction is the geometric foundation on which invariant integration rests. On a compact Lie group the left-invariant volume form produced here yields an invariant integral, and that integral is the indispensable ingredient of harmonic analysis on the group; the present page builds the form, and the analytic theory that consumes it belongs to the representation-theoretic development elsewhere in the curriculum.

Proposition (Existence and Uniqueness of the Volume Form)

Let \((M, g)\) be an oriented Riemannian \(n\)-manifold, with or without boundary, with \(n \geq 1\). There is a unique smooth orientation form \(\omega_g \in \Omega^n(M)\), called the Riemannian volume form, satisfying \[ \omega_g(E_1, \dots, E_n) = 1 \] for every local oriented orthonormal frame \((E_1, \dots, E_n)\) for \(M\).

Proof.

For uniqueness, suppose such a form \(\omega_g\) exists. If \((E_1, \dots, E_n)\) is any local oriented orthonormal frame on an open set \(U \subseteq M\) and \((\varepsilon^1, \dots, \varepsilon^n)\) is the dual coframe, then on \(U\) we may write \(\omega_g = f\, \varepsilon^1 \wedge \cdots \wedge \varepsilon^n\) for a smooth function \(f\). Evaluating on the frame and using the defining condition forces \(f = 1\), so \[ \omega_g = \varepsilon^1 \wedge \cdots \wedge \varepsilon^n \] on \(U\). Since every point lies in the domain of some such frame, this determines \(\omega_g\) uniquely.

For existence, define \(\omega_g\) near each point by the displayed formula with respect to a chosen oriented orthonormal frame, and check that the result is independent of the choice. Let \((\widetilde E_1, \dots, \widetilde E_n)\) be another oriented orthonormal frame on the same open set, with dual coframe \((\widetilde\varepsilon^1, \dots, \widetilde\varepsilon^n)\), and set \(\widetilde\omega_g = \widetilde\varepsilon^1 \wedge \cdots \wedge \widetilde\varepsilon^n\). Write \[ \widetilde E_i = A_i^{\,j} E_j \] for a matrix \((A_i^{\,j})\) of smooth functions. Because both frames are orthonormal, the matrix \((A_i^{\,j}(p))\) lies in the orthogonal group at each \(p\), so its determinant is \(\pm 1\); because both frames are positively oriented, the determinant must be \(+1\). Using the expression of a top-degree alternating tensor as a determinant, \[ \omega_g(\widetilde E_1, \dots, \widetilde E_n) = \det\!\bigl(\varepsilon^j(\widetilde E_i)\bigr) = \det(A_i^{\,j}) = 1 = \widetilde\omega_g(\widetilde E_1, \dots, \widetilde E_n). \] Hence \(\omega_g = \widetilde\omega_g\), and the locally defined forms patch into a single global smooth \(n\)-form. It is nowhere vanishing, since it evaluates to \(1\) on a frame, and by construction satisfies the defining condition for every oriented orthonormal frame.

The frame description is conceptually clean but rarely the form in which one computes. In coordinates the volume form acquires the square-root-of-determinant factor familiar from the change-of-variables formula in multivariable calculus, now intrinsic to the geometry.

Proposition (Coordinate Expression of the Volume Form)

Let \((M, g)\) be an oriented Riemannian \(n\)-manifold, with or without boundary, with \(n \geq 1\). In any oriented smooth coordinates \((x^i)\), the Riemannian volume form has the local expression \[ \omega_g = \sqrt{\det(g_{ij})}\; dx^1 \wedge \cdots \wedge dx^n, \] where \(g_{ij}\) are the components of \(g\) in these coordinates.

Proof.

In an oriented chart \((U, (x^i))\), write \(\omega_g = f\, dx^1 \wedge \cdots \wedge dx^n\) for a positive coefficient function \(f\), positive because both \(\omega_g\) and the coordinate volume element are positively oriented. To compute \(f\), let \((E_i)\) be a smooth oriented orthonormal frame on a neighbourhood, let \((\varepsilon^i)\) be its dual coframe, and express the coordinate frame in terms of it as \[ \frac{\partial}{\partial x^i} = A_i^{\,j} E_j. \] Evaluating \(\omega_g = \varepsilon^1 \wedge \cdots \wedge \varepsilon^n\) on the coordinate frame gives \[ f = \omega_g\!\left(\frac{\partial}{\partial x^1}, \dots, \frac{\partial}{\partial x^n}\right) = \det\!\bigl(\varepsilon^j(\tfrac{\partial}{\partial x^i})\bigr) = \det(A_i^{\,j}). \] On the other hand, since \((E_k)\) is orthonormal, \[ g_{ij} = \left\langle \frac{\partial}{\partial x^i}, \frac{\partial}{\partial x^j} \right\rangle_g = \bigl\langle A_i^{\,k} E_k,\, A_j^{\,l} E_l \bigr\rangle_g = \sum_k A_i^{\,k} A_j^{\,k}, \] which is the \((i, j)\)-entry of \(A^{\top} A\) for \(A = (A_i^{\,j})\). Therefore \[ \det(g_{ij}) = \det(A^{\top} A) = (\det A)^2, \] so \(f = \det A = \pm\sqrt{\det(g_{ij})}\). Both frames being oriented forces the positive sign, giving \(f = \sqrt{\det(g_{ij})}\).

The coefficient \(\sqrt{\det(g_{ij})}\) is precisely the factor by which the metric distorts coordinate volume, and its appearance here explains why the same expression governs integration in curvilinear coordinates. With a single global volume form in hand, the next step is to see how it restricts to hypersurfaces and, in particular, to boundaries, where it produces the surface measure that pairs with the Stokes orientation.

Hypersurfaces and Boundaries

When a hypersurface sits inside a Riemannian manifold, it inherits a metric by restriction, and that induced metric has its own volume form. There is a pleasant formula relating the two: the surface volume form is the ambient volume form contracted against a unit normal, restricted to the hypersurface. This is the same contraction that orients the hypersurface, now carrying metric information as well as orientation.

Proposition (Volume Form of a Hypersurface)

Let \((M, g)\) be an oriented Riemannian manifold, with or without boundary, let \(S \subseteq M\) be an immersed hypersurface with inclusion \(\iota_S\), and let \(\widetilde g = \iota_S^{*} g\) be the induced metric on \(S\) — that is, the pullback metric determined by the inclusion. Suppose \(N\) is a smooth unit normal vector field along \(S\). With respect to the orientation of \(S\) determined by \(N\), the volume form of \((S, \widetilde g)\) is \[ \omega_{\widetilde g} = \iota_S^{*}\bigl(N \lrcorner\, \omega_g\bigr). \]

Proof.

The \((n-1)\)-form \(\iota_S^{*}(N \lrcorner\, \omega_g)\) is the orientation form for the orientation of \(S\) determined by \(N\), so it is nowhere vanishing and positively oriented. To identify it as the volume form of the induced metric, it suffices to show it takes the value \(1\) on every oriented orthonormal frame for \(S\). Let \((E_1, \dots, E_{n-1})\) be such a frame at a point \(p \in S\). Since \(N_p\) is a unit vector orthogonal to \(T_pS\), the enlarged frame \((N_p, E_1, \dots, E_{n-1})\) is orthonormal in \(T_pM\), and it is positively oriented for the ambient orientation, by the very definition of the orientation \(N\) induces on \(S\). Therefore \[ \iota_S^{*}(N \lrcorner\, \omega_g)(E_1, \dots, E_{n-1}) = \omega_g(N_p, E_1, \dots, E_{n-1}) = 1, \] the last equality because \(\omega_g\) evaluates to \(1\) on any oriented orthonormal frame. A form that gives \(1\) on every oriented orthonormal frame of \((S, \widetilde g)\) is its volume form, which proves the claim.

The case that matters most is a boundary, where the ambient manifold itself supplies a canonical unit normal. For an arbitrary hypersurface a unit normal involves a choice of side and might not even exist globally, but a boundary has an unambiguous outward direction, and the metric promotes that direction to a distinguished unit field.

Proposition (The Outward Unit Normal)

Let \(M\) be a Riemannian manifold with boundary. There is a unique smooth outward-pointing unit normal vector field \(N\) along \(\partial M\).

Proof.

For uniqueness, fix \(p \in \partial M\). The orthogonal complement \((T_p \partial M)^{\perp} \subseteq T_pM\) is one-dimensional, so there are exactly two unit vectors at \(p\) normal to \(\partial M\). A unit normal is nowhere tangent to \(\partial M\), so it has nonzero final component in any smooth boundary chart; of the two unit normals, exactly one has negative final component, which is the same as pointing outward. Thus the outward-pointing unit normal is unique at each point.

For existence, let \(f : M \to [0, \infty)\) be a boundary defining function, and set \[ N = -\,\frac{\operatorname{grad} f}{\lVert \operatorname{grad} f \rVert_g} \] restricted to \(\partial M\). Because \(df \neq 0\) at points of \(\partial M\), the gradient is nonzero there, so \(N\) is well-defined, smooth, and of unit length. It is normal to \(\partial M\): for any \(v \in T_p \partial M\), the gradient satisfies \(g(\operatorname{grad} f, v) = df(v) = 0\), since \(f\) is constant on \(\partial M\). It is outward-pointing because, applying \(N\) to \(f\), \[ N f = -\,\frac{g(\operatorname{grad} f, \operatorname{grad} f)}{\lVert \operatorname{grad} f \rVert_g} = -\,\lVert \operatorname{grad} f \rVert_g < 0, \] and a vector with negative derivative on a function that increases into the interior points outward. By uniqueness this \(N\) is the outward unit normal, independent of the choice of defining function.

Combining the surface volume formula with the outward unit normal yields the boundary measure in its final form. This is the surface integrand that the boundary term of the fundamental integration theorem integrates, oriented consistently with the Stokes convention.

Corollary (Volume Form of a Boundary)

Let \((M, g)\) be an oriented Riemannian manifold with boundary, and let \(\widetilde g\) be the induced Riemannian metric on \(\partial M\). Then the volume form of \(\widetilde g\), taken with respect to the Stokes orientation, is \[ \omega_{\widetilde g} = \iota_{\partial M}^{*}\bigl(N \lrcorner\, \omega_g\bigr), \] where \(N\) is the outward unit normal vector field along \(\partial M\).

Proof.

The boundary is an embedded hypersurface, the outward unit normal is a smooth unit normal field along it, and the orientation it induces is by definition the Stokes orientation. Applying the hypersurface volume formula with this normal gives the stated expression.

The volume form thus assembled is the geometric measure that turns an oriented Riemannian manifold into a space on which functions can be integrated, and its restriction to the boundary is matched to the induced orientation so that the boundary integral and the interior integral fit together. On a compact Lie group equipped with a left-invariant metric, the resulting volume form is itself left-invariant and provides the invariant integral underlying harmonic analysis on the group, which is taken up in the representation-theoretic part of the curriculum.