Paper 3, Section II, G
Let be a parametrized curve on a smooth embedded surface . Define what is meant by a vector field along and the concept of such a vector field being parallel. If and are both parallel vector fields along , show that the inner product is constant.
Given a local parametrization , define the Christoffel symbols on . Given a vector , prove that there exists a unique parallel vector field along with (recall that is called the parallel transport of along ).
Suppose now that the image of also lies on another smooth embedded surface and that for all . Show that parallel transport of a vector is the same whether calculated on or . Suppose is the unit sphere in with centre at the origin and let be the curve on given by
for some fixed angle . Suppose is the unit tangent vector to at and let be its image in under parallel transport along . Show that the angle between and is .
[Hint: You may find it useful to consider the circular cone which touches the sphere along the curve .]