Differential Forms, Exterior Derivative, and de Rham Cohomology

⚡ Key Takeaways

Differential forms are antisymmetric multilinear objects that can be integrated over oriented manifolds; the exterior derivative $d$ is a unique antiderivation with $d^2=0$ generalizing grad/curl/div; de Rham cohomology $H^k_{dR}(M)=\ker d/\operatorname{im} d$ measures the failure of closed forms to be exact and equals the topological (real singular) cohomology of $M$ . Applies across differential geometry, topology, gauge theory, and mathematical physics. Foundations laid by Poincaré, Cartan, and Georges de Rham (1931).

💡 The Core Insight

Integration is naturally a pairing between geometry (chains) and analysis (forms). Stokes' theorem $\int_M d\omega = \int_{\partial M}\omega$ makes $d$ the adjoint of the boundary operator $\partial$ . Consequently the algebraic invariant $\ker\partial/\operatorname{im}\partial$ (homology) and the algebraic invariant $\ker d/\operatorname{im} d$ (cohomology) are dual: calculus knows topology.

DefinitionDifferential Forms

Let $M$ be a smooth $n$ -manifold. The bundle of alternating $k$ -covectors is $\Lambda^k T^*M$ , with fiber $\Lambda^k T_p^*M$ the space of alternating $k$ -linear maps $(T_pM)^k\to\mathbb{R}$ . A differential $k$ -form is a smooth section $\omega\in\Omega^k(M)=\Gamma(\Lambda^k T^*M)$ . 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},

where $\omega_{i_1\cdots i_k}\in C^\infty(U)$ and $\wedge$ denotes the antisymmetric wedge product. Here $\Omega^0(M)=C^\infty(M)$ , and $\Omega^k(M)=0$ for $k>n$ .

DefinitionWedge Product

For $\alpha\in\Omega^k$ , $\beta\in\Omega^\ell$ , the wedge product $\alpha\wedge\beta\in\Omega^{k+\ell}$ is the bilinear, associative operation determined on covectors by full antisymmetrization:

2

\quad (\alpha\wedge\beta)(v_1,\dots,v_{k+\ell}) = \frac{1}{k!\,\ell!}\sum_{\sigma\in S_{k+\ell}} \operatorname{sgn}(\sigma)\,\alpha(v_{\sigma(1)},\dots,v_{\sigma(k)})\,\beta(v_{\sigma(k+1)},\dots,v_{\sigma(k+\ell)}).

It is graded-commutative: $\alpha\wedge\beta = (-1)^{k\ell}\,\beta\wedge\alpha$ .

DefinitionExterior Derivative

The exterior derivative is the unique $\mathbb{R}$ -linear map $d:\Omega^k(M)\to\Omega^{k+1}(M)$ satisfying: (i) on functions $f\in\Omega^0$ , $df$ is the ordinary differential; (ii) graded Leibniz: $d(\alpha\wedge\beta)=d\alpha\wedge\beta + (-1)^{\deg\alpha}\,\alpha\wedge d\beta$ ; (iii) nilpotency: $d\circ d=0$ . In coordinates, for $\omega$ as in [1],

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}.

TheoremStokes' Theorem

Let $M$ be a smooth oriented $n$ -manifold with boundary $\partial M$ (given the induced orientation), and let $\omega\in\Omega^{n-1}(M)$ have compact support. Then

4

\quad \int_M d\omega = \int_{\partial M}\omega.

Theoremde Rham's Theorem

For a smooth manifold $M$ , integration of forms over smooth singular chains induces a natural isomorphism of graded $\mathbb{R}$ -algebras

5

\quad H^k_{dR}(M)\;\xrightarrow{\;\cong\;}\;H^k_{\text{sing}}(M;\mathbb{R}),\qquad [\omega]\longmapsto\Big(\,c\mapsto\textstyle\int_c\omega\,\Big),

where $H^k_{dR}(M)=\ker\big(d:\Omega^k\to\Omega^{k+1}\big)\big/\operatorname{im}\big(d:\Omega^{k-1}\to\Omega^k\big)$ , and the algebra structure on the right is the cup product, on the left the wedge product.

