Young diagram for exterior powers of standard representation of $S_{n}$ I'm trying to solve ex. 4.6  in Fulton and Harris' book "Representation Theory". It asks about the Young diagram associated to the standard representation of $S_{n}$ and of its exterior powers. The one of the standard representation $V$ is the partition $\left( n-1, 1 \right)$, while for $\Lambda^{s}V$ is $\left( n-s , 1 , \ldots , 1 \right)$.
For the standard representation I found some hints, such as here, but for the second part I have no clue. The book advises to use Frobenius formula or the branching rule (known also as Pieri's formula)... I tried to think about something like induction on both $n$ and $s$, since the base of the induction for $s$ is given by the standard representation, but then I just stared at the sheet...
Thanks in advance for any hint!
Edit
Maybe I found an explanation, but I'm not sure it is ok!
 A: Here is a solution using Pieri's rule:
The representation $\wedge^s V$ has as basis vectors:
$$
\{(e_1 - e_{i_1})\wedge e_{i_2}\wedge\cdots \wedge e_{i_s}\mid 2\leq i_1<\dotsb <i_s\leq n\}.
$$
If we restrict this representation to $S_{n-1}$, then the representation on the subspace spanned by $\{(e_1 - e_{i_1})\wedge \dotsb \wedge e_{i_s}\mid 2\leq i_1<\dotsb <i_s\leq n-1\}$ is just the representation of $S_{n-1}$ on $\wedge^s V_{n-1}$, where $V_{n-1}$ is the subspcace of $V$ consisting of vectors with the last coordinate equal to $0$.
On the other hand, the representation of $S_{n-1}$ on the subspace spanned by $\{(e_1 - e_{i_1})\wedge \dotsb \wedge e_{i_{s-1}}\wedge e_n\mid 2\leq i_1<\dotsb <i_{s-1}\leq n-1\}$ is isomorphic to the representation $\wedge^{s-1}V_{n-1}$ of $S_n$.
Therefore, by induction hypothesis, the restriction of $\wedge^s V$ to $S_{n-1}$ is the sum of the representation corresponding to $(n-s, 1^{s-1})$ and the representation corresponding to $(n-s-1, 1^s)$. It follows from Pieri's rule that $\wedge^s V$ is the representation corresponding to $(n-s, 1^s)$.
A: I am not sure that the proof I tried to sketch is ok. Any correction or hint is welcome!
I'll assume the following: given $S_{n}$ and $V$ it's standard representation, $\Lambda^{0}V , \ldots, \Lambda^{n-1}V$ are irreducible. Furthermore, I'll assume the Hook length formula and the consequence that the only representations of dimension lower than $n$ are given by the partitions $\left(n\right)$, $\left(1,\ldots,1\right)$ (both of dimension $1$), $\left(n-1,1\right)$, $\left(2, 1, \ldots, 1\right)$ (both of dimension $n-1$) (ex. 4.14 Fulton Harris). We'll also assume the branching rule (ex. 4.43, 4.44 Fulton Harris). Finally, we'll assume that it is known that the partition $\left(n\right)$ corresponds to the trivial representation (and hence, by dimension we are given that $\left(1, \ldots, 1\right)$ corresponds to the alternating one).
Notation: since things like $\left(1, \ldots , 1\right)$ can be ambiguous, I'll write $\left( 1, \ldots, 1 \right)_{n}$ to indicate it is a partition of $n$. I'll also write $V_{n}$ to indicate the standard representation of $S_{n}$
First, we check that the standard representation corresponds to $\left(n-1,1\right)$. Assume $n>1$. I'll identify the diagram with the representation as notation. We have $\mathbb{res}^{S_{n+1}}_{S_{n}}\left(n-1,1\right) = \left(n-1\right) \oplus \left(n-2,2\right)$ and $\mathbb{res}^{S_{n+1}}_{S_{n}}\left(2,1,\ldots,1\right)_{n+1} = \left(1,\ldots,1\right)_{n} \oplus \left(2,1,\ldots,1\right)_{n}$. It is easy yo see that the standard representation, when restricted, has a factor which is a trivial representation (we show it in the same way we decompose the representation $\mathbb{C}^{n}$ into the standard and the trivial one). So the standard representation must correspond to $\left(n-1,1\right)$. By dimension argument, $\Lambda^{n-2}V=\left(2,1,\ldots,1\right)_{n}$.
Now we'll proceed by induction both on $n$ and $s$, where $s$ is the index of the exterior power. For $n=1$ everything is trivial, so we have the basis of induction. Now we have to pass from $n$ to $n+1$. We have the base of induction on $s$ (for $s=0$ we have assumed known and for $s=1$ we have shown it). We have to pass from $s$ to $s+1$. Now $s \geq 1$, but since we already know $\Lambda^{n-2}V$ and $\Lambda^{n-1}V$, we can assume $s<n-3$. Now we'll use the fact that restriction and exterior power commute (in fact for a representation $M$, $\Lambda^{s} M = M^{\oplus r} / \left( I \cap M^{\oplus r}\right)$, where $I$ is the ideal in the tensor algebra of $M$ generated by the elements $m \otimes m$ and this operation commutes with the restriction). Now we have by branching rule $\mathrm{res}^{S_{n+1}}_{S_{n}}\left(n-s, 1, \ldots, 1 \right)_{n+1}=\left(n-s, 1 , \ldots, 1 \right)_{n} \oplus \left( n-s-1,1, \ldots, 1\right)_{n}$. By inductive hypothesis we know it is $\Lambda^{s+1}V_{n} \oplus \Lambda^{s}V_{n}$. Now we observe that because of the form of the diagrams we are considering (Fulton Harris call them hooks) and because of branching rule, no other irreducible representation of $S_{n+1}$ can restrict to this representation of $S_{n}$. Now we consider $\Lambda^{s+1}V_{n+1}$, which is known to be irreducible. We have $\mathrm{res}^{S_{n+1}}_{S_{n}}\Lambda^{s+1}V_{n+1}=\Lambda^{s+1}\mathrm{res}^{S_{n+1}}_{S_{n}}V_{n+1}=\Lambda^{s+1}\mathrm{res}^{S_{n+1}}_{S_{n}}\left(n,1\right)=\Lambda^{s+1}\left( \left(n\right) \oplus \left( n-1,1\right) \right)=\left(\Lambda^{s+1}\left(n-1,1\right)\otimes \Lambda^{0}\left(n\right)\right) \oplus \left(\Lambda^{s}\left(n-1,1\right)\otimes \Lambda^{1}\left(n\right)\right)=\Lambda^{s+1}V_{n} \oplus \Lambda^{s}V_{n}$.
So we are done.
