Related papers: The Mesyan Conjecture: a restatement and a correct…

The L'vov-Kaplansky conjecture states that the image of a multilinear noncommutative polynomial $f$ in the matrix algebra $M_n(K)$ is a vector space for every $n \in {\mathbb N}$. We prove this conjecture for the case where $f$ has degree…

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…

Given a positive integer d, the Kaplansky-Lvov conjecture states that the set of values of a multilinear noncommutative polynomial f on the matrix algebra M_d(C) is a vector subspace. In this article the technique of using one-wiggle…

In this paper we consider images of (ordinary) noncommutative polynomials on matrix algebras endowed with a graded structure. We give necessary and sufficient conditions to verify that some multilinear polynomial is a central polynomial, or…

The generalized L'vov-Kaplansky conjecture states that for any finite-dimensional simple algebra $A$ the image of a multilinear polynomial on $A$ is a vector space. In this paper we prove it for the algebra of octonions $\mathbb{O}$ over a…

The Fagundes-Mello conjecture asserts that every multilinear polynomial on upper triangular matrix algebras is a vector space, which is an improtant variation of the old and famous Lvov-Kaplansky conjecture. The goal of the paper is to give…

Let $p$ be a multilinear polynomial in several non-commuting variables with coefficients in an arbitrary field $K$. Kaplansky conjectured that for any $n$, the image of $p$ evaluated on the set $M_n(K)$ of $n$ by $n$ matrices is either…

Let $p$ be a multilinear polynomial in several non-commuting variables with coefficients in an arbitrary field $K$. Kaplansky conjectured that for any $n$, the image of $p$ evaluated on the set $M_n(K)$ of $n$ by $n$ matrices is a vector…

In this paper we prove the generalized Kaplansky conjecture for the Jordan algebras of the type $J_n$ in particular for self adjoint $2\times 2$ matrices over $\R$, over $\C$, $\HH$ and $\Oct$. In fact, we prove that the image of…

The aim of this paper is to start the study of images of graded polynomials on full matrix algebras. We work with the matrix algebra $M_n(K)$ over a field $K$ endowed with its canonical $\mathbb{Z}_n$-grading (Vasilovsky's grading). We…

Let $F$ be an algebraically closed field of characteristic different from $2$. We show that the images of multilinear $*$-polynomials on $UT_2$ are homogeneous vector spaces. An analogous result holds for $UT_3$ endowed with non-trivial…

Let $p$ be a multilinear polynomial in several non-commuting variables with coefficients in a quadratically closed field $K$ of any characteristic. It has been conjectured that for any $n$, the image of $p$ evaluated on the set $M_n(K)$ of…

In this paper we study identities and images of polynomials on null-filiform Leibniz algebras. If $L_n$ is an $n$-dimensional null-filiform Leibniz algebra, we exhibit a finite minimal basis for $\mbox{Id}(L_n)$, the polynomial identities…

Kaplansky asked about the possible images of a polynomial $f$ in several noncommuting variables. In this paper we consider the case of $f$ a Lie polynomial. We describe all the possible images of $f$ in $M_2(K)$ and provide an example of…

Let $l$ be a finite field of cardinality $q$ and let $n$ be in $\mathbb{Z}_{\geq 1}$. Let $f_1,\ldots,f_n \in l[x_1,\ldots,x_n]$ not all constant and consider the evaluation map $f=(f_1,\ldots,f_n) \colon l^n \to l^n$. Set…

The goal of the paper is to give a complete description of the images of noncommutative polynomials with zero constant term on upper triangular matrix algebras over an algebraically closed field. This is a variation of the old and famous…

The Jacobian conjecture involves the map $y= x - V(x)$ where $y, x$ are n-dimensional vectors, $V(x)$ is a symmetric polynomial of degree $d$ for which the Jacobian hypothesis holds: $ e^{Tr \ln(1- V'(x))} =1,\ \forall x$. The conjecture…

In this paper we prove that the image of multilinear polynomials evaluated on the algebra $UT_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(UT_n(K))$. In…

Given a germ of holomorphic map $f$ from $\mathbb C^n$ to $\mathbb C^{n+1}$, we define a module $M(f)$ whose dimension over $\mathbb C$ is an upper bound for the $\mathscr A$-codimension of $f$, with equality if $f$ is weighted homogeneous.…

Suppose $F$ is an infinite field and let $f \in F\{X_1, \dots,X_m\}$ be a noncommutative polynomial. Partially answering a query of Makar-Limanov, we show that there are numbers $d$ and $m'$ such that, if $F$ is closed under taking $d$th…