The Sign Lemma
As we move towards proving the useful properties of Specht modules, we will find the following collection of results helpful. Through them all, let 
be a subgroup, and also consider the 
-invariant inner product on 
for which the distinct Young tabloids form an orthonormal basis.
First, if 
, then
where 
is the alternating sum of the elements of 
. The proof basically runs the same as when we showed that 
where 
has shape 
.
Next, for any vectors 
we have
Indeed, we can calculate
where we have used the facts that 
, and that as 
runs over a group, so does 
.
Next, if the swap 
, then we have the factorization
for some ![k\in\mathbb{C}[S_n]](http://s0.wp.com/latex.php?latex=k%5Cin%5Cmathbb%7BC%7D%5BS_n%5D&bg=e6e6e6&fg=333333&s=0 "k\in\mathbb{C}[S_n]")
. To see this, consider the subgroup 
, and pick a transversal. That is, write as a disjoint union:
but then we can write the alternating sum
as we stated.
Finally, if is some tableau with 
and 
in the same row, and if the swap , then
Our hypothesis tells us that 
. We can thus use the above factorization to write
Like this:
Like Loading...
December 29, 2010 -
Posted by John Armstrong |
Algebra, Representation Theory, Representations of Symmetric Groups
[...] of the Sign Lemma The results we showed last time have a few immediate consequences we will have use [...]
Pingback by Corollaries of the Sign Lemma « The Unapologetic Mathematician | December 31, 2010 |
[...] entries in tells us that we must have some pair of and in the same row of . Thus the swap . The sign lemma then tells us that . Since this is true for every summand of , it is true for [...]
Pingback by Properties of Garnir Elements from Tableaux 1 « The Unapologetic Mathematician | January 18, 2011 |
[...] we’ve used the sign lemma. So any two polytabloids coming from tableaux in the same column equivalence class are scalar [...]
Pingback by Standard Polytabloids Span Specht Modules « The Unapologetic Mathematician | January 21, 2011 |
[...] the other hand, assume in the same column of . Then . But then the sign lemma tells us that is a factor of , and thus [...]
Pingback by Semistandard Generalized Tableaux « The Unapologetic Mathematician | February 8, 2011 |