Differential Forms

Differential forms are the antisymmetric objects that can be integrated over oriented manifolds, and the exterior derivative together with Stokes' theorem unifies the classical theorems of vector calculus into a single statement.

Definition

A differential k-form on a smooth manifold is a smooth field of alternating k-linear functions on the tangent spaces; forms can be added, multiplied by the wedge product, differentiated by the exterior derivative, and integrated over oriented k-dimensional submanifolds.

Scope

This topic develops the exterior algebra of differential forms, the wedge product, the exterior derivative, and pullback under smooth maps. It defines orientation and integration of top-degree forms, culminating in the generalized Stokes' theorem, and introduces de Rham cohomology as the obstruction to a closed form being exact. The interior product, Lie derivative via Cartan's magic formula, and applications to volume and flux complete the picture, connecting smooth geometry to topology.

Core questions

• Why is antisymmetry the right condition for objects that can be integrated independent of coordinates?
• How does the exterior derivative generalize gradient, curl, and divergence at once?
• How does Stokes' theorem unify the fundamental theorem of calculus, Green's, Gauss's, and the classical Stokes' theorem?
• What does de Rham cohomology measure about closed forms that are not exact?

Key concepts

• Exterior algebra and the wedge product
• Exterior derivative and pullback
• Orientation and integration of forms
• Generalized Stokes' theorem
• de Rham cohomology and closed versus exact forms

Clinical relevance

Differential forms are the natural language of electromagnetism (Maxwell's equations as form equations), Hamiltonian mechanics (symplectic forms), and gauge theory, and they connect differential geometry to algebraic topology through de Rham's theorem.

History

Building on Grassmann's exterior algebra, Cartan developed the calculus of differential forms in the early 20th century; de Rham's theorem (1931) linked their cohomology to the topology of the manifold, making forms central to both geometry and topology.

Key figures

• Élie Cartan
• Georges de Rham
• Hermann Grassmann

Seminal works

• lee2012
• tu2011

Frequently asked questions

Why must forms be antisymmetric?

Antisymmetry encodes orientation and makes integration over oriented manifolds coordinate-independent — the change-of-variables Jacobian appears exactly as the determinant that the wedge product produces.

What is the difference between a closed and an exact form?

A closed form has zero exterior derivative; an exact form is the exterior derivative of another form. Every exact form is closed, and de Rham cohomology measures how many closed forms fail to be exact.