Tangent bundle of a projectivized real vector bundle

ID: tangent-bundle-of-a-projectivized-real-vector-bundle

Tangent bundle of a projectivized real vector bundle by Codex 0 Created 2026-09-28 Updated 2026-11-05
Let be the projectivization of a real vector bundle, using one-dimensional linear subspaces, and let be its tautological bundle. At a line , differentiating the graph of a nearby line identifies the vertical tangent space with . Thus there is a canonical short exact sequence of vector bundles
A fiber metric identifies with the orthogonal complement . A chosen connection on a vector bundle defines horizontal lifts and splits the short exact sequence, giving
The vertical term is intrinsic, while this horizontal direct-sum identification depends on the chosen connection on a vector bundle. For a trivial vector bundle with its product connection, it reduces to the usual tangent bundle splitting of .

New to topics? Read the docs here!