The Exterior Derivative and Closed/Exact Forms

⚡ Key Takeaways

The exterior derivative $d$ is the unique antiderivation of degree $+1$ on differential forms satisfying $d^2 = 0$ and reducing to the ordinary differential on functions. A form $\omega$ is closed if $d\omega = 0$ and exact if $\omega = d\eta$ ; every exact form is closed, and the failure of the converse is measured by de Rham cohomology. This machinery unifies grad/curl/div, Stokes' theorem, and the topological obstructions of a manifold. Originated by É. Cartan and G. de Rham (1899–1931).

💡 The Core Insight

$d^2 = 0$ is the algebraic shadow of $\partial^2 = 0$ ("the boundary of a boundary is empty"). This single nilpotency turns differential forms into a cochain complex, and the cohomology of that complex — closed forms modulo exact forms — is a diffeomorphism invariant that sees the holes of the manifold. Calculus becomes topology.

DefinitionDifferential Forms and the Algebra

\Omega^\bullet(M)

Let $M$ be a smooth $n$ -manifold. A differential $k$ -form is a smooth section of the $k$ -th exterior power $\Lambda^k T^*M$ of the cotangent bundle. In local coordinates $(x^1,\dots,x^n)$ ,

1

\quad \omega = \sum_{i_1 < \cdots < i_k} \omega_{i_1\cdots i_k}\, dx^{i_1} \wedge \cdots \wedge dx^{i_k},

Derivation hint: a section of $\Lambda^k T^*M$ is built from the fiber basis $dx^{i_1}\wedge\cdots\wedge dx^{i_k}$ with smooth coefficient functions $\omega_{i_1\cdots i_k}$ ; antisymmetry of $\wedge$ lets us restrict to increasing index tuples. where $\omega_{i_1\cdots i_k} \in C^\infty(M)$ and $\wedge$ is the antisymmetric wedge product. The graded vector space $\Omega^\bullet(M) = \bigoplus_{k=0}^n \Omega^k(M)$ with $\wedge$ is the exterior algebra of forms; $\Omega^0(M) = C^\infty(M)$ .

DefinitionThe Exterior Derivative

The exterior derivative is the unique family of $\mathbb{R}$ -linear maps $d : \Omega^k(M) \to \Omega^{k+1}(M)$ such that: 1. On functions $f \in \Omega^0$ , $df$ is the ordinary differential. 2. (Graded Leibniz / antiderivation) for $\alpha \in \Omega^p$ ,

2

\quad d(\alpha \wedge \beta) = d\alpha \wedge \beta + (-1)^p\, \alpha \wedge d\beta,

Derivation hint: $d$ is a derivation of degree $+1$ ; the sign $(-1)^p$ comes from moving the degree-1 operator $d$ past the degree- $p$ factor $\alpha$ in the graded-commutative algebra. 3. (Nilpotency) $d \circ d = 0$ . In coordinates this forces the explicit formula

3

\quad d\omega = \sum_{i_1 < \cdots < i_k} \sum_{j=1}^{n} \frac{\partial \omega_{i_1\cdots i_k}}{\partial x^j}\, dx^j \wedge dx^{i_1} \wedge \cdots \wedge dx^{i_k}.

Derivation hint: apply property 1 to each coefficient $\omega_{i_1\cdots i_k}$ giving $d\omega_{i_1\cdots i_k} = \sum_j \partial_j \omega_{i_1\cdots i_k}\,dx^j$ , then use the Leibniz rule on the wedge while noting $d(dx^{i})=0$ .

TheoremExistence, Uniqueness, and Naturality

On any smooth manifold there exists a unique operator $d$ satisfying (1)–(3). Moreover $d$ is natural: for any smooth map $F : M \to N$ and any $\omega \in \Omega^k(N)$ ,

4

\quad F^*(d\omega) = d(F^*\omega),

