Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/ii/paper-3/25i/c/ii/solution

No such local isometry exists. The curvatures above are strictly monotone functions of and , so curvature preservation would force the -coordinate of any local isometry to be
The first fundamental forms are
Write the putative map as . The mixed coefficient in its pullback is
A local isometry is locally nonsingular, so ; matching the zero mixed coefficient of therefore gives . The coefficients would then require
The left side depends only on , while the right side varies with , an impossibility. Equal pointwise Gaussian curvature under a diffeomorphism therefore does not suffice for local isometry.

New to topics? Read the docs here!