Volume form

From Wikipedia, the free encyclopedia

In mathematics, a volume form on a differentiable manifold is a nowhere vanishing differential form of top degree. Thus on a manifold M of dimension n, a volume form is an n-form, a section of the line bundle Ωⁿ(M) = Λⁿ(T^∗M), that is nowhere equal to zero. A manifold has a volume form if and only if it is orientable, and orientable manifolds have infinitely many.

A volume form provides a means to define the integral of a function on a differentiable manifold. In other words, a volume form gives rise to a measure with respect to which functions can be integrated by the appropriate Lebesgue integral. The absolute value of a volume form is a volume element, which is also known variously as a twisted volume form or pseudo-volume form. It also defines a measure, but exists on any differentiable manifold, orientable or not.

Many classes of manifolds come with canonical volume forms: they have extra structure which allows the choice of a preferred volume form. Oriented Riemannian manifolds and pseudo-Riemannian manifolds have a canonical volume form associated with them. For instance Kähler manifolds, being complex manifolds, are naturally oriented, and so possess a volume form. More generally, the n^th exterior power of the symplectic form on a symplectic manifold is a volume form.

[edit] Orientation

A manifold is orientable if it has a coordinate atlas all of whose transition functions have positive Jacobian determinants. A selection of a maximal such atlas is an orientation on M. A volume form ω on M gives rise to an orientation in a natural way as the atlas of coordinate charts on M that send ω to a positive multiple of the Euclidean volume form $dx^1\wedge\cdots\wedge dx^n$ .

A volume form also allows for the specification of a preferred class of frames on M: call a basis of tangent vectors (X₁,...,X_n) right-handed if

$\omega(X_1,X_2,\dots,X_n) > 0.$

The collection of all right-handed frames is acted upon by the group GL⁺(n) of general linear mappings in n dimensions with positive determinant. They form a principal GL⁺(n) subbundle of the linear frame bundle of M, and so the orientation associated to a volume form gives a canonical reduction of the frame bundle of M to a subbundle with structure group GL⁺(n). That is to say that a volume form gives rise to GL⁺(n)-structure on M. More reduction is clearly possible by considering frames that have

$\omega(X_1,X_2,\dots,X_n) = 1.$

(1)

Thus a volume form gives rise to an SL(n)-structure as well. Conversely, given an SL(n)-structure, one can recover a volume form by imposing (1) for the special linear frames and then solving for the required n-form ω by requiring homogeneity in its arguments.

A manifold is orientable if and only if it has a volume form. Indeed, SL(n) → GL⁺(n) is a deformation retract since GL⁺ = SL × R⁺, where the positive reals are embedded as scalar matrices. Thus every GL⁺(n)-structure is reducible to an SL(n)-structure, and GL⁺(n)-structures coincide with orientations on M. More concretely, triviality of the determinant bundle $Ω n (M)$ is equivalent to orientability, and a line bundle is trivial if and only if it has a nowhere vanishing section. Thus the existence of a volume form is equivalent to orientability.

[edit] Relation to measures

[edit] Divergence

Given a volume form ω on M, one can define the divergence of a vector field X as the unique scalar-valued function, denoted by div X, satisfying

$(\operatorname{div} X)\omega = L_X\omega = d(X\lrcorner\omega)$

where L_X denotes the Lie derivative along X. If X is a compactly supported vector field and M is a manifold with boundary, then Stokes' theorem implies

$\int_M (\operatorname{div} X)\omega = \int_{\partial M} X\lrcorner\omega,$

which is a generalization of the divergence theorem.

The solenoidal vector fields are those with div X = 0. It follows from the definition of the Lie derivative that the volume form is preserved under the flow of a solenoidal vector field. Thus solenoidal vector fields are precisely those that have volume-preserving flows. This fact is well-known, for instance, in fluid mechanics where the divergence of a velocity field measures the compressibility of a fluid, which in turn represents the extent to which volume is preserved along flows of the fluid.

[edit] Special cases

[edit] Lie groups