Derivation hint: verify on functions ( $F^*df = d(F^*f)$ by the chain rule) and on $df^1\wedge\cdots$ ; both sides are antiderivations agreeing on generators, hence equal everywhere by induction on degree. i.e. $d$ commutes with pullback. There is also an invariant (coordinate-free) formula for a $k$ -form acting on vector fields $X_0,\dots,X_k$ :

5

\quad d\omega(X_0,\dots,X_k) = \sum_{i} (-1)^i X_i\,\omega(\dots\hat X_i\dots) + \sum_{i<j} (-1)^{i+j}\omega([X_i,X_j],\dots\hat X_i\dots\hat X_j\dots).

Derivation hint: this is the Koszul/Cartan formula; it follows from forcing the right side to be $C^\infty$ -multilinear and antisymmetric, with the Lie-bracket terms cancelling the failure of $X_i$ to be tensorial.

DefinitionClosed and Exact Forms; de Rham Cohomology

A form $\omega \in \Omega^k(M)$ is closed if $d\omega = 0$ , and exact if there exists $\eta \in \Omega^{k-1}(M)$ with $\omega = d\eta$ . Write

6

\quad Z^k(M) = \ker\big(d:\Omega^k\to\Omega^{k+1}\big), \qquad B^k(M) = \operatorname{im}\big(d:\Omega^{k-1}\to\Omega^k\big).

Derivation hint: closed = cocycles $Z^k$ , exact = coboundaries $B^k$ ; these are linear subspaces of $\Omega^k$ . Since $d^2 = 0$ gives $B^k \subseteq Z^k$ , the $k$ -th de Rham cohomology group is the quotient

7

\quad H^k_{\mathrm{dR}}(M) = Z^k(M)/B^k(M) = \frac{\{\text{closed }k\text{-forms}\}}{\{\text{exact }k\text{-forms}\}}.

Derivation hint: well-defined because every exact form is closed; elements are cohomology classes $[\omega]$ with $[\omega] = [\omega + d\eta]$ .

ProofThat

d^2 = 0

We verify the nilpotency from formula [3], the keystone identity.

Step 1. It suffices to check $d^2$ on a single monomial $\omega = f\, dx^{i_1}\wedge\cdots\wedge dx^{i_k}$ , since $d$ is linear.

Step 2. Compute the first derivative:

8

\quad d\omega = \sum_{j} \frac{\partial f}{\partial x^j}\, dx^j \wedge dx^{i_1}\wedge\cdots\wedge dx^{i_k}.

Derivation hint: only the coefficient $f$ carries position dependence; $d(dx^{i_\ell}) = 0$ .

Step 3. Apply $d$ again, differentiating the new coefficient $\partial f/\partial x^j$ :

9

\quad d^2\omega = \sum_{j}\sum_{m} \frac{\partial^2 f}{\partial x^m\,\partial x^j}\, dx^m \wedge dx^j \wedge dx^{i_1}\wedge\cdots\wedge dx^{i_k}.

Derivation hint: reapply [3]; the wedge $dx^m\wedge dx^j$ appears as the new prefactor.

Step 4. The coefficient $\partial^2 f/\partial x^m \partial x^j$ is symmetric in $(m,j)$ by equality of mixed partials (Clairaut/Schwarz), while $dx^m \wedge dx^j = -\,dx^j \wedge dx^m$ is antisymmetric. Summing a symmetric object against an antisymmetric one over all $(m,j)$ yields zero. Hence $d^2\omega = 0$ . $\blacksquare$

∎

ProofPoincaré Lemma: locally closed

\Rightarrow

exact

Claim. On a star-shaped open set $U \subseteq \mathbb{R}^n$ (e.g. a ball), every closed $k$ -form with $k\ge 1$ is exact.

Step 1. Suppose $U$ is star-shaped about the origin, so the homotopy $H(t,x) = tx$ maps $[0,1]\times U \to U$ . Define the homotopy operator $K:\Omega^k(U)\to\Omega^{k-1}(U)$ by integrating the pullback of $\omega$ over the $t$ -fiber:

