## Invariants of Symmetric group

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

The celebrated Chevalley–Shephard–Todd theorem says that $\mathbb C[V]^{S_n}$ is a polynomial algebra and gives the generators of this algebra, where $V$ is the standard (or natural) representation of the symmetric group $S_n$. I am just curious to know for what other representations of $S_n$ the generators of this algebra is known ? When is this algebra a polynomial algebra ?

-

3
It is a polynomial algebra exactly for the groups generated by pseudoreflections (this in particular tells you the precise representation) This is the full content of the C-S-T theorem. – Mariano Suárez-Alvarez Mar 17 2012 at 16:12
(See mathoverflow.net/questions/52457/…, which is relevant here) – Mariano Suárez-Alvarez Mar 17 2012 at 16:12

3
I know the theorem you state as the fundamental theorem of symmetric functions. Chevalley-Shephard-Todd is a more general theorem. – Qiaochu Yuan Mar 17 2012 at 16:44

5
@Mariano: This doesn't quite cover the question of whether $S_n$ acts as a reflection group is some other representation though, and in fact the realisation of $S_6$ as a reflection group in a non-standard way in $5$-dimension shows that there is something to check. – Geoff Robinson Mar 17 2012 at 21:50

1
@Mariano: It's what was intended by the bracketed "this in particular tells you the precise representation" that was unclear to me. – Geoff Robinson Mar 18 2012 at 22:52
show 3 more comments

## 2 Answers

Let $n \ge 7$. If $V$ is an irreducible representation of $S_n$ such that $\mathbb{C}[V]^{S_n}$ is a polynomial algebra then either $V$ is the trivial representation, the sign representation or the $(n-1)$-dimensional standard representation.

Outline Proof: Let $\rho : S_n \rightarrow \mathrm{GL}(V)$ be an irreducible representation affording the irreducible character $\chi^\lambda$ where $\lambda$ is a partition of $n$. Suppose that $V$ is $d$-dimensional. By the Chevalley-Shephard-Todd theorem, $\mathbb{C}[V]^{S_n}$ is a polynomial algebra if and only if $\rho(S_n)$ is generated by pseudo-reflections. If $\rho(g)$ is a pseudo-reflection then $\rho(g)$ is similar to a diagonal matrix $\mathrm{diag}(1,1,\ldots,1,\zeta)$ where $\zeta$ is a root of unity. Hence $\chi(g) = d-1 + \zeta$. However, the irreducible characters of symmetric groups are real valued, so if $g \not= 1_{S_n}$ then $g$ is an involution and $\chi^\lambda(g) = d-2$.

It therefore suffices to show that if $n \ge 7$ and $g \in S_n$ is an involution such that $\chi^\lambda(g) = \chi^\lambda(1)-2$ then $g$ is a transposition and either $\lambda = (1^n)$ or $\lambda = (n-1,1)$. This follows by induction using the Murnaghan-Nakayama rule. (The details are fiddly but routine.)

Edit: Geoff Robinson shows in his answer (posted at the same time as mine) that $g$ is a product of at most $3$ transpositions. This leads to a quick inductive proof: suppose that $\lambda$ has two removable boxes, whose removal gives partitions $\mu$ and $\nu$ of $n-1$. If $\mu \not= (n-1)$ and $\nu \not= (n-1)$ then, by induction, we have $\chi^\lambda(g) \le \chi^\lambda(1)-4$. Hence $\lambda = (n-1,1)$. In the remaining case $\lambda$ is a rectangular partition, and provided $n\ge 8$, we can repeat this argument after removing two boxes from $\lambda$ in two different ways.

For smaller $n$ there are two exceptional cases, corresponding to the partitions $(2,2)$ of $4$ and $(2,2,2)$ of $6$. The former representation is $2$-dimensional and is obtained from the standard representation of $S_3$ via the quotient map $S_4 \rightarrow S_3$. The latter is $5$-dimensional, and can be obtained by applying the outer automorphism of $S_6$ to the standard $5$-dimensional representation of $S_6$; the relevant character value is $\chi^{(2,2,2)}(g) = 3$ where $g = (12)(34)(56) \in S_6$.

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

