Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-114/2/b/solution

Assume for contradiction that the involution is fixed-point-free. The finite group action is then a covering space action, so the quotient map
is a double covering and is an -manifold.
Apply the long exact sequence in homology to the transfer chain map of a double covering. Since is contractible, its positive-dimensional mod-two homology vanishes. The degree-zero portion, together with the fact that is an isomorphism, gives
In every higher degree the same exact sequence gives
Thus for every . This contradicts homology above the dimension of a manifold, which gives for . Therefore has a fixed point.

New to topics? Read the docs here!