A topic in the Open Knowledge Graph — a free, open map of 15,290 topics and the order to learn them in.
The exterior derivative d is a linear operator that takes k-forms to (k+1)-forms, generalizing the gradient, curl, and divergence of vector calculus into a single unified operation. It satisfies d² = 0 (applying it twice always gives zero) and the Leibniz rule d(α ∧ β) = dα ∧ β + (-1)k α ∧ dβ. The condition d² = 0 is the geometric foundation for de Rham cohomology, connecting differential geometry to topology.
In vector calculus on ℝ³, there are three derivative operations: gradient (scalar → vector), curl (vector → vector), and divergence (vector → scalar). They satisfy two famous identities: curl(grad f) = 0 and div(curl F) = 0. The exterior derivative unifies all three into a single operation d that works in any dimension on any manifold — and the identity d² = 0 captures both classical identities simultaneously.
On an n-manifold with local coordinates, d acts on a k-form ω = ω_{i₁...iₖ} dxⁱ¹ ∧ ... ∧ dxⁱᵏ by the formula dω = (∂ω_{i₁...iₖ}/∂xʲ) dxʲ ∧ dxⁱ¹ ∧ ... ∧ dxⁱᵏ. This is a (k+1)-form. The key properties are: linearity, the graded Leibniz rule d(α ∧ β) = dα ∧ β + (-1)deg α α ∧ dβ, and nilpotency d² = 0. These three properties, together with the requirement that d agrees with the differential on functions, uniquely characterize d — so it is independent of the coordinate system used to compute it.
The identity d² = 0 creates a chain complex: Ω⁰(M) →d Ω¹(M) →d Ω²(M) →d ... →d Ωⁿ(M). Forms in the kernel of d (closed forms, dω = 0) contain those in the image of d (exact forms, ω = dα). The quotient Hᵏ(M) = ker d / im d is the de Rham cohomology — a topological invariant that measures the failure of closed forms to be exact. On ℝⁿ, every closed form is exact (the Poincaré lemma). On a torus or a punctured plane, there are closed forms that are not exact, reflecting the nontrivial topology.
The exterior derivative has a beautiful interaction with pullbacks: if F : M → N is a smooth map, then F*(dω) = d(F*ω). This naturality means that d commutes with smooth maps between manifolds, making it a truly geometric operation rather than a coordinate artifact. Combined with the Stokes theorem (∫_M dω = ∫_{∂M} ω), the exterior derivative connects local differential information to global integral information — the central theme of differential geometry and topology.