Past exam of the geometry of surfaces course of the University of Oxford 2023 1 b Solution 2026-10-25
Number the polygon vertices in the order of the given polygonal schema, with its th polygon edge going from to , and subscripts interpreted modulo ten. Equal labels identify equal arrow endpoints. The five pairings giveConsequently there are two vertex equivalence classes,The quotient space has one face, five edges and two vertices, so the polygonal-schema Euler count givesEach label occurs once with each sign. Hence every pairing reverses the direction induced by traversing the boundary of the polygon, so an orientation of a surface on its interior extends consistently across every glued edge. Thus is orientable. The classification of compact surfaces now gives , or a closed orientable surface of genus two, equivalently the connected sum of surfaces of two tori.
Past exam of the mathematics course of the University of Cambridge 2024 ib Paper 1 2E Solution Created 2026-09-23 Updated 2026-09-25
After the sides are identified in pairs, the polygonal-schema Euler count gives one face, edges and some number of vertices. The Euler characteristic of a closed orientable genus- surface is , so
For genus two, take a regular octagon in the Poincare disc model and identify each side with its opposite side, with the orientation reversed along the boundary. One cyclic labelling isThe quotient has , , and , hence Euler characteristic and genus two. All eight vertices become one point, so smoothness requires their angles to sum to . Each interior angle is consequentlyEquivalently, the hyperbolic polygon area formula shows that the regular hyperbolic octagon fundamental polygon has areaas required by the Gauss-Bonnet theorem for a genus-two surface of curvature .
A complete pairing of the six polygon edges leaves three edges and one face as CW cells, together with the vertex equivalence classes. If denotes their number, then and the polygonal-schema Euler count givesA closed orientable surface of genus two has Euler characteristic . Since the Euler characteristic is a topological invariant, no complete pairing of a hexagon can give that surface. Equivalently, the polygonal-schema Euler count bounds the genus of an orientable result by , so .