On Maps Preserving Zero Jordan Products

Let R be a ring, A = M _n (R) and θ: A → A a surjective additive map preserving zero Jordan products, i.e. if x,y ∈ A are such that xy + yx = 0, then θ(x)θ(y) + θ(y)θ(x) = 0. In this paper, we show that if R contains and n ≥ 4, then θ = λϕ, where λ = θ(1) is a central element of A and ϕ: A → A is a Jordan homomorphism. The third author is Corresponding author.     

Linear Maps Preserving Invertibility or Related Spectral Properties

We survey some recent results on linear maps on operator algebras that preserve invertibility. We also consider related problems such as the problem of the characterization of linear maps preserving spectrum, various parts of spectrum, spectral radius, quasinilpotents, etc. We present some results on elementary operators and additive operators preserving invertibility or related properties. In particular, we give a negative answer to a problem posed by Gao and Hou on characterizing spectrumpreserving elementary operators. Several open problems are also mentioned.     

Maps preserving peripheral spectrum of Jordan semi-triple products of operators

Let A and B be (not necessarily unital or closed) standard operator algebras on complex Banach spaces X and Y, respectively. For a bounded linear operator A on X, the peripheral spectrum σ_π(A) of A is the set σ_π(A)={z∈σ(A):|z|=max_ω∈σ(A)|ω|}, where σ(A) denotes the spectrum of A. Assume that Φ:A→B is a map the range of which contains all operators of rank at most two. It is shown that the map Φ satisfies the condition that σ_π(BAB)=σ_π(Φ(B)Φ(A)Φ(B)) for all A,B∈A if and only if there exists a scalar λ∈C with λ³=1 and either there exists an invertible operator T∈B(X,Y) such that Φ(A)=λTAT^-1 for every A∈A; or there exists an invertible operator T∈B(X^∗,Y) such that Φ(A)=λTA^∗T^-1 for every A∈A. If X=H and Y=K are complex Hilbert spaces, the maps preserving the peripheral spectrum of the Jordan skew semi-triple product BA^∗B are also characterized. Such maps are of the form A?UAU^∗ or A?UA^tU^∗, where U∈B(H,K) is a unitary operator, A^t denotes the transpose of A in an arbitrary but fixed orthonormal basis of H.     

Maps preserving the idempotency of products of operators

Let B(X) be the algebra of all bounded linear operators on a complex Banach space X. We give the concrete form of every unital surjective map φ on B(X) such that AB is a non-zero idempotent if and only if φ(A)φ(B) is for all A,B∈B(X) when the dimension of X is at least 3.     

Maps preserving the nilpotency of products of operators

Let B(X) be the algebra of all bounded linear operators on the Banach space X, and let N(X) be the set of nilpotent operators in B(X). Suppose ?:B(X)→B(X) is a surjective map such that A,B∈B(X) satisfy AB∈N(X) if and only if ?(A)?(B)∈N(X). If X is infinite dimensional, then there exists a map f:B(X)→C?{0} such that one of the following holds:

(a)

There is a bijective bounded linear or conjugate-linear operator S:X→X such that ? has the form A?S[f(A)A]S^-1.

(b)

The space X is reflexive, and there exists a bijective bounded linear or conjugate-linear operator S : X′ → X such that ? has the form A ? S[f(A)A′]S⁻¹.

If X has dimension n with 3 ? n < ∞, and B(X) is identified with the algebra M_n of n × n complex matrices, then there exist a map f:M_n→C?{0}, a field automorphism ξ:C→C, and an invertible S ∈ M_n such that ? has one of the following forms:

     

Maps preserving operator pairs whose products are projections

Let B(H) be the algebra of all bounded linear operators on a complex Hilbert space H with dimH?2. It is proved that a surjective map φ on B(H) preserves operator pairs whose products are nonzero projections in both directions if and only if there is a unitary or an anti-unitary operator U on H such that φ(A)=λU^∗AU for all A in B(H) for some constants λ with λ²=1. Related results for surjective maps preserving operator pairs whose triple Jordan products are nonzero projections in both directions are also obtained. These show that the operator pairs whose products or triple Jordan products are nonzero projections are isometric invariants of B(H).     

Linear Maps Preserving the Closure of Numerical Range on Nest Algebras with Maximal Atomic Nest

