Related papers: Linear maps preserving matrices annihilated by a f…

Let $\A$ be an algebra and let $f(x_1,...,x_d)$ be a multilinear polynomial in noncommuting indeterminates $x_i$. We consider the problem of describing linear maps $\phi:\A\to \A$ that preserve zeros of $f$. Under certain technical…

Let $\mathbb F$ be a field and $P \in \mathbb F [x_1,\ldots, x_n]$ be a homogeneous polynomial such that $|\mathbb F| > \deg(P)$ and $\phi, \psi\colon \mathbb F^n \to \mathbb F^n$ be two maps such that $P(\mathbf{x} + \lambda\mathbf{y}) =…

A map $\Phi$ between matrices is said to be zero product preserving if $$ \Phi(A)\Phi(B) = 0 \quad \text{whenever}\quad AB = 0. $$ In this paper, we give concrete descriptions of an additive/linear zero product preserver $\Phi: {\bf…

We study non-linear surjective mappings on subsets of ${\cal M}_n(F)$, which preserve the zeros of some fixed polynomials in noncommuting variables. Keywords: Matrix algebra, Multilinear polynomials, Preservers.

We prove the linearity and injectivity of two maps $\phi_1$ and $\phi_2$ on certain subsets of $M_n$ that satisfy $\operatorname{tr}(\phi_1(A)\phi_2(B))=\operatorname{tr}(AB)$. We apply it to characterize maps $\phi_i:\mathcal{S}\to…

For a positive integer $n$ let $\mathcal{X}_n$ be either the algebra $M_n$ of $n \times n$ complex matrices, the set $N_n$ of all $n \times n$ normal matrices, or any of the matrix Lie groups $\mathrm{GL}(n)$, $\mathrm{SL}(n)$ and…

Let $A$ be a unital locally matrix algebra. Among the examples of such algebras are: (1) an infinite tensor product $\otimes M_{n_i}(\mathbb{F})$ of matrix algebras over a field $\mathbb{F}$, and (2) the Clifford algebra of a nondegenerate…

The independence number of a square matrix $A$, denoted by $\alpha(A)$, is the maximum order of its principal zero submatrices. Let $S_n^{+}$ be the set of $n\times n$ nonnegative symmetric matrices with zero trace. Denote by $J_n$ the…

Suppose a map $\phi$ on the set of positive definite matrices satisfies $\det(A+B)=\det(\phi(A)+\phi(B))$. Then we have $${\rm tr}(AB^{-1}) = {\rm tr}(\phi(A){\phi(B)}^{-1}).$$ Through this viewpoint, we show that $\phi$ is of the form…

Let $\mathcal A$ be an $\mathbb F$-algebra and $\omega \in \mathcal A\langle x_1, \ldots, x_m \rangle$ which defines a map $\mathcal A^m \rightarrow \mathcal A$ by evaluation, called a polynomial map with constant. We consider $\mathcal {A}…

Let $M_{m,n}$ be the space of $m\times n$ real or complex rectangular matrices. Two matrices $A, B \in M_{m,n}$ are disjoint if $A^*B = 0_n$ and $AB^* = 0_m$. In this paper, a characterization is given for linear maps $\Phi: M_{m,n}…

We consider polynomial maps described by so-called "(multivariate) linearized polynomials". These polynomials are defined using a fixed prime power, say q. Linearized polynomials have no mixed terms. Considering invertible polynomial maps…

Let $F: C^n \rightarrow C^m$ be a polynomial map with $degF=d \geq 2$. We prove that $F$ is invertible if $m = n$ and $\sum^{d-1}_{i=1} JF(\alpha_i)$ is invertible for all $i$, which is trivially the case for invertible quadratic maps. More…

Let ${\mathcal M}_2(\mathbb F)$ be the algebra of 2$\times$2 matrices over the real or complex field $\mathbb F$. For a given positive integer $k\geq 1$, the $k$-commutator of $A$ and $B$ is defined by $[A,B]_k=[[A,B]_{k-1},B]$ with…

Let $F$ be an infinite field and let $f$ be a nonzero multilinear polynomial with coefficients in $F$. We prove that for every positive integer $d$ there exists a positive integer $s$ such that $f(M_{s}(F))$, the image of $f$ in $M_{s}(F)$,…

Let $m,n\ge 2$ be integers. Denote by $M_n$ the set of $n\times n$ complex matrices. Let $\|\cdot\|_{(p,k)}$ be the $(p,k)$ norm on $M_{mn}$ with $1\leq k\leq mn$ and $2<p<\infty$. We show that a linear map $\phi:M_{mn}\rightarrow M_{mn}$…

Let $\mathcal{A}$ and $\mathcal{B}$ be two unital complex $\ast $-algebras such that $\mathcal{A}$ has a nontrivial projection. In this paper, we study the structure of bijective nonlinear maps $\Phi :\mathcal{A}\rightarrow \mathcal{B}$…

Let $X$ be a complex Banach space with $\dim X\geq3$ and $B(X)$ the algebra of all bounded linear operators on $X$. Suppose $\phi:B(X)\longrightarrow B(X)$ is a surjective map satisfying the following property: $Fix(AB)=Fix(\phi(A)\phi(B)),…

Let $n_1,\ldots,n_k $ be integers larger than or equal to 2. We characterize linear maps $\phi: M_{n_1\cdots n_k}\rightarrow M_{n_1\cdots n_k}$ such that $${\mathrm rank}\,(\phi(A_1\otimes \cdots \otimes…

Let $A$, $B$ be algebras and $a\in A$, $b\in B$ a fixed pair of elements. We say that a map $\varphi:A\to B$ preserves products equal to $a$ and $b$ if for all $a_1,a_2\in A$ the equality $a_1a_2=a$ implies $\varphi(a_1)\varphi(a_2)=b$. In…