Polynomial covariants of the symmetric group and some of its analogues (Q801152): Difference between revisions

Let \(P_ n=K[x_ 1,...,x_ n]\) be the polynomial algebra in n variables over a field K of characteristic 0. The symmetric group S(n) of order n acts on \(P_ n\) by permutations of variables. For any irreducible representation \(\pi\) of S(n) denote by \(\mu^ k_ n(\pi)\) the multiplicity of \(\pi\) in the subspace of \(P_ n\) formed by homogeneous polynomials of degree k. The main theorem of the paper gives a formula for the Poincaré series \(P_{\pi}(t)=\sum^{\infty}_{k=0}\mu^ k_ n(\pi)t^ k.\) Namely, let Y(\(\pi)\) be the Young diagram of the representation \(\pi\) and let \(h_ l\) be the length of the hook of the l-th cell in Y(\(\pi)\), \(f_ l\) be the length of the leg of this hook. Then \(P_{\pi}(t)=\prod^{n}_{l=1}t^{f_ l}(1-t^{h_ l})^{-1}.\)