Let Ad(P)→M\mathrm{Ad}(P)\to M be the of a PP.

A section of Ad(P)\mathrm{Ad}(P) is a

s:M→Ad(P)s:M\to \mathrm{Ad}(P)

such that πAd∘s=idM\pi_{\mathrm{Ad}}\circ s=\mathrm{id}_M, where πAd:Ad(P)→M\pi_{\mathrm{Ad}}:\mathrm{Ad}(P)\to M is the bundle projection.

Gauge-group interpretation

Under pointwise multiplication in the fibers, the set of sections Γ(Ad(P))\Gamma(\mathrm{Ad}(P)) is a group, canonically isomorphic to the of PP.

Equivalent characterizations

Equivalently, choose an {Ui}\{U_i\} and local trivializations of PP with gij:Ui∩Uj→Gg_{ij}:U_i\cap U_j\to G. Then a section ss is represented by smooth maps ai:Ui→Ga_i:U_i\to G such that on overlaps

aj(x)=gij(x)−1 ai(x) gij(x).a_j(x)=g_{ij}(x)^{-1}\,a_i(x)\,g_{ij}(x).

This is the “gauge function” gluing law: local representatives differ by conjugation with the bundle cocycle.

Examples
  1. Trivial or trivialized case. If Ad(P)≅M×G\mathrm{Ad}(P)\cong M\times G, then sections are exactly smooth maps a:M→Ga:M\to G.
  2. Abelian groups. If GG is abelian, conjugation is trivial, so every section is again just a smooth map M→GM\to G, regardless of whether PP is trivial.
  3. Central elements. If z∈Z(G)z\in Z(G), then the constant choice “zz in every fiber” defines a of Ad(P)\mathrm{Ad}(P); it corresponds to the gauge transformation p↦p⋅zp\mapsto p\cdot z.