De Rham Cohomology

⚡ Key Takeaways

De Rham cohomology is a topological invariant of a smooth manifold built from differential forms: $H^k_{dR}(M) = \ker d / \operatorname{im} d$ . Key result: the de Rham theorem identifies these analytically-defined groups with singular cohomology over $\mathbb{R}$ , so calculus on $M$ detects its global topology (holes). Applies to: smooth manifolds, with rich generalizations to sheaf theory, Hodge theory, and physics. Who/when: Georges de Rham (1931), building on Poincaré, Cartan, and Stokes.

💡 The Core Insight

The exterior derivative $d$ satisfies $d \circ d = 0$ , turning the spaces of differential forms into a cochain complex (the de Rham complex). Cohomology of this complex is a priori a delicate analytic quantity, yet it depends only on the smooth homotopy type of $M$ . Stokes' theorem, $\int_M d\omega = \int_{\partial M}\omega$ , is the bridge: it makes integration a pairing between closed forms and cycles that descends to a pairing on (co)homology. The whole subject is the systematic exploitation of $d^2=0$ plus Stokes.

DefinitionThe de Rham Complex

Let $M$ be a smooth $n$ -dimensional manifold. Let $\Omega^k(M) = \Gamma(\Lambda^k T^*M)$ denote the $\mathbb{R}$ -vector space of smooth differential $k$ -forms, with $\Omega^k(M) = 0$ for $k<0$ or $k>n$ . The exterior derivative is the unique family of $\mathbb{R}$ -linear maps

1

\quad d_k : \Omega^k(M) \longrightarrow \Omega^{k+1}(M), \qquad d_{k+1}\circ d_k = 0,

Derivation hint: existence/uniqueness from the axioms $d(df)=0$ , the Leibniz rule $d(\alpha\wedge\beta)=d\alpha\wedge\beta+(-1)^{\deg\alpha}\alpha\wedge d\beta$ , and agreement with the differential on functions. In local coordinates $(x^1,\dots,x^n)$ , writing $\omega = \sum_{I} f_I\, dx^I$ with multi-index $I=(i_1<\cdots<i_k)$ and $dx^I = dx^{i_1}\wedge\cdots\wedge dx^{i_k}$ ,

2

\quad d\omega = \sum_{I}\sum_{j=1}^{n} \frac{\partial f_I}{\partial x^j}\, dx^j \wedge dx^I.

Derivation hint: apply the Leibniz rule to each term and use $d(dx^{i})=0$ ; mixed partials cancel in $d^2$ by symmetry of $\partial_j\partial_k$ against antisymmetry of $dx^j\wedge dx^k$ . A form $\omega$ is closed if $d\omega=0$ ; the space of closed $k$ -forms is $Z^k(M)=\ker d_k$ . A form is exact if $\omega = d\eta$ ; the space of exact $k$ -forms is $B^k(M)=\operatorname{im} d_{k-1}$ . Since $d^2=0$ , $B^k \subseteq Z^k$ .

Definitionde Rham Cohomology Groups

The $k$ -th de Rham cohomology group of $M$ is the quotient $\mathbb{R}$ -vector space

3

\quad H^k_{dR}(M) \;=\; \frac{Z^k(M)}{B^k(M)} \;=\; \frac{\ker\big(d_k:\Omega^k\to\Omega^{k+1}\big)}{\operatorname{im}\big(d_{k-1}:\Omega^{k-1}\to\Omega^k\big)}.

Derivation hint: the quotient is well-defined precisely because $\operatorname{im} d_{k-1}\subseteq\ker d_k$ , which is $d^2=0$ . Its dimension is the $k$ -th Betti number $b_k(M)=\dim_{\mathbb{R}} H^k_{dR}(M)$ (finite when $M$ is compact, or more generally of finite type). The Euler characteristic is the alternating sum

4

\quad \chi(M) = \sum_{k=0}^{n} (-1)^k\, b_k(M).

Derivation hint: Euler–Poincaré principle — the alternating sum of dimensions of a finite cochain complex equals the alternating sum of its cohomology dimensions.

