Orthogonality preservers in C\(^*\)-algebras, JB\(^*\)-algebras and JB\(^*\)-triples (Q947557): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claims
Property / author
 
Property / author: María J. Burgos / rank
Normal rank
 
Property / reviewed by
 
Property / reviewed by: Armando R. Villena / rank
Normal rank
 

Revision as of 18:26, 12 February 2024

scientific article
Language Label Description Also known as
English
Orthogonality preservers in C\(^*\)-algebras, JB\(^*\)-algebras and JB\(^*\)-triples
scientific article

    Statements

    Orthogonality preservers in C\(^*\)-algebras, JB\(^*\)-algebras and JB\(^*\)-triples (English)
    0 references
    6 October 2008
    0 references
    Let \(A\) be a \(C^*\)-algebra or a \(JB^*\)-algebra, and let \(E\) be a \(JB^*\)-triple. The authors give a description of those bounded linear operators \(T: A\rightarrow E\) with the property of preserving orthogonality, which means that \(\{T(a),T(b),y\}=0\) for each \(y\in E\) whenever \(a,b\in A\) are such that \(\{a,b,x\}=0\) for each \(x\in A\) (where \(\{\cdot,\cdot,\cdot\}\) stands for the triple product in both \(A\) and \(E\)). It is shown that if \(T''(\mathbf{1})\) is a von Neumann regular element in the bidual \(E''\) of \(E\), then \(T(A)\) is contained in the Peirce subspace \(E_2''(r(T''(\mathbf{1})))\) of the range tripotent \(r(T''(\mathbf{1}))\) of \(T''(\mathbf{1})\) and there exists a triple homomorphism \(S\colon A\rightarrow E_2''(r(T''(\mathbf{1})))\) such that \(T(x)=\{T''(\mathbf{1}),r(T''(\mathbf{1})),S(x)\}\) for each \(x\in A\). As a consequence, it is shown that a bounded linear operator \(T: A\rightarrow B\) between two \(C^*\)-algebras \(A\) and \(B\) preserves orthogonality in the usual sense (\(a,b\in A, \;ab^*=b^*a=0 \;\Rightarrow \;T(a)T(b)^*=T(b)^*T(a)=0\)) if and only if there exists a triple homomorphism \(S\colon A\rightarrow B''\) such that \(T''(\mathbf{1})^*S(x)=S(x^*)^*T''(\mathbf{1})\), \(T''(\mathbf{1})S(x^*)^*=S(x)T''(\mathbf{1})^*\), and \(T(x)=T''(\mathbf{1})r(T''(\mathbf{1}))^*S(x)\) for each \(x\in A\).
    0 references
    C*-algebra
    0 references
    JB*-algebra
    0 references
    JB*-triple
    0 references
    von Neumann algebra
    0 references
    orthogonality preserving operator
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references