Tangent bundle of a projectivized real vector bundle

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

Let , let be the tautological line, and let be its orthogonal complement in . Then
The second summand is the vertical tangent bundle.

New to topics? Read the docs here!