Convention: Ad(P) uses the conjugation action on G

Notation convention that the adjoint bundle is formed using the conjugation action of the structure group on itself
Convention: Ad(P) uses the conjugation action on G

Let π:PM\pi:P\to M be a . In this project we reserve the notation Ad(P)\operatorname{Ad}(P) for the associated bundle with fiber the group GG itself, where GG acts on GG by conjugation.

Convention

We define the adjoint bundle

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

using the of GG on itself:

gh:=ghg1(g,hG), g\cdot h := ghg^{-1}\qquad (g,h\in G),

together with the general convention that while PP carries a right principal action (see ).

This is compatible with the construction in , and it is distinct from the adjoint Lie algebra bundle

ad(P):=P×Gg, \operatorname{ad}(P):=P\times_G \mathfrak g,

which uses the ; see .

Because conjugation is by group automorphisms, Ad(P)\operatorname{Ad}(P) is a bundle of Lie groups (fiberwise multiplication is well-defined). In particular, the can be identified with the smooth sections of Ad(P)\operatorname{Ad}(P) once this convention is fixed.

Examples

  1. Trivial principal bundle.
    If PM×GP\cong M\times G, then Ad(P)M×G\operatorname{Ad}(P)\cong M\times G as a bundle of groups (choosing the obvious global section produces the identification).

  2. Frame bundle interpretation.
    If EME\to M is a rank nn vector bundle and P=Fr(E)P=\operatorname{Fr}(E) is its , then

    Ad(P)=Fr(E)×GL(n)GL(n) \operatorname{Ad}(P)=\operatorname{Fr}(E)\times_{GL(n)}GL(n)

    can be identified with the bundle Aut(E)M\operatorname{Aut}(E)\to M of fiberwise linear automorphisms of EE (conjugation is exactly change-of-basis for matrices).

  3. Abelian structure group.
    If GG is abelian, conjugation is trivial, so Ad(P)M×G\operatorname{Ad}(P)\cong M\times G canonically. For instance, for the as a principal U(1)U(1)-bundle, the adjoint bundle is S2×U(1)S^2\times U(1).