10

\quad (K\omega)(x) = \int_0^1 \iota_{\partial_t}\,(H^*\omega)\,\Big|_{(t,x)}\; dt.

Derivation hint: $\iota_{\partial_t}$ is interior multiplication by the radial-time vector field; integrating out $t$ produces a $(k-1)$ -form on $U$ .

Step 2. The fundamental homotopy formula holds:

11

\quad dK\omega + K\,d\omega = H_1^*\omega - H_0^*\omega = \omega - 0,

Derivation hint: split $H^*\omega = dt\wedge a + b$ , apply Cartan's magic formula $\mathcal L_{\partial_t} = d\iota_{\partial_t}+\iota_{\partial_t}d$ , and integrate $\int_0^1 \partial_t(\cdots)\,dt$ by the fundamental theorem of calculus; $H_0$ collapses $U$ to a point so $H_0^*\omega = 0$ for $k\ge 1$ .

Step 3. If $\omega$ is closed, $d\omega = 0$ , so [11] reduces to $\omega = d(K\omega)$ . Thus $\omega$ is exact with explicit primitive $K\omega$ . $\blacksquare$

Consequence. Closedness is a local condition equivalent to exactness; nontrivial de Rham cohomology is therefore a global/topological phenomenon.

∎

mathematician · Élie Cartan | 1869–1951

Élie Cartan forged the modern calculus of exterior differential forms in Sur certaines expressions différentielles et le problème de Pfaff (1899) and his work on Pfaffian systems and moving frames. He recognized $d$ as a coordinate-free operation with $d^2=0$ and used it to recast integrability conditions of differential systems. His "exterior differential systems" and "method of equivalence" remain foundational; the magic formula $\mathcal{L}_X = d\iota_X + \iota_X d$ bears his name. His son Henri Cartan later systematized the algebraic theory in seminars that shaped sheaf cohomology.

🧠 Intuition

Think of a $k$ -form as a machine measuring infinitesimal $k$ -dimensional flux. A $1$ -form measures circulation along a curve; a $2$ -form measures flux through a surface; an $n$ -form measures signed volume. The exterior derivative answers: how does the form change as you enlarge the region? By Stokes' theorem,

\int_{\partial \Sigma} \omega = \int_\Sigma d\omega,

$d\omega$ is the infinitesimal net flux through the boundary per unit added cell. A closed form ( $d\omega = 0$ ) is a conservation law: net flux through any contractible closed boundary vanishes. An exact form ( $\omega = d\eta$ ) has a potential $\eta$ . The question "is this conserved quantity globally a derivative?" is exactly asking whether you can integrate it past the holes — a loop around a missing point may accumulate circulation even when $d\omega = 0$ locally. Cohomology counts precisely those non-fillable loops.

Figure

The de Rham complex: forms,

d

, and the closed/exact nested subspaces

ExampleThe angle form on the punctured plane

Given. On $M = \mathbb{R}^2 \setminus \{0\}$ consider the $1$ -form

12

\quad \omega = \frac{-y\,dx + x\,dy}{x^2 + y^2}.

Derivation hint: this is $d\theta$ where $\theta = \operatorname{atan2}(y,x)$ , but $\theta$ is not globally defined on $M$ .

Step 1 — Is it closed? Compute $d\omega$ . With $P = -y/(x^2+y^2)$ , $Q = x/(x^2+y^2)$ ,

\frac{\partial Q}{\partial x} = \frac{(x^2+y^2) - x(2x)}{(x^2+y^2)^2} = \frac{y^2 - x^2}{(x^2+y^2)^2} = \frac{\partial P}{\partial y}.

So $d\omega = (\partial_x Q - \partial_y P)\,dx\wedge dy = 0$ . $\omega$ is closed.

Step 2 — Is it exact? Integrate over the unit circle $C$ (counterclockwise), parametrized $x=\cos t, y=\sin t$ :

