MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Recently, a question about the beautiful theory of harmonic polynomials made me aware there is something I've wanted to know for a long time.

As is well known, for any number of variables $n$ and any degree $m$, there is a permutation invariant family of polynomials that generates linearly the space $\mathcal{H}_n^m$ of all (real) harmonic homogeneous polynomials in $n$ variables of degree $m$:

$$\mathcal{F}_ n^{\, m}:=\big\{ K\big(\partial^\alpha\|x\|^{2-n}\big)\, :\, \alpha\in\mathbb{N}^n\, ,\, \alpha_1+\dots+\alpha_n=m\, \big\}\, ,$$

where $K$ denotes the Kelvin transform, $Ku(x):=\|x\|^{2-n}u(\|x\|^{-2}x)$. Here, by a permutation invariant set of polynomials I simply mean, if $P(x_1,\dots,x_n)$ is in it, then $P(x_{\sigma(1)},\dots,x_{\sigma(n)})$ also is in it, for any permutation $\sigma \in \mathfrak{S}_n$. The family $\mathcal{F}_ n^{\\, m}$ is not linearly independent; however, taking only the elements corresponding to a suitable subset of multi-indices, namely, imposing e.g. $\alpha_n\le 1$, one actually finds a basis. What makes me a bit unhappy is that this constraint breaks the symmetry. So I wonder:

Is there an explicit permutation invariant subset of $\mathcal{F}_ n^{\\, m}$ which is a basis of $\mathcal{H}_n^m$ ? If not always, for what $n$ and $m$? And, more generally, how to make an explicit permutation invariant basis ?

Actually, I do not see obstructions to the existence of such a basis, but I would also not be completely sure about how to prove its existence. Before starting and trying to answer by myself, I'd like to pose the question here. My apologies if it turns out to be trivial!

share|cite|improve this question
If the result is false it can be disproved with a finite, albeit tedious, calculation. A finite-dimensional real vector space on which $S_n$ acts admits a permutation-invariant basis if and only if it is a direct sum of permutation representations, and for fixed $n$ this can be checked by comparing the character of the representation against the characters of all permutation representations (this is the tedious part). In particular the number of copies of the trivial representation is the number of orbits of the action of $S_n$, so if there are no such copies then the result is false. – Qiaochu Yuan Oct 20 '11 at 19:45
Thank you... So, the existence of an invariant basis may really depend on the pair $(n,m)$ ? – Pietro Majer Oct 20 '11 at 19:55
Sorry if I am being silly, but I don't see how the result you cite can be true for $n = 2$. – Qiaochu Yuan Oct 20 '11 at 22:25

Already the desired result is false for $n = 3, m = 2$, but for simpler reasons than I suggested in the comments. In this case the polynomials you give are $x^2 - 2y^2 + z^2, xy$ and their permutations. The sum of the permutations of $x^2 - 2y^2 + z^2$ is zero, so none of its permutations can be part of a permutation-invariant basis, and the span of the permutations of $xy$ don't span the entire space.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.