Adjoint bundle

The associated bundle with fiber G where the structure group acts on G by conjugation, yielding a bundle of groups over the base.
Adjoint bundle

Let π:PM\pi:P\to M be a for a GG.

The adjoint bundle of PP is the associated bundle

Ad(P):=P×GG, \mathrm{Ad}(P):=P\times_G G,

where GG acts on itself on the left by conjugation:

gh:=ghg1. g\cdot h := g h g^{-1}.

Each fiber Ad(P)x\mathrm{Ad}(P)_x is (noncanonically) isomorphic to GG, and the group multiplication on GG descends to give Ad(P)\mathrm{Ad}(P) the structure of a smooth bundle of groups over MM.

The group of smooth sections Γ(Ad(P))\Gamma(\mathrm{Ad}(P)) is naturally identified with the of PP, and a section can be interpreted as a “gauge function” acting fiberwise (equivalently, as data defining a ).

Examples

  1. Trivial bundle. If PM×GP\cong M\times G, then Ad(P)M×G\mathrm{Ad}(P)\cong M\times G as bundles of groups.
  2. Abelian groups. If GG is abelian, the conjugation action is trivial, so Ad(P)M×G\mathrm{Ad}(P)\cong M\times G for every principal GG-bundle PP (even if PP is nontrivial).
  3. Frame bundle interpretation. If PP is the frame bundle of a rank-nn vector bundle EE, then Ad(P)\mathrm{Ad}(P) can be identified with the bundle of fiberwise linear automorphisms Aut(E)M\mathrm{Aut}(E)\to M (matrices transform by conjugation under change of frame).