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

• Published in: Symmetry, Integrability and Geometry: Methods and Applications
• Date: 2020
• Main Authors: Kanel-Belov, Alexei, Malev, Sergey, Rowen, Louis, Yavich, Roman
• Format: Article
• Language: English
• Published: Інститут математики НАН України 2020
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/210777
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Evaluations of Noncommutative Polynomials on Algebras: Methods and Problems, and the L'vov-Kaplansky Conjecture. Alexei Kanel-Belov, Sergey Malev, Louis Rowen and Roman Yavich. SIGMA 16 (2020), 071, 61 pages

Let be a polynomial in several non-commuting variables with coefficients in a field of arbitrary characteristic. It has been conjectured that for any , for multilinear, the image of evaluated on the set Mₙ() of by matrices is either zero, or the set of scalar matrices, or the set slₙ() of matrices of trace 0, or all of Mₙ(). This expository paper describes research on this problem and related areas. We discuss the solution of this conjecture for = 2 in Section 2, some decisive results for = 3 in Section 3, and partial information for ≥ 3 in Section 4, also for non-multilinear polynomials. In addition, we consider the case of 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 research, 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 the art, and on the other hand, provide counterexamples showing the boundaries of generalizations.