New representations from old

New representations from old

We've now encountered four representations of S U ( 2 ) and we've claimed there are irreps of every complex dimension. To see this, we will need some recipes for constructing new representations out of old representations.

Direct sum

Here's one recipe we already know.

Definition:

Given two representations R : G G L ( V ) and S : G G L ( W ) , we can construct a representation R S : G G L ( V W ) by setting ( R S ) ( g ) = ( R ( g ) 0 0 S ( g ) ) (a block matrix).

Remark:

This is no use for us because we're looking for irreducible representations, and this is not irreducible unless R or S is the zero-representation (because R and S are subrepresentations).

Tensor product

Definition:

Given two representations R : G G L ( V ) and S : G G L ( W ) , we can construct a representation R S : G G L ( V W ) as follows.

  • The vector space V W is constructed by taking a basis e 1 , , e m of V and a basis f 1 , , f n of W and using the symbols e i f j as a basis of V W . This is m n -dimensional. The vectors in V W are things like e 1 f 1 or e 1 f 2 - 1 2 e 3 f 5 .

  • ( R S ) ( g ) is the linear map which acts as follows on tensors v w : ( R S ) ( g ) ( v w ) = ( R ( g ) v ) ( S ( g ) w ) . It's enough to specify what it does on such tensors because all our basis vectors have this form.

Example:

