Adjoint Lie algebra bundle ad(P)

The Lie algebra bundle associated to a principal G-bundle via the adjoint representation on the Lie algebra.
Adjoint Lie algebra bundle ad(P)

Let GG be a with Lie algebra g\mathfrak g. Let π:PM\pi:P\to M be a . The adjoint representation Ad:GAut(g)\mathrm{Ad}:G\to \mathrm{Aut}(\mathfrak g) gives a left action of GG on g\mathfrak g by gX:=Ad(g)Xg\cdot X := \mathrm{Ad}(g)X.

Construction (adjoint Lie algebra bundle). Define

ad(P):=P×Gg. \mathrm{ad}(P) := P\times_G \mathfrak g.

This is a smooth vector bundle over MM. Moreover, each fiber ad(P)x\mathrm{ad}(P)_x carries a Lie bracket induced from the on g\mathfrak g:

[p,X]  and  [p,Y]  [p,[X,Y]]. [p,X]\ \text{ and }\ [p,Y] \ \mapsto\ [p,[X,Y]].

This is well-defined because Ad(g)\mathrm{Ad}(g) is a Lie algebra automorphism.

Local sections s:UPs:U\to P identify ad(P)U\mathrm{ad}(P)|_U with U×gU\times \mathfrak g; changes of section act by Ad\mathrm{Ad}.

Examples

  1. If PP is trivial, then ad(P)M×g\mathrm{ad}(P)\cong M\times \mathfrak g as a Lie algebra bundle.
  2. If GG is abelian, then Ad\mathrm{Ad} is trivial and ad(P)M×g\mathrm{ad}(P)\cong M\times \mathfrak g for every principal GG-bundle.
  3. For a principal SO(n)\mathrm{SO}(n)-bundle, ad(P)\mathrm{ad}(P) is the bundle of skew-symmetric endomorphisms (locally identified with so(n)\mathfrak{so}(n)) transforming by conjugation under change of orthonormal frame.