Linear maps preserving Fredholm and Atkinson elements of C *-algebras

Let A be a unital C*-algebra of real rank zero and B be a unital semisimple complex Banach algebra. We characterize linear maps from A onto B preserving different essential spectral sets and quantities such as the essential spectrum, the (left, right) essential spectrum, the Weyl spectrum, the index and the essential spectral radius.     

A generalization of a theorem on biseparating maps

In J. Math. Anal. Appl. 12 (1995) 258–265, Araujo et al. proved that for any linear biseparating map  from C(X) onto C(Y), where X and Y are completely regular, there exist ω in C(Y) and an homeomorphism h from the realcompactification vX of X onto vY, such that

The compact version of this result was proved before by Jarosz in Bull. Canad. Math. Soc. 33 (1990) 139–144. In Contemp. Math., Vol. 253, 2000, pp. 125–144, Henriksen and Smith asked to what extent the result above can be generalized to a larger class of algebras. In the present paper, we give an answer to that question as follows. Let A and B be uniformly closed Φ-algebras. We first prove that every order bounded linear biseparating map from A onto B is automatically a weighted isomorphism, that is, there exist ω in B and a lattice and algebra isomorphism ψ between A and B such that

(a)=ωψ(a) for all aA.

We then assume that every universally σ-complete projection band in A is essentially one-dimensional. Under this extra condition and according to a result from Mem. Amer. Math. Soc. 143 (2000) 679 by Abramovich and Kitover, any linear biseparating map from A onto B is automatically order bounded and, by the above, a weighted isomorphism. It turns out that, indeed, the latter result is a generalization of the aforementioned theorem by Araujo et al. since we also prove that every universally σ-complete projection band in the uniformly closed Φ-algebra C(X) is essentially one-dimensional.     

On definability of completely decomposable torsion-free Abelian groups by certain groups of homomorphisms

Let C be an Abelian group. An Abelian group A from a class X of Abelian groups is said to be _C H-definable in X if, for any group B ∈ X, the isomorphism Hom(C,A) ≅ Hom(C,B) implies that A ≅ B. If every group from X is _C H-definable in X, then X is called an _C H-class. In this paper, we study conditions under which a class of completely decomposable torsion-free Abelian groups is an _C H-class, where C is a vector group.     

Linear maps preserving zero products on nest subalgebras of von Neumann algebras

In this paper, it is proved that every surjective linear map preserving identity and zero products in both directions between two nest subalgebras with non-trivial nests of any factor von Neumann algebra is an isomorphism; and that every surjective weakly continuous linear map preserving identity and zero Jordan products in both directions between two nest subalgebras with non-trivial nests of any factor von Neumann algebra is either an isomorphism or an anti-isomorphism.     

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

On additive maps preserving certain semi-Fredholm subsets

Let X and Y be two infinite dimensional real or complex Banach spaces, and let φ: ?(X)?→??(Y) be an additive surjective mapping that preserves semi-Fredholm operators in both directions. In the complex Hilbert space context, Mbekhta and ?emrl [M. Mbekhta and P. ?emrl, Linear maps preserving semi-Fredholm operators and generalized invertibility, Linear Multilinear Algebra 57 (2009), pp. 55–64] determined the structure of the induced map on the Calkin algebra. In this article, we show the following: given an integer n?≥?1, if φ preserves in both directions ? _n (X) (resp., 𝒬 _n (X)), the set of semi-Fredholm operators on X of non-positive (resp., non-negative) index, having dimension of the kernel (resp., codimension of the range) less than n, then φ(T)?=?UTV for all T or φ(T)?=?UT*V for all T, where U and V are two bijective bounded linear, or conjugate linear, mappings between suitable spaces.     

Maps preserving product X*Y + YX* on factor von Neumann algebras

Let 𝒜 and ? be two factor von Neumann algebras. In this article, we prove that a nonlinear bijective map Φ?:?𝒜?→?? satisfies Φ(X*?Y?+?YX*)?=Φ(X)*Φ(Y)?+?Φ(Y)Φ(X)* (?X,?Y?∈?𝒜), if and only if Φ is a *-ring isomorphism. In particular, if 𝒜 and ? are type I factors, then Φ is a unitary isomorphism or conjugate unitary isomorphism.     

Refinable maps on ANR's

The map F:X→Y is refinable if for each >0 there is an -map f from X onto Y that is -close to F. The closed set A in X is N-elementary if each neighborhood U of A contains a neighborhood V such that the natural homomorphism ^N(U) → ^N(V) has finitely generated image. If X is a compact ANR, then every closed subset is N-elementary for every N.Suppose F:X → Y is a refinable map between compacta. Then:If B is a compactum in Y such that F^-1B is N-elementary in X then F induces an isomorphism from ^N(B) to ^N(F^-1B). In particular, if X is an ANR, then F induces isomorphisms ^N(B) ^N (F^-1B) and _N(F^-1B) _N(B).If X=S³ and Y=S³/A, then A is cellular.If X is a finite-dimensional ANR, then Y is an ANR if one of the following is true: (1) Y is LC¹, (2) F^-1(y) is locally connected for each y Y, (3) F^-1(y) is approximately 1-connected for each y Y or (4) for each >0 the f in the above definition can be chosen to be monotone.Applications are also made to generalized manifolds and ANR's in 2-dimensional manifolds.     

Characterizations of isomorphisms and derivations of some algebras

