Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2012/iii/paper-56/1/c/iii/solution
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 56 1 c iii Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-07
For , put and . Then andThese give a local isometry wherever . For , , and the local coordinates , similarly give the Euclidean plane metric tensor. Equivalently, the Gaussian curvature of the original Riemannian metric is throughout this family.
A local isometry need not be a global isometry. If , the displayed polar map is injective modulo and identifies the regular domain with a Euclidean annulus, possibly a punctured disc or the punctured Euclidean plane, according to the radial interval. If , it is a -fold covering of that annulus: distinct angles differing by have the same image. This developing map cannot be made injective by a different choice of Euclidean coordinates, since two local Euclidean isometries on a connected flat domain differ by a rigid motion once their value and differential are fixed at one point. For , the domain is a flat cylinder; its circular curves are closed geodesics, whereas the Euclidean plane has no nonconstant closed geodesic.
All these metrics are locally Euclidean; they are not all globally Euclidean. Even the regular domain is an annular region rather than the entire Euclidean plane. A regular axis can be added without a conical singularity only when ; with the full radial range this completion becomes the Euclidean plane. Trivial holonomy alone therefore does not supply a global injective Euclidean chart.
New to topics? Read the docs here!