Exterior Derivative

---

tags: - colorclass/differential geometry ---see also - Hamiltonian Mechanics

The exterior derivative is a fundamental operation in differential geometry, playing a central role in the calculus on manifolds, particularly in the theory of differential forms. It generalizes the concepts of gradient, curl, and divergence from vector calculus to higher-dimensional spaces and forms, offering a unified and coordinate-independent way to express differentiation.

Definition and Properties

For a differential form $\alpha$ of degree $k$ (a $k$-form) on a smooth manifold $M$, its exterior derivative, denoted $d\alpha$, is a $(k+1)$-form defined such that:

- Linearity: $d(\alpha +\beta )=d\alpha +d\beta$ for any two $k$-forms $\alpha$ and $\beta$. - Leibniz Rule: $d(\alpha \wedge \beta )=d\alpha \wedge \beta +(-1{)}^k\alpha \wedge d\beta$ for a $k$-form $\alpha$ and any form $\beta$. - Nilpotency: Applying the exterior derivative twice yields zero, $d(d\alpha )=0$ for any form $\alpha$.

Intuitive Examples

- For a $0$-form (scalar function) $f:M\to \mathbb{R}$, $df$ is its differential, which generalizes the gradient in ${\mathbb{R}}^n$. - For a $1$-form $\alpha$ in ${\mathbb{R}}^3$, $d\alpha$ generalizes the concept of curl. - The Divergence Theorem relates to the exterior derivative by considering the exterior derivative of an $(n-1)$-form on an $n$-dimensional manifold, integrating it over a volume, and relating it to the integral of the form over the boundary of the volume.

Role in Mathematics and Physics

- De Rham Cohomology: The exterior derivative is central to de Rham cohomology, a powerful tool in algebraic topology that uses differential forms to classify the topological features of manifolds. The cohomology groups measure the failure of closed forms (forms $\alpha$ for which $d\alpha =0$) to be exact (forms that are the exterior derivative of another form).

- Generalized Stokes’ Theorem: The exterior derivative underpins the generalized Stokes’ theorem, which relates the integral of a form over the boundary of a manifold to the integral of its exterior derivative over the manifold itself. This theorem encompasses classical results like the fundamental theorem of calculus, Green’s theorem, Stokes’ theorem, and Gauss’s divergence theorem as special cases.

- Symplectic Geometry and Hamiltonian Dynamics: In symplectic geometry, the exterior derivative is used to define the symplectic form, a closed non-degenerate $2$-form that provides the geometric framework for classical mechanics. The Hamiltonian vector fields and Hamilton’s equations can be elegantly expressed using the exterior derivative.

- Electromagnetism and Field Theory: In physics, especially in electromagnetism and general relativity, the exterior derivative allows for a coordinate-free formulation of physical laws. For example, Maxwell’s equations take a particularly simple and elegant form when expressed in terms of differential forms and their exterior derivatives.

The exterior derivative’s properties, such as linearity, the Leibniz rule, and nilpotency, not only facilitate the manipulation and analysis of differential forms but also highlight deep mathematical structures underlying geometry, topology, and physics. Its universality and power stem from its ability to capture the essence of differentiation in a geometrically and topologically meaningful way, transcending the limitations of coordinate systems.