Theoremde Rham Theorem

For a smooth manifold $M$ , the integration pairing induces a natural isomorphism of graded $\mathbb{R}$ -algebras between de Rham cohomology and singular cohomology with real coefficients:

5

\quad \mathcal{I}: H^k_{dR}(M) \xrightarrow{\;\cong\;} H^k_{\mathrm{sing}}(M;\mathbb{R}), \qquad \mathcal{I}[\omega]\,(\sigma) = \int_\sigma \omega,

Derivation hint: define a cochain map from forms to smooth singular cochains by $\omega\mapsto(\sigma\mapsto\int_\sigma\omega)$ ; Stokes' theorem shows it is a cochain map; prove it induces an isomorphism on a basis of opens (cubes) and globalize via Mayer–Vietoris and the five lemma. The algebra structure on $H^\bullet_{dR}$ is induced by the wedge product; on the singular side it is the cup product. In particular the Betti numbers $b_k$ are smooth homotopy invariants and equal the ranks of the integral singular homology groups.

TheoremPoincaré Lemma

If $U\subseteq\mathbb{R}^n$ is open and star-shaped (or more generally contractible), then

6

\quad H^k_{dR}(U) = \begin{cases}\mathbb{R}, & k=0,\\[2pt] 0, & k\ge 1.\end{cases}

Derivation hint: construct a chain homotopy $K$ with $dK+Kd=\mathrm{id}$ on positive degrees, by integrating the radial homotopy $h_t(x)=tx$ against the form; explicit $K\omega = \int_0^1 \iota_{X}(h_t^*\omega)\,\frac{dt}{t}$ with $X$ the radial Euler vector field. This is the local triviality that makes de Rham cohomology a measure of global topology only.

ProofHomotopy Invariance via the Chain Homotopy Operator

We sketch the central computational engine: smoothly homotopic maps induce equal maps on cohomology.

Step 1 — Setup. Let $f_0,f_1: M\to N$ be smoothly homotopic via $H: M\times[0,1]\to N$ , $H(\cdot,0)=f_0$ , $H(\cdot,1)=f_1$ . Each $f_i^*:\Omega^k(N)\to\Omega^k(M)$ is a cochain map (since pullback commutes with $d$ ), hence induces $f_i^*:H^k_{dR}(N)\to H^k_{dR}(M)$ .

Step 2 — The integration-along-the-fiber operator. On $M\times[0,1]$ , with $t$ the coordinate on $[0,1]$ , every form decomposes as $\alpha + dt\wedge\beta$ where $\alpha,\beta$ contain no $dt$ . Define

7

\quad (K\Theta)\big|_x = \int_0^1 \beta(x,t)\, dt, \qquad \Theta = \alpha + dt\wedge\beta.

Derivation hint: $K$ integrates out the interval direction; it lowers form degree on $M$ by one because it removes the $dt$ factor and consumes one slot.

Step 3 — The homotopy identity. A direct computation using $d_{M\times I} = d_M + dt\wedge\partial_t$ gives, for the inclusions $j_t:M\hookrightarrow M\times\{t\}$ ,

8

\quad j_1^* - j_0^* = d_M\, K + K\, d_{M\times I}.

Derivation hint: split $d\Theta$ into $M$ -part and $dt$ -part, apply the fundamental theorem of calculus to the $\partial_t$ term; the boundary values $t=1,0$ produce $j_1^*-j_0^*$ .

Step 4 — Conclusion. Pull back by $H$ and compose: $f_1^* - f_0^* = H^*(j_1^*-j_0^*) = d(K H^*) + (KH^*)d$ . On closed forms the right side is exact, so $f_1^*=f_0^*$ on $H^k_{dR}$ . $\qquad\blacksquare$

Corollary. Contractible spaces have the cohomology of a point (the Poincaré lemma), and homotopy-equivalent manifolds have isomorphic de Rham cohomology.

∎

ProofMayer–Vietoris Sequence

