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 bundlesA fiber metric identifies with the orthogonal complement . A chosen connection on a vector bundle defines horizontal lifts and splits the short exact sequence, givingThe 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!