In mathematics, differential forms provide a unified approach to define integrands over curves, surfaces, solids, and higherdimensional manifolds. The modern notion of differential forms was pioneered by Élie Cartan. It has many applications, especially in geometry, topology and physics.
For instance, the expression f(x) dx is an example of a 1form, and can be integrated over an interval [a, b] contained in the domain of f:
Similarly, the expression f(x, y, z) dx ∧ dy + g(x, y, z) dz ∧ dx + h(x, y, z) dy ∧ dz is a 2form that can be integrated over a surface S:
The symbol ∧ denotes the exterior product, sometimes called the wedge product, of two differential forms. Likewise, a 3form f(x, y, z) dx ∧ dy ∧ dz represents a volume element that can be integrated over a region of space. In general, a kform is an object that may be integrated over a kdimensional manifold, and is homogeneous of degree k in the coordinate differentials On an ndimensional manifold, the topdimensional form (nform) is called a volume form.
The differential forms form an alternating algebra. This implies that and This alternating property reflects the orientation of the domain of integration.
The exterior derivative is an operation on differential forms that, given a kform , produces a (k+1)form This operation extends the differential of a function (a function can be considered as a 0form, and its differential is ) This allows expressing the fundamental theorem of calculus, the divergence theorem, Green's theorem, and Stokes' theorem as special cases of a single general result, the generalized Stokes theorem.
Differential 1forms are naturally dual to vector fields on a differentiable manifold, and the pairing between vector fields and 1forms is extended to arbitrary differential forms by the interior product. The algebra of differential forms along with the exterior derivative defined on it is preserved by the pullback under smooth functions between two manifolds. This feature allows geometrically invariant information to be moved from one space to another via the pullback, provided that the information is expressed in terms of differential forms. As an example, the change of variables formula for integration becomes a simple statement that an integral is preserved under pullback.
Differential forms are part of the field of differential geometry, influenced by linear algebra. Although the notion of a differential is quite old, the initial attempt at an algebraic organization of differential forms is usually credited to Élie Cartan with reference to his 1899 paper.^{[1]} Some aspects of the exterior algebra of differential forms appears in Hermann Grassmann's 1844 work, Die Lineale Ausdehnungslehre, ein neuer Zweig der Mathematik (The Theory of Linear Extension, a New Branch of Mathematics).
Differential forms provide an approach to multivariable calculus that is independent of coordinates.
A differential kform can be integrated over an oriented manifold of dimension k. A differential 1form can be thought of as measuring an infinitesimal oriented length, or 1dimensional oriented density. A differential 2form can be thought of as measuring an infinitesimal oriented area, or 2dimensional oriented density. And so on.
Integration of differential forms is welldefined only on oriented manifolds. An example of a 1dimensional manifold is an interval [a, b], and intervals can be given an orientation: they are positively oriented if a < b, and negatively oriented otherwise. If a < b then the integral of the differential 1form f(x) dx over the interval [a, b] (with its natural positive orientation) is
which is the negative of the integral of the same differential form over the same interval, when equipped with the opposite orientation. That is:
This gives a geometrical context to the conventions for onedimensional integrals, that the sign changes when the orientation of the interval is reversed. A standard explanation of this in onevariable integration theory is that, when the limits of integration are in the opposite order (b < a), the increment dx is negative in the direction of integration.
More generally, an mform is an oriented density that can be integrated over an mdimensional oriented manifold. (For example, a 1form can be integrated over an oriented curve, a 2form can be integrated over an oriented surface, etc.) If M is an oriented mdimensional manifold, and M′ is the same manifold with opposite orientation and ω is an mform, then one has:
These conventions correspond to interpreting the integrand as a differential form, integrated over a chain. In measure theory, by contrast, one interprets the integrand as a function f with respect to a measure μ and integrates over a subset A, without any notion of orientation; one writes to indicate integration over a subset A. This is a minor distinction in one dimension, but becomes subtler on higherdimensional manifolds; see below for details.
Making the notion of an oriented density precise, and thus of a differential form, involves the exterior algebra. The differentials of a set of coordinates, dx^{1}, ..., dx^{n} can be used as a basis for all 1forms. Each of these represents a covector at each point on the manifold that may be thought of as measuring a small displacement in the corresponding coordinate direction. A general 1form is a linear combination of these differentials at every point on the manifold:
where the f_{k} = f_{k}(x^{1}, ... , x^{n}) are functions of all the coordinates. A differential 1form is integrated along an oriented curve as a line integral.
The expressions dx^{i} ∧ dx^{j}, where i < j can be used as a basis at every point on the manifold for all 2forms. This may be thought of as an infinitesimal oriented square parallel to the x^{i}–x^{j}plane. A general 2form is a linear combination of these at every point on the manifold: , and it is integrated just like a surface integral.
A fundamental operation defined on differential forms is the exterior product (the symbol is the wedge ∧). This is similar to the cross product from vector calculus, in that it is an alternating product. For instance,
because the square whose first side is dx^{1} and second side is dx^{2} is to be regarded as having the opposite orientation as the square whose first side is dx^{2} and whose second side is dx^{1}. This is why we only need to sum over expressions dx^{i} ∧ dx^{j}, with i < j; for example: a(dx^{i} ∧ dx^{j}) + b(dx^{j} ∧ dx^{i}) = (a − b) dx^{i} ∧ dx^{j}. The exterior product allows higherdegree differential forms to be built out of lowerdegree ones, in much the same way that the cross product in vector calculus allows one to compute the area vector of a parallelogram from vectors pointing up the two sides. Alternating also implies that dx^{i} ∧ dx^{i} = 0, in the same way that the cross product of parallel vectors, whose magnitude is the area of the parallelogram spanned by those vectors, is zero. In higher dimensions, dx^{i1} ∧ ⋅⋅⋅ ∧ dx^{im} = 0 if any two of the indices i_{1}, ..., i_{m} are equal, in the same way that the "volume" enclosed by a parallelotope whose edge vectors are linearly dependent is zero.
A common notation for the wedge product of elementary kforms is so called multiindex notation: in an ndimensional context, for , we define .^{[2]} Another useful notation is obtained by defining the set of all strictly increasing multiindices of length k, in a space of dimension n, denoted . Then locally (wherever the coordinates apply), spans the space of differential kforms in a manifold M of dimension n, when viewed as a module over the ring C^{∞}(M) of smooth functions on M. By calculating the size of combinatorially, the module of kforms on an ndimensional manifold, and in general space of kcovectors on an ndimensional vector space, is n choose k: . This also demonstrates that there are no nonzero differential forms of degree greater than the dimension of the underlying manifold.
In addition to the exterior product, there is also the exterior derivative operator d. The exterior derivative of a differential form is a generalization of the differential of a function, in the sense that the exterior derivative of f ∈ C^{∞}(M) = Ω^{0}(M) is exactly the differential of f. When generalized to higher forms, if ω = f dx^{I} is a simple kform, then its exterior derivative dω is a (k + 1)form defined by taking the differential of the coefficient functions:
with extension to general kforms through linearity: if , then its exterior derivative is
In R^{3}, with the Hodge star operator, the exterior derivative corresponds to gradient, curl, and divergence, although this correspondence, like the cross product, does not generalize to higher dimensions, and should be treated with some caution.
The exterior derivative itself applies in an arbitrary finite number of dimensions, and is a flexible and powerful tool with wide application in differential geometry, differential topology, and many areas in physics. Of note, although the above definition of the exterior derivative was defined with respect to local coordinates, it can be defined in an entirely coordinatefree manner, as an antiderivation of degree 1 on the exterior algebra of differential forms. The benefit of this more general approach is that it allows for a natural coordinatefree approach to integrate on manifolds. It also allows for a natural generalization of the fundamental theorem of calculus, called the (generalized) Stokes' theorem, which is a central result in the theory of integration on manifolds.
Let U be an open set in R^{n}. A differential 0form ("zeroform") is defined to be a smooth function f on U – the set of which is denoted C^{∞}(U). If v is any vector in R^{n}, then f has a directional derivative ∂_{v} f, which is another function on U whose value at a point p ∈ U is the rate of change (at p) of f in the v direction:
(This notion can be extended pointwise to the case that v is a vector field on U by evaluating v at the point p in the definition.)
In particular, if v = e_{j} is the jth coordinate vector then ∂_{v} f is the partial derivative of f with respect to the jth coordinate vector, i.e., ∂f / ∂x^{j}, where x^{1}, x^{2}, ..., x^{n} are the coordinate vectors in U. By their very definition, partial derivatives depend upon the choice of coordinates: if new coordinates y^{1}, y^{2}, ..., y^{n} are introduced, then
The first idea leading to differential forms is the observation that ∂_{v} f (p) is a linear function of v:
for any vectors v, w and any real number c. At each point p, this linear map from R^{n} to R is denoted df_{p} and called the derivative or differential of f at p. Thus df_{p}(v) = ∂_{v} f (p). Extended over the whole set, the object df can be viewed as a function that takes a vector field on U, and returns a realvalued function whose value at each point is the derivative along the vector field of the function f. Note that at each p, the differential df_{p} is not a real number, but a linear functional on tangent vectors, and a prototypical example of a differential 1form.
Since any vector v is a linear combination Σ v^{j}e_{j} of its components, df is uniquely determined by df_{p}(e_{j}) for each j and each p ∈ U, which are just the partial derivatives of f on U. Thus df provides a way of encoding the partial derivatives of f. It can be decoded by noticing that the coordinates x^{1}, x^{2}, ..., x^{n} are themselves functions on U, and so define differential 1forms dx^{1}, dx^{2}, ..., dx^{n}. Let f = x^{i}. Since ∂x^{i} / ∂x^{j} = δ_{ij}, the Kronecker delta function, it follows that

