Semistandard Generalized Tableaux
We want to take our intertwinors and restrict them to the Specht modules. If the generalized tableau has shape and content , we get an intertwinor . This will eventually be useful, since the dimension of this hom-space is the multiplicity of in .
Anyway, if is our standard “reference” tableau, then we can calculate
We can see that it will be useful to know when . It turns out this happens if and only if has two equal elements in some column.
Indeed, if , then
Thus for some with we must have . But then we must have all the elements in each cycle of the same, and these cycles are restricted to the columns. Since is not the identity, we have at least one nontrivial cycle and at least two elements the same.
On the other hand, assume in the same column of . Then . But then the sign lemma tells us that is a factor of , and thus .
This means that we can eliminate some intertwinors from consideration by only working with things like standard tableaux. We say that a generalized tableau is semistandard if its columns strictly increase (as for standard tableaux) and its rows weakly increase. That is, we allow repetitions along the rows, but only so long as we never have any row descents. The tableau
is semistandard, but