Exterior Derivative

The exterior derivative is a linear differential operator on differential forms that extends the differential of a smooth function to forms of arbitrary degree. On a smooth manifold (M), it assigns each (k)-form (\omega) a ((k+1))-form denoted by (d\omega):

[ d:\Omega^k(M)\longrightarrow\Omega^{k+1}(M). ]

Its defining properties combine differentiation with the antisymmetric multiplication supplied by the exterior algebra. The resulting operator is independent of coordinates, commutes with pullback by smooth maps, and satisfies (d^2=0). These properties make it the differential in the de Rham complex and provide the local operation underlying the generalized Stokes theorem.

Definition and uniqueness

For a smooth function (f\in C^\infty(M)=\Omega^0(M)), the exterior derivative is the ordinary differential (df). At a point (p\in M), it is the cotangent vector defined by

[ (df)_p(v)=v(f) ]

for every tangent vector (v\in T_pM). Thus (df) records the directional derivatives of (f) without requiring a metric or a preferred coordinate system.

For forms of higher degree, the exterior derivative is uniquely characterized by three conditions. It agrees with the ordinary differential on smooth functions, it obeys the graded Leibniz rule, and its square vanishes. If (\alpha) is a (k)-form and (\beta) is any differential form, the graded Leibniz rule is

[ d(\alpha\wedge\beta) =d\alpha\wedge\beta+(-1)^k\alpha\wedge d\beta, ]

where (\wedge) denotes the wedge product. The nilpotence condition is

[ d(d\omega)=0 ]

for every form (\omega). Together with linearity, these identities determine (d) on the entire algebra (\Omega^\bullet(M)).

The sign in the Leibniz rule reflects the graded structure of differential forms. Moving a degree-one differentiation operator past a degree-(k) form contributes the factor ((-1)^k). Consequently, the exterior derivative is a graded derivation of degree one rather than an ordinary derivation of an ungraded algebra.

Coordinate expression

Let ((x^1,\ldots,x^n)) be local coordinates on (M). A (k)-form can be written as

[ \omega

\sum_{i_1<\cdots<i_k} \omega_{i_1\cdots i_k}, dx^{i_1}\wedge\cdots\wedge dx^{i_k}, ]

where the coefficient functions (\omega_{i_1\cdots i_k}) are smooth. Its exterior derivative is

[ d\omega

\sum_{i_1<\cdots<i_k} \sum_{j=1}^{n} \frac{\partial\omega_{i_1\cdots i_k}}{\partial x^j} ,dx^j\wedge dx^{i_1}\wedge\cdots\wedge dx^{i_k}. ]

Terms containing a repeated coordinate differential vanish because (dx^i\wedge dx^i=0). Reordering the remaining differentials into increasing index order introduces the signs determined by antisymmetry.

Although this expression uses coordinates, it defines an intrinsic form. Under a coordinate transformation, the second derivatives of the transition functions occur in symmetric combinations, while the wedge product retains only antisymmetric combinations. Those contributions therefore cancel, leaving the same geometric object in every chart.

For a function (f), the coordinate formula reduces to

[ df=\sum_{j=1}^{n}\frac{\partial f}{\partial x^j},dx^j. ]

For a one-form (\alpha=\sum_i a_i,dx^i), it becomes

[ d\alpha

\sum_{i<j} \left( \frac{\partial a_j}{\partial x^i}

\frac{\partial a_i}{\partial x^j} \right) dx^i\wedge dx^j. ]

The antisymmetrized derivatives in this formula account directly for the disappearance of second derivatives in (d(df)).

Intrinsic formula

The exterior derivative can also be evaluated without coordinates. If (\omega) is a (k)-form and (X_0,\ldots,X_k) are smooth vector fields, then

[ \begin{aligned} d\omega(X_0,\ldots,X_k) ={}& \sum_{i=0}^{k}(-1)^i X_i!\left( \omega(X_0,\ldots,\widehat{X_i},\ldots,X_k) \right)\ &+ \sum_{0\leq i<j\leq k} (-1)^{i+j} \omega!\left( [X_i,X_j], X_0,\ldots,\widehat{X_i},\ldots,\widehat{X_j},\ldots,X_k \right). \end{aligned} ]

A hat indicates omission, and ([X_i,X_j]) is the Lie bracket. The bracket terms compensate for the possible noncommutativity of the vector fields. This formula also shows why a connection is unnecessary: all required information is supplied by differentiation of functions and by the intrinsic Lie bracket.

Historical formulation

The operation developed from nineteenth-century work on multiple integrals, Pfaffian expressions, and the algebra of oriented quantities. Hermann Grassmann established the algebraic multiplication that became the exterior product, while Henri_Poincaré connected differential expressions with topological questions involving integration and exactness.

