Flat principal connection
Let be a principal -bundle equipped with a principal connection and curvature .
The connection is called flat if its curvature 2-form vanishes:
Equivalently, in any local trivialization with local connection form , the local curvature satisfies .
A flat connection has the key consequence that parallel transport along a curve depends only on the homotopy class of the curve (with endpoints fixed). In particular, parallel transport around loops yields the holonomy representation of into , and the associated holonomy group is determined by the image of that representation.
Examples
Product connection on a trivial bundle. On , take the connection defined by (equivalently in the canonical trivialization). Then , so the connection is flat and parallel transport leaves the -coordinate unchanged.
Flat bundle from a representation. Given a representation , the quotient (with acting by deck transformations on and by right multiplication through on ) carries a natural flat connection descended from the product connection on .
Constant commuting gauge field on a torus. On with a trivial -bundle, a connection form with constant is flat provided for all (so both and ).