Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

The matrix elements for the $(2l+1)$-dimensional irreducible representation of SO(3) are given by:

$D_{m',m}^l(\phi_1,\Phi,\phi_2)=[i^{m'-m}\sqrt{(l+m')!(l-m')!(l+m)!(l-m)!}$ $\times(\frac{1+\cos\Phi}{2})^l (\frac{1-\cos\Phi}{1+\cos\Phi})^{(m'-m)/2}$ $\times\sum\limits_k \frac{(-1)^k}{(l+m-k)!(l-m'-k)!(m'-m+k)!k!}$ $\times(\frac{1-\cos\Phi}{1+\cos\Phi})^k] e^{im'\phi_2}e^{im\phi_1}$

My question is, how can there be multiple irreducible representations of SO(3) each of which has a different dimension? I thought that by definition an irreducible representation is one which has no non-trivial invariant subspace. I know that SO(3) can be represented by the group of 3x3 symmetric matrices of determinant = 1 (I thought this had something to do with the fact that it takes 3 parameters to describe a 3D rotation). If I have a larger matrix (e.g. 5x5) doesn't it have to have a non-trivial invariant subspace (e.g. of dimension 2), and therefore be reducible?

The application here is the expansion of functions using generalized spherical harmonics, which is accomplished (per the Peter-Weyl theorem) using an infinite linear combination of the matrix elements of the irreducible representationS (emphasis on the S) of SO(3).

share|improve this question
    
Are you familiar with the representation theory of finite groups? There are plenty of examples there. I don't really understand your comment; why must there be an invariant subspace of dimension $2$? (The irreducible representation of dimension $5$ is not the direct sum of the standard representation and two copies of the trivial representation; it is exactly what it says on the box, an irreducible representation of dimension $5$.) –  Qiaochu Yuan May 19 '11 at 19:23
    
Could you elaborate on why it seems to you that there must be such a non-trivial invariant subspace? It seems like you're basing this on some relationship between the $3\times3$ matrices and the $5\times5$ matrices, e.g. that the former have to be contained in the later or something like that. That's not the case; the $5$-dimensional representation is a whole new set of matrices, with no immediate connection to the $3$-dimensional representation. –  joriki May 19 '11 at 19:24
    
@Qiaochu Yuan: I guess I am erroneously making some sort of connection between irreducible representations and minimal spanning sets (i.e. bases). Is there no such connection? –  okj May 19 '11 at 19:34
    
@okj: That's a very general question. A representation is a representation on some vector space, that vector space has a basis, and if you express the linear transformations of the representation in that basis, you get a corresponding matrix representation -- so very generally speaking there is a connection, but you'd have to elaborate what sort of connection you're presuming that would lead to your ideas about invariant subspaces. –  joriki May 19 '11 at 19:48
    
@okj: I don't understand what bases have to do with this. –  Qiaochu Yuan May 19 '11 at 19:56
show 11 more comments

3 Answers

up vote 11 down vote accepted

SO3 is a wonderful group, but it quickly got bored rotating vectors in space. It wanted to be used to help solve differential equations, and so desperately wanted to act on functions. Then one day, it realized it could act on functions by acting on their input.

For instance, it contains a 90 degree clockwise rotation in the x-y plane. It takes (x,y,z) and replaces it with (y,-x,z).

Well, the function 2x+3y+7z can also be rotated! We just replace x by y, y by -x, and leave z alone: 2x+3y+7z is rotated into 2y+3(-x)+7z = -3x + 2y + 7z. If we consider the action on all these linear Ax+By+Cz it becomes clear that SO(3) acts by 3×3 matrices on the vector space with basis {x,y,z}.

Yay, SO(3) can act on functions now, and it acts on those linear functions as 3×3 matrices.

What about quadratics? Well we could have 2xx + 3xy + 7yy. That same 90 degree rotation takes it to 2(y)(y) + 3(y)(-x) + 7(-x)(-x) = 7xx - 3xy + 2yy. Yay, now SO(3) acts as 6×6 matrices on the quadratic polynomials Axx+Bxy+Cyy+Dxz+Eyz+Fzz spanned by { xx, xy, yy, xz, yz, zz }.

It turns out though that SO3 doesn't swirl these functions around very thoroughly. If you take a function, and rotate its input, all it does is rotate the laplacian. In particular, notice that it takes any harmonic polynomial (one with 0 laplacian) to a harmonic polynomial. For quadratic polynomials, this is particularly easy to describe:

When you use SO(3) to rotate Axx+Bxy+Cyy+Dxz+Eyz+Fzz, it leaves the laplacian, A+C+F, alone. So it will never rotate xx into xy. In fact, it leaves the 5-dimensional space spanned by { xx-yy, yy-zz, xy, xz, yz } invariant. If we write things in these coordinates, then we get SO(3) acting as 5×5 matrices. In fact it acts irreducibly.

What happened to the 6th dimension? Well, it is spanned by a very silly function, the sphere: xx+yy+zz. If you rotate the sphere, you get the sphere. On this one dimensional space, SO(3) is represented by 1×1 matrices. Well, actually, matrix. Every single rotation in SO(3) acts as the identity matrix [1], since every rotation leaves the sphere alone.

If we use colors, like pink, lime, and periwinkle to describe vectors, then a polynomial like 5xx-5yy + 6x + 3 is composed of a pink term, 5xx-5yy, where SO(3) acts in a 5×5 manner, a lime term, 6x, where SO(3) acts in a 3×3 manner, and a periwinkle term, 3, where SO(3) acts in a 1×1 manner.

A polynomial like 7xx+5yy is a little trickier to see its colors (it is a good thing SO(3) is so clever), 7xx+5yy = 4*(xx+yy+zz) + 3*(xx-yy) + 4*(yy-zz). The fist term 4*(xx+yy+zz) is perwinkle where SO(3) acts in a 1×1 manner, but the next two terms 3*(xx-yy) + 4*(yy-zz) are pink where SO(3) acts in a 5×5 manner.

share|improve this answer
    
Since the question (especially the matrix elements) looks like it might be motivated by physics, it may be worthwhile to point out that your colour metaphor is different from how colour is used in connection with quantum chromodynamics, where incidentally the symmetry group is also $SO(3)$, and the colours red, green and blue are used to label the three basis vectors within the $3$-dimensional irreducible representation. –  joriki May 19 '11 at 20:12
    
Does anyone know how to do color on StackExchange answers? A google search brought up a ton of questions about how to do color in every other medium known to man. –  Jack Schmidt May 19 '11 at 20:53
    
@Jack since the markup is a subset of latex, the command syntax- $\color{color-you-want}{text}$ will introduce color in the math expression (i.e. within dollar signs), if you want colored text - place the text within a math-mode \text{text-goes-here} command –  crasic May 19 '11 at 21:19
    
@Jack: You can do it inside formulas like this: $\color{red}{r}\color{green}{g}\color{blue}{b}$: $\color{red}{r}\color{green}{g}\color{blue}{b}$. I don't know whether it's possible outside formulas. –  joriki May 19 '11 at 21:20
3  
Hey Jack, don't anthropomorphize SO(3): it hates it! –  Mariano Suárez-Alvarez May 20 '11 at 12:36
show 3 more comments

That's the most confusing way to write down the irreducible representations of $\text{SO}(3)$ I've ever seen. Here's a much less confusing one: the irreducible representation of $\text{SO}(3)$ of dimension $2n+1$ is precisely its action on the space of harmonic polynomials in three variables $x, y, z$ of degree $n$ (given by extending its action on $x, y, z$ multiplicatively). Maybe this will help you play with these representations and see why they don't behave the way you think they do.

share|improve this answer
add comment

Dear okj, in the $SO(3)$ case, and perhaps at least morally even more generally, you may imagine the higher-dimensional irreducible representations as tensors. In particular, the 5-dimensional representation is a symmetric traceless tensor $T$. It satisfies $$T_{ij} = T_{ji}, \quad \sum_{i=1}^3 T_{ii} = 0 $$ The first condition reduces 9 elements of the matrix to 6 independent ones; the vanishing of the trace reduces 6 to 5. Now, if an $SO(3)$ matrix $M$ acts on vectors via $$ \vec v \to M \vec v ,$$ then it acts on $T$ via $$ T \to M T M^{T}.$$ Note that it preserves the symmetry of $T$ as well as its vanishing trace. However, it's equally clear that there is no linear combination of the five entries in $T$ that would be invariant under all $SO(3)$ transformations. So there is no singlet, and because $3+1+1$ and $1+1+1+1+1$ are the only possible ways how to decompose a 5-dimensional representation to representations you know, it follows that none of them works and there is no triplet (vector), either.

More general representation of $SO(3)$ may also be written as tensors with some constraints. The constraints are needed to make them irreducible.

For more general groups, both finite and Lie groups, the more complicated representations are not that easily written as tensors, but in principle, it's always possible to find any irrep in the tensor product of "fundamental representations".

Here is an important point that may be confusing you. One may build more complicated representations of a group as $$ V_1\oplus V_2$$ which is manifestly reducible but one may also build them as $$ V_1\otimes V_2, $$ the tensor product. This is like creating object with many indices. There is no simple link between the direct sum and the tensor product. The tensor product typically contains completely new, higher-dimensional ireducible representations than $V_1$ and $V_2$.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.