\oint_C \omega = \int_0^{2\pi} \big(-\sin t\,(-\sin t) + \cos t\,(\cos t)\big)\,dt = \int_0^{2\pi} 1\,dt = 2\pi.

If $\omega = df$ were exact, this loop integral would be $0$ (since $\oint df = 0$ around any closed loop). It is $2\pi \ne 0$ .

Boxed Answer.

\boxed{\;d\omega = 0\ \text{(closed)},\quad \oint_C \omega = 2\pi \ne 0 \ \Rightarrow\ \omega\ \text{not exact};\quad [\omega]\ \text{generates}\ H^1_{\mathrm{dR}}(M)\cong\mathbb R.\;}

This single class detects the hole at the origin.

ExampleMagnetic potential: exactness of a 2-form

Given. In $\mathbb{R}^3$ , take the magnetic-flux $2$ -form of a uniform field $\mathbf B = B_0\,\hat z$ :

13

\quad \beta = B_0\, dx \wedge dy \quad (\text{units: }\mathrm{T} = \mathrm{Wb/m^2}).

Derivation hint: $\beta$ is the flux form $\iota_{\mathbf B}\,(dx\wedge dy\wedge dz)$ associated to $\mathbf B$ .

Step 1 — Closed? $d\beta = \partial_z(B_0)\,dz\wedge dx\wedge dy = 0$ , since $B_0$ is constant. ( $d\beta = 0$ is exactly $\nabla\cdot\mathbf B = 0$ .)

Step 2 — Find a primitive (vector potential $1$ -form). Seek $\alpha$ with $d\alpha = \beta$ . Try $\alpha = B_0\, x\, dy$ :

d\alpha = B_0\, dx \wedge dy = \beta. \checkmark

Equivalently $\alpha = \tfrac{1}{2}B_0(x\,dy - y\,dx)$ corresponds to the symmetric gauge $\mathbf A = \tfrac12 \mathbf B\times\mathbf r$ .

Step 3 — Numerical flux check. Through a unit square $\Sigma = [0,1]^2$ in the $xy$ -plane with $B_0 = 2\,\mathrm{T}$ :

\Phi = \int_\Sigma \beta = \oint_{\partial\Sigma}\alpha = \int_0^1 B_0\cdot 1\, dy = B_0 = 2\,\mathrm{Wb}.

Boxed Answer.

\boxed{\;\beta = d\alpha,\quad \alpha = B_0\,x\,dy,\quad \Phi = 2\ \mathrm{Wb}.\;}

On contractible $\mathbb{R}^3$ , the closed $2$ -form $\beta$ is exact — a global vector potential exists.

⚠️ Common mistake

"Closed implies exact." False in general. The implication holds only locally (Poincaré lemma) or on manifolds with vanishing cohomology in the relevant degree (e.g. contractible / star-shaped domains). On $\mathbb{R}^2\setminus\{0\}$ the angle form is closed but not exact. The precise obstruction is $H^k_{\mathrm{dR}}(M) \ne 0$ .

⚠️ Common mistake

" $d$ depends on a metric." It does not. The exterior derivative is defined purely from the smooth structure — formula [5] uses only Lie brackets. The codifferential $\delta$ and the Hodge star $\star$ do require a metric; do not conflate $d$ with $\delta$ or with the Laplacian $\Delta = d\delta + \delta d$ .

⚠️ Common mistake

