Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm working through Fulton-Harris and I'm kind of "stuck" at the following question. I'm looking for representations of $S_d$, the symmetric group on $d$ letters via Young Tableaux. The question is: "Show that for general $d$, the standard representation $V$ of $S_d$ corresponds to the partition $d = (d-1)+1$."

When I look at the hint I see that they give a basis: $$v_j = \sum_{g(d)=j} e_g - \sum_{h(1)=j} e_h$$ for $j=2,...,d$. Is there any way I can "see" that this should be a basis corresponding to the partition? Because, right now, they just seem to appear from magic. The representation should be the image of $c_{(d-1,1)} = a_{(d-1,1)} \cdot b_{(d-1,1)}$ in the group algebra of $S_d$ (here $a_\lambda$ corresponds to the permutations of $S_d$ that preserves the rows of the young tableaux and $b_\lambda$ the columns).

I do see how one might try for smaller cases by simply multiplying each element by $c_\lambda$ ( The young symmetrizer) , but even for $d=4$, this becomes quite impractical. Are there any other ways to see that this "should be" a basis? In general, what can we say about a young diagram and the corresponding basis for its irreducible representation?

share|improve this question
    
Try to explain what all this is about precisely. What is "this basis" for instance. What group is being represented? Formulating this way it is difficult to help you out. –  Marc van Leeuwen Mar 10 '12 at 21:16
    
Thanks for the input Mark, I tried to clarify it a bit. Is it easier to understand now? –  Shaf_math Mar 10 '12 at 22:09

1 Answer 1

The formula does not come from magic. Here's how I think about it. Suppose you give the Young diagram corresponding to the partition $d = (d-1) + 1$ the standard tableaux of $1,2,3,\ldots, d-1$ on the first row and $d$ for the second row. Now instead of applying the young symmetrizer straight up to $\Bbb{C}[S_d]$ you can first apply $a_\lambda$ and see what happens. Now we claim that $\Bbb{C}[S_d]a_\lambda$ is $d$ dimensional. To see this, first notice that that the row group $P_\lambda \cong S_{d-1}$.

Now for any $e_g,e_h$ with $g,h\in S_d$, we have $e_g a_\lambda = e_ha_\lambda$. This is because $a_\lambda$ is the sum of all elements in $S_d$ and multiplying again by an $e_g$ for $g \in S_{d-1}$ just permutes the order of summation in $a_\lambda$. More generally, we see that for any $e_g, e_h \in \Bbb{C}[S_d]$ such that $g^{-1}h \in S_{d-1}$, we have

$$e_ga_\lambda = e_ha_\lambda.$$

This comes down to the fact that two left cosets $gS_{d-1}$ and $hS_{d-1}$ are equal iff $g^{-1}h \in S_{d-1}$. Hence $\Bbb{C}[S_d]a_\lambda$ has basis vectors $v_i$ that are

$$v_i = e_\sigma a_\lambda$$

where $\sigma$ is a 2-cycle of form $(k\hspace{1mm} d)$ for $1 \leq k \leq d$ with the convention that $(d\hspace{1mm} d)$ is the identity.

The final step in the problem is to apply $b_\lambda$ to each of these basis vectors and show that their total sum is zero. Indeed, this can be seen as follows. We write $\sum_{i=1}^d v_ib_\lambda$ as

$$\begin{array}{ccccccc}\bigg(e_{(1)} a_\lambda &+& e_{(1d)}a_\lambda &+& e_{(2d)}a_\lambda &+& \ldots &+& e_{(d-1 \hspace{1mm} d)} a_\lambda \bigg) \\ &&&& \text{minus} &&\\ \bigg(e_{(1)} a_\lambda e_{(1d)} &+& e_{(1d)}a_\lambda e_{(1d)} &+& e_{(2d)}a_\lambda e_{(1d)} &+& \ldots &+& e_{(d-1 \hspace{1mm} d)} a_\lambda e_{(1d)}\bigg).\end{array}$$

Notice we can decompose $e_{(1)}a_\lambda$ as

$$e_{(1d)} \left(\sum_{ g\in a_\lambda, g(1) = 1} e_g \right) e_{(1d)} + e_{(1d)} \left(\sum_{ g\in a_\lambda, g(2) = 1 } e_g \right) e_{(2d)} + \ldots + e_{(1d)} \left(\sum_{ g\in a_\lambda, g(d-1) = 1 } e_g \right) e_{(d-1\hspace{1mm} d)}. $$

A similar decomposition exists for elements in the first row in that big fat expression we wrote for $\sum_{i=1}^d v_ib_\lambda$. You should be able to see now that the sum is in fact zero, so that $\Bbb{C}[S_d]c_\lambda$ is spanned by

$$v_2b_\lambda,\hspace{1mm} v_3b_\lambda, \hspace{1mm} \ldots, v_db_\lambda.$$

However each of these vectors is precisely the $v_j$ that they have in the answer at the back of Fulton and Harris so we are done.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.