## Symmetric Tensors

Wow, people are *loving* my zero-knowledge test. It got 1,743 views yesterday, thanks to someone redditing it. Anywho…

Today and tomorrow I want to take last Friday’s symmetrizer 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 this representation commutes with the representation of . Then since the symmetrizer and antisymmetrizer are elements of the group algebra , they define intertwiners from to itself. The their images are not just subspaces on which the symmetric group acts nicely, but *subrepresentations* of symmetric and antisymmetric tensors — and , respectively.

Now it’s important (even if it’s not quite clear why) to emphasize that we’ve defined these representations without ever talking about a basis for . However, let’s try to get a better handle on what such a thing looks like by assuming has finite dimension and picking a basis . Then we have bases for tensor powers: a basis element of the th tensor power is given by an -tuple of basis elements for . We’ll write a general one like .

How does a permutation act on such a basis element? Well, basis elements are pure tensors, so the permutation simply permutes these basis tensorands. That is:

So the space of symmetric tensors is the image of under the action of the symmetrizer. And so it’s going to be spanned by the images of a basis for , which we can calculate now. The symmetrizer is an average of all the permutations in the symmetric group, so we find

Now we notice something here: if two basic tensors are related by a permutation of their tensorands, then the symmetrizer will send them to the *same* symmetric tensor! This means that we can choose a preimage for each basic symmetric tensor. Just use whatever permutation we need to put the -tuple of tensorands into order. That is, always select . Given any basic tensor, there is a unique permutation of its tensorands which is in this order.

As an explicit example, let’s consider what happens when we symmetrize the tensor . First of all, we toss it into the proper order, since this won’t change the symmetrization: . Now we write out a sum of all the permutations of the three tensorands, with the normalizing factor out front

Some of these terms are repeated, since we have two copies of in this tensor. So we collect these together and cancel off some of the normalizing factor to find

Now no matter how we rearrange the tensorands we’ll get back this same tensor again.

Tomorrow we’ll apply the same sort of approach to the antisymmetrizer.

[...] Let’s continue yesterday’s project by considering antisymmetric tensors today. Remember that we’re starting with a tensor [...]

Pingback by Antisymmetric Tensors « The Unapologetic Mathematician | December 23, 2008 |

[...] of Symmetric and Antisymmetric Tensor Spaces We’ve laid out the spaces of symmetric and antisymmetric tensors. We even showed that if has dimension and a basis we can set up bases [...]

Pingback by Dimensions of Symmetric and Antisymmetric Tensor Spaces « The Unapologetic Mathematician | December 30, 2008 |

[...] and before we get into that we need to revisit an old topic: tensor powers and the subspaces of symmetric and antisymmetric tensors. Specifically, how do all of these interact with duals. Through these [...]

Pingback by Multilinear Functionals « The Unapologetic Mathematician | October 22, 2009 |

[...] and Symmetric Algebras There are a few graded algebras we can construct with our symmetric and antisymmetric tensors, and at least one of them will be useful. Remember that we also have [...]

Pingback by Tensor and Symmetric Algebras « The Unapologetic Mathematician | October 26, 2009 |

[...] And if is invertible, so must be its image under each functor. These give exactly the tensor, symmetric, and antisymmetric representations of the group , if we consider how these functors act on [...]

Pingback by Functoriality of Tensor Algebras « The Unapologetic Mathematician | October 28, 2009 |