Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2006/iii/paper-16/3/c/solution

Write , with odd. Rational Poincare duality gives . Pairing every term outside the middle yields
The Poincare duality pairing on is . It is nondegenerate, and graded commutativity of the cup product gives because is odd. In particular over . Part (b) therefore makes even, so
For the failure without orientability, is a closed nonorientable surface with one cell in each dimension zero, one and two; hence . More generally, is nonorientable and has Euler characteristic one. Thus the orientation hypothesis in the Euler characteristic parity in dimensions congruent to two modulo four is essential.

New to topics? Read the docs here!