The Lie algebra of so(3) and su(2) are respectively
[Li,Lj]=iϵkijLk
And of course, there is an isomorphism between these two algebras, Λ:su(2)→so(3)
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
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
And in the case of SO(3) with a different basis, L±=L1±iL2 and Lz=L3 with the commutators being,
[Lz,L±]=±L±
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}.
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