(*) 
The meaning of this expression is given by evaluating both sides at an arbitrary point p: on the right hand side, the sum is defined "pointwise", so that
Applying both sides to e_{j}, the result on each side is the jth partial derivative of f at p. Since p and j were arbitrary, this proves the formula (*).
More generally, for any smooth functions g_{i} and h_{i} on U, we define the differential 1form α = Σ_{i} g_{i} dh_{i} pointwise by
for each p ∈ U. Any differential 1form arises this way, and by using (*) it follows that any differential 1form α on U may be expressed in coordinates as
for some smooth functions f_{i} on U.
The second idea leading to differential forms arises from the following question: given a differential 1form α on U, when does there exist a function f on U such that α = df? The above expansion reduces this question to the search for a function f whose partial derivatives ∂f / ∂x^{i} are equal to n given functions f_{i}. For n > 1, such a function does not always exist: any smooth function f satisfies
so it will be impossible to find such an f unless
for all i and j.
The skewsymmetry of the left hand side in i and j suggests introducing an antisymmetric product ∧ on differential 1forms, the exterior product, so that these equations can be combined into a single condition
where ∧ is defined so that:
This is an example of a differential 2form. This 2form is called the exterior derivative dα of α = Σ^{n}
_{j=1} f_{j} dx^{j}. It is given by
To summarize: dα = 0 is a necessary condition for the existence of a function f with α = df.
Differential 0forms, 1forms, and 2forms are special cases of differential forms. For each k, there is a space of differential kforms, which can be expressed in terms of the coordinates as
for a collection of functions f_{i1i2⋅⋅⋅ik}. Antisymmetry, which was already present for 2forms, makes it possible to restrict the sum to those sets of indices for which i_{1} < i_{2} < ... < i_{k−1} < i_{k}.
Differential forms can be multiplied together using the exterior product, and for any differential kform α, there is a differential (k + 1)form dα called the exterior derivative of α.
Differential forms, the exterior product and the exterior derivative are independent of a choice of coordinates. Consequently, they may be defined on any smooth manifold M. One way to do this is cover M with coordinate charts and define a differential kform on M to be a family of differential kforms on each chart which agree on the overlaps. However, there are more intrinsic definitions which make the independence of coordinates manifest.
Let M be a smooth manifold. A smooth differential form of degree k is a smooth section of the kth exterior power of the cotangent bundle of M. The set of all differential kforms on a manifold M is a vector space, often denoted Ω^{k}(M).
The definition of a differential form may be restated as follows. At any point p ∈ M, a kform β defines an element
where T_{p}M is the tangent space to M at p and T_{p}^{*}M is its dual space. This space is naturally isomorphic^{[3]}^{[clarification needed]} to the fiber at p of the dual bundle of the kth exterior power of the tangent bundle of M. That is, β is also a linear functional , i.e. the dual of the kth exterior power is isomorphic to the kth exterior power of the dual:
By the universal property of exterior powers, this is equivalently an alternating multilinear map:
Consequently, a differential kform may be evaluated against any ktuple of tangent vectors to the same point p of M. For example, a differential 1form α assigns to each point p ∈ M a linear functional α_{p} on T_{p}M. In the presence of an inner product on T_{p}M (induced by a Riemannian metric on M), α_{p} may be represented as the inner product with a tangent vector X_{p}. Differential 1forms are sometimes called covariant vector fields, covector fields, or "dual vector fields", particularly within physics.
The exterior algebra may be embedded in the tensor algebra by means of the alternation map. The alternation map is defined as a mapping
For a tensor at a point p,
where S_{k} is the symmetric group on k elements. The alternation map is constant on the cosets of the ideal in the tensor algebra generated by the symmetric 2forms, and therefore descends to an embedding
This map exhibits β as a totally antisymmetric covariant tensor field of rank k. The differential forms on M are in onetoone correspondence with such tensor fields.
As well as the addition and multiplication by scalar operations which arise from the vector space structure, there are several other standard operations defined on differential forms. The most important operations are the exterior product of two differential forms, the exterior derivative of a single differential form, the interior product of a differential form and a vector field, the Lie derivative of a differential form with respect to a vector field and the covariant derivative of a differential form with respect to a vector field on a manifold with a defined connection.
The exterior product of a kform α and an ℓform β, denoted α ∧ β, is a (k + ℓ)form. At each point p of the manifold M, the forms α and β are elements of an exterior power of the cotangent space at p. When the exterior algebra is viewed as a quotient of the tensor algebra, the exterior product corresponds to the tensor product (modulo the equivalence relation defining the exterior algebra).
The antisymmetry inherent in the exterior algebra means that when α ∧ β is viewed as a multilinear functional, it is alternating. However, when the exterior algebra is embedded as a subspace of the tensor algebra by means of the alternation map, the tensor product α ⊗ β is not alternating. There is an explicit formula which describes the exterior product in this situation. The exterior product is
If the embedding of into is done via the map instead of , the exterior product is
This description is useful for explicit computations. For example, if k = ℓ = 1, then α ∧ β is the 2form whose value at a point p is the alternating bilinear form defined by
for v, w ∈ T_{p}M.
The exterior product is bilinear: If α, β, and γ are any differential forms, and if f is any smooth function, then
It is skew commutative (also known as graded commutative), meaning that it satisfies a variant of anticommutativity that depends on the degrees of the forms: if α is a kform and β is an ℓform, then
One also has the graded Leibniz rule:
On a Riemannian manifold, or more generally a pseudoRiemannian manifold, the metric defines a fibrewise isomorphism of the tangent and cotangent bundles. This makes it possible to convert vector fields to covector fields and vice versa. It also enables the definition of additional operations such as the Hodge star operator and the codifferential , which has degree −1 and is adjoint to the exterior differential d.
On a pseudoRiemannian manifold, 1forms can be identified with vector fields; vector fields have additional distinct algebraic structures, which are listed here for context and to avoid confusion.
Firstly, each (co)tangent space generates a Clifford algebra, where the product of a (co)vector with itself is given by the value of a quadratic form – in this case, the natural one induced by the metric. This algebra is distinct from the exterior algebra of differential forms, which can be viewed as a Clifford algebra where the quadratic form vanishes (since the exterior product of any vector with itself is zero). Clifford algebras are thus nonanticommutative ("quantum") deformations of the exterior algebra. They are studied in geometric algebra.
Another alternative is to consider vector fields as derivations. The (noncommutative) algebra of differential operators they generate is the Weyl algebra and is a noncommutative ("quantum") deformation of the symmetric algebra in the vector fields.
One important property of the exterior derivative is that d^{2} = 0. This means that the exterior derivative defines a cochain complex:
This complex is called the de Rham complex, and its cohomology is by definition the de Rham cohomology of M. By the Poincaré lemma, the de Rham complex is locally exact except at Ω^{0}(M). The kernel at Ω^{0}(M) is the space of locally constant functions on M. Therefore, the complex is a resolution of the constant sheaf R, which in turn implies a form of de Rham's theorem: de Rham cohomology computes the sheaf cohomology of R.
Suppose that f : M → N is smooth. The differential of f is a smooth map df : TM → TN between the tangent bundles of M and N. This map is also denoted f_{∗} and called the pushforward. For any point p ∈ M and any tangent vector v ∈ T_{p}M, there is a welldefined pushforward vector f_{∗}(v) in T_{f(p)}N. However, the same is not true of a vector field. If f is not injective, say because q ∈ N has two or more preimages, then the vector field may determine two or more distinct vectors in T_{q}N. If f is not surjective, then there will be a point q ∈ N at which f_{∗} does not determine any tangent vector at all. Since a vector field on N determines, by definition, a unique tangent vector at every point of N, the pushforward of a vector field does not always exist.
By contrast, it is always possible to pull back a differential form. A differential form on N may be viewed as a linear functional on each tangent space. Precomposing this functional with the differential df : TM → TN defines a linear functional on each tangent space of M and therefore a differential form on M. The existence of pullbacks is one of the key features of the theory of differential forms. It leads to the existence of pullback maps in other situations, such as pullback homomorphisms in de Rham cohomology.
Formally, let f : M → N be smooth, and let ω be a smooth kform on N. Then there is a differential form f^{∗}ω on M, called the pullback of ω, which captures the behavior of ω as seen relative to f. To define the pullback, fix a point p of M and tangent vectors v_{1}, ..., v_{k} to M at p. The pullback of ω is defined by the formula
There are several more abstract ways to view this definition. If ω is a 1form on N, then it may be viewed as a section of the cotangent bundle T^{∗}N of N. Using ^{∗} to denote a dual map, the dual to the differential of f is (df)^{∗} : T^{∗}N → T^{∗}M. The pullback of ω may be defined to be the composite
This is a section of the cotangent bundle of M and hence a differential 1form on M. In full generality, let denote the kth exterior power of the dual map to the differential. Then the pullback of a kform ω is the composite
Another abstract way to view the pullback comes from viewing a kform ω as a linear functional on tangent spaces. From this point of view, ω is a morphism of vector bundles
where N × R is the trivial rank one bundle on N. The composite map
defines a linear functional on each tangent space of M, and therefore it factors through the trivial bundle M × R. The vector bundle morphism defined in this way is f^{∗}ω.
Pullback respects all of the basic operations on forms. If ω and η are forms and c is a real number, then
The pullback of a form can also be written in coordinates. Assume that x^{1}, ..., x^{m} are coordinates on M, that y^{1}, ..., y^{n} are coordinates on N, and that these coordinate systems are related by the formulas y^{i} = f_{i}(x^{1}, ..., x^{m}) for all i. Locally on N, ω can be written as
where, for each choice of i_{1}, ..., i_{k}, ω_{i1⋅⋅⋅ik} is a realvalued function of y^{1}, ..., y^{n}. Using the linearity of pullback and its compatibility with exterior product, the pullback of ω has the formula
Each exterior derivative df_{i} can be expanded in terms of dx^{1}, ..., dx^{m}. The resulting kform can be written using Jacobian matrices:
Here, denotes the determinant of the matrix whose entries are , .
A differential kform can be integrated over an oriented kdimensional manifold. When the kform is defined on an ndimensional manifold with n > k, then the kform can be integrated over oriented kdimensional submanifolds. If k = 0, integration over oriented 0dimensional submanifolds is just the summation of the integrand evaluated at points, with according to the orientation of those points. Other values of k = 1, 2, 3, ... correspond to line integrals, surface integrals, volume integrals, and so on. There are several equivalent ways to formally define the integral of a differential form, all of which depend on reducing to the case of Euclidean space.
Let U be an open subset of R^{n}. Give R^{n} its standard orientation and U the restriction of that orientation. Every smooth nform ω on U has the form
for some smooth function f : R^{n} → R. Such a function has an integral in the usual Riemann or Lebesgue sense. This allows us to define the integral of ω to be the integral of f:
Fixing an orientation is necessary for this to be welldefined. The skewsymmetry of differential forms means that the integral of, say, dx^{1} ∧ dx^{2} must be the negative of the integral of dx^{2} ∧ dx^{1}. Riemann and Lebesgue integrals cannot see this dependence on the ordering of the coordinates, so they leave the sign of the integral undetermined. The orientation resolves this ambiguity.
Let M be an nmanifold and ω an nform on M. First, assume that there is a parametrization of M by an open subset of Euclidean space. That is, assume that there exists a diffeomorphism
where D ⊆ R^{n}. Give M the orientation induced by φ. Then (Rudin 1976) defines the integral of ω over M to be the integral of φ^{∗}ω over D. In coordinates, this has the following expression. Fix an embedding of M in R^{I} with coordinates x^{1}, ..., x^{I}. Then
Suppose that φ is defined by
Then the integral may be written in coordinates as
where
is the determinant of the Jacobian. The Jacobian exists because φ is differentiable.
In general, an nmanifold cannot be parametrized by an open subset of R^{n}. But such a parametrization is always possible locally, so it is possible to define integrals over arbitrary manifolds by defining them as sums of integrals over collections of local parametrizations. Moreover, it is also possible to define parametrizations of kdimensional subsets for k < n, and this makes it possible to define integrals of kforms. To make this precise, it is convenient to fix a standard domain D in R^{k}, usually a cube or a simplex. A kchain is a formal sum of smooth embeddings D → M. That is, it is a collection of smooth embeddings, each of which is assigned an integer multiplicity. Each smooth embedding determines a kdimensional submanifold of M. If the chain is
then the integral of a kform ω over c is defined to be the sum of the integrals over the terms of c:
This approach to defining integration does not assign a direct meaning to integration over the whole manifold M. However, it is still possible to assign such a meaning indirectly because every smooth manifold may be smoothly triangulated in an essentially unique way, and the integral over M may be defined to be the integral over the chain determined by a triangulation.
There is another approach, expounded in (Dieudonné 1972), which does directly assign a meaning to integration over M, but this approach requires fixing an orientation of M. The integral of an nform ω on an ndimensional manifold is defined by working in charts. Suppose first that ω is supported on a single positively oriented chart. On this chart, it may be pulled back to an nform on an open subset of R^{n}. Here, the form has a welldefined Riemann or Lebesgue integral as before. The change of variables formula and the assumption that the chart is positively oriented together ensure that the integral of ω is independent of the chosen chart. In the general case, use a partition of unity to write ω as a sum of nforms, each of which is supported in a single positively oriented chart, and define the integral of ω to be the sum of the integrals of each term in the partition of unity.
It is also possible to integrate kforms on oriented kdimensional submanifolds using this more intrinsic approach. The form is pulled back to the submanifold, where the integral is defined using charts as before. For example, given a path γ(t) : [0, 1] → R^{2}, integrating a 1form on the path is simply pulling back the form to a form f(t) dt on [0, 1], and this integral is the integral of the function f(t) on the interval.
Fubini's theorem states that the integral over a set that is a product may be computed as an iterated integral over the two factors in the product. This suggests that the integral of a differential form over a product ought to be computable as an iterated integral as well. The geometric flexibility of differential forms ensures that this is possible not just for products, but in more general situations as well. Under some hypotheses, it is possible to integrate along the fibers of a smooth map, and the analog of Fubini's theorem is the case where this map is the projection from a product to one of its factors.
Because integrating a differential form over a submanifold requires fixing an orientation, a prerequisite to integration along fibers is the existence of a welldefined orientation on those fibers. Let M and N be two orientable manifolds of pure dimensions m and n, respectively. Suppose that f : M → N is a surjective submersion. This implies that each fiber f^{−1}(y) is (m − n)dimensional and that, around each point of M, there is a chart on which f looks like the projection from a product onto one of its factors. Fix x ∈ M and set y = f(x). Suppose that
and that η_{y} does not vanish. Following (Dieudonné 1972), there is a unique
which may be thought of as the fibral part of ω_{x} with respect to η_{y}. More precisely, define j : f^{−1}(y) → M to be the inclusion. Then σ_{x} is defined by the property that
where
is any (m − n)covector for which
The form σ_{x} may also be notated ω_{x} / η_{y}.
Moreover, for fixed y, σ_{x} varies smoothly with respect to x. That is, suppose that
is a smooth section of the projection map; we say that ω is a smooth differential mform on M along f^{−1}(y). Then there is a smooth differential (m − n)form σ on f^{−1}(y) such that, at each x ∈ f^{−1}(y),
This form is denoted ω / η_{y}. The same construction works if ω is an mform in a neighborhood of the fiber, and the same notation is used. A consequence is that each fiber f^{−1}(y) is orientable. In particular, a choice of orientation forms on M and N defines an orientation of every fiber of f.
The analog of Fubini's theorem is as follows. As before, M and N are two orientable manifolds of pure dimensions m and n, and f : M → N is a surjective submersion. Fix orientations of M and N, and give each fiber of f the induced orientation. Let ω be an mform on M, and let η be an nform on N that is almost everywhere positive with respect to the orientation of N. Then, for almost every y ∈ N, the form ω / η_{y} is a welldefined integrable m − n form on f^{−1}(y). Moreover, there is an integrable nform on N defined by
Denote this form by
Then (Dieudonné 1972) proves the generalized Fubini formula
It is also possible to integrate forms of other degrees along the fibers of a submersion. Assume the same hypotheses as before, and let α be a compactly supported (m − n + k)form on M. Then there is a kform γ on N which is the result of integrating α along the fibers of f. The form α is defined by specifying, at each y ∈ N, how γ pairs with each kvector v at y, and the value of that pairing is an integral over f^{−1}(y) that depends only on α, v, and the orientations of M and N. More precisely, at each y ∈ N, there is an isomorphism
defined by the interior product
for any choice of volume form ζ in the orientation of N. If x ∈ f^{−1}(y), then a kvector v at y determines an (n − k)covector at x by pullback:
Each of these covectors has an exterior product against α, so there is an (m − n)form β_{v} on M along f^{−1}(y) defined by
This form depends on the orientation of N but not the choice of ζ. Then the kform γ is uniquely defined by the property
and γ is smooth (Dieudonné 1972). This form also denoted α^{♭} and called the integral of α along the fibers of f. Integration along fibers is important for the construction of Gysin maps in de Rham cohomology.
Integration along fibers satisfies the projection formula (Dieudonné 1972). If λ is any ℓform on N, then
The fundamental relationship between the exterior derivative and integration is given by the Stokes' theorem: If ω is an (n − 1)form with compact support on M and ∂M denotes the boundary of M with its induced orientation, then
A key consequence of this is that "the integral of a closed form over homologous chains is equal": If ω is a closed kform and M and N are kchains that are homologous (such that M − N is the boundary of a (k + 1)chain W), then , since the difference is the integral .
For example, if ω = df is the derivative of a potential function on the plane or R^{n}, then the integral of ω over a path from a to b does not depend on the choice of path (the integral is f(b) − f(a)), since different paths with given endpoints are homotopic, hence homologous (a weaker condition). This case is called the gradient theorem, and generalizes the fundamental theorem of calculus. This path independence is very useful in contour integration.
This theorem also underlies the duality between de Rham cohomology and the homology of chains.
On a general differentiable manifold (without additional structure), differential forms cannot be integrated over subsets of the manifold; this distinction is key to the distinction between differential forms, which are integrated over chains or oriented submanifolds, and measures, which are integrated over subsets. The simplest example is attempting to integrate the 1form dx over the interval [0, 1]. Assuming the usual distance (and thus measure) on the real line, this integral is either 1 or −1, depending on orientation: , while . By contrast, the integral of the measure dx on the interval is unambiguously 1 (i.e. the integral of the constant function 1 with respect to this measure is 1). Similarly, under a change of coordinates a differential nform changes by the Jacobian determinant J, while a measure changes by the absolute value of the Jacobian determinant, J, which further reflects the issue of orientation. For example, under the map x ↦ −x on the line, the differential form dx pulls back to −dx; orientation has reversed; while the Lebesgue measure, which here we denote dx, pulls back to dx; it does not change.
In the presence of the additional data of an orientation, it is possible to integrate nforms (topdimensional forms) over the entire manifold or over compact subsets; integration over the entire manifold corresponds to integrating the form over the fundamental class of the manifold, [M]. Formally, in the presence of an orientation, one may identify nforms with densities on a manifold; densities in turn define a measure, and thus can be integrated (Folland 1999, Section 11.4, pp. 361–362).
On an orientable but not oriented manifold, there are two choices of orientation; either choice allows one to integrate nforms over compact subsets, with the two choices differing by a sign. On nonorientable manifold, nforms and densities cannot be identified —notably, any topdimensional form must vanish somewhere (there are no volume forms on nonorientable manifolds), but there are nowherevanishing densities— thus while one can integrate densities over compact subsets, one cannot integrate nforms. One can instead identify densities with topdimensional pseudoforms.
Even in the presence of an orientation, there is in general no meaningful way to integrate kforms over subsets for k < n because there is no consistent way to use the ambient orientation to orient kdimensional subsets. Geometrically, a kdimensional subset can be turned around in place, yielding the same subset with the opposite orientation; for example, the horizontal axis in a plane can be rotated by 180 degrees. Compare the Gram determinant of a set of k vectors in an ndimensional space, which, unlike the determinant of n vectors, is always positive, corresponding to a squared number. An orientation of a ksubmanifold is therefore extra data not derivable from the ambient manifold.
On a Riemannian manifold, one may define a kdimensional Hausdorff measure for any k (integer or real), which may be integrated over kdimensional subsets of the manifold. A function times this Hausdorff measure can then be integrated over kdimensional subsets, providing a measuretheoretic analog to integration of kforms. The ndimensional Hausdorff measure yields a density, as above.
The differential form analog of a distribution or generalized function is called a current. The space of kcurrents on M is the dual space to an appropriate space of differential kforms. Currents play the role of generalized domains of integration, similar to but even more flexible than chains.
Differential forms arise in some important physical contexts. For example, in Maxwell's theory of electromagnetism, the Faraday 2form, or electromagnetic field strength, is
where the f_{ab} are formed from the electromagnetic fields and ; e.g., f_{12} = E_{z}/c, f_{23} = −B_{z}, or equivalent definitions.
This form is a special case of the curvature form on the U(1) principal bundle on which both electromagnetism and general gauge theories may be described. The connection form for the principal bundle is the vector potential, typically denoted by A, when represented in some gauge. One then has
The current 3form is
where j^{a} are the four components of the current density. (Here it is a matter of convention to write F_{ab} instead of f_{ab}, i.e. to use capital letters, and to write J^{a} instead of j^{a}. However, the vector rsp. tensor components and the abovementioned forms have different physical dimensions. Moreover, by decision of an international commission of the International Union of Pure and Applied Physics, the magnetic polarization vector has been called for several decades, and by some publishers J; i.e., the same name is used for different quantities.)
Using the abovementioned definitions, Maxwell's equations can be written very compactly in geometrized units as
where denotes the Hodge star operator. Similar considerations describe the geometry of gauge theories in general.
The 2form , which is dual to the Faraday form, is also called Maxwell 2form.
Electromagnetism is an example of a U(1) gauge theory. Here the Lie group is U(1), the onedimensional unitary group, which is in particular abelian. There are gauge theories, such as Yang–Mills theory, in which the Lie group is not abelian. In that case, one gets relations which are similar to those described here. The analog of the field F in such theories is the curvature form of the connection, which is represented in a gauge by a Lie algebravalued oneform A. The Yang–Mills field F is then defined by
In the abelian case, such as electromagnetism, A ∧ A = 0, but this does not hold in general. Likewise the field equations are modified by additional terms involving exterior products of A and F, owing to the structure equations of the gauge group.
Numerous minimality results for complex analytic manifolds are based on the Wirtinger inequality for 2forms. A succinct proof may be found in Herbert Federer's classic text Geometric Measure Theory. The Wirtinger inequality is also a key ingredient in Gromov's inequality for complex projective space in systolic geometry.