Solution

ID: past-exam-of-the-geometry-of-surfaces-course-of-the-university-of-oxford/2023/1/c/solution

Write for the internal angle at , using the numbering in part (b), and use the hyperbolic plane with Gaussian curvature . The necessary and sufficient conditions are equal lengths for each pair of equally labelled polygon sides, and total angle at each vertex equivalence class. Explicitly, the two angle conditions are
Necessity follows because the identification must preserve arc length along each seam, and a smooth interior point of a Riemannian surface has total angle . For sufficiency, equally long hyperbolic geodesic segments can be identified by isometries. Across their interiors, two half-disc neighbourhoods join to a hyperbolic disc. At an identified vertex, the incident sectors form a cyclic disc with total angle , so no cone singularity of a surface metric remains. These local isometries therefore extend the Riemannian metric smoothly everywhere. This is the smooth hyperbolic polygon gluing criterion.
The ten internal angles sum to . The area of a hyperbolic geodesic polygon consequently gives
Equivalently, the Gauss-Bonnet theorem gives .

New to topics? Read the docs here!