Related papers: Images of polynomials with involution on $2\times …

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…

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 a field of characteristic different from $2$, and let $UT_2(F)$ be the algebra of $2\times 2$ upper triangular matrices over $F$. For every involution of the first kind on $UT_2(F)$, we describe the set of all $*$-central…

In this paper we consider the algebra of upper triangular matrices UT$_n(F)$, endowed with a $\mathbb{Z}_2$-grading (superalgebra) and equipped with a superinvolution. These structures naturally arise in the context of Lie and Jordan…

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…

Let $F$ be an infinite field, and let $M_{n}(F)$ be the algebra of $n\times n$ matrices over $F$. Suppose that this algebra is equipped with an elementary grading whose neutral component coincides with the main diagonal. In this paper, we…

Let $K$ be an infinite field of characteristic $\neq 2$. In this article we study the $*$-space $C(R,*)$ of central polynomials with involution of the $K$-algebra $R= M_{1,1}(E)$, with an involution ($*$) obtanied from a superinvolution on…

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 $UT_4(F)$ be $4\times 4$ upper triangular matrix algebra over a field $F$ of characteristic zero and let $\mathcal{A}$ be the subalgebra of $UT_4(F)$ linearly generated by $\{\mathbf{e}_{ij}:1 \leq i\leq j \leq 4 \} \setminus…

Let $M_{1,2}(F)$ be the algebra of $3 \times 3$ matrices with orthosymplectic superinvolution $*$ over a field $F$ of characteristic zero. We study the $*$-identities of this algebra through the representation theory of the group…

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…

Let $F$ be an algebraically closed field of characteristic zero. We consider the question which subsets of $M_n(F)$ can be images of noncommutative polynomials. We prove that a noncommutative polynomial $f$ has only finitely many similarity…

Let ${\mathbb F}$ be an arbitrary field. We consider a commutative, non-associative, $4$-dimensional algebra ${\mathfrak M}$ of the rock, the paper and the scissors with unit over ${\mathbb F}$ and we prove that the image over ${\mathfrak…

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…

A subspace of an algebra with involution is called a Lie skew-ideal if it is closed under Lie products with skew-symmetric elements. Lie skew-ideals are classified in central simple algebras with involution (there are eight of them for…

Let $\mathbb{F}$ be a field of characteristic $p$, and let $UT_n(\mathbb{F})$ be the algebra of $n \times n$ upper triangular matrices over $\mathbb{F}$ with an involution of the first kind. In this paper we describe: the set of all…

In a recent work (Int Math Res Not 24:18604-18612, 2021), Carlen-Jauslin-Lieb-Loss studied the convolution inequality $f \ge f*f$ on $\mathbb{R}^d$ and proved that the real integrable solutions of the above inequality must be non-negative…

The main goal of this paper is to extend [J. Algebra Appl. 20 (2021), 2150074] to generalized quaternion algebras, even when these algebras are not necessarily division rings. More precisely, in such cases, the image of a multilinear…

Let $K$ be an algebraically closed field of characteristic $0$ and let $M_n(K)$, $n \ge 3$, be the matrix ring over $K$. We will show that the image of any multilinear polynomial in four variables evaluated on $M_n(K)$ contains all matrices…

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…