3
$\begingroup$

I've read that one may prove that all irreducible representations of $SO(3)$ are tensor product representations of the fundamental representation (or tensor product representations of the spin 1/2 representation if we're allowing projective reps). How would one go about proving this?

I've only ever done representation theory from a physicist's viewpoint, so I feel like I'm missing the tools to rigorously show it! Many thanks.

  • 1
    Read the beginning of the book by Fulton and Harris on representation theory. This question is not quite adopted to a site such as this, because an answer is bound to be chapter-long...2012-12-21
  • 1
    @MarianoSuárez-Alvarez Now you've done it. The challenge is to fit this in a single screen (1080 pixels).2012-12-21
  • 0
    @MarianoSuárez-Alvarez Thanks for the reference! Is anyone brave enough to attempt a very terse summary...?2012-12-21
  • 1
    I honestly think that a «very terse summary» would not help much. Books are written for a reason. Your question suggests that you want a «rigorous» approach: the rigorous approach is to study the subject a bit in detail; I think that familiarity with the subject (which, in all likelyhood you alread have) would make reading the first few chapters of Fulton a Harris a breeze, for example.2012-12-21
  • 0
    Well, I guess I attempted a very terse summary; I'm not sure how much help it is!2012-12-21
  • 0
    To be precise, the irreducibles aren't exactly the tensor powers of the "fundamental" one, they're the _symmetric_ powers. The relation is that $\otimes^n F=V_{n+1}\oplus V_{n-1}\oplus V_{n-3}\oplus \ldots$, where $F$ is fundamental and $V_n$ is the unique irreducible of dimension $n$. And $V_n$ is the symmetric $n$-th power of the fundamental one.2012-12-21
  • 0
    @paulgarrett Is that not what's usually meant by tensor product representation?2012-12-21
  • 1
    @EdwardHughes ... Maybe! Just wanted to be sure that less-informed readers were not misled. Yes, that terse phrase is often used, but it might give the wrong impression if someone didn't know. :)2012-12-21
  • 0
    Dear Edward, I'm a bit confused by the statement that irreps. of $SO(3)$ are symmetric powers of the standard rep. The fundamental rep'n of $SO(3)$ is three-dimensional, and its symmetric square (for example) is six dimensional, while the "next" irrep. of $SO(3)$ is five-dimensional. It is easier to work with $SU(2)$, as in the answer below; then it *is* true that all the irreps. of $SU(2)$ are symmetric powers of the standard *two*-dimensional rep. Regards,2012-12-22
  • 0
    @MattE - I can't see what the five dimensional one to which you are referring is exactly, could you make it explicit?2012-12-22
  • 1
    Dear Edward, Take the symmetric square of the standard three dim'l rep. It contains an invariant line, spanned by the inner product on the three dim'l rep. (this is a symmetric two-tensor, which we can think of as an element of the symmetric square). The orthogonal complement of this line is five-dimensional, and irred. In general, there is one irrep. of $SO(3)$ of each odd dimension, and none of even dimension. (You probably know about spherical harmonics, and you can realize these irreps. in spaces of spherical harmonics via the action of $SO(3)$ on the sphere.) Regards,2012-12-22

1 Answers 1

4

I think I can help with this one, too, though I'm only going to give a sketch. I think the details are worked out somewhere to the lecture notes I linked to in my comment on your last question.

First you should understand why the corresponding result (that every irrep is the tensor product of the fundamental representation) for $SU(2)$ is true. To begin, note that any representation of $SU(2)$ restricts to a representation of a $U(1)$ subgroup, so by decomposing a $SU(2)$ irrep into $U(1)$ irreps we see that every irrep of $SU(2)$ has the form $e^{i\theta k_1} \oplus \ldots \oplus e^{i \theta k_n}$. Here the $k_i$'s are integers, and conjugating with the matrix

$$\left(\begin{array}{cc} 0 & 1 \\ -1 & 0 \end{array}\right)$$

shows that $-k_i$ is an exponent whenever $k_i$ is. If the chosen $U(1)$ subgroup is generated by the basis vector $X_1$ for the Lie algebra of $SU(2)$, then it turns out that the eigenvalues of $X_1$ are simply $k_i/2$ (the $2$ comes from the fact that $SO(3)$ is a simply connected Lie group with the same Lie algebra as $SU(2)$ and $SU(2)$ double covers $SO(3)$). Using the other two directions in the Lie algebra of $SU(2)$, one can construct operators $X_+$ and $X_-$ (the "raising and lowering" or "creation and annihilation" operators) such that $X_+$ sends any $k/2$-eigenvector of $X_1$ to either $0$ or a $k/2 + 1$-eigenvector of $X_1$ and similarly for $X_-$.

This tells you exactly what irreps of $SU(2)$ have to look like: pick an eigenvector $v$ of $X_1$ whose eigenvalue $n/2$ is as large as possible (a "highest weight" vector), and repeatedly apply $X_-$. You'll generate a list of eigenvectors of $X_1$ with eigenvalues $-n/2, -n/2 + 1, \ldots, n/2-1, n/2$. None of this depended on which $X_1$ we started with, so in fact this sequence of numbers determines the irrep up to conjugation. Moreover any such sequence can be obtained by tensoring the fundamental representation (direct calculation), so we're done.

If you believe all of this works for $SU(2)$, then $SO(3)$ is easy. Every $SO(3)$ irrep gives rise to a $SU(2)$ irrep via the double cover $SU(2) \to SO(3)$, so we have already constrained the list of possible $SO(3)$ representations dramatically. The list can be restricted further by noting that a representation of $SU(2)$ descends to a representation of $SO(3)$ if and only if $-1$ goes to the identity, and this holds only when the largest eigenvalue $n/2$ is an integer, i.e. the dimension of the representation is odd.

  • 0
    Thank you - again that is marvellous. You're clearly my representation theory guru!2012-12-21
  • 0
    “The $2$ comes from the fact that $SO(3)$ is a simply connected Lie group with the same Lie algebra as $SU(2)$ ...” I think some of the $SU(2)$s in and around this sentence should be $SO(3)$s and vice versa, but not exactly sure which.2018-02-12
  • 0
    @AlexShpilkin :facepalm: Yes, $SO(3)$ and $SU(2)$ should be switched in the part you quoted. I think it's fine everywhere else. Not really sure if I should edit a 5 year old answer or just leave this comment.2018-02-12
  • 0
    @PaulSiegel Don’t see anything wrong with correcting the answer. I was doubting myself because the statement comes from the part of your answer where you (supposedly) only discuss $SU(2)$, but somehow the “Rodrigues’ $2$” still comes up.2018-02-12