I'm reading about gauge theory and the text goes through some stuff about Lie groups and algebras rather quickly. I tried to prove one of the things they state without proof and got stuck.(adsbygoogle = window.adsbygoogle || []).push({});

Suppose that M and N are manifolds and [itex]\phi:M\rightarrow N[/itex] is a diffeomorphism. Then we can define a function

[tex]\phi(p)_*:T_pM\rightarrow T_{\phi(p)}N[/tex]

for each [itex]p\in M[/itex].

A Lie group is both a group and a manifold. We can use any member g of a group G to construct two diffeomorphisms [itex]\rho_g[/itex] and [itex]\lambda_g[/itex] that map G onto itself:

[tex]\rho_g(h)=hg[/tex]

[tex]\lambda_g(h)=gh[/tex]

The Lie algebra associated with the Lie Group is defined as the tangent space at the identity element, with a Lie bracket that will be defined below. Let's use the notation [itex]\mathfrak{g}=T_eG[/itex]

We can use either right or left multiplication to map the Lie algebra onto the tangent space at any other point g:

[tex]\rho_g(e)_*:\mathfrak{g}\rightarrow T_gG[/tex]

[tex]\lambda_g(e)_*:\mathfrak{g}\rightarrow T_gG[/tex]

Let's simplify the notation a bit:

[tex]\rho_g(e)_*(L)=Lg[/tex]

[tex]\lambda_g(e)_*(L)=gL[/tex]

We can use these maps to construct two vector fields [itex]X_L^\rho[/itex] and [itex]X_L^\lambda[/itex] for each vector L in the Lie algebra:

[tex]X_L^\rho|_g=Lg[/tex]

[tex]X_L^\lambda|_g=gL[/tex]

Either of these two vector fields can be used to define a Lie bracket on the Lie Algebra:

[tex][K,L]=[X_K^\rho,X_L^\rho]_e[/tex]

[tex][K,L]=[X_K^\lambda,X_L^\lambda]_e[/tex]

(I assume that anyone who can help me with this already knows the definition of the commutator of two vector fields, which is used on the right).

The claim I haven't been able to prove is that these two definitions of the Lie bracket are equivalent, i.e. that it doesn't matter if we define it using right or left multiplication. So my question is, can someone help me prove that?

A few observations:

[tex][K,L](f)=K(X_L^\rho f )-L(X_K^\rho f)[/tex]

[tex][K,L](f)=K(X_L^\lambda f)-L(X_K^\lambda f)[/tex]

[tex](X_L^\rho f)(h)=L(f\circ\rho_h)[/tex]

[tex](X_K^\lambda f)(h)=L(f\circ\rho_h)[/tex]

[tex](f\circ\rho_h)(k)=f(kh)[/tex]

[tex](f\circ\lambda_h)(k)=f(hk)[/tex]

What am I missing? I have a feeling it's something simple.

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Lie algebra question

**Physics Forums | Science Articles, Homework Help, Discussion**