Weight space decomposition

Weight spaces

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

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

If I have a complex representation R : S U ( 2 ) G L ( V ) then I can restrict it to T and I get a representation R | T : T G L ( V ) . By the classification of irreps of U ( 1 ) , we find that V = V 1 V n where n = dim V and, with respect to this splitting, R ( e i θ 0 0 e - i θ ) is the diagonal matrix ( e i m 1 θ 0 0 e i m n θ ) . The m 1 , , m n are integers called the weights, the V i 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 S U ( 2 ) , only as a representation of T . In particular, if you act with a non-diagonal matrix in S U ( 2 ) then it will mix up these subspaces V i .

Example

Example:

Take the standard representation R : S U ( 2 ) G L ( 2 , 𝐂 ) . We have R ( e i θ 0 0 e - i θ ) = ( e i θ 0 0 e - 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 V i 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 : S U ( 2 ) G L ( 𝔰 𝔲 ( 2 ) 𝐂 ) , R ( g ) M v = g M v g - 1 . We computed the associated Lie algebra homomorphism R * : 𝔰 𝔲 ( 2 ) 𝔤 𝔩 ( 3 , 𝐂 ) . We found that R * ( i x y + i z - y + i z - i x ) = ( 0 - 2 z 2 y 2 z 0 - 2 x - 2 y 2 x 0 ) . Since we're interested in the diagonal subgroup T we can set y = z = 0 . We're interested in R ( exp ( i x 0 0 - i x ) ) = exp ( R * ( i x 0 0 - i x ) ) which gives exp ( 0 0 0 0 0 - 2 x 0 2 x 0 ) = ( 1 0 0 0 cos 2 x - sin 2 x 0 sin 2 x cos 2 x ) . The weights are going to be - 2 , 0 , 2 . This is because:

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

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

  • What's left is the top-left entry which is 1 = e i 0 θ , 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 Sym 2 ( 𝐂 2 ) . If e 1 and e 2 form the standard basis for the standard representation then this has basis e 1 2 , e 1 e 2 , e 2 2 . Since ( e i θ 0 0 e - i θ ) acts as e 1 e i θ e 1  and  e 2 e - i θ e 2 in the standard representation, Sym 2 ( e i θ 0 0 e - i θ ) acts as e 1 2 e i 2 θ e 1 2 , e 1 e 2 e 1 e 2 , e 2 2 e - i 2 θ e 2 2 (each factor transforms under the standard representation and then you multiply them together and the factors of e i θ or e - i θ either combine or cancel).

The weight spaces are therefore:

  • V 1 = 𝐂 e 1 2 , with weight 2 ,

  • V 2 = 𝐂 e 1 e 2 , with weight 0 ,

  • V 3 = 𝐂 e 2 2 , 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 Sym n ( 𝐂 2 ) .