Local curvature 2-form

The curvature 2-form expressed on the base via pullback along a local section.
Local curvature 2-form

Let π:PM\pi:P\to M be a principal GG-bundle with connection form ω\omega and curvature Ω\Omega as in .

On an open set UMU\subset M with local section s:UPs:U\to P, define the local connection 1-form A=sωΩ1(U;g)A=s^*\omega\in \Omega^1(U;\mathfrak{g}). The local curvature 2-form on UU is

F    sΩΩ2(U;g). F \;\coloneqq\; s^*\Omega \in \Omega^2(U;\mathfrak{g}).

Then FF is given by the structure equation

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

where dd is the and the bracket uses the on g\mathfrak{g}.

If s=sgs' = s\cdot g is another local section related by a gauge function g:UGg:U\to G, then the associated local curvature forms satisfy the gauge transformation rule

F=Ad(g1)F, F' = \mathrm{Ad}(g^{-1})F,

compatible with the .

Examples

  1. Abelian case. If GG is abelian (e.g. U(1)U(1)), then [AA]=0[A\wedge A]=0, hence F=dAF=dA, and the gauge rule reduces to F=FF'=F.

  2. Matrix-valued form convention. For GGL(n)G\subset GL(n), one often writes F=dA+AAF=dA + A\wedge A. This matches the formula above because for matrix-valued 1-forms, [AA]=AA(AA)op=2AA[A\wedge A]=A\wedge A - (A\wedge A)^{\mathrm{op}} = 2A\wedge A.

  3. Trivial (flat) local connection. If A=0A=0 on UU, then F=0F=0 on UU, so the connection is locally flat there.