Exterior Derivative

The exterior derivative is the coordinate-independent operation that differentiates differential forms:

$$d:\Omega^k(M)\to\Omega^{k+1}(M).$$

It sends functions to differentials, one-forms to curl-like two-forms, two-forms to divergence-like three-forms, and so on. Its defining structural identity is

$$d^2=0.$$

This page explains the coordinate formula, why applying $d$ twice gives zero, and how the familiar gradient, curl, and divergence operations fit into the same pattern.

Helpful background. Use Differential Forms for wedge products and their antisymmetric signs.

Differentiating forms

On a smooth manifold $M$, a $k$-form is a smooth section of $\Lambda^kT^*M$. The exterior derivative raises degree by one:

$$\begin{array}{cccccc} \Omega^0(M)&\xrightarrow{\ d\ }&\Omega^1(M)&\xrightarrow{\ d\ }&\Omega^2(M)&\xrightarrow{\ d\ }\cdots\\ f&&df&&d(df)& \end{array}$$

For a scalar function $f$, the exterior derivative is the ordinary differential:

$$df = \frac{\partial f}{\partial x^i}dx^i.$$

For a 1-form

$$\alpha=\alpha_i dx^i,$$

the exterior derivative is a 2-form:

$$d\alpha = \frac{\partial \alpha_i}{\partial x^j} dx^j\wedge dx^i.$$

After collecting antisymmetric terms, this is equivalently

$$d\alpha = \sum_{i<j} \left( \frac{\partial\alpha_j}{\partial x^i} - \frac{\partial\alpha_i}{\partial x^j} \right) dx^i\wedge dx^j.$$

The wedge product is what makes this derivative coordinate-independent rather than merely a list of component derivatives.

General Coordinate Formula

Let

$$\omega = \frac{1}{k!} \omega_{i_1\cdots i_k}(x)\, dx^{i_1}\wedge\cdots\wedge dx^{i_k}$$

be a $k$-form. Then

$$d\omega = \frac{1}{k!} \frac{\partial\omega_{i_1\cdots i_k}}{\partial x^j} dx^j\wedge dx^{i_1}\wedge\cdots\wedge dx^{i_k}.$$

In words: differentiate the coefficient functions and wedge the new differential onto the front. Antisymmetry then handles the signs and repeated-coordinate cancellations.

This formula is local, but the operation $d$ is geometric. On chart overlaps, the coordinate formulas transform consistently.

Linearity and Product Rule

The exterior derivative is linear:

$$d(a\omega+b\eta) = a\,d\omega+b\,d\eta$$

for constants $a,b$ and forms of the same degree.

It also obeys a graded product rule. If $\omega$ is a $k$-form, then

$$d(\omega\wedge\eta) = d\omega\wedge\eta + (-1)^k\omega\wedge d\eta.$$

The sign is not decoration. It records the fact that $d$ has degree $1$ and must pass through a $k$-form before differentiating the second factor.

For a function $f$ and a form $\eta$, this reduces to

$$d(f\eta) = df\wedge\eta+f\,d\eta.$$

Why d² Is Zero

The identity

$$d^2=0$$

means that applying the exterior derivative twice always gives zero:

$$d(d\omega)=0.$$

For a function $f$, compute

$$d(df) = d \left( \frac{\partial f}{\partial x^i}dx^i \right).$$

Using the coordinate rule,

$$d(df) = \frac{\partial^2 f}{\partial x^j\partial x^i} dx^j\wedge dx^i.$$

The second derivative coefficient is symmetric in $i$ and $j$ for smooth $f$, while $dx^j\wedge dx^i$ is antisymmetric. The contraction of a symmetric coefficient with an antisymmetric basis vanishes, so

$$d(df)=0.$$

The same symmetry-versus-antisymmetry cancellation proves $d^2=0$ for all forms.

Gradient, Curl, and Divergence

In three-dimensional Euclidean vector calculus, the exterior derivative packages the sequence

$$\text{gradient} \quad\to\quad \text{curl} \quad\to\quad \text{divergence}$$

into one operation:

$$\Omega^0 \xrightarrow{\ d\ } \Omega^1 \xrightarrow{\ d\ } \Omega^2 \xrightarrow{\ d\ } \Omega^3.$$

The translation into vector fields uses the Euclidean metric and orientation. The exterior derivative itself does not require them.

