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.

What the Exterior Derivative Does

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

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

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 owns the first loop-based examples, and Chern Numbers owns 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.

Cross-Links

• Manifolds, First Look
• Tangent and Cotangent Spaces
• Differential Forms
• Integration on Manifolds
• Connections and Curvature
• Berry Connection as a Mathematical Object
• Holonomy
• Homotopy and Winding
• Chern Numbers
• Index Notation and Summation Conventions
• Inner Products
• Partial Differential Equations
• Berry Phase

References

• B. Schutz, Geometrical Methods of Mathematical Physics, Cambridge University Press, 1980.
• 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.
• M. Nakahara, Geometry, Topology and Physics, 2nd ed., CRC Press, 2003.
• M. Spivak, Calculus on Manifolds, Addison-Wesley, 1965.
• A. Shapere and F. Wilczek, eds., Geometric Phases in Physics, World Scientific, 1989.

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:

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

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.