Volume form

Short description: Differential form

This article includes a list of references, related reading or external links, but its sources remain unclear because it lacks inline citations. Please help to improve this article by introducing more precise citations. (September 2025) (Learn how and when to remove this template message)

|

In mathematics, a volume form or top-dimensional form is a differential form of degree equal to the differentiable manifold dimension. Thus on a manifold M of dimension n, a volume form is an n-form. It is an element of the space of sections of the line bundle ⋀n(T*M), denoted as Ωn(M). A manifold admits a nowhere-vanishing volume form if and only if it is orientable. An orientable manifold has infinitely many volume forms, since multiplying a volume form by a nowhere-vanishing real valued function yields another volume form. On non-orientable manifolds, one may instead define the weaker notion of a density.

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.

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

## Contents

* 1 Orientation
* 2 Relation to measures
* 3 Divergence
* 4 Special cases
* 4.1 Lie groups
* 4.2 Symplectic manifolds
* 4.3 Riemannian volume form
* 5 Invariants of a volume form
* 5.1 No local structure
* 5.2 Global structure: volume
* 6 See also
* 7 References

## Orientation

The following will only be about orientability of differentiable manifolds (it's a more general notion defined on any topological manifold).

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 dx1∧⋯∧dxn.

A volume form also allows for the specification of a preferred class of frames on M. Call a basis of tangent vectors (X1,…,Xn) right-handed if ω(X1,X2,…,Xn)>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) sub-bundle 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 sub-bundle 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

ω(X1,X2,…,Xn)=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 nowhere-vanishing volume form. Indeed, SL(n)->GL+(n) is a deformation retract since GL+=SL×ℝ+, 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.

## Relation to measures

See also: Density on a manifold

Given a volume form ω on an oriented manifold, the density |ω| is a volume pseudo-form on the nonoriented manifold obtained by forgetting the orientation. Densities may also be defined more generally on non-orientable manifolds.

Any volume pseudo-form ω (and therefore also any volume form) defines a measure on the Borel sets by μω(U)=∫Uω.

The difference is that while a measure can be integrated over a (Borel) subset, a volume form can only be integrated over an oriented cell. In single variable calculus, writing ∫bafdx=−∫abfdx considers dx as a volume form, not simply a measure, and ∫ba indicates "integrate over the cell [a,b] with the opposite orientation, sometimes denoted [a,b]‾".

Further, general measures need not be continuous or smooth: they need not be defined by a volume form, or more formally, their Radon–Nikodym derivative with respect to a given volume form need not be absolutely continuous.

## 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 (div⁡X)ω=LXω=d(X⌋ω), where LX denotes the Lie derivative along X and X⌋ω denotes the interior product or the left contraction of ω along X. If X is a compactly supported vector field and M is a manifold with boundary, then Stokes' theorem implies ∫M(div⁡X)ω=∫∂MX⌋ω, 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.

## Special cases

### Lie groups

For any Lie group, a natural volume form may be defined by translation. That is, if ωe is an element of ⋀nTe*G, then a left-invariant form may be defined by ωg=Lg−1*ωe, where Lg 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.

### 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 ωn 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.

### Riemannian volume form

Any oriented pseudo-Riemannian (including Riemannian) manifold has a natural volume form. In local coordinates, it can be expressed as ω=|g|dx1∧…∧dxn where the dxi are 1-forms that form a positively oriented basis for the cotangent bundle of the manifold. Here, |g| is the absolute value of the determinant of the matrix representation of the metric tensor on the manifold.

The volume form is denoted variously by ω=voln=ε=⋆(1).

Here, the ⋆ is the Hodge star, thus the last form, ⋆(1), emphasizes that the volume form is the Hodge dual of the constant map on the manifold, which equals the Levi-Civita tensor ε.

Although the Greek letter ω is frequently used to denote the volume form, this notation is not universal; the symbol ω often carries many other meanings in differential geometry (such as a symplectic form).

## 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.

### 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 ℝn such that the volume form on U is the pullback of dx1∧⋯∧dxn along φ.

As a corollary, if M and N are two manifolds, each with volume forms ωM,ωN, then for any points m∈M,n∈N, there are open neighborhoods U of m and V of n and a map f:U->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*ωN|V=ωM|U.

In one dimension, one can prove it thus: given a volume form ω on ℝ, define f(x):=∫0xω. Then the standard Lebesgue measure dx pulls back to ω under f: ω=f*dx. Concretely, ω=f′dx. In higher dimensions, given any point m∈M, it has a neighborhood locally homeomorphic to ℝ×ℝn−1, and one can apply the same procedure.

### 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 ℝn. On a disconnected manifold, the volume of each connected component is the invariant.

In symbols, if f:M->N is a diffeomorphism of manifolds that pulls back ωN to ωM, then μ(N)=∫NωN=∫f(M)ωN=∫Mf*ωN=∫MωM=μ(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 ℝ->S1), a volume form on a finite volume manifold pulls back to a volume form on an infinite volume manifold.

## See also

* Cylindrical coordinate system § Line and volume elements
* Measure (mathematics) - Generalization of mass, length, area and volume
* Poincaré metric provides a review of the volume form on the complex plane
* Spherical coordinate system § Integration and differentiation in spherical coordinates