Gradient as Exterior Derivative of a Function

For a scalar function $f(x,y,z)$,

$$df = \frac{\partial f}{\partial x}dx + \frac{\partial f}{\partial y}dy + \frac{\partial f}{\partial z}dz.$$

This is a 1-form. In Euclidean space, the metric identifies it with the gradient vector

$$\nabla f = \left( \frac{\partial f}{\partial x}, \frac{\partial f}{\partial y}, \frac{\partial f}{\partial z} \right).$$

Without a metric, $df$ still exists, but the gradient vector does not have a canonical meaning.

The identity $d^2=0$ becomes the familiar statement that the curl of a gradient vanishes:

$$d(df)=0 \quad \leftrightarrow \quad \nabla\times\nabla f=\mathbf0.$$

The vector statement is a metric-dependent translation of the form statement.

Curl as Exterior Derivative of a One-Form

Let

$$A = A_x\,dx+A_y\,dy+A_z\,dz.$$

Then

$$dA = \left( \frac{\partial A_y}{\partial x} - \frac{\partial A_x}{\partial y} \right) dx\wedge dy + \left( \frac{\partial A_z}{\partial y} - \frac{\partial A_y}{\partial z} \right) dy\wedge dz + \left( \frac{\partial A_x}{\partial z} - \frac{\partial A_z}{\partial x} \right) dz\wedge dx.$$

With the usual Euclidean identification of 2-forms and pseudovectors, this corresponds to

$$\nabla\times\mathbf A.$$

For electromagnetic notation, $A$ may be read as a vector-potential 1-form and $dA$ as a magnetic-flux 2-form.

The identity $d^2=0$ then gives

$$d(dA)=0,$$

which corresponds to the vector-calculus identity

$$\nabla\cdot(\nabla\times\mathbf A)=0.$$

Divergence as Exterior Derivative of a Two-Form

In oriented Euclidean three-space, a vector field $\mathbf B=(B_x,B_y,B_z)$ can be represented by the flux 2-form

$$\mathcal B = B_x\,dy\wedge dz + B_y\,dz\wedge dx + B_z\,dx\wedge dy.$$

Then

$$d\mathcal B = \left( \frac{\partial B_x}{\partial x} + \frac{\partial B_y}{\partial y} + \frac{\partial B_z}{\partial z} \right) dx\wedge dy\wedge dz.$$

Thus $d\mathcal B$ corresponds to the divergence of $\mathbf B$ times the oriented volume form:

$$d\mathcal B \quad \leftrightarrow \quad (\nabla\cdot\mathbf B)\,dV.$$

Again, the exterior derivative gives the invariant form statement. The vector-divergence interpretation uses Euclidean structure.

Berry Curvature

In a local gauge, the Berry connection is a 1-form on parameter space:

$$A_n = A_i^{(n)}(R)\,dR^i.$$

Its exterior derivative is the Berry curvature 2-form:

$$F_n=dA_n.$$

In coordinates,

$$F_n = \frac12 F_{ij}^{(n)}\,dR^i\wedge dR^j,$$

where

$$F_{ij}^{(n)} = \frac{\partial A_j^{(n)}}{\partial R^i} - \frac{\partial A_i^{(n)}}{\partial R^j}.$$

Under a gauge change of the local eigenvector,

$$A_n\mapsto A_n-d\chi.$$

The curvature is unchanged:

$$F_n \mapsto d(A_n-d\chi) = dA_n-d^2\chi = F_n.$$

The last equality is exactly $d^2=0$. The mathematical Berry-specific connection and curvature formulas are developed in Berry Connection as a Mathematical Object. The physical adiabatic phase and gauge convention are treated in Berry Phase. The broader connection language is the subject of Connections and Curvature.

Closed and Exact Forms

A form $\omega$ is closed if

$$d\omega=0.$$

It is exact if there is a form $\eta$ such that

$$\omega=d\eta.$$

Every exact form is closed because

$$d\omega=d(d\eta)=0.$$

The converse is locally true under suitable hypotheses but not globally true on every manifold. Global failures of “closed implies exact” are one way topology enters physics. For example, a locally flat connection can still have nontrivial holonomy around a noncontractible loop.

This is a warning, not the full topological theory. Homotopy and Winding explains the first loop-based examples, and Chern Numbers explains the first curvature-integral invariant.

