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$.

To appear in Israel Journal of Mathematics

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