Cartan's exterior derivative

Cartan's exterior derivative. In the mathematical field of differential geometry, the exterior derivative is a fundamental operator defined on differential forms. It extends the concept of the total derivative of a function to differential forms of arbitrary degree, providing a coordinate-free generalization of divergence, gradient, and curl. The operator is a key tool in Élie Cartan's approach to exterior calculus and is essential for formulating integral theorems like Stokes' theorem and defining De Rham cohomology.

Definition and basic properties

The exterior derivative is an R-linear map that takes a k-form to a (k+1)-form. For a smooth function, or 0-form, it coincides with the total derivative, producing a 1-form. Its action is defined uniquely by requiring it to be an antiderivation on the exterior algebra of forms, to satisfy \(d^2 = 0\), and to agree with the differential on 0-forms. In local coordinates on a smooth manifold like \(\mathbb{R}^n\), the derivative of a k-form \(\omega\) is computed using the partial derivative and the wedge product. The property \(d \circ d = 0\) is fundamental, implying the image of \(d\) is contained in the kernel of the next \(d\), a fact central to homological algebra. This property also means that every exact form is automatically a closed form, though the converse is generally false and measured by De Rham cohomology.

Relation to other differential operators

On Euclidean space \(\mathbb{R}^3\), the exterior derivative unifies the classical vector calculus operators gradient, curl, and divergence. Applying it to a 0-form (function) yields its gradient, applying it to a 1-form corresponds to the curl of its associated vector field, and applying it to a 2-form corresponds to the divergence. This unification is a cornerstone of geometric calculus. The operator also relates intimately to the Lie derivative via Cartan's magic formula, which states that the Lie derivative of a form along a vector field \(X\) equals a composition involving the exterior derivative and the interior product. Furthermore, it commutes with the pullback (differential geometry) under smooth maps, a property critical for its naturality and use in Stokes' theorem.

Generalization to vector-valued forms

The concept extends naturally to vector-valued differential forms, which are forms taking values in a vector space or vector bundle. This is essential in gauge theory and the study of connection (mathematics) on principal bundles and vector bundles. For a form with values in a Lie algebra \(\mathfrak{g}\), such as a connection form, the exterior derivative is combined with a Lie bracket to define the exterior covariant derivative. This generalization is fundamental in constructing the curvature form from a connection (mathematics), a key object in the Yang–Mills equations. The structural equation of Élie Cartan expresses curvature using this generalized derivative.

Applications in differential geometry

The exterior derivative is indispensable in modern differential geometry and mathematical physics. It is the central operator in the De Rham complex, whose cohomology, De Rham cohomology, is a topological invariant of smooth manifolds by De Rham's theorem. The operator is used to define symplectic forms in symplectic geometry, where the condition \(d\omega = 0\) signifies closedness. In Riemannian geometry, it appears in the definition of the codifferential and the Laplace–Beltrami operator. Its role in Stokes' theorem, which generalizes the fundamental theorem of calculus, Green's theorem, and the divergence theorem, provides a deep link between local differentiation and global integration on manifolds with boundary (topology).

Historical context and motivation

The operator was developed in the early 20th century by Élie Cartan as part of his revolutionary work on exterior differential systems and moving frames. Cartan's methods provided a powerful alternative to the coordinate-heavy tensor calculus of Gregorio Ricci-Curbastro and Tullio Levi-Civita. His work built upon earlier ideas from Hermann Grassmann on exterior algebra and from Henri Poincaré, who had noted the importance of the property \(d^2 = 0\). The exterior derivative became a cornerstone of the global, coordinate-free approach to geometry championed by mathematicians like Shiing-Shen Chern and Michael Atiyah. Its elegance and utility cemented its role in fields ranging from general relativity to topological quantum field theory. Category:Differential geometry Category:Mathematical analysis Category:Exterior calculus