Processing math: 100%

Thursday, 4 July 2013

Real representations of the Lie algebra so(3)

Recently I wondered about the real (irreducible) representations of the Lie group SO(3) and its Lie algebra so(3). It is well known, that the representations of SO(3) are odd-dimensional, there are no (irreducible) representations of SO(3) in even dimensions.

Usually, in textbooks the authors quickly move from SO(3) to the covering group SU(2) and derive the (complex) representations of the corresponding Lie algebra su(2) using quantum mechanical angular momentum algebra and ladder operators.

There appears to be surprisingly little in the published literature on real-valued representations of so(3). How do the real-valued representations look like? A google search lead me to
V. M. Gordienko
Matrix entries of real representations of the group O(3) and SO(3)
Siberian Mathematical Journal (2002), 43(1):36-46
DOI: 10.1023/A:1013816403253

who describes their construction; but see also
G. Itzkowitz, S. Rothman and H. Strassberg
A note on the real representation of SU(2,C)
Journal of Pure and Applied Algebra (1990), 69:285-294
DOI: 10.1016/0022-4049(91)90023-U
If I understand correctly, there is no ladder operator approach for real representations. Rather, Gordienko constructs real representations using homogeneous polynomials P(N)(x,y) in x and y with x,yC. I.e.
P(1)(x,y)=a1x2+a2xy+a3y2P(2)(x,y)=a1x4+a2x3y+a3x2y2+a4xy3+a5y4P(N)(x,y)=a1x2N+a2x2N1y+a3x2N2y2++aN+1xNyN++a2Nxy2N1+a2N+1y2N Gordienko chooses the following basis in the vector space of polynomials P(N)(x,y)
e(N)n(x,y)=iN+1(2N+1)!2(Nn)!(N+n)!×(xNnyN+n(1)nxN+nyNn)ifn1e(N)n=0(x,y)=iN(2N+1)!N!xNyNifn=0e(N)n(x,y)=iN(2N+1)!2(N+n)!(Nn)!×(xN+nyNn+(1)nxNnyN+n)ifn1 with n=N,,N. Now let's take a generic rotation matrix from the group SU(2), parametrized by the three real numbers α, β and γ and we write with δ1α2β2γ2
M=(δiγβiαβiαδ+iγ)(ABBA) and apply it on the 2-dimensional complex vector (x,y), i.e.
(x,y)(x,y)(ABBA)=(AxBy,Bx+Ay) For the "rotated" basis e(N)n(x,y) we obtain
e(N)n(x,y)=e(N)n(AxBy,Bx+Ay)=+Nm=NT(N)n,m(A,B)e(N)m(x,y) The (2N+1)×(2N+1) matrix T(N)m,n(A,B) is the (2N+1)-dimensional representation matrix of SO(3) we're looking for.

Why is T(N)m,n(A,B) real-valued? Turns out, the basis vectors e(N)n(x,y) are constructed in such a way that
e(N)m(x,y)=(e(N)m(y,x)) holds, where x denotes the complex conjugate of x. Gordienko shows that for basis vectors with this property the entries of the representation matrices T(N)n,m(A,B) are indeed real. Specifically,
e(N)m(x,y)=e(N)m(AxBy,Bx+Ay)=(e(N)m(BxAy,AxBy))=(e(N)m(B(x)+A(y),AxBy))=(e(N)m(y,x))=(Nn=NT(N)m,n(A,B)e(N)n(y,x))=Nn=N(T(N)m,n(A,B))(e(N)n(y,x))=Nn=N(T(N)m,n(A,B))e(N)n(x,y)Thus, T(N)m,n(A,B)=(T(N)m,n(A,B)) since the e(N)n(x,y) are linear independent; in other words, the matrix T(N)m,n(A,B) is real.

representationofso3.m a is a rough-and-ready MATLAB programme (included in LieTools), which outputs numerical approximations of the n-dimensional representations of so(3) (for n below about 90) using the method described above. For dimensions 3, 5 and 7 the output of representationofso3.m yields the following matrices. The 3-dimensional representation is familiar
t1=(010100000)t2=(001000100)t3=(000001010) the 5-dimensional representation is t1=(0001000301030001000001000)t2=(0000200010000000100020000)t3=(0100010000000300030100010) and the 7-dimensional representation turns out to be
t1=(000003/2000005/203/2000605/20006000005/2000003/205/2000003/200000)t2=(0000003000002000001000000000001000002000003000000)t3=(03/2000003/205/2000005/2000000000600000605/2000005/203/2000003/20) The zero entries in the off-diagonals look somewhat strange, but the matrices are definitely real, skew-symmetric and obey the so(3) commutation relations
[t1,t2]=t3[t2,t3]=t1[t3,t1]=t2