Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/iii/paper-115/3/b/solution
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 115 3 b Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-05
Pullback of a differential form commutes with the exterior derivative, so gives a linear map on de Rham cohomology. Functoriality and imply . Over the real numbers, define the complementary projectionsThey obey , and . Every cohomology class therefore decomposes asThe first term is fixed and the second negated by . Their intersection is zero, since a class in both equals its own negative. ConsequentlyThis is the eigenspace decomposition of a linear involution. The factor uses the real coefficient field; a corresponding argument over characteristic two would fail. At the level of differential forms, the same averaging projections give representatives of either parity whenever the class has that parity.
New to topics? Read the docs here!