" $d$ is the same as the covariant or Lie derivative." No. $\mathcal L_X = d\iota_X + \iota_X d$ (Cartan's formula) relates them but they are distinct operators. Unlike a connection's $\nabla$ , $d$ requires no extra structure and is antisymmetrizing.

CounterexampleA closed but inexact form, made explicit

Take $M = S^1$ with angular coordinate $\theta$ and the $1$ -form $\omega = d\theta$ . Although suggestively written as " $d\theta$ ," the function $\theta$ is not globally single-valued on $S^1$ , so $\omega$ is not exact. It is closed (top-degree on a 1-manifold, or by direct check), and

\oint_{S^1} d\theta = 2\pi \ne 0.

Hence $[d\theta]$ is a nonzero generator of $H^1_{\mathrm{dR}}(S^1)\cong\mathbb{R}$ . This is the prototype showing closed $\not\Rightarrow$ exact whenever the underlying space has a nontrivial loop.

connection

The exterior derivative is the hub of differential geometry's calculus:

It unifies vector calculus: on $\mathbb{R}^3$ , $d$ on $0$ -, $1$ -, $2$ -forms reproduces Gradient Curl and Divergence respectively, and $d^2=0$ encodes $\nabla\times\nabla f = 0$ and $\nabla\cdot(\nabla\times\mathbf F) = 0$ .
It is the differential in Stokes Theorem on Manifolds, $\int_M d\omega = \int_{\partial M}\omega$ , the integral dual of $d$ .
Its cohomology equals topological invariants via the de Rham Theorem, $H^k_{\mathrm{dR}}(M)\cong H^k(M;\mathbb R)$ .
Cartan's formula links it to the Lie Derivative and Interior Product.
With a metric it pairs with the Hodge Star Operator to build the Hodge Laplacian and harmonic representatives.
It is a model case of the differential in Homological Algebra cochain complexes and Sheaf Cohomology.

🔬 Where this appears

⏳ History

- 1844 — Hermann Grassmann introduces the exterior (alternating) algebra in Die lineale Ausdehnungslehre, the algebraic seed of wedge products.

- 1889 — Henri Poincaré, in celestial mechanics and Analysis Situs (1895), uses integral invariants and anticipates the closed/exact dichotomy and the lemma that bears his name.

- 1899 — Élie Cartan introduces exterior differential forms and the operator

d

in his work on the Pfaff problem, with

d^2 = 0

.

- 1922 — Cartan publishes Leçons sur les invariants intégraux, consolidating the calculus of forms and integral invariants.

- 1931 — Georges de Rham proves de Rham's theorem (in his thesis), establishing

H^k_{\mathrm{dR}}(M)\cong H^k(M;\mathbb R)

— cohomology of forms equals topology.

- 1935 — Élie Cartan and others crystallize Cartan's magic formula

\mathcal L_X = d\iota_X + \iota_X d

.

- 1945–1950 — Henri Cartan and Jean-Pierre Serre recast the theory via sheaves; the de Rham complex becomes a resolution of the constant sheaf.

- 1946–1952 — William Hodge's theory of harmonic forms (refined by Kodaira, Weyl) selects canonical representatives in each cohomology class on compact Riemannian manifolds.

- 2006 — Arnold, Falk, Winther formalize Finite Element Exterior Calculus, importing

d^2=0

into numerical analysis.

open-problem

Several deep issues surround closed/exact forms:

Quantitative / metric cohomology. Given a closed form, how small (in $L^p$ or $C^0$ norm) can a primitive be chosen? This is the realm of Gromov's filling inequalities and the geometry of the cofilling; sharp constants are largely open.
Currents and singular forms. De Rham currents extend $d$ to distributional forms; the interplay of closedness with mass-minimizing currents underlies Plateau-type problems and remains subtle in high codimension (regularity of minimizers).
$\mathbb{Z}$ -coefficients vs $\mathbb{R}$ . De Rham cohomology only sees real cohomology; torsion phenomena (e.g. in $H^*(\mathbb{RP}^n;\mathbb Z)$ ) are invisible to forms, motivating differential cohomology and Cheeger–Simons characters.
Non-smooth and singular spaces. Extending exterior calculus to stratified spaces, orbifolds, and metric-measure spaces (intersection cohomology, Cheeger's $L^2$ -cohomology) raises open questions about when $\dim H^k$ remains a topological invariant.
Infinite dimensions. On Banach/Fréchet manifolds the Poincaré lemma and de Rham theorem can fail; characterizing when they hold is incompletely understood.

The Exterior Derivative and Closed/Exact Forms

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also