The computational workhorse. Let $M=U\cup V$ with $U,V$ open.

Step 1. Restriction maps assemble into a short exact sequence of de Rham complexes

9

\quad 0 \to \Omega^\bullet(M) \xrightarrow{(\,i_U^*,\,i_V^*\,)} \Omega^\bullet(U)\oplus\Omega^\bullet(V) \xrightarrow{j_U^*-j_V^*} \Omega^\bullet(U\cap V) \to 0.

Derivation hint: injectivity is obvious; surjectivity uses a partition of unity $\{\rho_U,\rho_V\}$ subordinate to $\{U,V\}$ to split a form on $U\cap V$ into pieces extendable to $U$ and $V$ .

Step 2. A short exact sequence of cochain complexes yields a long exact sequence in cohomology:

10

\quad \cdots \to H^k_{dR}(M)\to H^k_{dR}(U)\oplus H^k_{dR}(V)\to H^k_{dR}(U\cap V)\xrightarrow{\;\delta\;} H^{k+1}_{dR}(M)\to\cdots

Derivation hint: the connecting homomorphism $\delta$ comes from the snake lemma; concretely lift a closed form on $U\cap V$ , apply $d$ , and recognize the result as coming from $M$ . Iterating Mayer–Vietoris from contractible pieces (a good cover) computes $H^\bullet_{dR}$ of any manifold. $\qquad\blacksquare$

∎

mathematician · Georges de Rham | 1903–1990

Swiss mathematician at the universities of Lausanne and Geneva. In his 1931 thesis Sur l'analysis situs des variétés à $n$ dimensions, de Rham proved the theorem now bearing his name: that the periods of closed forms over cycles determine, and are determined by, the topology of the manifold — confirming a conjecture implicit in the work of Poincaré and Élie Cartan. He introduced currents (a unification of forms and chains via distribution theory), developed the theory of harmonic forms with Kodaira, and shaped the modern view in which analysis, geometry, and topology are inseparable. His characterization of which period-systems are realizable (the de Rham theorem proper) closed a chapter Poincaré had opened in the 1890s.

🧠 Intuition

Think of a closed form as a "flow with no local sources or sinks" and an exact form as one that is "globally a gradient/potential." On $\mathbb{R}^2$ , the field $\frac{-y\,dx + x\,dy}{x^2+y^2}$ has zero curl (closed) yet is not the differential of a single-valued function — its integral around the origin is $2\pi$ , not $0$ . That nonzero period is the hole at the origin talking back to you. De Rham cohomology systematizes exactly this: $H^k$ counts the independent ways a closed form can fail to be exact, and each such failure is "detected" by integrating over a $k$ -cycle that wraps a $k$ -dimensional hole. Degree $0$ counts connected components ( $b_0$ = number of pieces, since a closed $0$ -form is a locally constant function). The dimensions $b_k$ are rigid topological data, even though forms themselves can be wiggled freely.

Figure

The cohomology hole on the punctured plane: a closed 1-form with nonzero period detects the missing point.

```svg

```

ExampleThe Circle

S^1

Given: the $1$ -dimensional manifold $S^1$ , parametrized by angle $\theta\in[0,2\pi)$ . Compute $H^k_{dR}(S^1)$ .

Step 1 — Degree 0. Closed $0$ -forms are locally constant functions; $S^1$ is connected, so $Z^0=\mathbb{R}$ , $B^0=0$ . Thus $b_0=1$ .

Step 2 — Degree 1. Every $1$ -form on $S^1$ is $f(\theta)\,d\theta$ , automatically closed (top degree). Exact forms are $dg = g'(\theta)\,d\theta$ . The form $f\,d\theta$ is exact iff $f$ has a $2\pi$ -periodic antiderivative, i.e. iff $\int_0^{2\pi} f\,d\theta = 0$ .

Step 3 — The isomorphism. The map $[\,f\,d\theta\,]\mapsto \int_0^{2\pi} f\,d\theta$ is a linear isomorphism $H^1_{dR}(S^1)\to\mathbb{R}$ , with $d\theta$ itself representing the generator (integral $2\pi$ ).