Take R = S to be the standard representation of S U ( 2 ) (so V = W = 𝐂 2 ). Pick the standard basis e 1 , e 2 of V and f 1 , f 2 of W (these are the same bases, I'm just keeping different letters for clarity). A basis for 𝐂 2 𝐂 2 is given by e 1 f 1 , e 1 f 2 , e 2 f 1 , e 2 f 2 . Let g = ( a b - b ¯ a ¯ ) S U ( 2 ) . For the standard representation, R ( g ) = S ( g ) = ( a b - b ¯ a ¯ ) . This means R ( g ) e 1 = a e 1 - b ¯ e 2 and R ( g ) e 2 = b e 1 + a ¯ e 2 (similarly for S with e 's replaced by f 's).

Let's calculate ( R S ) ( g ) ( e 1 f 1 ) = ( R ( g ) e 1 ) ( S ( g ) f 1 ) = ( a e 1 - b ¯ e 2 ) ( a f 1 - b ¯ f 2 )

Multiplying out brackets, we get: a 2 e 1 f 1 - b ¯ a e 2 f 1 - a b ¯ e 2 f 1 + b ¯ 2 e 2 f 2 .

This means that the first column of the 4-by-4 matrix ( R S ) ( g ) is ( a 2 ? ? ? - a b ¯ ? ? ? - a b ¯ ? ? ? b ¯ 2 ? ? ? ) .

You can figure out the second column by computing ( R S ) ( g ) ( e 1 f 2 ) , etc. (This will be an exercise).

Remark:

It will turn out that the tensor product does not usually give an irreducible representation (indeed we will have a lot of fun later decomposing tensor products into subrepresentations), but it is a much more interesting recipe for representations than direct summation.

Symmetric powers

Given a representation R : G G L ( V ) , take R n : G G L ( V n ) . This is not irreducible: we will produce a subrepresentation consisting of symmetric tensors.

Example:

Take V = 𝐂 2 to be the standard representation and n = 2 . We found a basis e 1 e 1 , e 1 e 2 , e 2 e 1 , e 2 e 2 of ( 𝐂 2 ) 2 . The tensors e 1 e 1 and e 2 e 2 are symmetric in the sense that when I switch the two factors I get the same tensor back. The other two basis tensors are not, but the combination e 1 e 2 + e 2 e 1 is symmetric because if I switch all factors in all monomials then I get e 2 e 1 + e 1 e 2 , which is the same combination back again. By contrast, e 1 e 2 - e 2 e 1 is antisymmetric: we'll talk more about that at a later date.

We will now see that the symmetric tensors span a subrepresentation, called Sym n ( V ) . Here's the idea. Given any tensor, I can produce something symmetric in a canonical way, as illustrated by the following example.

Example:

Suppose V = 𝐂 3 with basis e 1 , e 2 , e 3 . Consider V 3 . To symmetrise e 1 e 2 e 3 V 3 , we take 1 6 ( e 1 e 2 e 3 + e 2 e 1 e 3 + e 1 e 3 e 2 + e 3 e 2 e 1 + e 2 e 3 e 1 + e 3 e 1 e 2 ) .

This is just summing all six permutations of the three factors and dividing by the number of permutations (in this case 6) so that if we start with a symmetric tensor then we get the same tensor back.

Definition:

Define the averaging map Av : V n V n by Av ( v 1 v n ) = 1 n ! σ S n v σ ( 1 ) v σ ( n ) . In other words, you take all possible permutations of the factors and then take the average of these.

Definition:

Sym n ( V ) V n is the image of the averaging map, i.e. the set of all averaged tensors, which are symmetric by construction.

Lemma:

If R : G G L ( V ) is a representation of G then Sym n ( V ) is a subrepresentation of V n .

Proof:

We will first show that the averaging map is a morphism of representations V n V n . Then we'll show that the image of a morphism is a subrepresentation.

Recall that a morphism of representations is a map L : V W such that L R ( g ) = S ( g ) L for all g G . We are therefore trying to show that Av ( R ( g ) n ( v 1 v n ) = R ( g ) n Av ( v 1 v n ) .

From the definition of the tensor product and the averaging map, we have Av ( R ( g ) n ( v 1 v n ) ) = Av ( R ( g ) v 1 R ( g ) v n ) = 1 n ! σ S n R ( g ) v σ ( 1 ) R ( g ) v σ ( n ) .

On the other hand, R ( g ) n Av ( v 1 v n ) = R ( g ) n 1 n ! σ S n v σ ( 1 ) v σ ( n ) = 1 n ! σ S n R ( g ) v σ ( 1 ) R ( g ) v σ ( n ) .

These are identical, so we see that the averaging map is a morphism of representations.

We will now prove a separate lemma telling us that the image of a morphism of representations is a subrepresentation, which will complete the proof.

Lemma:

If L : V W is a morphism of representations from R : G G L ( V ) to S : G G L ( W ) then its image { L ( v ) W : v V } is a subrepresentation of W .

Proof:

Take L ( v ) in the image of L . Apply S ( g ) to it. We have S ( g ) L ( v ) = L ( R ( g ) v ) because L is a morphism, so S ( g ) L ( v ) is in the image of L . This tells us that the image of L is a subrepresentation.

Remark:

In the case of the symmetric power this is telling us that Sym n ( V ) is a subrepresentation of V n .

Example:

Take V = 𝐂 2 , the standard representation of S U ( 2 ) . Consider Sym 3 ( 𝐂 2 ) . By averaging the basis elements of V 3 we end up with a basis for Sym 3 ( 𝐂 2 ) : e 1 e 1 e 1 , 1 3 ( e 1 e 1 e 2 + e 1 e 2 e 1 + e 2 e 1 e 1 ) , 1 3 ( e 1 e 2 e 2 + e 2 e 1 e 2 + e 2 e 2 e 1 ) , e 2 e 2 e 2 .

Remark:

This is a 4-dimensional representation, and it will turn out to be irreducible. You can label the elements here with polynomials: e 1 3 , e 1 2 e 2 , e 1 e 2 2 , e 2 3 . Given a homogeneous monomial M in e 1 and e 2 of degree n , there's a unique way to write down a symmetric tensor whose monomials reduce to M when you remove the tensor symbols. You can therefore think of Sym n ( V ) as the space of homogeneous polynomials of degree n in the basis elements of V .

Remark:

It's an exercise to see that Sym n ( 𝐂 2 ) is ( n + 1 ) -dimensional. These will turn out to be our irreducible representations of S U ( 2 ) .

Pre-class exercise

Exercise:

Let R : S U ( 2 ) G L ( 2 , 𝐂 ) and S : S U ( 2 ) G L ( 2 , 𝐂 ) be two copies of the standard representation. Figure out the full 4-by-4 matrix ( R S ) ( a b - b ¯ a ¯ ) .