Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/ii/paper-3/21g/solution
Past exam of the mathematics course of the University of Cambridge 2015 ii Paper 3 21G Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-06
A parametrization is . It gives a homeomorphism , with inverse obtained from the height and angular position. Its first fundamental form isFor a surface of revolution with radius , the Gaussian curvature is . Thus . The waist is a closed geodesic: vanishes there, and can be parametrized at constant speed.
For the uniqueness of a closed geodesic on a negatively curved cylinder, use Gauss-Bonnet theorem with piecewise geodesic boundary:A geodesic disk with smooth boundary would require curvature integral . A disk bounded by a geodesic monogon would require , and a geodesic bigon would require . All are impossible when .
Here is the topological reduction needed to apply this observation without assuming simplicity. Lift a closed geodesic to the universal covering plane of the cylinder. A self-intersection of its lift supplies an innermost monogon by the Jordan curve theorem, so the lift is embedded. A contractible closed geodesic would similarly supply a geodesic disk or monogon, so its winding number is nonzero. Its lift is consequently a proper line, invariant under a nonzero power of the deck translation. Two distinct translates of that line cannot intersect: periodicity would repeat an intersection, and innermost arcs between intersections would bound a bigon. The disjoint translates are ordered transversely, with the deck translation preserving that order. A finite cyclic permutation of this ordered family is impossible, so the lift is invariant under the primitive deck translation too. Thus the original geodesic has a simple image and is at most a repeated traversal of it.
Likewise two distinct simple essential closed geodesics cannot intersect: their periodic lifts would produce a bigon. If disjoint, the Jordan curve theorem on the cylinder says they bound a compact annulus. Its two boundaries have zero geodesic curvature and , so Gauss-Bonnet gives , again impossible. Therefore there is at most one closed geodesic image. Reparametrizations, reversed orientation and multiple traversals are understood to describe the same geometric geodesic.
New to topics? Read the docs here!