Differential form

A differential k-form on a smooth manifold is a smooth section of the k-th exterior power of the cotangent bundle. In local coordinates, a 1-form is expressed as a linear combination of differentials of the coordinate functions, such as α = f₁ dx₁ + ... + f_n dx_n. Forms of higher degree are built using the wedge product, which is antisymmetric: dx ∧ dy = −dy ∧ dx.¹

The exterior derivative d maps k-forms to (k+1)-forms and satisfies d² = 0, a property that encodes the fundamental theorem of calculus in higher dimensions. A form is closed if its exterior derivative is zero, and exact if it is the derivative of another form. The quotient of closed forms by exact forms defines the de Rham cohomology, a topological invariant of the manifold.²

Differential forms are the natural objects to integrate over oriented manifolds. A k-form can be integrated over a k-dimensional submanifold, and the integral is independent of the choice of coordinates, making forms essential for defining volume, flux, and work in physics.³

The generalized Stokes' theorem states that the integral of the exterior derivative of a form over a manifold equals the integral of the form over its boundary: ∫_∂M ω = ∫_M dω. This single formula unifies the fundamental theorem of calculus, Green's theorem, the divergence theorem, and the classical Kelvin–Stokes theorem. It also underlies the conservation laws in electromagnetism and fluid dynamics.⁴

In physics, differential forms provide a coordinate-free language for classical field theories. Maxwell's equations can be written compactly as dF = 0 and d∗F = J, where F is the electromagnetic field strength 2-form and ∗ is the Hodge star operator. In general relativity, the curvature of spacetime is described by the Riemann curvature tensor, which can be expressed using so(3,1)-valued 1-forms (the connection) and 2-forms (the curvature).

In symplectic geometry, the phase space of a mechanical system is a manifold equipped with a closed nondegenerate 2-form, the symplectic form. This structure gives rise to Hamiltonian dynamics and is fundamental to the mathematical formulation of classical mechanics and geometric quantization.⁵

Although Élie Cartan formalized differential forms in the early 20th century, the concept of integrating a differential expression dates back to the work of Georg Riemann and the theory of Abelian integrals. The term "differential form" was popularized by Cartan, but the exterior calculus was also developed independently by the physicist Theodor Kaluza in his attempts to unify gravity and electromagnetism.⁶

Differential forms have surprising applications in numerical analysis, where finite element exterior calculus uses them to design stable discretizations of partial differential equations. They also appear in computer graphics for mesh parameterization and in robotics for the analysis of nonholonomic constraints. A less-known fact: the exterior derivative is the unique linear operator that satisfies the Leibniz rule and squares to zero, making it a purely algebraic object independent of any metric.⁷

Exterior derivative

A linear operator that maps k-forms to (k+1)-forms, generalizing the gradient, curl, and divergence.

Wedge product

An antisymmetric product on differential forms, denoted ∧, that builds higher-degree forms.

Closed form

A differential form whose exterior derivative is zero.

Exact form

A differential form that is the exterior derivative of another form.

de Rham cohomology

The cohomology groups defined by closed forms modulo exact forms, a topological invariant.

Hodge star

An operator that maps k-forms to (n−k)-forms on an oriented Riemannian manifold.