Exterior derivative

See Wikipedia
See differential forms.
It is an antiderivation of degree 1 on the exterior algebra.

  1. For a 0-form df is the differential of f
  2. d(df)=0 for 0-forms (for the other differential forms can be deduced)
  3. d(αβ)=dαβ+(1)p(αdβ) where α is a p-form.

Interpretation

See also: visualization of k-forms.

Exterior derivative must be called the negative accumulation meter or production meter.

Case 1: 0-Forms

For a 0-form f (a scalar function), f associate values to points, and df represents the net production of f along a direction:
Example (1D water pipe with a source):
Consider a pipe (R) with water flowing rightward and a point source at x=3 injecting 4 units of water per second.

where δ(x3) is a Dirac-like concentration at x=3.

24df=f(4)f(2)=40=4,

confirming the source’s contribution.

General Intuition:

Case 2: 1-forms

In the case of a 1-form ω, which associate values to line elements (vectors), exterior derivative tell us how of "something" is being produced in a bivector uv (a "2-direction"). If we restrict ω to this area element (with a kind of pullback), the 1-form can be understood like a kind of flow (a 1-form in a 2-dimensional space can be seen as line families at every point, which can be joined together if the 1-form is closed). In this context, dω measures how much of this flow is being produced in uv. This is the idea of the infinitesimal Stokes' theorem

dw(u,v)=u(ω(v))v(ω(u))ω([u,u]).

In a sense, the value of dω in uv is like measuring how the 1-form varies "along the bivector" uv.

Case 3: 2-forms and more

In the case of 2-forms, for example in R3, these can be visualized as "packages of 1-dimensional fibers" in a neighborhood of each point (in Rn, they look like packages of (n2)-dimensional fibers). The value a 2-form assigns to each bivector represents the density of intersections between those fibers and the bivector.

If we apply the exterior derivative of the 2-form to a volume element (a 3-vector), we get something completely analogous to what was described above: pulling back to that "infinitesimally small 3-dimensional space," the 2-form still appears as a kind of one-dimensional flow, and its differential tells us how much is being generated inside (what goes out minus what came in).

If instead of working in R3, we were in Rn, the pullback of the 2-form to the 3-vector still appears as a one-dimensional flow—although globally in Rn, it may not be.


Why d2=0?

From here it shouldn't be difficult understand why

d2=0.

For 0-forms it is easy: if ω=df, the 2-form dω is computed evaluating ω in sides of the parallelogram uv, which in turn is evaluated in the "vertices". But the latter appear twice in the final computation, but with different sign.
For a 1-form is the same, but a bit more difficult to visualize. In this case d(dω) is evaluated in a parallelepiped, and the computation rests, finally, at evaluation on the edges, which appear twice with opposite sign.

The interpretation of dω as production (negative accumulation) of a flow in a k-vector makes Stokes' theorem trivial. By the way, this interpretation is in some sense given in @needham2021visual page 409.