Degree-zero de Rham cohomology 2026-10-14
There are no exact forms in degree zero. A smooth function has zero exterior derivative precisely when it is locally constant, so is the space of locally constant functions. On a connected nonempty smooth manifold, it is . An overlapping cover by two connected open subsets therefore does not give the direct-sum formula for de Rham cohomology of a finite disjoint union: restriction sends a constant to equal constants on both pieces.
Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 17 2 b Solution Created 2026-10-03 Updated 2026-10-14
The two components of a disjoint union are open and closed. Restriction therefore gives an isomorphismIts inverse assigns the first form on and the second on ; it is smooth because there are no overlaps on which compatibility must be imposed. The exterior derivative is local, so this is an isomorphism of cochain complexes.
A form on is a closed differential form exactly when both restrictions are closed. It is an exact differential form exactly when both restrictions are exact: primitives on and join into a global primitive. Taking the quotient therefore yields the de Rham cohomology of a finite disjoint union:The same argument covers degree zero, with the space of degree-minus-one forms taken to be zero.