Pure gauge connection on a trivial bundle

A flat connection obtained from the zero connection by a global gauge transformation.
Pure gauge connection on a trivial bundle

Let P=M×GMP=M\times G\to M be a trivial principal bundle, where GG is a Lie group with Lie algebra g\mathfrak g.

Definition (pure gauge potential)

Given a smooth map g:MGg:M\to G (a gauge transformation), define a g\mathfrak g-valued 1-form on MM by

A:=g1dgΩ1(M;g), A := g^{-1}dg \in \Omega^1(M;\mathfrak g),

the pullback of the left Maurer–Cartan form along gg.

This AA is called a pure gauge potential because it is exactly the gauge transform of the with A=0A=0.

Flatness

Viewed as the local gauge potential of a on M×GM\times G, the curvature is

F=dA+12[AA], F = dA + \tfrac12[A\wedge A],

and one has F=0F=0 for A=g1dgA=g^{-1}dg by the Maurer–Cartan identity. Hence pure gauge connections are flat.

In particular, their holonomy is trivial up to the natural basepoint identifications (they are globally gauge-equivalent to the product connection).

Examples

  1. Abelian case.
    For G=U(1)G=U(1), write g=eifg=e^{if} for a smooth real-valued function ff (locally or globally when possible). Then AA is (up to the conventional factor of ii) the 1-form dfdf, and the curvature vanishes because d(df)=0d(df)=0.

  2. Matrix groups.
    For G=GL(n,R)G=\mathrm{GL}(n,\mathbb R) and a smooth map g:MGL(n,R)g:M\to \mathrm{GL}(n,\mathbb R), the potential is the matrix-valued 1-form A=g1dgA=g^{-1}dg, flat by the same identity.

  3. Local normal form of flat connections.
    On a contractible open set UMU\subset M, any flat connection can be written (after choosing a trivialization) as A=g1dgA=g^{-1}dg for some smooth g:UGg:U\to G.