Past exam of the mathematics course of the University of Cambridge / 2016 / iii / Paper 114 / 2

Give the closed orientable surface its standard CW complex structure: one zero-cell, $2g$ one-cells, and one two-cell attached by the product of $g$ commutators. The cellular boundary of the two-cell is zero, since every edge occurs once with each orientation in that word; the one-cell boundaries are also zero. HenceHere we use the cellular homology theorem, identifying cellular and singular homology, and the universal coefficient theorem for cohomology: its exact sequence has terms $\mathrm{Ext}(H_{q-1},\mathbb{Z})$ and $\mathrm{Hom}(H_q,\mathbb{Z})$. All the homology groups here are free, so the Ext terms vanish.

The ring structure comes from Poincare duality and algebraic intersection number of curves on an oriented surface. For a closed oriented surface, cap product with its fundamental class identifies degree-one cohomology with degree-one homology; evaluating the cup product of two such classes equals the signed intersection number of their dual one-cycles. Choose the usual $g$ pairs of handle curves, each pair meeting positively once, and distinct pairs disjoint. Their dual classes can accordingly be named $a_1,b_1,\dots ,a_g,b_g$ so that, for the positive orientation class $\omega$,These formulas include squares. More generally, graded commutativity of the cup product kills every degree-one square here because $H^2$ is torsion-free. The unit generates $H^0$, and products involving $\omega$ and any positive-degree class vanish for dimensional reasons. These additive groups and multiplication rules completely describe the cohomology ring of a closed oriented surface, including $g=0$, when there are no degree-one generators. The intersection pairing is integral and unimodular, rather than merely nondegenerate over a field.

Suppose $F:{\Sigma }_g\to {\Sigma }_h$ has degree one. For degree-one classes $u,v$ on the target, naturality of the cup product and the definition of the degree of a map between oriented manifolds giveIf a nonzero $u$ had $F^{\ast }u=0$, nondegeneracy of the Poincare duality pairing would supply $v$ with nonzero right side, a contradiction. Thus $F^{\ast }$ injects the $2h$-dimensional real degree-one cohomology into the $2g$-dimensional source. Hence $g\ge h$. This is the cohomological injectivity of a degree-one map in this setting.

Conversely, for $g\ge h$, express ${\Sigma }_g$ as ${\Sigma }_h\#{\Sigma }_{g-h}$. Collapse the second punctured summand and the joining circle to a point. The quotient of the retained punctured summand by its boundary is homeomorphic to ${\Sigma }_h$, giving a continuous map to that surface. Its restriction to a small oriented disc away from the collapsing region is an orientation-preserving homeomorphism, and a point in this disc has exactly one preimage. The induced map on local top homology, and hence on the fundamental class, has coefficient $+1$. The map therefore has degree one. For $h=0$, the same construction is the familiar collapse of the complement of a disc to obtain $S^2$.

ConsequentlyThis proves both directions of the degree-one maps between closed oriented surfaces criterion. The case $g=h$ also admits the identity map.

Put $A={\Sigma }_h^{\partial }$. This surface with boundary deformation retracts onto a wedge of $2h$ circles, so $H^1(A;\mathbb{R})$ has dimension $2h$ and $H^2(A;\mathbb{R})=0$. If $r$ were a retraction, ${\iota }^{\ast }{r}^{\ast }=\mathrm{id}$ would make $r^{\ast }$ injective. Its image $W\subset H^1({\Sigma }_g;\mathbb{R})$ would have dimension $2h$.

Every pair of classes $u,v$ in $H^1(A;\mathbb{R})$ has $u⌣v=0$, since $H^2(A;\mathbb{R})=0$. Naturality givesThus $W$ is an isotropic subspace of a symplectic vector space for the nondegenerate skew Poincare duality pairing on the $2g$-dimensional space $H^1({\Sigma }_g;\mathbb{R})$. The stated linear-algebra bound gives $2h\le g$. Hence

The bound is sharp. Double $A$ along its boundary: $D(A)=A{\cup }_{\partial A}A$ is the closed oriented surface of genus $2h$. Identify each copy with $A$ and fold them onto one copy. The two maps agree on the joining circle, so they give a continuous retraction fixing the first copy pointwise. This includes $h=0$, where the double of a disc is a sphere.

More generally, for $g\ge 2h$, add $g-2h$ handles in the interior of the second copy. Pinch those extra handles onto their connecting point, keeping the boundary fixed, and then fold onto $A$. This is still a retraction. In fact the construction works for any embedding in the question: the connected complement has one boundary component and genus $g-h$ by Euler-characteristic additivity, and the classification theorem for surfaces identifies it, relative to that boundary, with a copy of $A$ having $g-2h$ additional handles. Thus the exact existence criterion is $2h\le g$, as expressed by retraction onto a punctured oriented surface.