English

Nonlinear mappings preserving at least one eigenvalue

Operator Algebras 2016-02-15 v1 Functional Analysis Spectral Theory

Abstract

We prove that if FF is a Lipschitz map from the set of all complex n×nn\times n matrices into itself with F(0)=0F(0)=0 such that given any xx and yy we have that % F\left( x\right) -F\left( y\right) and xyx-y have at least one common eigenvalue, then either F(x)=uxu1F\left( x\right) =uxu^{-1} or F(x)=uxtu1F\left( x\right) =ux^{t}u^{-1} for all xx, for some invertible n×nn\times n matrix uu. We arrive at the same conclusion by supposing FF to be of class C\mathcal{C}% ^{1} on a domain in Mn\mathcal{M}_{n} containing the null matrix, instead of Lipschitz. We also prove that if FF is of class C1\mathcal{C}^{1} on a domain containing the null matrix satisfying F(0)=0F(0)=0 and ρ(F(x)F(y))=ρ(xy)\rho (F\left( x\right) -F\left( y\right) )=\rho (x-y) for all xx and yy, where ρ()\rho \left( \cdot \right) denotes the spectral radius, then there exists γC\gamma \in \mathbb{C} of modulus one such that either γ1F\gamma ^{-1}F or γ1F\gamma ^{-1}\overline{F} is of the above form, where F\overline{F} is the (complex) conjugate of FF.

Keywords

Cite

@article{arxiv.1602.03965,
  title  = {Nonlinear mappings preserving at least one eigenvalue},
  author = {Constantin Costara and Dušan Repovš},
  journal= {arXiv preprint arXiv:1602.03965},
  year   = {2016}
}
R2 v1 2026-06-22T12:48:49.950Z