Result:

\boxed{\;H^0_{dR}(S^1)=\mathbb{R},\quad H^1_{dR}(S^1)=\mathbb{R},\quad b_0=b_1=1,\quad \chi(S^1)=1-1=0.\;}

ExampleThe 2-Sphere

S^2

via Mayer–Vietoris

Given: $S^2 = U\cup V$ , $U,V$ open disks (each contractible, $\cong\mathbb{R}^2$ ) overlapping in a band $U\cap V\simeq S^1$ . Compute $H^k_{dR}(S^2)$ .

Step 1 — Inputs. $H^\bullet(U)=H^\bullet(V)=(\mathbb{R},0,0)$ in degrees $0,1,2$ ; $H^\bullet(U\cap V)=H^\bullet(S^1)=(\mathbb{R},\mathbb{R},0)$ .

Step 2 — The sequence (low degrees).

0\to H^0(S^2)\to \mathbb{R}^2 \to \mathbb{R} \to H^1(S^2)\to 0 \to \mathbb{R} \xrightarrow{\delta} H^2(S^2)\to 0.

$S^2$ is connected: $H^0(S^2)=\mathbb{R}$ . The map $\mathbb{R}^2\to\mathbb{R}$ (restriction difference) sends $(a,b)\mapsto a-b$ , rank $1$ , so its image is all of $\mathbb{R}$ , forcing $H^1(S^2)=0$ .

Step 3 — Top degree. Exactness gives $H^2(S^2)\cong \mathbb{R}$ via the connecting map $\delta$ from $H^1(S^1)=\mathbb{R}$ .

Result:

\boxed{\;H^0(S^2)=\mathbb{R},\; H^1(S^2)=0,\; H^2(S^2)=\mathbb{R};\quad b_0=1,b_1=0,b_2=1,\quad \chi(S^2)=2.\;}

This matches $\chi=2$ from the Euler formula $V-E+F$ for a polyhedron.

⚠️ Common mistake

"Closed implies exact." False in general — that is the entire point of cohomology. It holds locally (Poincaré lemma) but can fail globally. Conflating local and global exactness is the single most common error. Likewise, " $d\omega=0$ means $\omega$ is constant" is wrong for $k\ge1$ ; closedness is a differential condition, not a constancy condition.

"De Rham cohomology sees torsion." It does not. Because coefficients are $\mathbb{R}$ (a field of characteristic $0$ ), de Rham cohomology equals singular cohomology with real coefficients, which kills all torsion. For example, $H^1(\mathbb{RP}^2;\mathbb{Z})=\mathbb{Z}/2$ but $H^1_{dR}(\mathbb{RP}^2)=0$ .

"Betti numbers determine the manifold." No — they are coarse invariants. Lens spaces and other examples can share Betti numbers yet be non-homeomorphic.

CounterexampleThe Punctured Plane and the "Angle Form"

On $M=\mathbb{R}^2\setminus\{0\}$ , set

11

\quad \omega = \frac{-y\,dx + x\,dy}{x^2+y^2} = d\theta \ \text{(locally)}.

Derivation hint: in polar coordinates $\omega=d\theta$ ; but $\theta$ is only defined modulo $2\pi$ , so it is not a globally single-valued function on $M$ . Then $d\omega = 0$ (direct computation: $\partial_x\frac{x}{x^2+y^2} = \partial_y\frac{-y}{x^2+y^2}$ ), so $\omega$ is closed. Yet $\oint_{S^1}\omega = 2\pi \ne 0$ , so $\omega$ cannot be exact (an exact form integrates to $0$ over any cycle by Stokes). This single form generates $H^1_{dR}(\mathbb{R}^2\setminus\{0\})\cong\mathbb{R}$ , demonstrating that removing one point creates a nontrivial degree-1 class. It is the canonical refutation of "closed $\Rightarrow$ exact."

connection

De Rham cohomology sits at a crossroads of several theories:

