Monday, April 24, 2017

lie algebra - Lie group Homomorphism SU(2)toSO(3)


The Lie algebra of so(3) and su(2) are respectively


[Li,Lj]=iϵkijLk

[σi2,σj2]=iϵkijσk2


And of course, there is an isomorphism between these two algebras, Λ:su(2)so(3)

such that Λ(σi/2)=Li


Now is it possible, using Λ, to construct a group homomorphism between SU(2) and SO(3)?


I was checking up on Lie group homomorphism, and in Wikipedia, there is a beautiful image enter image description here



In this image's language, how are ϕ and ϕ related to each other (just like the algebra and group elements are).


Note : I know there is a one-to-two homomorphism between these two groups which can be directly found using the group elements. I am not looking for this.


EDIT 1 : In SL(2,R) the generators, say X1,X2,X3, they obey the following commutation rules :


[X1,X2]=2X2

[X1,X3]=2X3
[X2,X3]=X1


And in the case of SO(3) with a different basis, L±=L1±iL2 and Lz=L3 with the commutators being,


[Lz,L±]=±L±

[L+,L]=2Lz


This algebra is very similar to the algebra of the previous one, so why is that we can't define a map ?


EDIT 2:


Can the group homomorphism between these two groups be written like this (Something like what I expected) : R=exp(kitkLk)=exp(kitkσk2)=exp(kitk12ln(Uk))


Now this seems like the map ϕ,



R=ϕ(U)=exp(kitk12ln(Uk))



Answer



First notice that the generators are iσk/2 and iLk, since the groups are real Lie groups and thus the structure tensor must be real.


The answer to your question is positive. In principle it is enough to take the exponential of the Lie algebra isomorphism and a surjective Lie group homomorphism arises this way ϕ:SU(2)SO(3): ϕ(exp{ktkiσk/2})=exp{ktkiLk}.

The point is that one should be sure that the argument in the left-hand side covers the whole group. For the considered case, this is true because SU(2) is compact.


If you instead consider no compact Lie groups, like SL(2,C), the exponential does not cover the group. However it is possible to prove that products of exponential do. In that case a product of two exponentials is sufficient, in practice decomposing an element of SL(2,C) by means of the polar decomposition, mathematically speaking, or as a (unique) product of a rotation and a boost physically speaking.


No comments:

Post a Comment

classical mechanics - Moment of a force about a given axis (Torque) - Scalar or vectorial?

I am studying Statics and saw that: The moment of a force about a given axis (or Torque) is defined by the equation: $M_X = (\vec r \times \...