Relation to Stokes’ Theorem

The exterior derivative is the operator that appears in the general Stokes theorem:

$$\int_{\partial\Sigma}\omega = \int_\Sigma d\omega.$$

This single formula contains the fundamental theorem of calculus, Green’s theorem, the Kelvin-Stokes curl theorem, and the divergence theorem as special cases. The integration and orientation details belong to Integration on Manifolds.

For this page, the key idea is simpler: $d$ turns the integrand on a boundary into the integrand on the region it bounds.

Common Mistakes

• Forgetting that $d$ raises form degree by one.
• Treating $dA$ as a vector curl before choosing a metric and orientation.
• Dropping the sign in the graded product rule.
• Thinking $d^2=0$ is a special property of scalar functions only.
• Assuming that every closed form is globally exact.
• Confusing the exterior derivative with an arbitrary componentwise derivative.
• Using vector-calculus identities in curvilinear coordinates without checking the underlying form and metric.
• Calling a Berry curvature gauge invariant without checking that the gauge transformation is the usual $A\mapsto A-d\chi$ form.

Exercises

1. For $f(x,y)=x^2y$, compute $df$ and verify that $d(df)=0$.

Solution

First,

$$df = 2xy\,dx+x^2\,dy.$$

Now apply $d$:

$$\begin{aligned} d(df) &= d(2xy)\wedge dx+d(x^2)\wedge dy\\ &= (2y\,dx+2x\,dy)\wedge dx + 2x\,dx\wedge dy\\ &= 2x\,dy\wedge dx+2x\,dx\wedge dy\\ &= 0. \end{aligned}$$

2. Let $\alpha=P(x,y)\,dx+Q(x,y)\,dy$. Compute $d\alpha$.

Solution

Use the product rule and $d(dx)=d(dy)=0$:

$$d\alpha = dP\wedge dx+dQ\wedge dy.$$

Since

$$dP=P_x\,dx+P_y\,dy, \qquad dQ=Q_x\,dx+Q_y\,dy,$$

one gets

$$d\alpha = P_y\,dy\wedge dx+Q_x\,dx\wedge dy = (Q_x-P_y)\,dx\wedge dy.$$

3. Apply the previous result to $\alpha=x\,dy-y\,dx$.

Solution

Here $P=-y$ and $Q=x$. Therefore

$$Q_x=1, \qquad P_y=-1.$$

Thus

$$d\alpha = (Q_x-P_y)\,dx\wedge dy = 2\,dx\wedge dy.$$

4. Let

$$\mathcal B = B_x\,dy\wedge dz + B_y\,dz\wedge dx + B_z\,dx\wedge dy.$$

Compute $d\mathcal B$.

Solution

Only the derivative in the missing coordinate survives in each term, because repeated differentials wedge to zero:

$$d\mathcal B = \frac{\partial B_x}{\partial x} dx\wedge dy\wedge dz + \frac{\partial B_y}{\partial y} dy\wedge dz\wedge dx + \frac{\partial B_z}{\partial z} dz\wedge dx\wedge dy.$$

The last two triple wedges are cyclic permutations of $dx\wedge dy\wedge dz$, so

$$d\mathcal B = \left( \frac{\partial B_x}{\partial x} + \frac{\partial B_y}{\partial y} + \frac{\partial B_z}{\partial z} \right) dx\wedge dy\wedge dz.$$

5. If $A\mapsto A-d\chi$, show that $F=dA$ is unchanged.

Solution

The transformed curvature is

$$F' = d(A-d\chi) = dA-d^2\chi.$$

Since $d^2=0$,

$$F'=dA=F.$$

6. Why does $d\omega=0$ not always imply $\omega=d\eta$ globally?

Solution

The equation $d\omega=0$ is local differential information. The equation $\omega=d\eta$ asks for a globally defined potential $\eta$. On manifolds with nontrivial topology, local potentials may fail to patch together globally. Thus every exact form is closed, but a closed form need not be globally exact.

References

• T. Frankel, The Geometry of Physics, 3rd ed., Cambridge University Press, 2011.
• J. M. Lee, Introduction to Smooth Manifolds, 2nd ed., Springer, 2013.
• L. W. Tu, An Introduction to Manifolds, 2nd ed., Springer, 2011.