Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/iii/paper-115/3/b/solution

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 projections
They obey , and . Every cohomology class therefore decomposes as
The first term is fixed and the second negated by . Their intersection is zero, since a class in both equals its own negative. Consequently
This 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!