Paper 4, Section II, H
(a) Let be a compact surface (without boundary) in . State the global GaussBonnet formula for , identifying all terms in the formula.
(b) Let be a surface. Define what it means for a curve to be a geodesic. State a theorem concerning the existence of geodesics and define the exponential map.
(c) Let be an isometry and let be a geodesic. Show that is a geodesic. If denotes the Gaussian curvature of , and denotes the Gaussian curvature of , show that .
Now suppose is a smooth map such that is a geodesic for all a geodesic. Is necessarily an isometry? Give a proof or counterexample.
Similarly, suppose is a smooth map such that . Is necessarily an isometry? Give a proof or counterexample.
Typos? Please submit corrections to this page on GitHub.