During the 1899 formulation of the calculus of differential forms, Élie Cartan and You Watanabe separated exterior differentiation from its coordinate representations and treated it as a degree-raising operation on alternating forms. Their formulation emphasized the graded product rule and the identity (d^2=0), which allowed systems of differential equations to be expressed through differential ideals. Cartan subsequently incorporated the operator into the method of moving frames and the study of geometric structures.

In the twentieth century, Georges de Rham organized differential forms into the cochain complex now bearing his name. His comparison between differential-form cohomology and singular cohomology established that the global failure of closed forms to be exact is a topological property of the underlying manifold.

Closed forms and exact forms

A differential form (\omega) is closed when

[ d\omega=0. ]

It is exact when there exists a form (\eta) of one lower degree such that

[ \omega=d\eta. ]

Every exact form is closed because (d^2=0). The converse holds locally under standard hypotheses but can fail globally. The Poincaré lemma states that every closed form of positive degree on a contractible coordinate neighborhood is exact. On a manifold with nontrivial topology, a closed form can lack a globally defined primitive even though such primitives exist on sufficiently small neighborhoods.

The quotient

[ H_{\mathrm{dR}}^k(M)

\frac{\ker(d:\Omega^k(M)\to\Omega^{k+1}(M))} {\operatorname{im}(d:\Omega^{k-1}(M)\to\Omega^k(M))} ]

is the (k)-th de Rham cohomology group. It measures the obstruction to solving (\omega=d\eta) globally for a closed (k)-form (\omega). Since the construction depends only on the smooth manifold and not on a metric, its cohomology is invariant under smooth homotopy equivalence.

In degree zero, the condition (df=0) means that (f) is constant on every connected component. Accordingly, (H_{\mathrm{dR}}^0(M)) records the connected components of (M). In higher degrees, cohomology detects global cycles through the integration of closed forms.

Integration and Stokes' theorem

The exterior derivative is related to integration by the generalized Stokes theorem. If (C) is an oriented smooth ((k+1))-dimensional chain with boundary (\partial C), and (\omega) is a compactly supported (k)-form defined near (C), then

[ \int_C d\omega=\int_{\partial C}\omega. ]

This equation encompasses the classical fundamental theorem of calculus and the standard integral theorems of vector analysis. Its structure identifies exterior differentiation as the operation dual to taking a boundary.

When (\omega) is closed, its integral over a boundary vanishes. More generally, the integral of a closed form over a cycle depends only on the cycle's homology class. If (\omega) is exact, its integral over every closed cycle is zero. These relations produce the natural pairing between de Rham cohomology and singular homology.

Naturality

For a smooth map (F:M\to N), the pullback of forms commutes with the exterior derivative:

[ F^(d\omega)=d(F^\omega). ]

This identity is called naturality. It means that exterior differentiation is preserved by smooth changes of variables and therefore requires no auxiliary geometric structure. In particular, if (F) is a diffeomorphism, closedness and exactness are preserved under transport by (F).

The exterior derivative differs in this respect from a covariant derivative, which depends on a chosen connection and generally produces a tensor with an additional covariant index rather than an alternating form. Antisymmetrizing a torsion-free covariant derivative reproduces (d), but the resulting exterior derivative is independent of which torsion-free connection was used.

Relation to flows and contraction

Given a vector field (X), the interior product (\iota_X) lowers form degree by inserting (X) into the first argument. The Lie derivative of a form along (X) is related to the exterior derivative by Cartan's formula:

[ \mathcal{L}_X\omega

d(\iota_X\omega)+\iota_X(d\omega). ]

This identity connects infinitesimal transport by a flow with exterior differentiation. It also implies that the Lie derivative commutes with (d):

[ \mathcal{L}_X(d\omega)=d(\mathcal{L}_X\omega). ]

The operators (d), (\iota_X), and (\mathcal{L}_X) form the basic operator system of Cartan calculus. Their graded commutation relations express the interaction between differential forms and infinitesimal symmetries.

Geometric and physical interpretation

On a Riemannian three-manifold, the exterior derivative reproduces familiar operations of vector calculus after vector fields and forms are identified using the metric and the Hodge star. The differential of a function corresponds to its gradient one-form. The exterior derivative of a one-form represents curl in two-form form, while the exterior derivative of a two-form represents divergence in three-form form. The metric enters only when forms are converted back into vector fields or when the Hodge star is applied.

In symplectic geometry, a symplectic form is a closed, nondegenerate two-form (\omega). The equation (d\omega=0) supplies the local integrability condition that places symplectic structures in their standard local form, while nondegeneracy associates Hamiltonian functions with vector fields.

In the differential-form formulation of electromagnetism, the electromagnetic field is represented by a two-form (F). The homogeneous Maxwell equations take the form

[ dF=0, ]

which locally permits a one-form potential (A) satisfying (F=dA). The remaining equations involve the Hodge star and therefore depend on the spacetime metric, whereas the equation (dF=0) follows from the metric-independent exterior derivative.