Holomorphic maps preserving parts of the local spectrum

Let x ₀ be a nonzero vector in \({\mathbb{C}^{n}}\) , and let \({U\subseteq \mathcal{M}_{n}}\) be a domain containing the zero matrix. We prove that if φ is a holomorphic map from U into \({\mathcal{M}_{n}}\) such that the local spectrum of T ∈ U at x ₀ and the local spectrum of φ(T) at x ₀ have always a common value, then T and φ(T) have always the same spectrum, and they have the same local spectrum at x ₀ a.e. with respect to the Lebesgue measure on U. If \({\varphi \colon U\rightarrow \mathcal{M}_{n}}\) is holomorphic with φ(0) = 0 such that the local spectral radius of T at x ₀ equals the local spectral radius of φ(T) at x ₀ for all T ∈ U, there exists \({\xi \in \mathbb{C}}\) of modulus one such that ξT and φ(T) have the same spectrum for all T in U. We also prove that if for all T ∈ U the local spectral radius of φ(T) coincides with the local spectral radius of T at each vector x, there exists \({\xi \in \mathbb{C}}\) of modulus one such that φ(T) = ξT on U.     

THE 2 x 2 Spectral Nevanlinna-Pick Problem

A method is presented to construct interpolation functions intothe 2 x 2 open spectral unit ball. For the spectral Nevanlinna–Pickproblem, these functions are in some sense extremal, and theset of all these interpolation functions is enough to solveany interpolation problem, with solvable finite interpolationdata. This fact is used to compute the complex geodesics forthe symmetrized bidisc and for the spectral unit ball, and tosolve completely the two-point interpolation problem for thetwo target sets.     

On local irreducibility of the spectrum

Let be the algebra of complex matrices, and for denote by and the spectrum and spectral radius of respectively. Let be a domain in containing 0, and let be a holomorphic map. We prove: (1) if for , then for ; (2) if for , then again for . Both results are special cases of theorems expressing the irreducibility of the spectrum near .

     

Spectral isometries onto algebras having a separating family of finite-dimensional irreducible representations

We prove that if A is a complex, unital semisimple Banach algebra and B is a complex, unital Banach algebra having a separating family of finite-dimensional irreducible representations, then any unital linear operator from A onto B which preserves the spectral radius is a Jordan morphism.     

Commuting holomorphic maps on the spectral unit ball

We prove that if F is a holomorphic map from the open spectralunit ball of a primitive Banach algebra into itself satisfyingF(0) = 0, F^' (0) = I and F(x) x = xF(x) for every x, then Fis the identity map. Using this, we prove that if is a semisimpleBanach algebra and is a primitive Banach algebra, then anyunital spectral isometry from onto which locally preservescommutativity is a Jordan morphism. The same is true when and are both assumed to be von Neumann algebras.     

The Symmetrized Bidisc and Lempert's Theorem

Let G C² be the open symmetrized bidisc, namely G = {(₁ + ₂,₁₂) : |₁| < 1, |₂| < 1}. In this paper, a proof is giventhat G is not biholomorphic to any convex domain in C². By combiningthis result with earlier work of Agler and Young, the authorshows that G is a bounded domain on which the Carathéodorydistance and the Kobayashi distance coincide, but which is notbiholomorphic to a convex set. 2000 Mathematics Subject Classification32F45 (primary), 15A18 (secondary).     

Linear Maps Preserving Operators of Local Spectral Radius Zero

Let X be a complex Banach space and let B(X){\mathcal{B}(X)} be the space of all bounded linear operators on X. For x ? X{x \in X} and T ? B(X){T \in \mathcal{B}(X)}, let r_T(x) = limsup_{n ? ￥} || Tⁿx|| ^1/n{r_{T}(x) =\limsup_{n \rightarrow \infty} \| T^{n}x\| ^{1/n}} denote the local spectral radius of T at x. We prove that if j: B(X) ? B(X){\varphi : \mathcal{B}(X) \rightarrow \mathcal{B}(X)} is linear and surjective such that for every x ? X{x \in X} we have r _T (x) = 0 if and only if r_j(T)(x) = 0{r_{\varphi(T)}(x) = 0}, there exists then a nonzero complex number c such that j(T) = cT{\varphi(T) = cT} for all T ? B(X){T \in \mathcal{B}(X) }. We also prove that if Y is a complex Banach space and j:B(X) ? B(Y){\varphi :\mathcal{B}(X) \rightarrow \mathcal{B}(Y)} is linear and invertible for which there exists B ? B(Y, X){B \in \mathcal{B}(Y, X)} such that for y ? Y{y \in Y} we have r _T (By) = 0 if and only if r_{j( T)} (y)=0{ r_{\varphi ( T) }(y)=0}, then B is invertible and there exists a nonzero complex number c such that j(T) = cB^-1TB{\varphi(T) =cB^{-1}TB} for all T ? B(X){T \in \mathcal{B}(X)}.