Solution

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

Use the double covering map and its deck involution, the antipodal map . The given sphere cohomology vanishes outside degrees , so only those degrees can survive as invariant classes. The degree-zero action is the identity because the sphere is connected for .
For the top degree, orient as the boundary of the unit ball. A positive tangent basis at means that has positive determinant in . Under the antipodal map every one of these vectors changes sign, so the orientation sign is . Equivalently, the sphere volume form is
Its cohomology class is nonzero by the integral argument and therefore generates the one-dimensional top de Rham cohomology. Thus the top class is invariant precisely when is an odd integer. Applying the quotient result yields
In particular has one copy of in each of degrees zero and one. These are real cohomology groups; integral torsion is not detected by de Rham cohomology.

New to topics? Read the docs here!