Images of multilinear polynomials on $n\times n$ upper triangular matrices over infinite fields

Abstract

In this paper we prove that the image of multilinear polynomials evaluated on the algebra $U{T}_n(K)$ of $n\times n$ upper triangular matrices over an infinite field $K$ equals $J^r$, a power of its Jacobson ideal $J=J(U{T}_n(K))$. In particular, this shows that the analogue of the Lvov-Kaplansky conjecture for $U{T}_n(K)$ is true, solving a conjecture of Fagundes and de Mello. To prove that fact, we introduce the notion of commutator-degree of a polynomial and characterize the multilinear polynomials of commutator-degree $r$ in terms of its coefficients. It turns out that the image of a multilinear polynomial $f$ on $U{T}_n(K)$ is $J^r$ if and only if $f$ has commutator degree $r$.

arXiv commentTo appear in Israel Journal of Mathematics

References in corpus (6)

• The images of non-commutative polynomials evaluated on $2\times 2$ matrices
• The images of multilinear polynomials evaluated on $3\times 3$ matrices
• Evaluations of Noncommutative Polynomials on Algebras: Methods and Problems, and the L'vov-Kaplansky Conjecture
• Values of Noncommutative Polynomials, Lie Skew-Ideals and the Tracial Nullstellensatz
• Images of multilinear polynomials of degree up to four on upper triangular matrices
• The image of multilinear polynomials evaluated on $3\times 3$ upper triangular matrices

Cited by in corpus (6)

• The image of polynomials and Waring type problems on upper triangular matrix algebras
• The Mesyan Conjecture: a restatement and a correction
• Images of graded polynomials on matrix algebras
• A new approach to the Lvov-Kaplansky conjecture through gradings
• The L'vov-Kaplansky Conjecture for Polynomials of Degree Three
• Images of multilinear graded polynomials on upper triangular matrix algebras