# The Unapologetic Mathematician

## Independence of Intertwinors from Semistandard Tableaux

Let’s start with the semistandard generalized tableaux $T\in T_{\lambda\mu}^0$ and use them to construct intertwinors $\bar{\theta}_T:\hom(S^\lambda,M^\mu)$. I say that this collection is linearly independent.

Indeed, let’s index the semistandard generalized tableaux as $T_1,\dots,T_m$. We will take our reference tableau $t$ and show that the vectors $\bar{\theta}_{T_i}(e_t)\in M^\mu$ are independent. This will show that the $\bar{\theta}_{T_i}$ are independent, since any linear dependence between the operators would immediately give a linear dependence between the $\bar{\theta}_{T_i}(v)$ for all $v\in S^\lambda$.

Anyway, we have

$\displaystyle\bar{\theta}_{T_i}(e_t)=\theta_{T_i}\left(\kappa_t\{t\}\right)=\kappa_t\theta_{T_i}(\{t\})$

Since we assumed $T_i$ to be semistandard, we know that $[T_i]\triangleright[S]$ for all summands $S\in\theta_{T_i}(\{t\})$. Now the permutations in $\kappa_t$ do not change column equivalence classes, so this still holds: $[T_i]\triangleright[S]$ for all summands $S\in\kappa_t\theta_{T_i}(\{t\})$. And further all the $[T_i]$ are distinct since no column equivalence class can contain more than one semistandard tableau.

But now we can go back to the lemma we used when showing that the standard polytabloids were independent! The $\kappa_t\theta_{T_i}(\{t\})=\bar{\theta}(e_t)$ are a collection of vectors in $M^\mu$. For each one, we can pick a basis vector $[T_i]$ which is maximum among all those having a nonzero coefficient in the vector, and these selected maximum basis elements are all distinct. We conclude that our collection of vectors in independent, and then it follows that the intertwinors $\bar{\theta}_{T_i}$ are independent.

## 2 Comments	»

1. [...] that we’ve shown the intertwinors that come from semistandard tableaux are independent, we want to show that they span the space . This is a bit fidgety, but should somewhat resemble the [...]

Pingback by | February 11, 2011 | Reply

2. [...] the space of all intertwinors from the Specht module to the Young tabloid module . We also know that they’re linearly independent, and so they form a basis of the space of intertwinors [...]

Pingback by | February 17, 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": 20, "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.9054103493690491, "perplexity_flag": "head"}