Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 26 4 Solution 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.