## 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 .

* v
* t
* e

Manifolds (Glossary, List, Category)

Basic concepts|

* Topological manifold
* Atlas
* Differentiable/Smooth manifold
* Differential structure
* Smooth atlas
* Submanifold
* Riemannian manifold
* Smooth map
* Submersion
* Pushforward
* Tangent space
* Differential form
* Vector field

Main theorems (list)|

* Atiyah–Singer index
* Darboux's
* De Rham's
* Frobenius
* Generalized Stokes
* Hopf–Rinow
* Noether's
* Sard's
* Whitney embedding

Maps|

* Curve
* Diffeomorphism
* Local
* Geodesic
* Exponential map
* in Lie theory
* Foliation
* Immersion
* Integral curve
* Lie derivative
* Section
* Submersion

Types of
manifolds|

* Calabi–Yau
* Closed
* Collapsing
* Complete
* (Almost) Complex
* (Almost) Contact
* Einstein
* Fibered
* Finsler
* (Almost, Ricci-) Flat
* G-structure
* Hadamard
* Hermitian
* Hyperbolic
* (Hyper) Kähler
* Kenmotsu
* Lie group
* Lie algebra
* Manifold with boundary
* Nilmanifold
* Oriented
* Parallelizable
* Poisson
* Prime
* Quaternionic
* Hypercomplex
* (Pseudo-, Sub-) Riemannian
* Rizza
* Sasakian
* Stein
* (Almost) Symplectic
* Tame

Tensors|

| Vectors|

* Distribution
* Lie bracket
* Pushforward
* Tangent space
* bundle
* Torsion
* Vector field
* Vector flow

|

Covectors|

* Closed/Exact
* Covariant derivative
* Cotangent space
* bundle
* De Rham cohomology
* Differential form
* Complex
* Vector-valued
* One-form
* Exterior derivative
* Interior product
* Pullback
* Ricci curvature
* flow
* Riemann curvature tensor
* Tensor field
* density
* Volume form
* Wedge product

Bundles|

* Adjoint
* Affine
* Associated
* Cotangent
* Dual
* Fiber
* (Co-) Fibration
* Jet
* Lie algebra
* (Stable) Normal
* Principal
* Spinor
* Subbundle
* Tangent
* Tensor
* Vector

Connections|

* Affine
* Cartan
* Ehresmann
* Form
* Generalized
* Koszul
* Levi-Civita
* Principal
* Vector
* Parallel transport

Related|

* Classification of manifolds
* Gauge theory
* History
* Morse theory
* Moving frame
* Singularity theory

Generalizations|

* Banach
* Diffeology
* Diffiety
* Fréchet
* Hilbert
* K-theory
* Non-Hausdorff
* Orbifold
* Secondary calculus
* over commutative algebras
* Sheaf
* Stratifold
* Supermanifold
* Stratified space

Template:Riemannian geometry

* v
* t
* e

Tensors

Glossary of tensor theory

Scope|

| Mathematics|

* coordinate system
* multilinear algebra
* Euclidean geometry
* tensor algebra
* dyadic algebra
* differential geometry
* exterior calculus
* tensor calculus

|

* Physics
* Engineering

* continuum mechanics
* electromagnetism
* transport phenomena
* general relativity
* computer vision

Notation|

* index notation
* multi-index notation
* Einstein notation
* Ricci calculus
* Penrose graphical notation
* Voigt notation
* abstract index notation
* tetrad (index notation)
* Van der Waerden notation

Tensor
definitions|

* tensor (intrinsic definition)
* tensor field
* tensor density
* tensors in curvilinear coordinates
* mixed tensor
* antisymmetric tensor
* symmetric tensor
* tensor operator
* tensor bundle
* two-point tensor

Operations|

* tensor product
* exterior product
* tensor contraction
* transpose (2nd-order tensors)
* raising and lowering indices
* Hodge star operator
* covariant derivative
* exterior derivative
* exterior covariant derivative
* Lie derivative

Related
abstractions|

* dimension
* basis
* vector, vector space
* multivector
* covariance and contravariance of vectors
* linear transformation
* matrix
* spinor
* Cartan formalism
* differential form
* exterior form
* connection form
* geodesic
* manifold
* fiber bundle
* Levi-Civita connection
* affine connection

Notable tensors|

| Mathematics|

* Kronecker delta
* Levi-Civita symbol
* metric tensor
* nonmetricity tensor
* Christoffel symbols
* Ricci curvature
* Riemann curvature tensor
* Weyl tensor
* torsion tensor

|

Physics|

* moment of inertia
* angular momentum tensor
* spin tensor
* Cauchy stress tensor
* stress–energy tensor
* EM tensor
* gluon field strength tensor
* Einstein tensor
* metric tensor (GR)

Mathematicians|

* Leonhard Euler
* Carl Friedrich Gauss
* Augustin-Louis Cauchy
* Hermann Grassmann
* Gregorio Ricci-Curbastro
* Tullio Levi-Civita
* Jan Arnoldus Schouten
* Bernhard Riemann
* Elwin Bruno Christoffel
* Woldemar Voigt
* Élie Cartan
* Hermann Weyl
* Albert Einstein

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Volume form. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Volume_form&oldid=4154712"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template