Weight space decomposition

Weight spaces

We now embark on our study of the fine structure of SU(2) representations, aiming towards the classification theorem for irreducible representations that we stated earlier.

The first key observation is that SU(2) contains a subgroup T isomorphic to U(1) : T={(eiθ00e-iθ):eiθU(1)}.

If I have a complex representation R:SU(2)GL(V) then I can restrict it to T and I get a representation R|T:TGL(V) . By the classification of irreps of U(1) , we find that V=V1Vn where n=dimV and, with respect to this splitting, R(eiθ00e-iθ) is the diagonal matrix (eim1θ00eimnθ) . The m1,,mn are integers called the weights, the Vi are called weight spaces, and the direct sum is called the weight space decomposition.

Remark:

It's important to note that this is not a decomposition of V as a representation of SU(2) , only as a representation of T . In particular, if you act with a non-diagonal matrix in SU(2) then it will mix up these subspaces Vi .

Example

Example:

Take the standard representation R:SU(2)GL(2,𝐂) . We have R(eiθ00e-iθ)=(eiθ00e-iθ) . This is already diagonal. The weight spaces are spanned by the vectors (1,0) and (0,1) and the weights are 1 and -1 respectively.

We will depict the weight space decomposition as follows (the weight diagram). Consider the integer points sitting on the number line. Colour in each integer m which appears as a weight, and label it by the number of Vi having weight m if this number is strictly bigger than 1. In the example above, the weight diagram is a blob at -1 and a blob at 1 .

The weight space decomposition of the standard rep of SU(2), consisting of a blob at minus 1 and a blob at 1
Example:

Consider the representation R:SU(2)GL(𝔰𝔲(2)𝐂) , R(g)Mv=gMvg-1 . We computed the associated Lie algebra homomorphism R*:𝔰𝔲(2)𝔤𝔩(3,𝐂) . We found that R*(ixy+iz-y+iz-ix)=(0-2z2y2z0-2x-2y2x0). Since we're interested in the diagonal subgroup T we can set y=z=0 . We're interested in R(exp(ix00-ix))=exp(R*(ix00-ix)) which gives exp(00000-2x02x0)=(1000cos2x-sin2x0sin2xcos2x). The weights are going to be -2,0,2 . This is because:

  • We calculated the weights of the representation U(1)GL(2,𝐂) , eiθ(cosθ-sinθsinθcosθ) : these were ±1 because with respect to a basis of eigenvectors this matrix diagonalised and became (eiθ00e-iθ) .

  • We're looking at the same submatrix but with 2θ everywhere instead of θ , so this submatrix can be diagonalised to give (ei2θ00e-i2θ) .

  • What's left is the top-left entry which is 1=ei0θ , so we also get a weight space with weight 0.

The weight diagram is therefore:

The weight diagram of the 3-dimensional irrep of SU(2): blobs sitting at -2, 0, 2
Example:

Take Sym2(𝐂2) . If e1 and e2 form the standard basis for the standard representation then this has basis e21 , e1e2 , e22 . Since (eiθ00e-iθ) acts as e1eiθe1 and e2e-iθe2 in the standard representation, Sym2(eiθ00e-iθ) acts as e21ei2θe21,e1e2e1e2,e22e-i2θe22 (each factor transforms under the standard representation and then you multiply them together and the factors of eiθ or e-iθ either combine or cancel).

The weight spaces are therefore:

  • V1=𝐂e21 , with weight 2 ,

  • V2=𝐂e1e2 , with weight 0 ,

  • V3=𝐂e22 , with weight -2 .

The weight diagram is therefore the same as the weight diagram for the previous example:

The weight diagram of Sym 2 of the standard representation of SU(2): blobs sitting at -2, 0, 2. This is the same as the weight diagram from the earlier example.

We'll see later that this is enough to tell us that these representations are isomorphic.

Pre-class exercise

Exercise:

Figure out the weight diagram for Symn(𝐂2) .