Solution

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

The first fundamental form of an embedded surface is the inner product induced on each tangent plane:
For a tangent vector field along a curve , its surface covariant derivative is
the tangential projection of its ordinary derivative. A curve is a geodesic when
A local isometry preserves the first fundamental form, so its Christoffel symbols and Levi--Civita covariant derivatives satisfy
Taking shows that if is geodesic, then is geodesic.
The converse is false. The dilation
maps every affinely parametrized straight-line geodesic to another such geodesic, but
so it does not preserve the first fundamental form. This is the geodesic-preserving homothety that is not a local isometry.

New to topics? Read the docs here!