Evaluations of Noncommutative Polynomials on Algebras: Methods and Problems, and the L'vov-Kaplansky Conjecture

Abstract

Let $p$ be a polynomial in several non-commuting variables with coefficients in a field $K$ of arbitrary characteristic. It has been conjectured that for any $n$, for $p$ multilinear, 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 ${\mathrm{sl}}_n(K)$ of matrices of trace 0, or all of $M_n(K)$. This expository paper describes research on this problem and related areas. We discuss the solution of this conjecture for $n=2$ in Section 2, some decisive results for $n=3$ in Section 3, and partial information for $n\ge 3$ in Section 4, also for non-multilinear polynomials. In addition we consider the case of $K$ not algebraically closed, and polynomials evaluated on other finite dimensional simple algebras (in particular the algebra of the quaternions). This review recollects results and technical material of our previous papers, as well as new results of other researches, and applies them in a new context. This article also explains the role of the Deligne trick, which is related to some nonassociative cases in new situations, underlying our earlier, more straightforward approach. We pose some problems for future generalizations and point out possible generalizations in the present state of art, and in the other hand providing counterexamples showing the boundaries of generalizations.

arXiv commentIn this review, we present a systematized exposition including results obtained in our previous papers arXiv:1005.0191, arXiv:1306.4389, arXiv:1310.8563, arXiv:1310.1598, arXiv:1906.04973, arXiv:1506.06792. In addition, we have systematized ideas and methods of proofs

References in corpus (18)

• The images of multilinear polynomials evaluated on $3\times 3$ matrices
• The images of Lie polynomials evaluated on matrices
• Word equations in simple groups and polynomial equations in simple algebras
• Power-central polynomials on matrices
• Polynomials of small degree evaluated on matrices
• On Multilinear Polynomials In Four Variables Evaluated On Matrices
• On the Surjectivity of Engel Words on PSL(2,q)
• Images of multilinear polynomials of degree up to four on upper triangular matrices
• Multilinear Polynomials Are Surjective on Algebras With Surjective Inner Derivations
• Instances of the Kaplansky-Lvov multilinear conjecture for polynomials of degree three
• Surjectivity of certain word maps on PSL(2,C) and SL(2,C)
• On the image of polynomials evaluated on incidence algebras: a counter-example and a solution
• The images of non-commutative polynomials evaluated on $2\times 2$ matrices over an arbitrary field
• Equations in simple matrix groups: algebra, geometry, arithmetic, dynamics
• Criteria for equidistribution of solutions of word equations on SL(2)
• Image of arbitrary polynomials on upper triangular matrix algebras
• A Refined Waring Problem for Finite Simple Groups
• The images of multilinear non-associative polynomials evaluated on a rock-paper-scissors algebra with unit over an arbitrary field

Cited by in corpus (13)

• Images of multilinear polynomials on $n\times n$ upper triangular matrices over infinite fields
• Multilinear Polynomials Are Surjective on Algebras With Surjective Inner Derivations
• The image of polynomials and Waring type problems on upper triangular matrix algebras
• The image of multilinear polynomials evaluated on $3\times 3$ upper triangular matrices
• The images of multilinear and semihomogeneous polynomials on the algebra of octonions
• The Mesyan Conjecture: a restatement and a correction
• Images of graded polynomials on matrix algebras
• Waring Problem For Triangular Matrix Algebra
• Roots and Dynamics of Octonion Polynomials
• Image of Lie polynomial of degree $2$ evaluated on Nilpotent Lie algebra
• A new approach to the Lvov-Kaplansky conjecture through gradings
• Images of Multilinear Polynomials in the Algebra of Finitary Matrices Contain Trace Zero Matrices
• The images of multilinear non-associative polynomials evaluated on a rock-paper-scissors algebra with unit over an arbitrary field