Retraction onto a punctured oriented surface
ID: retraction-onto-a-punctured-oriented-surface
A once-punctured genus- closed orientable surface retracts to a wedge of circles. A retraction from would inject its degree-one cohomology as an isotropic subspace of a symplectic vector space for the Poincare duality pairing, since the punctured surface has zero degree-two cohomology. The maximal isotropic dimension is , giving . Equality is realized by folding the double of the punctured surface onto one copy. Additional handles in the other copy can be pinched away while fixing the joining boundary, proving sufficiency for every embedding of such a one-boundary subsurface when .
New to topics? Read the docs here!