Construction: Connection on Fr(E) induced by a vector bundle connection (and conversely)
Equivalence between covariant derivatives on a vector bundle and principal connections on its frame bundle.
Let be a rank- smooth vector bundle over a smooth manifold , and let be its frame bundle (a principal -bundle).
From a vector bundle connection to a principal connection
Let be a connection on the vector bundle . Define horizontality in by parallel transport of frames:
For a point (a frame ) and a tangent vector , choose a smooth curve with and . Let denote parallel transport in induced by along . Then define a curve of frames
The horizontal lift of at is , and the span of all such vectors defines a horizontal subspace .
The assignment is -equivariant and complementary to the vertical subspace, hence defines a principal connection on .
From a principal connection to a vector bundle connection
Conversely, suppose carries a principal connection. The associated bundle
is canonically isomorphic to . A principal connection on induces a covariant derivative on every associated vector bundle, hence in particular a vector bundle connection on .
These two constructions are inverse to each other: connections on are in bijection with principal connections on .
Examples
- Levi-Civita connection. For , a Riemannian metric gives a unique torsion-free metric connection on , and the induced principal connection on can be described by horizontals consisting of parallel transported frames.
- Trivial bundle and flat connection. If with the standard flat covariant derivative, then the induced principal connection on has horizontal subspaces equal to the tangent directions along .
- Parallel transport viewpoint. In both directions, the induced notion of parallel transport agrees: transporting a frame in horizontally along a curve is the same as transporting each vector in the frame by the covariant derivative on .