ProofNilpotency

d^2=0

and the Poincaré Lemma

Step 1 — $d^2=0$ from equality of mixed partials. For a function $f$ , $df=\sum_j \partial_j f\,dx^j$ , so

6

\quad d(df)=\sum_{j,k}\partial_k\partial_j f\,dx^k\wedge dx^j = \sum_{j<k}\big(\partial_k\partial_j f-\partial_j\partial_k f\big)\,dx^k\wedge dx^j=0,

using $dx^k\wedge dx^j=-dx^j\wedge dx^k$ and Clairaut's theorem. For general $\omega$ , apply this to each coefficient using [3] and the Leibniz rule.

Step 2 — Closed vs. exact. $d^2=0$ means $\operatorname{im} d\subseteq\ker d$ , so the quotient $H^k_{dR}$ is defined. Exact $\Rightarrow$ closed always; the converse measures topology.

Step 3 — Poincaré Lemma (local exactness). On a star-shaped (e.g. convex) open set $U\subseteq\mathbb{R}^n$ , every closed form is exact. Construct a homotopy operator $K:\Omega^k(U)\to\Omega^{k-1}(U)$ via the contraction $H_t(x)=tx$ . With $i_R$ the interior product by the radial Euler vector field, one builds $K$ so that

7

\quad \mathrm{id}_{\Omega^k} = dK + Kd \qquad (k\ge1).

If $d\omega=0$ then $\omega=d(K\omega)$ , proving exactness. $\blacksquare$

∎

TheoremGeneralized Cartan Identities

The exterior derivative interacts with Lie derivative $\mathcal{L}_X$ and interior product $i_X$ (contraction) via Cartan's magic formula:

8

\quad \mathcal{L}_X = d\,i_X + i_X\, d,

and naturality under pullback: for smooth $\varphi:N\to M$ , $d(\varphi^*\omega)=\varphi^*(d\omega)$ .

ÉC

Élie Cartan

1869–1951

Cartan systematized the calculus of differential forms in the 1890s–1920s, introducing the exterior derivative, the method of moving frames, and connection forms. His graded Leibniz rule and magic formula turned an unwieldy index calculus into an elegant coordinate-free language. Cartan's forms became the backbone of general relativity's tetrad formalism, gauge theory's connection/curvature 2-forms, and the entire modern theory of $G$ -structures. His son Henri Cartan later supplied the homological machinery (sheaf cohomology, the Cartan–Eilenberg framework) that placed de Rham theory within general cohomology.

🧠 Intuition

Think of a $k$ -form as a measuring device for $k$ -dimensional oriented volume: feed it $k$ tangent vectors spanning an infinitesimal parallelepiped, and it returns a signed number — flux, circulation, or oriented volume — that is antisymmetric (swapping two edges flips orientation, hence sign). A $1$ -form is a "stack of level surfaces" you count as a path pierces them; $d$ of a $0$ -form (gradient) tells you how densely those surfaces pack. The exterior derivative is the infinitesimal version of integration over a boundary: $d\omega$ evaluated on a tiny box equals the integral of $\omega$ around the box's boundary (the very content of Stokes). Closed forms ( $d\omega=0$ ) are "conservative" — boundary integrals around contractible loops vanish; exact forms ( $\omega=df$ ) are "globally a gradient." Cohomology counts the obstructions to being a gradient: how many independent ways a form can be closed but not exact, which is exactly how many holes the space has.

Figure

The de Rham complex: closed forms (kernel of d), exact forms (image of d), and cohomology as their quotient

ExampleThe Angle Form on the Punctured Plane

Given: On $M=\mathbb{R}^2\setminus\{0\}$ define

9

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

Derivation hint: this is $d\theta$ where $\theta=\arctan(y/x)$ locally, but $\theta$ is not a global single-valued function on $M$ .

Steps: 1. Check closed. Compute $d\omega$ . With $P=-y/r^2$ , $Q=x/r^2$ , $r^2=x^2+y^2$ :

