Let GG be a and let π:PM\pi:P\to M be a . Write Conn(P)\mathrm{Conn}(P) for the set of on PP, and let Gauge(P)\mathrm{Gauge}(P) denote the gauge group, i.e. the group of GG-equivariant diffeomorphisms Φ:PP\Phi:P\to P covering the identity on MM (so πΦ=π\pi\circ\Phi=\pi and Φ(pg)=Φ(p)g\Phi(p\cdot g)=\Phi(p)\cdot g).

For every ΦGauge(P)\Phi\in \mathrm{Gauge}(P) and every principal connection ωConn(P)\omega\in \mathrm{Conn}(P), the pullback

ωΦ  :=  Φω\omega\cdot\Phi \;:=\; \Phi^*\omega

is again a principal connection on PP. This defines a right group action:

(ωΦ1)Φ2=ω(Φ1Φ2),ωid=ω.(\omega\cdot\Phi_1)\cdot\Phi_2 =\omega\cdot(\Phi_1\Phi_2), \qquad \omega\cdot\mathrm{id}=\omega.

Equivalently, if ω\omega is viewed as a GG-equivariant horizontal distribution H=kerωTPH=\ker\omega\subset TP, then Φ\Phi sends horizontals to horizontals:

HpΦω  =  (dΦp)1(HΦ(p)ω),H^{\Phi^*\omega}_p \;=\; (d\Phi_p)^{-1}\bigl(H_{\Phi(p)}^{\omega}\bigr),

so the gauge group acts on the set of horizontal distributions defining connections.

Examples
  1. Trivial bundle P=M×GP=M\times G. With the right principal action (x,h)k=(x,hk)(x,h)\cdot k=(x,hk), a gauge transformation determined by g:MGg:M\to G is Φg(x,h)=(x,g(x)h)\Phi_g(x,h)=(x,g(x)h). In the section s(x)=(x,e)s(x)=(x,e), pullback sends the local connection form AA to
    AAg:=Adg1A+g1dg.A \longmapsto A^g := \mathrm{Ad}_{g^{-1}}A + g^{-1}dg.
  2. Abelian structure group. If GG is abelian (e.g. U(1)U(1)), then Adg1\mathrm{Ad}_{g^{-1}} is trivial and the transformation law reduces to
    AA+g1dg,A \longmapsto A + g^{-1}dg,
    i.e. gauge transformations act by translation by the closed Lie-algebra-valued form g1dgg^{-1}dg, locally exact. For G=U(1)G=U(1), its periods lie in 2πiZ2\pi i\mathbb Z.
  3. Frame bundle viewpoint. If PP is a frame bundle of a vector bundle, a gauge transformation is a change of frame covering idM\mathrm{id}_M. Pulling back the connection corresponds to the usual transformation rule for connection matrices under a change of frame.