The standard polynomial in $r$ *non-commuting* indeterminates $x_1,\ldots,x_r$ is defined by
$${\mathcal S}_r(x_1,\ldots,x_r):=\sum_{\sigma\in S_r}\epsilon(\sigma)x_{\sigma(1)}x_{\sigma(2)}\cdots x_{\sigma(r)}\,$$
where $S_r$ is the symmetric group in $r$ letters and $\epsilon$ is the signature. Each monomial is a word in the letters $x_j$, affected of a sign $\pm1$.

When $r=2$, ${\mathcal S}_2(x_1,x_2)=x_1x_2-x_2x_1$ is the *commutator*.

Let us apply $\mathcal S_r$ to $n\times n$ matrices with entries in some field $k$ (say $\mathbb C$). We know the following

- if $r$ is even, then ${\rm Tr}{\mathcal S}_r(A_1,\ldots,A_r)\equiv0$.
- if $r$ is even, then ${\mathcal S}_r(A_1+\alpha_1 I_n,\ldots,A_r+\alpha_rI_n)={\mathcal S}_r(A_1,\ldots,A_r)$.
- if $r=2n$, then ${\mathcal S}_{2n}(A_1,\ldots,A_{2n})\equiv0_n$ (theorem of Amitsur and Levitski).

What is the image $S_{n,p}$ of $M_n(k)\times\cdots\times M_n(k)$ under $\mathcal S_r$ when $r=2p$ is even ? Is it an algebraic variety (

i.edefined by polynomial equations) ? Is it smaller as $p$ increases ? The latter question has two interpretations: either $\dim S_{n,p+1}\leq\dim S_{n,p}$ (?), or $S_{n,p+1}\subset\dim S_{n,p}$ (?).