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 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 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

     

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).     

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 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.     

Mappings preserving the idempotency of products of operators

We obtain a general form of a surjective (not assumed additive) mapping φ, preserving the nonzero idempotency of a certain product, being defined (a) on the algebra of all bounded linear operators B(X), where X is at least three-dimensional real or complex Banach space, (b) on the set of all rank-one idempotents in B(X) and (c) on the set of all idempotents in B(X). In any of the cases it turns out that φ is additive and either multiplicative or antimultiplicative.     

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.     

Linear Maps Preserving Generalized Invertibility

Let H be an infinite-dimensional complex separable Hilbert space and the algebra of all bounded linear operators on H. Let be a bijective continuous unital linear map preserving generalized invertibility in both directions. Then the ideal of all compact operators is invariant under ϕ and the induced linear map on the Calkin algebra is either an automorphism or an antiautomorphism.     

Linear maps preserving idempotency of products or triple jordan products of operators

Let be the algebra of all bounded linear operators on a complex Banach space . We give the concrete forms of linear surjective maps on which preserve the nonzero idempotency of either products of two operators or triple Jordan products of two operators.     

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.     

Beyond hyperinvariance for compact operators

We introduce a new class of operator algebras on Hilbert space. To each bounded linear operator a spectral algebra is associated. These algebras are quite substantial, each containing the commutant of the associated operator, frequently as a proper subalgebra. We establish several sufficient conditions for a spectral algebra to have a nontrivial invariant subspace. When the associated operator is compact this leads to a generalization of Lomonosov's theorem.     

Compact products of Hankel operators

In this paper we completely characterize compact products of three Hankel operators on the Hardy space. We obtain a necessary and sufficient condition for that , and are simultaneously compact.This work was partly supported by NSF grants. The second author was also partly supported by the Research Council of Vanderbilt University.     

Some remarks on disjointness preserving operators

In this note we present a simple proof of the following results: if T: E E is a lattice homomorphism on a Banach lattice E, then: i) (T)={1} implies T=I; and ii) r(T–I)<1 implies TZ(E), the center of E.     

On products of two Hermitian operators

In this paper, we study the problem of characterizing the bounded linear operators on a Hilbert space that admit a factorization as a product of two Hermitian operators. It is shown that a normal operator can be decomposed as a product of two Hermitian operators if and only if it is similar to its adjoint. Some partial results about hyponormal operators are obtained.     

Similarity preserving linear maps on upper triangular matrix algebras

In this note we consider similarity preserving linear maps on the algebra of all n × n complex upper triangular matrices T_n. We give characterizations of similarity invariant subspaces in T_n and similarity preserving linear injections on T_n. Furthermore, we considered linear injections on T_n preserving similarity in M_n as well.     

Surjective linear maps preserving local spectra

Let B(X) be the algebra of all bounded linear operators on an infinite dimensional complex Banach space X. We characterize linear surjective and continuous maps on B(X) preserving different local spectral quantities at a nonzero fixed vector.