Local gauge transformation

A smooth group-valued function on an open set that represents a gauge transformation in a chosen local trivialization.
Local gauge transformation

Let π:PM\pi:P\to M be a principal GG-bundle, and let UMU\subset M be an open set (typically from an ) on which we choose an ψ:π1(U)U×G\psi:\pi^{-1}(U)\to U\times G.

A local gauge transformation on UU is a smooth map

g:UG g:U\to G

viewed as acting on the local product U×GU\times G by

(x,h)(x,g(x)h). (x,h)\longmapsto (x,\,g(x)\,h).

Equivalently, it acts on the associated local section s(x)=ψ1(x,e)s(x)=\psi^{-1}(x,e) by

s(x)s(x)g(x). s(x)\longmapsto s(x)\cdot g(x).

If Φ\Phi is a global of PP, then in any chosen trivialization over UU it is represented by a unique local gauge transformation g:UGg:U\to G via

ψΦψ1(x,h)=(x,g(x)h). \psi\circ\Phi\circ\psi^{-1}(x,h)=(x,\,g(x)\,h).

When a is present, local gauge transformations also act on the resulting local connection 1-forms by the usual formula

Ag1Ag+g1dg, A \mapsto g^{-1}Ag + g^{-1}dg,

where dgdg is computed using the .

Examples

  1. Electromagnetism. For G=U(1)G=U(1), a local gauge transformation is g=eiχg=e^{i\chi} with χ:UR\chi:U\to\mathbb{R}, and the local potential transforms by AA+dχA\mapsto A+d\chi.
  2. Change of local frame. For a rank-nn vector bundle, a change of local frame on UU is given by g:UGL(n)g:U\to GL(n); it is exactly a local gauge transformation for the associated frame bundle.
  3. Transition functions as local gauge data. On an overlap UiUjU_i\cap U_j, the transition function gij:UiUjGg_{ij}:U_i\cap U_j\to G describes how local sections differ, and can be read as the local gauge transformation relating two trivializations.