For any Lie group, a natural volume form may be defined by translation. That is, if ω_e is an element of $\bigwedge^n T_e^*G$ , then a left-invariant form may be defined by $\omega_g=L_g^*\omega_e$ , where L_g is left-translation. As a corollary, every Lie group is orientable. This volume form is unique up to a scalar, and the corresponding measure is known as the Haar measure.

[edit] Symplectic manifolds

Any symplectic manifold (or indeed any almost symplectic manifold) has a natural volume form. If M is a 2n-dimensional manifold with symplectic form ω, then ωⁿ is nowhere zero as a consequence of the nondegeneracy of the symplectic form. As a corollary, any symplectic manifold is orientable (indeed, oriented). If the manifold is both symplectic and Riemannian, then the two volume forms agree if the manifold is Kähler.

[edit] Riemannian volume form

Any oriented Riemannian (or pseudo-Riemannian) manifold has a natural volume (or pseudo volume) form. In local coordinates, it can be expressed as

$\omega = \sqrt{|g|} dx^1\wedge \dots \wedge dx^n$

where the $d x i$ are the 1-forms providing an oriented basis for the cotangent bundle of the n-dimensional manifold. Here, $| g |$ is the absolute value of the determinant of the metric tensor on the manifold.

The volume form is denoted variously by

$\omega = \mathrm{vol}_n = \varepsilon = *(1) . \,\!$

Here, the ∗ is the Hodge dual, thus the last form, ∗(1), emphasizes that the volume form is the Hodge dual of the constant map on the manifold.

Although the Greek letter ω is frequently used to denote the volume form, this notation is hardly universal; the symbol ω often carries many other meanings in differential geometry (such as a symplectic form); thus, the appearance of ω in a formula does not necessarily mean that it is the volume form.

[edit] Volume form of a surface

A simple example of a volume form can be explored by considering a two-dimensional surface embedded in n-dimensional Euclidean space. Consider a subset $U \subset \mathbf{R}^2$ and a mapping function

$\varphi:U\to \mathbf{R}^n$

thus defining a surface embedded in $\mathbf{R}^n$ . The Jacobian matrix of the mapping is

$\lambda_{ij}=\frac{\partial \varphi_i} {\partial u_j}$

with index i running from 1 to n, and j running from 1 to 2. The Euclidean metric in the n-dimensional space induces a metric $g = λ T λ$ on the set U, with matrix elements

$g_{ij}=\sum_{k=1}^n \lambda_{ki} \lambda_{kj} = \sum_{k=1}^n \frac{\partial \varphi_k} {\partial u_i} \frac{\partial \varphi_k} {\partial u_j}.$

The determinant of the metric is given by

$\det g = \left| \frac{\partial \varphi} {\partial u_1} \wedge \frac{\partial \varphi} {\partial u_2} \right|^2 = \det (\lambda^T \lambda)$

where $\wedge$ is the wedge product. For a regular surface, this determinant is non-vanishing; equivalently, the Jacobian matrix has rank 2.

Now consider a change of coordinates on U, given by a diffeomorphism

$f \colon U\to U , \,\!$

so that the coordinates $(u 1, u 2)$ are given in terms of $(v 1, v 2)$ by $(u 1, u 2) = f (v 1, v 2)$ . The Jacobian matrix of this transformation is given by

$F_{ij}= \frac{\partial f_i} {\partial v_j}.$

In the new coordinates, we have

$\frac{\partial \varphi_i} {\partial v_j} = \sum_{k=1}^2 \frac{\partial \varphi_i} {\partial u_k} \frac{\partial f_k} {\partial v_j}$

and so the metric transforms as

$\tilde{g} = F^T g F$

where $\tilde{g}$ is the pullback metric in the v coordinate system. The determinant is

$\det \tilde{g} = \det g (\det F)^2.$

Given the above construction, it should now be straightforward to understand how the volume form is invariant under a change of coordinates. In two dimensions, the volume is just the area. The area of a subset $B\subset U$ is given by the integral

$\begin{align} \mbox{Area}(B) &= \iint_B \sqrt{\det g}\; du_1 \;du_2 \\ &= \iint_B \sqrt{\det g} \;\det F \;dv_1 \;dv_2 \\ &= \iint_B \sqrt{\det \tilde{g}} \;dv_1 \;dv_2. \end{align}$

