Vertical bundle

Given a bundle π:EM with standard fiber F, at each tangent space TuE (considering uE and p=π(u)), we have a vector subspace Vu consisting of those vectors tangent to the fiber Ep. They are obtained as ker(dπu:TuETpM) and constitute a subbundle of TEE that we denote by VEE and call the vertical bundle. It is natural, in the sense that we do not have to provide "external information".

However, the introduction of an horizontal bundle is not natural; that would be a connection on a fiber bundle. There is a certain natural bundle, the transversal bundle, which would be like a kind of horizontal bundle but "delocalized" outside of TE.

It has a dual version, the horizontal cotangent bundle.

For more information, see [Xournal 117].