Let ? be a zero-product preserving bijective bounded linear map from a unital algebra A onto a unital algebra B such that ?(1)=k. We show that if A is a CSL algebra on a Hilbert space or a J-lattice algebra on a Banach space then there exists an isomorphism ψ from A onto B such that ?=kψ. For a nest algebra A in a factor von Neumann algebra, we characterize the linear maps on A such that δ(x)y+xδ(y)=0 for all x,y∈A with xy=0.     

An algebraic invariant for Jordan automorphisms on β(<Emphasis Type="Italic">H</Emphasis>): The set of idempotents

Let H be an infinite dimensional complex Hilbert space. Denote by B(H) the algebra of all bounded linear operators on H, and by I(H) the set of all idempotents in B(H). Suppose that Φ is a surjective map from B(H) onto itself. If for every λ ∈ -1,1,2,3, and A, B ∈ B(H),A-λB ∈I(H) ⇔ Φ(A) -λΦ(B) ∈I(H, then Φ is a Jordan ring automorphism, i.e. there exists a continuous invertible linear or conjugate linear operator T on H such that Φ(A) = TAT ^-1 for all A ∈ B(H), or Φ(A) = TA*T ^-1 for all A ∈ B(H); if, in addition, A-iB ∈I(H)⇔ Φ(A)-iΦ(B) ∈I(H), here i is the imaginary unit, then Φ is either an automorphism or an anti-automorphism.     

An algebraic slice in the coadjoint space of the Borel and the Coxeter element

Let g be a complex simple Lie algebra and b a Borel subalgebra. The algebra Y of polynomial semi-invariants on the dual b^? of b is a polynomial algebra on rank g generators (Grothendieck and Dieudonné (1965–1967)) [16]. The analogy with the semisimple case suggests there exists an algebraic slice to coadjoint action, that is an affine translate y+V of a vector subspace of b^? such that the restriction map induces an isomorphism of Y onto the algebra R[y+V] of regular functions on y+V. This holds in type A and even extends to all biparabolic subalgebras (Joseph (2007)) [20]; but the construction fails in general even with respect to the Borel. Moreover already in type C(2) no algebraic slice exists.Very surprisingly the exception of type C(2) is itself an exception. Indeed an algebraic slice for the coadjoint action of the Borel subalgebra is constructed for all simple Lie algebras except those of types B(2m), C(n) and F(4).Outside type A, the slice obtained meets an open dense subset of regular orbits, even though the special point y of the slice is not itself regular. This explains the failure of our previous construction.     

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.     

Commuting traces and commutativity preserving maps on triangular algebras

Let A be a triangular algebra. The problem of describing the form of a bilinear map satisfying B(x,x)x=xB(x,x) for all xA is considered. As an application, commutativity preserving maps and Lie isomorphisms of certain triangular algebras (e.g., upper triangular matrix algebras and nest algebras) are determined.     

Generalized Jacobians of spectral curves and completely integrable systems

Consider an ordinary differential equation which has a Lax pair representation , where A(x) is a matrix polynomial with a fixed regular leading coefficient and the matrix B(x) depends only on A(x). Such an equation can be considered as a completely integrable complex Hamiltonian system. We show that the generic complex invariant manifold of this Lax pair is an affine part of a non-compact commutative algebraic group – the generalized Jacobian of the spectral curve with its points at “infinity” identified. Moreover, for suitable B(x), the Hamiltonian vector field defined by the Lax pair on the generalized Jacobian is translation-invariant. Received April 29, 1997; in final form September 22, 1997     

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 numerical radius or cross norms of products of self-adjoint operators

Let H be a complex Hilbert space with dimH ≥3, Bs（H） the （real） Jordan algebra of all self-adjoint operators on H. Every surjective map Ф ： Bs（H）→13s（H） preserving numerical radius of operator products （respectively, Jordan triple products） is characterized. A characterization of surjective maps on Bs （H） preserving a cross operator norm of operator products （resp. Jordan triple products of operators） is also given.     

Hyers–Ulam–Rassias stability of a generalized Apollonius–Jensen type additive mapping and isomorphisms between C *‐algebras

Let X, Y be Banach modules over a C *‐algebra. We prove the Hyers–Ulam–Rassias stability of the following functional equation in Banach modules over a unital C *‐algebra: It is shown that a mapping f: X → Y satisfies the above functional equation and f (0) = 0 if and only if the mapping f: X → Y is Cauchy additive. As an application, we show that every almost linear bijection h: A → B of a unital C *‐algebra A onto a unital C *‐algebra B is a C *‐algebra isomorphism when h (2^d uy) = h (2^d u) h (y) for all unitaries u ∈ A, all y ∈ A, and all d ∈ Z . (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

因子von Neumann代数上完全保持 Jordan1-$*$-零积的映射

令$H$和$K$是无限维复Hilbert空间, $\mathcal{A},\mathcal{B}$分别是$H$和$K$上的因子von Neumann代数.结果表明每一个从$\mathcal{A}$到$\mathcal{B}$完全保Jordan1-$*$-零积的满射都是线性$*$-同构或者共轭线性$*$-同构的非零常数倍.     

Approximately spectrum-preserving maps

Let X and Y be superreflexive complex Banach spaces and let B(X) and B(Y) be the Banach algebras of all bounded linear operators on X and Y, respectively. If a bijective linear map Φ:B(X)→B(Y) almost preserves the spectra, then it is almost multiplicative or anti-multiplicative. Furthermore, in the case where X=Y is a separable complex Hilbert space, such a map is a small perturbation of an automorphism or an anti-automorphism.