Intertwinors from Semistandard Tableaux Span, part 1

Now that we’ve shown the intertwinors that come from semistandard tableaux are independent, we want to show that they span the space $\hom(S^\lambda,M^\mu)$ . This is a bit fidgety, but should somewhat resemble the way we showed that standard polytabloids span Specht modules.

So, let $\theta\in\hom(S^\lambda,M^\mu)$ be any intertwinor, and write out the image

$\displaystyle\theta(e_t)=\sum\limits_Tc_TT$

Here we’re implicitly using the fact that $\mathbb{C}[T_{\lambda\mu}]\cong M^\mu$ .

First of all, I say that if $\pi\in C_t$ and $T_1=\pi T_2$ , then the coefficients of $T_1$ and $T_2$ differ by a factor of $\mathrm{sgn}(\pi)$ . Indeed, we calculate

$\displaystyle\pi\left(\theta(e_t)\right)=\theta\left(\pi(\kappa_t\{t\})\right)=\theta(\mathrm{sgn}\kappa_t\{t\})=\mathrm{sgn}(\pi)\theta(e_t)$

This tells us that

$\displaystyle\pi\sum\limits_Tc_TT=\mathrm{sgn}(\pi)\sum\limits_Tc_TT$

Comparing coefficients on the left and right gives us our assertion.

As an immediate corollary to this lemma, we conclude that if $T$ has a repetition in some column, then $c_T=0$ . Indeed, we can let $\pi$ be the permutation that swaps the places of these two identical entries. Then $T=\pi T$ , while the previous result tells us that $c_T=\mathrm{sgn}c_T=-c_T$ , and so $c_T=0$ .

February 11, 2011 - Posted by John Armstrong | Algebra, Representation Theory, Representations of Symmetric Groups

2 Comments »

[…] continue our proof that the intertwinors that come from semistandard tableaux span the space of all such […]

Pingback by Intertwinors from Semistandard Tableaux Span, part 2 « The Unapologetic Mathematician | February 12, 2011 | Reply
[…] we are ready to finish our proof that the intertwinors coming from semistandard generalized tableaux span the space of all […]

Pingback by Intertwinors from Semistandard Tableaux Span, part 3 « The Unapologetic Mathematician | February 14, 2011 | Reply

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.

RSS Feeds

RSS - Posts
RSS - Comments
Feedback

Got something to say? Anonymous questions, comments, and suggestions at Formspring.me!
Subjects

Subjects
Archives

February 2011

M T W T F S S

1 2 3 4 5 6

7 8 9 10 11 12 13

14 15 16 17 18 19 20

21 22 23 24 25 26 27

28

« Jan Mar »
Search for:

The Unapologetic Mathematician

Mathematics for the interested outsider