Ehresmann connections

Abstract

In this section we define the notion of an Ehresmann connection associated to a surjective submersion $\pi :M \to N$. A connection permits a curve in N to be locally lifted to a horizontal curve in M. An Ehresmann connection is good if every smooth curve in N has a global horizontal lift. For good connections we define the notions of parallel translation and holonomy.