Flat principal connection

A principal connection whose curvature 2-form vanishes identically.
Flat principal connection

Let π:PM\pi:P\to M be a principal GG-bundle equipped with a and curvature ΩΩ2(P;g)\Omega\in \Omega^2(P;\mathfrak{g}).

The connection is called flat if its vanishes:

Ω=0. \Omega = 0.

Equivalently, in any local trivialization with local connection form AA, the local curvature satisfies F=dA+12[AA]=0F=dA+\tfrac12[A\wedge A]=0.

A flat connection has the key consequence that along a curve depends only on the homotopy class of the curve (with endpoints fixed). In particular, parallel transport around loops yields the of π1(M)\pi_1(M) into GG, and the associated is determined by the image of that representation.

Examples

  1. Product connection on a trivial bundle. On P=M×GP=M\times G, take the connection defined by ω=g1dg\omega=g^{-1}dg (equivalently A=0A=0 in the canonical trivialization). Then Ω=0\Omega=0, so the connection is flat and parallel transport leaves the GG-coordinate unchanged.

  2. Flat bundle from a representation. Given a representation ρ:π1(M)G\rho:\pi_1(M)\to G, the quotient P=(M~×G)/π1(M)P=(\widetilde M\times G)/\pi_1(M) (with γπ1\gamma\in\pi_1 acting by deck transformations on M~\widetilde M and by right multiplication through ρ(γ)1\rho(\gamma)^{-1} on GG) carries a natural flat connection descended from the product connection on M~×G\widetilde M\times G.

  3. Constant commuting gauge field on a torus. On TnT^n with a trivial GG-bundle, a connection form A=iAidθiA=\sum_i A_i\,d\theta^i with constant AigA_i\in\mathfrak{g} is flat provided [Ai,Aj]=0[A_i,A_j]=0 for all i,ji,j (so both dA=0dA=0 and [AA]=0[A\wedge A]=0).