Trivial principal bundle

The product principal bundle M times G with its standard projection and right action.
Trivial principal bundle

Let MM be a and let GG be a . The trivial principal GG-bundle over MM is

π:M×GM,π(x,g)=x, \pi: M\times G \longrightarrow M,\qquad \pi(x,g)=x,

equipped with the right action

(x,g)h:=(x,gh),hG. (x,g)\cdot h := (x,gh),\qquad h\in G.

The bundle M×GMM\times G\to M is a : the action is free and transitive on each fiber, and local trivializations are global (the identity map).

It has a canonical global section

s:MM×G,s(x)=(x,e), s:M\to M\times G,\qquad s(x)=(x,e),

where eGe\in G is the identity.

A principal bundle PMP\to M is called trivial if it is isomorphic (as a principal GG-bundle over MM) to M×GM\times G.

Examples

  1. Any principal bundle over a contractible base is (often) trivial in practice.
    For many Lie groups and typical geometric bases, contractibility of MM forces every principal bundle to be trivial; in particular, every principal bundle over Rn\mathbb R^n is trivial.

  2. Gauge transformations are just maps to the group.
    Every bundle automorphism of M×GM\times G covering idM\mathrm{id}_M is of the form

    Φf(x,g)=(x,f(x)g) \Phi_f(x,g)=(x,f(x)g)

    for a smooth map f:MGf:M\to G (a gauge transformation).

  3. Frame bundles on parallelizable manifolds.
    If MM admits a global frame of TMTM, then the frame bundle Fr(TM)\mathrm{Fr}(TM) is trivial: choosing a global frame identifies it with M×GL(n,R)M\times \mathrm{GL}(n,\mathbb R).