\partial_x Q = \frac{(x^2+y^2)-x(2x)}{r^4}=\frac{y^2-x^2}{r^4},\quad \partial_y P=\frac{-(x^2+y^2)+y(2y)}{r^4}=\frac{y^2-x^2}{r^4}.

Hence $d\omega=(\partial_x Q-\partial_y P)\,dx\wedge dy = 0$ . Closed. 2. Test exactness by integrating over the unit circle $c(t)=(\cos t,\sin t)$ , $t\in[0,2\pi]$ :

\int_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\neq0.

3. Conclude. If $\omega=df$ globally, Stokes/FTC would force $\int_c\omega=0$ on the closed loop. Since it is $2\pi$ , $\omega$ is not exact.

Boxed answer: $\boxed{[\omega]\neq 0 \text{ in } H^1_{dR}(\mathbb{R}^2\setminus\{0\})\cong\mathbb{R}, \text{ with } \tfrac{1}{2\pi}\int_c\omega = \text{winding number}=1.}$ (dimensionless)

ExampleComputing

H^\bullet_{dR}(S^2)

via Forms

Given: The $2$ -sphere $S^2$ with its round area form $\sigma$ , $\int_{S^2}\sigma = 4\pi$ .

Steps: 1. $H^0_{dR}(S^2)\cong\mathbb{R}$ : closed $0$ -forms are locally constant functions; $S^2$ is connected, so $\ker d=\mathbb{R}\cdot 1$ , and $\operatorname{im} d$ in degree $0$ is $0$ . Dimension $=1$ . 2. $H^1_{dR}(S^2)=0$ : $S^2$ is simply connected, so by de Rham $H^1\cong H^1_{\text{sing}}(S^2;\mathbb{R})=0$ . Every closed $1$ -form is exact. 3. $H^2_{dR}(S^2)\cong\mathbb{R}$ : the area form $\sigma$ is closed (top degree, $d\sigma\in\Omega^3=0$ ). It is not exact: if $\sigma=d\eta$ , then $\int_{S^2}\sigma=\int_{S^2}d\eta=\int_{\partial S^2}\eta=0$ (no boundary), contradicting $4\pi\neq0$ . The map $[\sigma']\mapsto\int_{S^2}\sigma'$ is an isomorphism onto $\mathbb{R}$ . 4. Euler characteristic check: $\chi(S^2)=\sum (-1)^k\dim H^k = 1-0+1 = 2.$ ✓

Boxed answer: $\boxed{H^0\cong\mathbb{R},\ H^1=0,\ H^2\cong\mathbb{R};\quad \text{Betti numbers } (1,0,1),\ \chi=2.}$

⚠️ Common mistake

"Closed implies exact." False in general — it is exactly the content of nontrivial cohomology (Example with the angle form). It holds only locally (Poincaré lemma) or on contractible spaces.
" $d$ is just the gradient/curl/div." Those are the components of $d$ in $\mathbb{R}^3$ under the musical isomorphisms and Hodge star: $\operatorname{grad}\leftrightarrow d$ on $\Omega^0$ , $\operatorname{curl}\leftrightarrow d$ on $\Omega^1$ , $\operatorname{div}\leftrightarrow d$ on $\Omega^2$ . The identities $\operatorname{curl}\circ\operatorname{grad}=0$ and $\operatorname{div}\circ\operatorname{curl}=0$ are both $d^2=0$ .
"Forms are the same as vector fields / multivectors." They are dual (covariant), naturally pulled back not pushed forward; the wedge of forms is antisymmetric, unlike the tensor product.
"The wedge factor $1/(k!\ell!)$ is universal." Conventions differ (some omit factorials, defining $\wedge$ via the determinant on monomials). Always check whether your source uses the "alt" normalization in [2] or the determinant convention.
"de Rham cohomology sees torsion." It cannot: with $\mathbb{R}$ coefficients all torsion is killed. $H^1_{dR}(\mathbb{RP}^2)=0$ even though $H_1(\mathbb{RP}^2;\mathbb{Z})=\mathbb{Z}/2$ .

Counterexample

$d$ does not commute with the Hodge star, and harmonic ≠ closed-and-coclosed for non-compact $M$ . On $\mathbb{R}^n$ (non-compact) the $L^2$ Hodge decomposition fails: there exist nonzero harmonic forms that are exact, so $\mathcal{H}^k\not\cong H^k_{dR}$ . Concretely on $\mathbb{R}$ , $d(constant)=0$ but the harmonic-form count does not match the (trivial) reduced cohomology in the naive $L^2$ sense. The Hodge theorem $H^k_{dR}\cong\mathcal{H}^k$ requires $M$ compact (or careful boundary/decay conditions).

connection

The exterior calculus is the meeting point of several theories. Via the Hodge star $\star$ and a Riemannian metric one defines the codifferential $\delta=(-1)^{\ast}\star d\star$ and the Laplacian $\Delta=d\delta+\delta d$ , linking de Rham cohomology to Hodge Theory (harmonic representatives) and elliptic PDE. Stokes' theorem [4] is the analytic dual of the boundary map in Singular Homology, realized concretely through Poincaré Duality $H^k_{dR}(M)\cong H^{n-k}_{dR,c}(M)^*$ for oriented $M$ . The functoriality $d\varphi^*=\varphi^* d$ makes $H^\bullet_{dR}$ a contravariant functor that agrees with Čech Cohomology and Sheaf Cohomology of the constant sheaf $\underline{\mathbb{R}}$ , by the abstract de Rham theorem. In gauge theory, the curvature $F=dA+A\wedge A$ of a Connection on a Principal Bundle is a Lie-algebra-valued $2$ -form whose cohomology classes are characteristic classes. Finally, $d^2=0$ is the prototype of a chain complex, embedding the whole subject in Homological Algebra.

🔬 Where this appears

⏳ History

- 1827–1854: Stokes', Green's, and Gauss's theorems appear independently; Lord Kelvin communicates the curl theorem to Stokes (1850), who poses it as an exam problem (1854) — the classical seeds of [4].

- 1899: Henri Poincaré introduces what becomes the Poincaré lemma and the duality between cycles and integrals in Analysis Situs, founding algebraic topology.

- 1899–1922: Élie Cartan develops the exterior calculus, the operator

d

, the graded Leibniz rule, and moving frames; publishes systematic treatments of Pfaffian systems and integral invariants.

- 1931: Georges de Rham, in his thesis, proves that the periods of closed forms over cycles determine the (real) topology — the de Rham theorem — confirming a conjecture implicit in Poincaré and Cartan.

- 1935: Whitney rigorously sets up smooth singular theory; Hodge begins the theory of harmonic integrals.

- 1941: W.V.D. Hodge's The Theory and Applications of Harmonic Integrals establishes the Hodge decomposition for compact Riemannian manifolds.

- 1945–1950: Leray, Cartan (Henri), and Eilenberg create sheaf and Čech cohomology; the abstract de Rham theorem explains why all reasonable cohomologies with

\mathbb{R}

coefficients agree.

- 1956: Chern–Weil theory expresses characteristic classes as de Rham classes built from curvature, linking geometry, topology, and physics.

- 1970s–80s: Atiyah–Singer, gauge theory, and Donaldson/Witten make de Rham/Hodge methods central to physics and four-manifold topology.

open-problem

de Rham cohomology with $\mathbb{R}$ coefficients discards all torsion information, so distinguishing spaces with the same real Betti numbers but different integral cohomology requires finer tools (integral, mod- $p$ , or generalized cohomology theories; the de Rham–Witt complex recovers crystalline/integral data in characteristic $p$ ). On non-compact or singular spaces the relation between $L^2$ -harmonic forms and topology — $L^2$ -cohomology and the Hodge conjecture for non-compact / singular varieties — remains subtle; Cheeger–Goresky–MacPherson intersection cohomology and the $L^2$ -Hodge theory of Zucker address pieces of this. The deepest open frontier is the Hodge Conjecture: which rational $(p,p)$ de Rham/Dolbeault classes on a smooth projective variety are algebraic? This is one of the Clay Millennium Problems and remains unresolved, encoding how far analytic cohomology classes can be realized geometrically.

Differential Forms, Exterior Derivative, and de Rham Cohomology

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also