Right Maurer–Cartan form

The canonical Lie-algebra-valued 1-form on a Lie group that identifies each tangent space with the Lie algebra by right translation.
Right Maurer–Cartan form

Let GG be a with Lie algebra g=TeG\mathfrak{g}=T_eG. The right Maurer–Cartan form is the g\mathfrak{g}-valued 1-form θR\theta^R on GG defined at each gGg\in G by

θgR:TgGg,θgR(v)=(dRg1)g(v), \theta^R_g:T_gG\longrightarrow \mathfrak{g}, \qquad \theta^R_g(v)= (\mathrm{d}R_{g^{-1}})_g(v),

where Rg1R_{g^{-1}} is by g1g^{-1}.

It is characterized by:

  • for each gg, θgR\theta^R_g is the inverse of (dRg)e:gTgG(\mathrm{d}R_g)_e:\mathfrak{g}\to T_gG;
  • θR\theta^R is right-invariant: (Rg)θR=θR(R_g)^*\theta^R=\theta^R for all gGg\in G.

This form provides a canonical “right trivialization” of the tangent bundle TGG×gTG\cong G\times\mathfrak{g}.

Examples

  1. Matrix Lie groups. For GGL(n,R)G\subset \mathrm{GL}(n,\mathbb{R}), the right Maurer–Cartan form is θR=dgg1\theta^R=\mathrm{d}g\,g^{-1}.
  2. Abelian groups. If GG is abelian (e.g. Rn\mathbb{R}^n or TnT^n), then left and right Maurer–Cartan forms agree under the natural identifications because left and right translations coincide.
  3. Circle group. For G=S1G=S^1 with gR\mathfrak{g}\cong\mathbb{R}, θR\theta^R is again the angular 1-form; on a standard angle chart it is dθ\mathrm{d}\theta.