Thus, in either coordinate system, the volume form takes the same expression: the expression of the volume form is invariant under a change of coordinates.

Note that there was nothing particular to two dimensions in the above presentation; the above trivially generalizes to arbitrary dimensions.

[edit] Invariants of a volume form

Volume forms are not unique; they form a torsor over non-vanishing functions on the manifold, as follows. Given a non-vanishing function f on M, and a volume form $ω$ , $f ω$ is a volume form on M. Conversely, given two volume forms $ω,ω'$ , their ratio is a non-vanishing function (positive if they define the same orientation, negative if they define opposite orientations).

In coordinates, they are both simply a non-zero function times Lebesgue measure, and their ratio is the ratio of the functions, which is independent of choice of coordinates. Intrinsically, it is the Radon–Nikodym derivative of $ω'$ with respect to $ω$ . On an oriented manifold, the proportionality of any two volume forms can be thought of as a geometric form of the Radon–Nikodym theorem.

[edit] No local structure

A volume form on a manifold has no local structure in the sense that it is not possible on small open sets to distinguish between the given volume form and the volume form on Euclidean space (Kobayashi 1972). That is, for every point p in M, there is an open neighborhood U of p and a diffeomorphism φ of U onto an open set in Rⁿ such that the volume form on U is the pullback of $dx^1\wedge\cdots\wedge dx^n$ along φ.

As a corollary, if M and N are two manifolds, each with volume forms $ω M,ω N$ , then for any points $m\in M, n\in N$ , there are open neighborhoods U of m and V of n and a map $f\colon U \to V$ such that the volume form on N restricted to the neighborhood V pulls back to volume form on M restricted to the neighborhood U: $f^*\omega_N\vert_V = \omega_M\vert_U$ .

In one dimension, one can prove it thus: given a volume form $ω$ on $\mathbf{R}$ , define

$f(x) := \int_0^x \omega.$

Then the standard Lebesgue measure $d x$ pulls back to $ω$ under f: $ω = f * d x$ . Concretely, $\omega = f\,dx$ . In higher dimensions, given any point $m \in M$ , it has a neighborhood locally homeomorphic to $\mathbf{R}\times\mathbf{R}^{n-1}$ , and one can apply the same procedure.

[edit] Global structure: volume

A volume form on a connected manifold M has a single global invariant, namely the (overall) volume (denoted $μ(M)$ ), which is invariant under volume-form preserving maps; this may be infinite, such as for Lebesgue measure on $\mathbf{R}^n$ . On a disconnected manifold, the volume of each connected component is the invariant.

In symbol, if $f\colon M \to N$ is a homeomorphism of manifolds that pulls back $ω N$ to $ω M$ , then

$\mu(N)=\int_N \omega_N = \int_{f(M)} \omega_N = \int_M f^*\omega_N = \int_M \omega_M=\mu(M)\,$

and the manifolds have the same volume.

Volume forms can also be pulled back under covering maps, in which case they multiply volume by the cardinality of the fiber (formally, by integration along the fiber). In the case of an infinite sheeted cover (such as $\mathbf{R} \to S^1$ ), a volume form on a finite volume manifold pulls back to a volume form on an infinite volume manifold.

[edit] See also

Poincaré metric provides a review of the volume form on the complex plane.
measure (mathematics)

[edit] References

Kobayashi, S. (1972). Transformation Groups in Differential Geometry. Classics in Mathematics. Springer. ISBN 3-540-58659-8. OCLC 31374337. .
Spivak, Michael (1965), Calculus on Manifolds, Reading, Massachusetts: W.A. Benjamin, Inc., ISBN 0-8053-9021-9 .

Volume form

From Wikipedia, the free encyclopedia

Contents

[edit] Orientation

[edit] Relation to measures

[edit] Divergence

[edit] Special cases

[edit] Lie groups

[edit] Symplectic manifolds

[edit] Riemannian volume form

[edit] Volume form of a surface

[edit] Invariants of a volume form

[edit] No local structure

[edit] Global structure: volume

[edit] See also

[edit] References

Views

Personal tools

Navigation

Search

Interaction

Toolbox

Languages