English

Contractive linear preservers of absolutely compatible pairs between C*-algebras

Operator Algebras 2018-10-26 v1

Abstract

Let aa and bb be elements in the closed ball of a unital C^*-algebra AA (if AA is not unital we consider its natural unitization). We shall say that aa and bb are domain (respectively, range) absolutely compatible (adba\triangle_d b, respectively, arba\triangle_r b, in short) if ab+1ab=1\Big| |a| -|b| \Big| + \Big| 1-|a|-|b| \Big| =1 (resp., ab+1ab=1\Big| |a^*| -|b^*| \Big| + \Big| 1-|a^*|-|b^*| \Big| =1), where a2=aa|a|^2= a^* a. We shall say that aa and bb are absolutely compatible (aba\triangle b in short) if they are both range and domain absolutely compatible. In general, adba\triangle_d b (respectively, arba\triangle_r b and aba\triangle b) is strictly weaker than ab=0ab^*=0 (respectively, ab=0a^* b =0 and aba\perp b). Let T:ABT: A\to B be a contractive linear mapping between C^*-algebras. We prove that if TT preserves domain absolutely compatible elements (i.e., adbT(a)dT(b)a\triangle_d b\Rightarrow T(a)\triangle_d T(b)) then TT is a triple homomorphism. A similar statement is proved when TT preserves range absolutely compatible elements. It is finally shown that TT is a triple homomorphism if, and only if, TT preserves absolutely compatible elements.

Keywords

Cite

@article{arxiv.1810.10886,
  title  = {Contractive linear preservers of absolutely compatible pairs between C*-algebras},
  author = {Nabin K. Jana and Anil K. Karn and Antonio M. Peralta},
  journal= {arXiv preprint arXiv:1810.10886},
  year   = {2018}
}