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 ) .