Jordan embeddings and linear rank preservers of structural matrix algebras

Ilja Gogić,Mateo Tomašević
2024-09-25
Abstract:We consider subalgebras $\mathcal{A}$ of the algebra $M_n$ of $n \times n$ complex matrices that contain all diagonal matrices, known in the literature as the structural matrix algebras (SMAs). Let $\mathcal{A} \subseteq M_n$ be an arbitrary SMA. We first show that any commuting family of diagonalizable matrices $\mathcal{F}\subseteq \mathcal{A}$ can be intrinsically simultaneously diagonalized, i.e. there exists an invertible matrix $S \in \mathcal{A}$ such that all matrices $S^{-1}AS$ ($A \in \mathcal{F}$) are diagonal. We then characterize when one SMA Jordan-embeds into another and in that case we describe the form of such Jordan embeddings. As a consequence, we obtain a description of Jordan automorphisms of SMAs, generalizing Coelho's result on their algebra automorphisms. Next, motivated by the results of Marcus-Moyls and Molnar-Šemrl connecting linear rank-one preservers with Jordan embeddings $M_n \to M_n$ and $\mathcal{T}_n \to M_n$ (where $\mathcal{T}_n$ is the algebra of $n \times n$ upper-triangular matrices) respectively, we show that any linear unital rank-one preserver $\mathcal{A} \to M_n$ is necessarily a Jordan embedding. As the converse fails in general, we also provide a necessary and sufficient condition for when it does hold true. Finally, we obtain a complete description of linear rank preservers $\mathcal{A} \to M_n$, as maps of the form $$ X \mapsto S\left(PX + (I-P)X^t\right)T,$$ for some invertible matrices $S,T \in M_n$ and a central idempotent $P\in\mathcal{A}$.
Rings and Algebras
What problem does this paper attempt to address?