I only concern myself with faithful representations of $S_n$ and for $n >4$. The only way to get a polynomial algebra of invariants is to represent $S_n$ as a complex reflection group (so generated by pseudo-reflections, that is elements wih a fixed-point space of codimension $1$). A complex relfection group is easily checked to always be a direct product of ireducible complex reflection groups, so from now on I consider only irreducible representations. The question then becomes: is there an irreducible representation of $S_n$ other than the usual $n-1$-dimensional irreducible constituent of the natural permutation character, where $S_n$ is represented as a complex reflection group? Note that tensoring with the sign representation of the stated $n-1$-dimensional representation does not produce a representation of $S_n$ as a complex reflection group. There is still some content to this question. It can probably be easily addressed by the Murnaghan-Nakayama rule, or from a more detailed knowledge of the character table of $S_n,$ but I attempt a direct argument here. Since the characters of $S_n$ are rational-valued, any element represented as a pseudo reflection in the given representation must be represented as a genuine (or "real") reflection, since its trace must be rational. The generating reflections for $S_n$ in the given representation act with determinant $-1,$ so lie outside the derived group $A_n.$ Hence they are odd permutations, and expressible as a product of an odd number of (disjoint) transpositions, since they have order $2$. Since $A_n$ is simple ( as $n \geq 5$,) any single conjugacy class of these reflections generates the whole of $S_n,$ so we assume that all the generating reflections are conjugate. Note that we are not yet entitled to assume that the generating reflections are transpositions. Now we note that the product of two generating reflections has order $1,2,3,4$ or $6.$ For such a product has a fixed point space of codimension $0$ or $2,$ has determinant $1$, and has a rational trace. Now if $k >1$ is odd, a product of $k$ transpositions inverts a $2k+1$-cycle in $S_{2k+1}.$ Hence if $k > 3,$ and $n \geq 2k+1,$ then $S_{n}$ contains a pair of conjugate permutations, each a product of $k$ disjoint transpositions, whose product has order $2k+1.$ hen $n = 2k$ we may express a $2k$-cycle as a product of two permutations, one a product of $k$ disjoint transpositions, the other a product of $k-1$ disjoint transpositions. Since $k > 3,$ if we adjoin a transposition interchanging the fixed points of the second permutation, we get a product of two permutations, each a product of $k$ disjoint transpositions, where the product is a product of two disjoint cycles of lengths (allowing a $1$-cycle) whose sum adds to $n.$ Since $n \geq 10,$ sucha product never has order $1,2,3,4,5$ or $6.$ Hence we can assume that our generating reflections are products of at most three transpositions. Furthermore, if $n \geq 8,$ we can express a $5$-cycle in $S_n$ as a product of permutations, each a product of three disjoint transpositions. For we may express a $5$-cycle in $S_5$ as a product of two permutatons, each a product of two disjoint two-cycles. Affix a transposition commuting with the $5$-cycle to each of them, and this does not change the product. Hence if our reflections are products of $3$ disjoint $2$-cycles, we are left with the case $n =6.$ In fact, this case does occur. "Twist" the natural (non-unimodular) irreducible $5$-dimensional representation of $S_6$ by the exceptional outer automorphism of $S_6,$ and we obtain a reflection representation of $S_6$ in which products of $3$ disjoint $2$-cycles act as reflections. It remains to deal with reflection representations of $S_n$ in which transposition act as reflections. I presume that the Murnaghn-Nakayama rule or the character table of $S_n$ then shows that only the expected representation arises, but I leave that issue open here. (Later Edit: This now seems to be covered by Mark Wildon's answer).

-
Thanks Robinson and Wildon for the beautiful answers. Now come to the 1st part of the question. Is there any reference for the generators of the ring of invariants of the reflection representation of $S_6$ ? Any references for the generators and relations for other representations of $S_n$ ? – mark Mar 18 2012 at 16:10

3
@mark: The ring of nvariants of the non-standard $5$-dimensional reflection representation of $S_6$ is the same as the ring of invariants for the standard one. The matrices whih are acting are the same, it's just that bacuase of teh action of the outer automorphism, in the twisted version they are associated to different group elements. If you like, the outer automorphism of $S_6$ induces an automorphism of the ring of invariants. There may be a question of knowing explicitly what the action of that automorphism is. Other question: try DJ Benson's book. – Geoff Robinson Mar 19 2012 at 8:22
@mark: Thanks for the accept, but I think Mark Wildon's answer is more complete and definitive. – Geoff Robinson Mar 19 2012 at 10:20
{"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": 127, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "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.9279365539550781, "perplexity_flag": "head"}