[Math] the *real* representation theory of $SO(3)$

representation-theory

It seems like all the resources I find on representation theory are done for representations over the complex numbers. For those, I know how to classify all representations of $SO(3)$: they are direct sums of irreducible ones, and the irreducible representations are isomorphic to the action of $SO(3)$ on the spherical harmonics. But applying these results to real representations seems to go wrong, since $\mathbb{C}$ being algebraically closed pops up in a bunch of places.

I think the action on the real spherical harmonics continues to be irreducible, but does that classify all of the irreducible real representations? And does the classic result that representations of compact groups are direct sums of irreducible ones hold for real representations? Any resources on representation theory that discusses real representations as well as complex ones would be helpful too!

Best Answer

The result that a representation of a compact group is a direct sum of irreducibles holds over the reals too. If you know the proof for complex representations, the same proof works for real ones (if you have a representation on a vector space $V$ and $U$ is an invariant subspace, pick $\pi':V\rightarrow U$ a projection of vector spaces, and then use integration over the group to produce $\pi:V\rightarrow U$ a projection which is also a map of representation spaces).

Related Question