Some Symmetric Group Representations
Tuesday, we talked about tensor powers of the standard representation of 
. Today we’ll look at some representations of the symmetric group 
and see how they’re related.
We start by looking at the 
th tensor power 
. Now since the category of vector spaces is symmetric, we get a representation of the symmetric group . Indeed, we just use the element of the symmetric group to permute the tensorands. That is, given 
and a pure tensor 
we define the representation 
by
![\left[\pi(\sigma)\right]\left(v_1\otimes...\otimes v_n\right)=v_{\sigma(1)}\otimes...\otimes v_{\sigma(n)}](https://s0.wp.com/latex.php?latex=%5Cleft%5B%5Cpi%28%5Csigma%29%5Cright%5D%5Cleft%28v_1%5Cotimes...%5Cotimes+v_n%5Cright%29%3Dv_%7B%5Csigma%281%29%7D%5Cotimes...%5Cotimes+v_%7B%5Csigma%28n%29%7D&bg=e6e6e6&fg=333333&s=0&c=20201002)
Indeed, it’s straightforward to check that 
, given the convention we’ve picked for symmetric group composition.
This representation of on is almost trivial, so why do we care? Well, it turns out that every single one of the transformations in the representation commutes with the action of on ! Indeed, because of the way we defined the group to act on the tensor powers by doing the exact same thing to each tensorand, we can shuffle around the tensorands and get the same result. If you’re still not convinced, write out the square that needs to commute and verify both compositions.
In fact, there’s a really beautiful theorem (that I’m not about to prove here (yet)) that says the situation is even nicer. Let’s consider specifically 
— a finite-dimensional vector space over the complex numbers. Then the representations of (the group algebras of) and 
determine subalgebras (call them 
and 
, respectively) of the endomorphism algebra 
. And each one is the “centralizer” of the other. That is, is the subalgebra consisting of all algebra elements of which commute with every element of , and vice-versa. This situation is called “Schur-Weyl duality”, and it turns out to be fantastically useful in studying representations of both the symmetric groups and the general linear groups.
Like this:
Like Loading...
Related
December 4, 2008 -
Posted by John Armstrong |
Algebra, Representation Theory
The Unapologetic Mathematician 
[…] and antisymmetrizer and apply them to the tensor representations of , which we know also carry symmetric group representations. Specifically, the th tensor power carries a representation of by permuting the tensorands, and […]
Pingback by Symmetric Tensors « The Unapologetic Mathematician | December 22, 2008 |
[…] that we’re starting with a tensor representation of on the tensor power , which also carries an action of the symmetric group by permuting the tensorands. The antisymmetrizer (for today) is an element of the group algebra , […]
Pingback by Antisymmetric Tensors « The Unapologetic Mathematician | December 23, 2008 |
[…] that this isn’t just a vector space. The tensor power is both a representation of and a representation of , which actions commute with each other. Our antisymmetric tensors are the image of a certain […]
Pingback by The Determinant « The Unapologetic Mathematician | December 31, 2008 |