On the image of a noncommutative polynomial.

From MaRDI portal
(Redirected from Publication:371415)



Abstract: Let F be an algebraically closed field of characteristic zero. We consider the question which subsets of Mn(F) can be images of noncommutative polynomials. We prove that a noncommutative polynomial f has only finitely many similarity orbits modulo nonzero scalar multiplication in its image if and only if f is power-central. The union of the zero matrix and a standard open set closed under conjugation by GLn(F) and nonzero scalar multiplication is shown to be the image of a noncommutative polynomial. We investigate the density of the images with respect to the Zariski topology. We also answer Lvov's conjecture for multilinear Lie polynomials of degree at most 4 affirmatively.


Let \(F\) be an algebraically closed field of characteristic zero, and consider the free algebra \(\mathcal A=\mathbb C\langle x_1,x_2,\ldots\rangle\) of noncommutative polynomials. Given \(n\in\mathbb N\) the author of the paper under review studies the images \(\text{im}(f)=\{f(a_1,a_2,\ldots)\mid a_j\in M_n(F)\}\) of noncommutative polynomials \(f\in\mathcal A\).NEWLINENEWLINE The article contains several interesting results. For example, it is proved that the image of a polynomial \(f\) on \(M_n(F)\) has finitely many similarity orbits modulo nonzero scalar multiplication iff \(f\) is power-central (Theorem 1.1). In Theorem 1.2 the author shows that a standard Zariski open set \(U\) in \(M_n(F)=F^{n^2}\), i.e., one of the form \(U=\{u\in F^{n^2}\mid p(u)\neq 0\}\) for some commutative polynomial \(p\), is together with \(\{0\}\) always the image of a noncommutative polynomial. Finally, the paper's results bear on the Kaplansky-Lvov conjecture on the images of noncommutative polynomials and establish the conjecture in the very special case of low degree Lie polynomials.NEWLINENEWLINE This impressive article is well-written and contains a careful selection of illustrative examples.




Cited in
(30)








This page was built for publication: On the image of a noncommutative polynomial.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q371415)