Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2003/iii/paper-26/4/solution
Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 26 4 Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Here closed oriented surfaces are connected, as in the usual single-genus convention. Let have nonzero mapping degree . Work over , so multiplication by is invertible and cannot vanish.
The Poincare duality pairing on is nondegenerate. Thus for every there is with . Naturality of the cup product and evaluation on the fundamental class giveIn particular , so is injective. The cohomology ring of a closed oriented surface has . Comparing dimensions now givesThis proves genus monotonicity under nonzero-degree surface maps by rational cohomology injectivity of a nonzero-degree map, without requiring to be a covering map or a smooth map.
New to topics? Read the docs here!