On a spectral version of Cartan's theorem

Abstract

For a domain $Ω$ in the complex plane, we consider the domain $S_n(Ω)$ consisting of those $n\times n$ complex matrices whose spectrum is contained in $Ω$. Given a holomorphic self-map $Ψ$ of $S_n(Ω)$ such that $Ψ(A)=A$ and the derivative of $Ψ$ at $A$ is identity for some $A\in S_n(Ω)$, we investigate when the map $Ψ$ would be spectrum-preserving. We prove that if the matrix $A$ is either diagonalizable or non-derogatory then for most domains $Ω$, $Ψ$ is spectrum-preserving on $S_n(Ω)$. Further, when $A$ is arbitrary, we prove that $Ψ$ is spectrum-preserving on a certain analytic subset of $S_n(Ω)$.