The Unapologetic Mathematician

Mathematics for the interested outsider

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 \mathrm{GL}(V), which we know also carry symmetric group representations. Specifically, the nth tensor power V^{\otimes n} carries a representation of S_n by permuting the tensorands, and this representation commutes with the representation of \mathrm{GL}(V). Then since the symmetrizer and antisymmetrizer are elements of the group algebra \mathbb{F}[S_n], they define intertwiners from V^{\otimes n} to itself. The their images are not just subspaces on which the symmetric group acts nicely, but subrepresentations of symmetric and antisymmetric tensors — S^n(V) and A^n(V), 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 V. However, let’s try to get a better handle on what such a thing looks like by assuming V has finite dimension d and picking a basis \{e_i\}. Then we have bases for tensor powers: a basis element of the nth tensor power is given by an n-tuple of basis elements for V. We’ll write a general one like e_{i_1}\otimes e_{i_2}\otimes...\otimes e_{i_n}.

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

\displaystyle\pi\left(e_{i_1}\otimes...\otimes e_{i_n}\right)=e_{i_{\pi(1)}}\otimes...\otimes e_{i_{\pi(n)}}

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

\displaystyle\begin{aligned}S\left(e_{i_1}\otimes...\otimes e_{i_n}\right)=\frac{1}{n!}\sum\limits_{\pi\in S_n}\pi\left(e_{i_1}\otimes...\otimes e_{i_n}\right)\\=\frac{1}{n!}\sum\limits_{\pi\in S_n}e_{i_{\pi(1)}}\otimes...\otimes e_{i_{\pi(n)}}\end{aligned}

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 n-tuple of tensorands into order. That is, always select i_1\leq i_2\leq...\leq i_n. 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 e_1\otimes e_2\otimes e_1. First of all, we toss it into the proper order, since this won’t change the symmetrization: e_1\otimes e_1\otimes e_2. Now we write out a sum of all the permutations of the three tensorands, with the normalizing factor out front

\displaystyle\begin{aligned}\frac{1}{3!}(e_1\otimes e_1\otimes e_2+e_1\otimes e_2\otimes e_1+e_1\otimes e_1\otimes e_2+\\e_1\otimes e_2\otimes e_1+e_2\otimes e_1\otimes e_1+e_2\otimes e_1\otimes e_1)\end{aligned}

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

\displaystyle\frac{1}{3}e_1\otimes e_1\otimes e_2+\frac{1}{3}e_1\otimes e_2\otimes e_1+\frac{1}{3}e_2\otimes e_1\otimes e_1

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.

December 22, 2008 - Posted by | Algebra, Linear Algebra, Representation Theory

5 Comments »

  1. […] 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 | Reply

  2. […] 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 | Reply

  3. […] 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 | Reply

  4. […] 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 | Reply

  5. […] 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 | Reply


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Follow

Get every new post delivered to your Inbox.

Join 411 other followers

%d bloggers like this: