# The Unapologetic Mathematician

## Semistandard Generalized Tableaux

We want to take our intertwinors and restrict them to the Specht modules. If the generalized tableau $T$ has shape $\lambda$ and content $\mu$, we get an intertwinor $\bar{\theta}_T\in\hom(S^\lambda,M^\mu)$. This will eventually be useful, since the dimension of this hom-space is the multiplicity of $S^\lambda$ in $M^\mu$.

Anyway, if $t$ is our standard “reference” tableau, then we can calculate

$\displaystyle\begin{aligned}\bar{\theta}_T(e_t)&=\bar{\theta}_T(\kappa_t\{t\})\\&=\kappa_t\theta_T(\{t\})\\&=\kappa_t\left(\sum\limits_{S\in\{T\}}S\right)\\&=\sum\limits_{S\in\{T\}}\kappa_t(S)\end{aligned}$

We can see that it will be useful to know when $\kappa_t(S)=0$. It turns out this happens if and only if $S$ has two equal elements in some column.

Indeed, if $\kappa_t(S)=0$, then

$\displaystyle S+\sum\limits_{\substack{\pi\in C_t\\\pi\neq e}}\mathrm{sgn}(\pi)\pi S=0$

Thus for some $\sigma\in C_t$ with $\mathrm{sgn}(\sigma)=-1$ we must have $S=\sigma S$. But then we must have all the elements in each cycle of $\sigma$ the same, and these cycles are restricted to the columns. Since $\sigma$ is not the identity, we have at least one nontrivial cycle and at least two elements the same.

On the other hand, assume $S(i)=S(j)$ in the same column of $S$. Then $[e-(i\,j)](S)=0$. But then the sign lemma tells us that $(e-(i\,j))$ is a factor of $\kappa_t$, and thus $\kappa_t(S)=0$.

This means that we can eliminate some intertwinors $\bar{\theta}_T$ 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

$\displaystyle\begin{array}{ccc}1&1&2\\2&3&\end{array}$

is semistandard, but

$\displaystyle\begin{array}{ccc}2&1&1\\3&2&\end{array}$

is not.

## 1 Comment	»

1. [...] of Intertwinors from Semistandard Tableaux Let’s start with the semistandard generalized tableaux and use them to construct intertwinors . I say that this collection is [...]

Pingback by | February 9, 2011 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 26, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8942263126373291, "perplexity_flag": "head"}