Classification of Jordan multiplicative maps on matrix algebras

Abstract

Let $M_n(\mathbb{F})$ be the algebra of $n \times n$ matrices over a field $\mathbb{F}$ of characteristic not equal to $2$. If $n\ge 2$, we show that an arbitrary map $ϕ: M_n(\mathbb{F}) \to M_n(\mathbb{F})$ is Jordan multiplicative, i.e.\ it satisfies the functional equation $$ ϕ(XY+YX)=ϕ(X)ϕ(Y)+ϕ(Y)ϕ(X), \quad \text{for all } X,Y \in M_n(\mathbb{F}) $$ if and only if one of the following holds: either $ϕ$ is constant, equal to $P/2$ for some idempotent $P \in M_n(\mathbb{F})$, or there exists an invertible matrix $T \in M_n(\mathbb{F})$ and a ring monomorphism $ω: \mathbb{F} \to \mathbb{F}$ such that $$ ϕ(X)=Tω(X)T^{-1} \quad \text{ or } \quad ϕ(X)=Tω(X)^tT^{-1}, \quad \text{for all } X \in M_n(\mathbb{F}), $$ where $ω(X)$ denotes the matrix obtained by applying $ω$ entrywise to $X$. In particular, any Jordan multiplicative map $ϕ: M_n(\mathbb{F}) \to M_n(\mathbb{F})$ with $ϕ(0)=0$ is automatically additive. The analogous characterization fails when $\mathbb{F}$ has characteristic $2$.