Vertical bundle

Given a bundle π:E⟶M with standard fiber F, at each tangent space TuE (considering u∈E 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:TuE→TpM) and constitute a subbundle of TE→E that we denote by VE→E 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].