exterior derivative

Differentiation in ordinary calculus turns a function into a thing you can integrate over a slightly bigger object — you differentiate height to get slope, which you integrate back along a path. The exterior derivative d is the single operator that does this for forms of every degree at once. It takes a k-form and produces a (k+1)-form, raising the dimension of what you can integrate by one, in a way that exactly matches integrating over a region versus over its boundary.

On a 0-form (a function f) the exterior derivative gives the familiar differential df = f_x dx + f_y dy + f_z dz — the gradient as a 1-form. On a higher form you apply d to each coefficient and wedge in the new dx: for a 1-form omega = P dx + Q dy you get d omega = dP^dx + dQ^dy, which after expanding and using antisymmetry collapses to (Q_x - P_y) dx^dy — and that coefficient Q_x - P_y is exactly the curl-like quantity in Green's theorem. The operator d is linear, obeys a graded product rule d(alpha^beta) = d alpha^beta + (-1)^p alpha^d beta, and is built so that it does not depend on your choice of coordinates: the same form has the same exterior derivative whether you compute in Cartesian, polar, or any other chart.

The exterior derivative is the unifier. Applied to forms in R^3 it reproduces, in turn, the gradient (d of a 0-form), the curl (d of a 1-form), and the divergence (d of a 2-form) — three operators of vector calculus revealed as one. Its deepest property, d squared equals zero, encodes the identities curl of grad = 0 and div of curl = 0 in a single stroke, and it is the gateway to the generalized Stokes' theorem and to de Rham cohomology.