Permutation Representations from Partitions
Now that we have an action of on the Young tabloids of shape , we can consider the permutation representation that corresponds to it. Let’s consider a few examples.
First, let . This is a pretty trivial “partition”, consisting of one piece of length . The Ferrers diagram of looks like
Any Young tableau thus contains all numbers on the single row, so they’re all row-equivalent. There is only one Young tabloid:
We conclude that is a one-dimensional vector space with the trivial action of .
Next, let — another simple partition with parts of length each. The Ferrers diagram looks like
Now in every Young tableau each number is on a different line, so no two tableaux are row-equivalent. They each give rise to their own Young tabloid, such as
These tabloids correspond to permutations; a generic one looks like
The action of on these tabloids is basically the same as left-multiplication on the underlying set . And so we find the left regular representation.
Finally, consider the partition . This time the Ferrers diagram looks like
and a sample Young tabloid looks like
Any Young tabloid of shape is uniquely specified by the single entry on the second row. Any permutation shuffles them around exactly like it does these entries, and so is isomorphic to the defining representation.
[…] try to calculate the characters of the Young tabloid modules we’ve constructed. Since these come from actions of on various sets, we have our usual […]
Pingback by Characters of Young Tabloid Modules (first pass) « The Unapologetic Mathematician | December 15, 2010 |
[…] we’re interested in. For any partition , the Specht module is the submodule of the Young tabloid module spanned by the polytabloids where runs over the Young tableaux of shape […]
Pingback by Specht Modules « The Unapologetic Mathematician | December 27, 2010 |
[…] space with the trivial group action. This is the only possibility anyway, since , and we’ve seen that is itself a one-dimensional vector space with the trivial action of […]
Pingback by Examples of Specht Modules « The Unapologetic Mathematician | December 28, 2010 |
[…] be a submodule of one of the Young tabloid modules. Then I say that either contains the Specht module , or it is contained in the orthogonal […]
Pingback by The Submodule Theorem « The Unapologetic Mathematician | January 4, 2011 |
[…] in the case we care about the space is the Young tabloid module , with the basis of Young tabloids having the dominance ordering. In particular, we consider for […]
Pingback by Standard Polytabloids are Independent « The Unapologetic Mathematician | January 13, 2011 |
[…] defined the Specht module as the subspace of the Young tabloid module spanned by polytabloids of shape . But these polytabloids are not independent. We’ve seen […]
Pingback by Standard Polytabloids Span Specht Modules « The Unapologetic Mathematician | January 21, 2011 |
[…] of generalized tableaux of the vector space is in bijection with the basis of -tabloids of the vector space . And this space carries an action of — the linear extension of the action on tabloids. We […]
Pingback by Modules of Generalized Young Tableaux « The Unapologetic Mathematician | February 3, 2011 |