Singular Cohomology — the de Rham theorem makes $H^\bullet_{dR}(M)\cong H^\bullet(M;\mathbb{R})$ as rings, linking analysis to algebraic topology.
Hodge Theory — on a compact oriented Riemannian manifold, each de Rham class has a unique harmonic representative ( $\Delta\omega=0$ ), giving $H^k_{dR}\cong \mathcal{H}^k$ and, on Kähler manifolds, the Hodge decomposition $H^k_{\mathbb{C}}=\bigoplus_{p+q=k}H^{p,q}$ .
Sheaf Cohomology — the de Rham complex is a fine resolution of the constant sheaf $\underline{\mathbb{R}}$ , so $H^k_{dR}(M)\cong H^k(M;\underline{\mathbb{R}})$ ; this is the conceptual proof of the de Rham theorem.
<a class="wiki-link" href="/wiki/poincare-duality">Poincaré Duality</a> — on a compact oriented $n$ -manifold, the wedge-and-integrate pairing $H^k_{dR}\times H^{n-k}_{dR}\to\mathbb{R}$ is perfect, so $b_k=b_{n-k}$ .
Chern–Weil Theory — characteristic classes of vector bundles are constructed as de Rham classes of curvature polynomials.
Čech Cohomology — agrees with de Rham via the Čech–de Rham double complex.

🔬 Where this appears

⏳ History

- 1750s–1850s — Euler's polyhedron formula

V-E+F=2

and later Riemann's notion of connectivity foreshadow topological invariants computable from "holes."

- 1895 — Henri Poincaré, Analysis Situs, introduces homology and Betti numbers and studies periods of differentials, implicitly conjecturing the form–cycle duality.

- 1899–1900 — Élie Cartan develops the exterior calculus of differential forms and the exterior derivative

d

, providing the language.

- 1922 — Stokes' theorem in its general

n

-dimensional form is fully articulated within Cartan's calculus, supplying the pairing

\int_{\partial}=\int d

.

- 1931 — Georges de Rham's thesis proves the de Rham theorem: closed forms modulo exact forms are isomorphic to (real) homology via periods.

- 1935–1943 — W. V. D. Hodge develops harmonic forms; de Rham–Kodaira put the analysis (elliptic theory of the Laplacian) on firm footing, yielding the Hodge theorem.

- 1945–1950 — Cartan, Leray, Weil reinterpret de Rham cohomology via sheaves and the Čech–de Rham bridge; Weil's note clarifies the comparison.

- 1958 — Bott and others develop the modern Mayer–Vietoris/good-cover computational toolkit (later canonized in Bott–Tu, 1982).

- 1960s onward — Generalizations: algebraic de Rham cohomology (Grothendieck), crystalline cohomology, and infinite-dimensional analogues extend the philosophy across mathematics.

open-problem

Where de Rham cohomology is delicate or incomplete:

Loss of torsion. Real coefficients discard $\mathbb{Z}$ -torsion, so de Rham cohomology cannot distinguish spaces that differ only torsionally. Recovering integral information requires integrality of periods (the de Rham theorem's "period lattice") or other theories.
Non-smooth and singular spaces. The classical theory requires smoothness. Extending it to singular varieties or stratified spaces motivates intersection cohomology, L²-cohomology, and analytic compactification questions that remain technically subtle.
Algebraic comparison. Grothendieck's algebraic de Rham cohomology over fields of characteristic $0$ matches the classical theory (Grothendieck's comparison theorem), but in positive characteristic the naive de Rham complex misbehaves — fixing this led to crystalline cohomology and the still-active $p$ -adic Hodge theory program (period rings, comparison isomorphisms).
Infinite dimensions. For infinite-dimensional manifolds (loop spaces, mapping spaces), exactness of the Poincaré lemma and finiteness of Betti numbers can fail; convenient calculus and homotopical methods are needed.
Effective computation. While Mayer–Vietoris is conceptually complete, producing explicit harmonic representatives or period matrices for general manifolds is computationally hard and an active area in numerical geometry.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also