Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 17 2 c Solution Created 2026-10-03 Updated 2026-10-14
The direct-sum assertion fails in both degrees when the pieces overlap. Take genuine open covers, so the failure does not depend on any subtle choice of smooth structures on subsets.
For degree zero, let , and . By degree-zero de Rham cohomology, consists of locally constant functions. Each of is connected and nonempty, soThey are not isomorphic as real vector spaces. The restriction map is ; the overlap forces equality instead of allowing two independent constants.
For degree one, let , and remove distinct points to form and . Each is diffeomorphic to an open interval. Every one-form on an interval has the smooth primitive , so both pieces have zero first de Rham cohomology. On the circle, the form is closed because all two-forms on a one-dimensional manifold vanish. The parameterization givesAn exact form has zero integral around this loop: the integral of is the difference of the endpoint values of the periodic function . Thus , while the proposed right side is zero, disproving the isomorphism.