Ehresmann connection

Differential geometry construct on fiber bundles
In differential geometry, an Ehresmann connection (after the French mathematician Charles Ehresmann who first formalized this concept) is a version of the notion of a connection, which makes sense on any smooth fiber bundle. In particular, it does not rely on the possible vector bundle structure of the underlying fiber bundle, but nevertheless, linear connections may be viewed as a special case. Another important special case of Ehresmann connections are principal connections on principal bundles, which are required to be equivariant in the principal Lie group action.

A covariant derivative in differential geometry is a linear differential operator which takes the directional derivative of a section of a vector bundle in a covariant manner. It also allows one to formulate a notion of a parallel section of a bundle in the direction of a vector: a section s is parallel along a vector if So a covariant derivative provides at least two things: a differential operator, and a notion of what it means to be parallel in each direction. An Ehresmann connection drops the differential operator completely and defines a connection axiomatically in terms of the sections parallel in each direction Specifically, an Ehresmann connection singles out a vector subspace of each tangent space to the total space of the fiber bundle, called the horizontal space. A section is then horizontal (i. e., parallel) in the direction if lies in a horizontal space. Here we are regarding as a function from the base to the fiber bundle , so that is then the pushforward of tangent vectors. The horizontal spaces together form a vector subbundle of
This has the immediate benefit of being definable on a much broader class of structures than mere vector bundles. In particular, it is well defined on a general fiber bundle. Furthermore, many of the features of the covariant derivative still remain: parallel transport, curvature, and holonomy. The missing ingredient of the connection, apart from linearity, is covariance. With the classical covariant derivatives, covariance is an a posteriori feature of the derivative. In their construction one specifies the transformation law of the Christoffel symbols – which is not covariant – and then general covariance of the derivative follows as a result. For an Ehresmann connection, it is possible to impose a generalized covariance principle from the beginning by introducing a Lie group acting on the fibers of the fiber bundle. The appropriate condition is to require that the horizontal spaces be, in a certain sense, equivariant with respect to the group action. The finishing touch for an Ehresmann connection is that it can be represented as a differential form, in much the same way as the case of a connection form. If the group acts on the fibers and the connection is equivariant, then the form will also be equivariant. Furthermore, the connection form allows for a definition of curvature as a curvature form as well.

Let be a smooth fiber bundle. Let

be the vertical bundle consisting of the vectors "tangent to the fibers" of E, i. e. the fiber of V at is This subbundle of is canonically defined even when there is no canonical subspace tangent to the base space M. (Of course, this asymmetry comes from the very definition of a fiber bundle, which "only has one projection" while a product would have two.)

An Ehresmann connection on is a smooth subbundle of , called the horizontal bundle of the connection, which is complementary to V, in the sense that it defines a direct sum decomposition In more detail, the horizontal bundle has the following properties. For each point , is a vector subspace of the tangent space to at , called the horizontal subspace of the connection at depends smoothly on For each , Any tangent vector in (for any ) is the sum of a horizontal and vertical component, so that
In more sophisticated terms, such an assignment of horizontal spaces satisfying these properties corresponds precisely to a smooth section of the jet bundle J1E → E.

An Ehresmann connection allows curves to have unique horizontal lifts locally. For a complete Ehresmann connection, a curve can be horizontally lifted over its entire domain.

Flatness of the connection corresponds locally to the Frobenius integrability of the horizontal spaces. At the other extreme, non vanishing curvature implies the presence of holonomy of the connection.