The polynomial ring $\mathbb{C}[x\_1,\ldots,x\_n]$ decomposes as a direct sum of isotypic components for the action of the symmetric group $S\_n$. The isotypic component of the trivial representation is simply the ring of symmetric functions. The complementary summand--that is, the direct sum of all the other isotypic components--is a free module of rank $n!-1$ over the ring of symmetric functions. I would like to have an explicit basis, or at least an explicit set of generators, for this module.


For example, if $n=2$, we have $\mathbb{C}[x\_1,x\_2] = \mathbb{C}[x\_1,x\_2]^{S\_2} \oplus \mathbb{C}[x\_1,x\_2]^{S\_2}\cdot (x\_1-x\_2)$, so we have a basis consisting of the single element $x\_1-x\_2$. More generally, the isotypic component of the sign representation is equal to symmetric functions times the Vandermonde determinant, so the Vandermonde determinant should probably be one of the elements of my generating set.



Isotypic components of the action of the symmetric group on polynomials
At Dotsenko pointed out, the quotient of ${\bf C}[x\_1,\dots,x\_n]$ by the ideal of homogeneous positive degree symmetric functions is isomorphic to the regular representation of $S\_n$, so you might ask about a good choice of basis for this compatible with the $S\_n$-action that you can lift to ${\bf C}[x\_1, \dots, x\_n]$. In particular, each irreducible ${\bf M}\_\lambda$ appears $\dim {\bf M}\_\lambda$ times. 


It is a classical fact that when ${\bf M}\_\lambda$ appears the first time (i.e., lowest possible degree) that it appears with multiplicity 1, so there is a canonical choice for this representation (and this was constructed by Specht(?) and generalized by Macdonald to other root systems). To construct this, let $T$ be any filling of the Young diagram of $\lambda$ with entries $1, \dots, n$. For each column, take the Vandermonde product $\prod\_{i < j} (x\_i - x\_j)$ where $i,j$ range over distinct elements in that column. Let $p\_T$ be the product of these determinants. The space spanned by all $p\_T$ is this lowest-degree occurrence (for a basis, only consider $T$ that are standard Young tableaux).


But for the other occurrences there will be ambiguities. The following paper of Terasoma and Yamada give some choices (though it's not canonical). 


Annoucement:
<http://projecteuclid.org/euclid.pja/1195511538>


Details (joint with Ariki):
<http://projecteuclid.org/euclid.hmj/1206127144>


