Adjoint bundle Ad(P)

The bundle of groups associated to a principal G-bundle via the conjugation action of G on itself.
Adjoint bundle Ad(P)

Let π:PM\pi:P\to M be a for a GG. Let GG act on itself on the left by conjugation: gh:=ghg1g\cdot h := ghg^{-1}.

Construction (adjoint bundle). The adjoint bundle is the associated bundle

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

formed using the conjugation action. Each fiber Ad(P)x\mathrm{Ad}(P)_x is canonically a group (isomorphic to GG, but not canonically identified without choosing a point in PxP_x), and the group law is defined fiberwise by

[p,h1][p,h2]:=[p,h1h2], [p,h_1]\cdot [p,h_2] := [p,h_1h_2],

which is well-defined because conjugation is by group automorphisms.

A choice of local section s:UPs:U\to P identifies Ad(P)U\mathrm{Ad}(P)|_U with U×GU\times G, and changes of section act by conjugation.

Examples

  1. If PP is trivial, PM×GP\cong M\times G, then Ad(P)M×G\mathrm{Ad}(P)\cong M\times G as a bundle of groups.
  2. If GG is abelian, conjugation is trivial, so Ad(P)M×G\mathrm{Ad}(P)\cong M\times G for every principal GG-bundle.
  3. For the frame bundle of a vector bundle with structure group GL(n)\mathrm{GL}(n), Ad(P)\mathrm{Ad}(P) encodes the bundle of change-of-frame maps, with fibers identified (after choosing a frame) with GL(n)\mathrm{GL}(n).