I’ve now decided on future plans for my posts. I’m going to alternate between number theory posts and posts on other subjects, since I lack the focus have too many interests to want to spend all my blogging time on one area.

For today, I’m going to take a break from number theory and go back to representation theory a bit, specifically the symmetric group. I’m posting about it because I don’t understand it as well as I would like. Of course, there are numerous other sources out there—see for instance these lecture notes, Fulton and Harris’s textbook, Sagan’s textbook, etc.  Qiaochu Yuan has been posting on symmetric functions and may be heading for this area too, though if he does I’ll try to avoid overlapping with him; I think we have different aims anyway, so this should not be hard.

Representation Theory of the Symmetric Group

I summarized the basic general facts about group representation theory here, which we we will need here. For more complete details, see the references there to other mathematics blogs and this post .

The simple representations of the symmetric group ${S_n}$ are indexed by the conjugacy classes of ${S_n}$, which correspond to the partitions of ${n}$. It turns out that we can explicitly construct a simple ${L_{\pi}}$ associated to each ${\pi}$; this is the goal of today’s post. There are various equivalent ways of doing so; following Fulton and Harris and the arXived notes, I’ll use the Young projectors.

So, first of all, given the partition ${\pi: n_1 + \dots + n_k = n}$, we can assume ${n_1 \geq n_2 \geq \dots}$, and construct a Young diagram with ${n_1}$ boxes in the first row, ${n_2}$, in the second, etc:

Now insert the numbers from ${1}$ to ${n}$ in the boxes, in some order; the result is a Young tableau. It is clear that ${S_n}$ acts on the set of Young tableaux. The Young projectors are constructed from a given tableau using the row and column stabilizer subgroups ${P_{\pi}, Q_{\pi}}$ of ${\tau}$. Define

$\displaystyle a_\pi = \sum_{\sigma \in P_{\pi}} \sigma , \quad b_{\pi} = \sum_{\sigma \in Q_{\pi}} (-1)^{\mathrm{sgn} \sigma} \sigma \in \mathbb{Q}[S_n].$

The ${S_n}$-module ${\mathbb{C}[S_n] a_{\pi}}$ can be described combinatorially as follows: say that two Young tableaux are equivalent if they have the same numbers in each row, and call an equivalence class a tabloid. Then ${S_n}$ acts on the set of tabloids; the corresponding permutation representation is isomorphic to ${\mathbb{C}[S_n] a_{\pi}}$. Alternatively, this is

$\displaystyle \mathrm{Ind}_{S_{n_1} \times \dots \times S_{n_k}}^{S_n} (1 \otimes \dots \otimes 1).$

Finally, the Specht module is the submodule ${L_{\pi} = \mathbb{C}[S_n] a_{\pi} b_{\pi}}$. Up to isomorphism, this does not depend on the choice of tableau, since changing the tableau simply conjugates ${P_{\pi}}$ and ${Q_{\pi}}$.

Theorem 1 The Specht modules are non-isomorphic and simple. Every simple representation of ${S_n}$ is isomorphic to one of them.

Anyway, for now I’m going to leave the theorem as is without proof; in the next post I’ll prove it.   After that I will discuss how one computes the dimensions of these objects—there is an elegant “hook length formula” that gives the dimension from a glance at the Young diagram, and a Frobenius formula to compute the characters.