Su(2) Lie Algebra in SO(3): Why Choose Omega/2?

Click For Summary

Discussion Overview

The discussion revolves around the choice of the factor of \(\frac{1}{2}\) in the expression for the SU(2) group element \(U(\hat{n},\omega)\) and its relation to the SO(3) group. Participants explore the implications of this factor in the context of Lie algebras and group representations, seeking clarity on the mathematical foundations and derivations involved.

Discussion Character

  • Technical explanation
  • Debate/contested

Main Points Raised

  • Some participants note that the factor of \(\frac{1}{2}\) arises because \(J_i = \frac{1}{2} \sigma_i\) satisfies the commutation relations \([J_i, J_j] = i \epsilon_{ijk} J_k\).
  • Others express confusion about the derivation and seek more detailed explanations or sources for understanding the relationship between SU(2) and SO(3).
  • One participant suggests that the factor of \(\frac{1}{2}\) is related to the 2-to-1 relationship between SU(2) and SO(3), while another challenges this view, proposing that the use of SO(3) ensures a proper representation rather than a projective one.
  • There is a mention that the rotation operator is typically expressed as \(1 - i \theta^i J_i\) to first order in parameters, with \(J_i\) adhering to standard commutation relations.
  • Some participants indicate that there are multiple perspectives on the topic, suggesting that different interpretations may coexist without negating each other.

Areas of Agreement / Disagreement

Participants express differing views on the significance of the \(\frac{1}{2}\) factor and its implications for the relationship between SU(2) and SO(3). The discussion remains unresolved, with no consensus reached on the reasons behind the choice of \(\frac{\omega}{2}\) or the implications of using SO(3) over SU(2).

Contextual Notes

Some participants highlight the need for a more detailed derivation of the equations presented, indicating that the existing explanations may lack clarity or completeness.

sunkesheng
Messages
10
Reaction score
0
hi ,i see from a book su(2) has the form
U\left(\hat{n},\omega\right)=1cos\frac{\omega}{2}-i\sigmasin\frac{\omega}{2}
in getting the relation with so(3),why we choose \frac{\omega}{2},how about changing for \omega?
thank you
 
Physics news on Phys.org
The ½ is there because J_i=\frac 1 2 \sigma_i satisfies the commutation relations [J_i,J_j]=i\epsilon_{ijk}J_k.
 
thanks a lot,but i still cannot understand it ,because the book just gives the equation ,where can i find a detailed derivation?
 
sunkesheng said:
hi ,i see from a book su(2) has the form
U\left(\hat{n},\omega\right)=1cos\frac{\omega}{2}-i\sigmasin\frac{\omega}{2}
in getting the relation with so(3),why we choose \frac{\omega}{2},how about changing for \omega?
thank you

Note that U is an element of Lie group SU(2), not an element of the Lie algebra su(2).

Roughly, there is a factor of 1/2 because of the 2 to 1 relationship between the groups SU(2) and SO(3).
 
George Jones said:
Roughly, there is a factor of 1/2 because of the 2 to 1 relationship between the groups SU(2) and SO(3).
I don't think that's correct, but it's possible that I'm wrong. I think the only point of using SO(3) instead of SU(2) is that it guarantees that we can find an actual representation (with U(R')U(R)=U(R'R) for all R) instead of a projective representation. (If we take R and R' to be members of SO(3), there will sometimes be a minus sign in front of one of the U's).

I think the 1/2 appears only because a rotation operator is always 1-i\theta^iJ_i to first order in the parameters, with the J_i satisfying the usual commutation relations.
 
Fredrik said:
I don't think that's correct, but it's possible that I'm wrong. I think the only point of using SO(3) instead of SU(2) is that it guarantees that we can find an actual representation (with U(R')U(R)=U(R'R) for all R) instead of a projective representation. (If we take R and R' to be members of SO(3), there will sometimes be a minus sign in front of one of the U's).

I think the 1/2 appears only because a rotation operator is always 1-i\theta^iJ_i to first order in the parameters, with the J_i satisfying the usual commutation relations.

There is quite a lot of interesting stuff going on here, and I don't have time to tex it right now, but I stand by my statement. Note that what I wrote doesn't negate anything that you wrote; there are often a number of (somewhat equivalent) ways to look at the same thing.

Maybe in a couple of days I'll write a much longer post.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 22 ·
Replies
22
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 19 ·
Replies
19
Views
3K
  • · Replies 19 ·
Replies
19
Views
3K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 24 ·
Replies
24
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K