Parallel transport along a path sends an initial fiber vector to the endpoint of the unique horizontal lift through that vector. Reversing the path gives the inverse linear map.
Along a smooth curve , a horizontal lift of a linear connection on a vector bundle has fibre equation . On each compact time interval the coefficient matrix is bounded, and the Gronwall inequality prevents finite-time blowup. A finite cover by vector bundle trivializations and ODE uniqueness patch local solutions. Exhausting the open interval gives a unique lift on all of . Its endpoint map is linear, and reversal of the path gives its inverse; no completeness of the base manifold is needed.
A parallel frame along a curve consists of a basis of vector fields satisfying for its covariant derivative along a curve. Transporting a basis at the initial point constructs the frame. If the connection preserves the metric, an initially orthonormal basis stays orthonormal. In this frame the Jacobi equation becomes a linear matrix ordinary differential equation.
Articles by others on the same topic
There are currently no matching articles.