Let be a maximal atomic nest on Hilbert space H and denote the associated nest algebra. We prove that a weakly continuous and surjective linear map preserves the closure of numerical range if and only if there exists a unitary operator such that for every or for every , where denotes the transpose of T relative to an arbitrary but fixed base of H. As applications, we get the characterizations of the numerical range or numerical radius preservers on . The surjective linear maps on the diagonal algebras of atomic nest algebras preserving the closure of numerical range or preserving the numerical range (radius) are also characterized. Submitted: January 3, 2001?Revised: December 2, 2001     

Maps completely preserving spectral functions

Let X,Y be infinite dimensional complex Banach spaces and A,B be standard operator algebras on X and Y, respectively. In this paper, we show that surjective maps completely preserving certain spectral function Δ(·) from A to B are isomorphisms, where Δ(·) stands for any one of 13 spectral functions σ(·), σ_l(·), σ_r(·), σ_l(·)∩σ_r(·), ∂σ(·), ησ(·), σ_p(·), σ_c(·), σ_p(·)∩σ_c(·), σ_p(·)∪σ_c(·), σ_ap(·), σ_s(·), and σ_ap(·)∩σ_s(·).     

Maps preserving the spectrum of generalized Jordan product of operators

Let A₁,A₂ be standard operator algebras on complex Banach spaces X₁,X₂, respectively. For k?2, let (i₁,…,i_m) be a sequence with terms chosen from {1,…,k}, and define the generalized Jordan product

     

Completely rank-nonincreasing linear maps

We give purely algebraic characterizations of the maps that are approximate compressions or skew-compressions of a unital representation of a -algebra. The key techniques used also relate to closures of joint similarity orbits of matrices and elementary maps on B(H).     

Maps on states preserving the relative entropy II

Let H be a finite-dimensional complex Hilbert space. The aim of this paper is to prove that every transformation on the space of all density operators on H which preserves the relative entropy is implemented by either a unitary or an antiunitary operator on H.     

Maps leaving functional values of operator products invariant

Let A be a standard operator algebra on a complex Hilbert space H of dimension greater than 2. By invariants of certain functional values of operator products, we characterize some surjective maps on A. Furthermore, several kinds of general preserver problems on standard operator algebras are solved when we take respectively the functional as, for example, k-numerical radius (k?1), operator norm, Ky Fan k-norm, Schatten p-norm (1?p<∞), and so on.     

Comparability Preserving Maps on Bounded Observables

Let H be a Hilbert space and B _s (H) the set of all self-adjoint bounded linear operators on H. We describe the general form of bijective maps which preserve comparability in both directions. This work was partially supported by a grant from the Ministry of Science of Slovenia.     

Additive Maps Preserving Local Spectrum

Let X be a complex Banach space, and let be the space of bounded operators on X. Given and x ∈ X, denote by σ_T (x) the local spectrum of T at x. We prove that if is an additive map such that

Generalized biderivations of nest algebras

Let N be a nest on a complex separable Hilbert space H, and τ(N) be the associated nest algebra. In this paper, we prove that every biderivation of τ(N) is an inner biderivation if and only if dim 0₊ ≠ 1 or , and that every generalized biderivation of τ(N) is an inner generalized biderivation if dim 0₊ ≠ 1 and .     

Linear maps preserving the essential spectral radius

Let L(H) be the algebra of all bounded linear operators on an infinite dimensional complex Hilbert H. We characterize linear maps from L(H) onto itself that preserve the essential spectral radius.     

Linear mappings derivable at some nontrivial elements

Suppose that A is an algebra and M is an A-bimodule. Let A be any element in A. A linear mapping δ from A into M is said to be derivable at A if δ(ST)=δ(S)T+Sδ(T) for any S,T in A with ST=A. Given an algebra A, such as a non-abelian von Neumann algebra or an irreducible CDCSL algebra on a Hilbert space H with dimH?2, we show that there exists a nontrivial idempotent P in A such that for any Q∈PAP which is invertible in PAP, every linear mapping derivable at Q from A into some unital A-bimodule (for example, A or B(H)) is derivation.     

Additive Maps on Matrix Algebras Preserving Invertibility or Singularity

We characterize the additive singularity preserving almost surjective maps on Mn （F）, the algebra of all n×n matrices over a field F with char F=0. We also describe additive invertibility preserving surjective maps on Mn （F） and give examples showing that all the assunlptions in these two theorems are indispensable.