The images of non-commutative polynomials evaluated on $2\times 2$ matrices over an arbitrary field

Abstract

Let $p$ be a multilinear polynomial in several non-commuting variables with coefficients in an arbitrary field $K$. Kaplansky conjectured that for any $n$, the image of $p$ evaluated on the set $M_n(K)$ of $n$ by $n$ matrices is either zero, or the set of scalar matrices, or the set $s{l}_n(K)$ of matrices of trace $0$, or all of $M_n(K)$. This conjecture was proved for $n=2$ when $K$ is closed under quadratic extensions. In this paper the conjecture is verified for $K=\mathbb{R}$ and $n=2$, also for semi-homogeneous polynomials $p$, with a partial solution for an arbitrary field $K$.

Cited by in corpus (2)

• Evaluations of Noncommutative Polynomials on Algebras: Methods and Problems, and the L'vov-Kaplansky Conjecture
• The images of Lie polynomials evaluated on matrices