Differential Geometry of Surfaces - Riemannian Connection and Parallel Transport - Parallel Transport

Parallel transport of tangent vectors along a curve in the surface was the next major advance in the subject, due to Levi-Civita. It is related to the earlier notion of covariant derivative, because it is the monodromy of the ordinary differential equation on the curve defined by the covariant derivative with respect to the velocity vector of the curve. Parallel transport along geodesics, the "straight lines" of the surface, can also easily be described directly. A vector in the tangent plane is transported along a geodesic as the unique vector field with constant length and making a constant angle with the velocity vector of the geodesic. For a general curve, this process has to be modified using the geodesic curvature, which measures how far the curve departs from being a geodesic.

A vector field v(t) along a unit speed curve c(t), with geodesic curvature k_g(t), is said to be parallel along the curve if

• it has constant length
• the angle θ(t) that it makes with the velocity vector satisfies

This recaptures the rule for parallel transport along a geodesic or piecewise geodesic curve, because in that case k_g = 0, so that the angle θ(t) should remain constant on any geodesic segment. The existence of parallel transport follows because θ(t) can be computed as the integral of the geodesic curvature. Since it therefore depends continuously on the L2 norm of k_g, it follows that parallel transport for an arbitrary curve can be obtained as the limit of the parallel transport on approximating piecewise geodesic curves.

The connection can thus be described in terms of lifting paths in the manifold to paths in the tangent or orthonormal frame bundle, thus formalising the classical theory of the "moving frame", favoured by French authors. Lifts of loops about a point give rise to the holonomy group at that point. The Gaussian curvature at a point can be recovered from parallel transport around increasingly small loops at the point. Equivalently curvature can be calculated directly at an infinitesimal level in terms of Lie brackets of lifted vector fields.