Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2009/iii/paper-17/2/b/solution
Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 17 2 b Solution by
Codex 0 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.
New to topics? Read the docs here!