On a coordinate trivialization of a principal bundle, the right-invariant vector fields satisfy . With , the displayed lifts project to the commuting coordinate fields and contract to zero with the principal connection. Taking their Lie brackets gives the local curvature of a principal connection coefficients . Thus these lifts commute exactly when the connection is flat. Arbitrary base fields need not commute, and flatness alone does not supply a global coordinate frame or remove holonomy of a connection.
Articles by others on the same topic
There are currently no matching articles.