Does SO(3) Have Nontrivial Complex 2-Dimensional Representations?

  • Thread starter Thread starter quasar987
  • Start date Start date
  • Tags Tags
    Representations
quasar987
Science Advisor
Homework Helper
Gold Member
Messages
4,796
Reaction score
32
Is it true that SO(3) has no complex 2-dimensional representation (except the trivial one...)? How to see this? If it is nontrivial, can someone provide a source? Is there such a thing as a classification of all the linear representations of SO(n)?

Thanks
 
Physics news on Phys.org
In general, a (smooth, complex, finite-dimensional) representation of a compact Lie group (such as SO(n)) decomposes into a direct sum of irreducible representations. The irreducible representations of SO(n) have been classified; this is the classical theory of spherical harmonics.

For SO(3), it's easy to work things out by hand. Recall that we have the 2:1 covering SU(2) -> SO(3). So, given an irred rep SO(3) -> GL(V), we can compose it with the covering map to get a rep SU(2). This SU(2) rep is easily seen to be irreducible. The important thing to notice is that the kernel {±I} of the covering map will act trivially on V. Conversely, whenever you have an irreducible representation of SU(2) in which -I is acting trivially, you get an irreducible representation of SO(3).

So now we have to determine the irred reps of SU(2), but this is pretty straightforward (and can be found in virtually every textbook on the rep theory of Lie groups). One approach would go as follows. Because SU(2) is simply connected, its representations lie in one-to-one correspondence with representations of its Lie algebra su(2), which in turn Lie in one-to-one correspondence with representations of the complexification ##\mathfrak{sl}_2\mathbb C = \mathfrak{su}(2) \otimes \mathbb C##. The irred reps of sl_2(C) are ##V_n = \text{Sym}^n \mathbb C^2## (##n=0, 1, 2, \ldots##), where sl_2(C) acts on C^2 in the obvious way. [Note that dim V_n = n+1.] (See, e.g., the chapter in Fulton & Harris on sl_2.)

From this description we can see that ##-I \in SU(2)## acts on V_n by ##(-1)^{n}##, i.e., -I acts trivially on V_n iff n is even (in which case dim V_n is odd).

Consequence: SO(3) has no irreducible representations representations of even dimension.

It follows that a 2-dimensional representation of SO(3) will decompose into a direct sum of one-dimensional representations, which are necessarily trivial (by, e.g., the above description).
 
Thank you for this very nice reply morphism.
 
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top