Right Translation on a Lie Group

For g G, the diffeomorphism R_g:G G, R_g(h)=hg, used to transport geometric data by right multiplication.
Right Translation on a Lie Group

Let GG be a and fix an element gGg\in G.

Definition (right translation).
The right translation by gg is the map

Rg:GG,Rg(h)=hg. R_g:G\longrightarrow G,\qquad R_g(h)=hg.

Since multiplication in a Lie group is a , each RgR_g is smooth. Moreover, RgR_g is a with inverse Rg1R_{g^{-1}}.

Its gives linear isomorphisms

(dRg)h:ThGThgG, (dR_g)_h:T_hG\longrightarrow T_{hg}G,

so right translations also transport vectors between . They are used to define .

The family {Rg}gG\{R_g\}_{g\in G} satisfies

RgRh=Rhg,Re=idG, R_g\circ R_h=R_{hg},\qquad R_e=\mathrm{id}_G,

so the assignment gRgg\mapsto R_g is an antihomomorphism into the diffeomorphism group. For a left-multiplicative analogue, compare with .

Examples

  1. (Rn,+)(\mathbb R^n,+).
    For the additive Lie group, Ra(x)=x+aR_a(x)=x+a. As with left translation, (dRa)x(dR_a)_x is the identity on Rn\mathbb R^n.

  2. Matrix groups.
    If GGL(n,R)G\subseteq GL(n,\mathbb R), then RA(B)=BAR_A(B)=BA. On tangent vectors represented by matrices VV, the differential acts by right multiplication:

    (dRA)B(V)=VA. (dR_A)_B(V)=VA.
  3. Circle group S1S^1.
    Writing elements as complex numbers, Reiθ(eit)=ei(t+θ)R_{e^{i\theta}}(e^{it})=e^{i(t+\theta)}. For the abelian group S1S^1, left and right translations agree.