2-local triple homomorphisms on von Neumann algebras and JBW*-triples (Q2515116): Difference between revisions

We recall that given two \(C^*\)-algebras \(A\) and \(B\), a not necessarily linear nor continuous mapping \(T:A \to B\) is said to be a \(2\)-local homomorphism if for any \(a,b \in A\) there exists a bounded (linear) homomorphism \(\phi_{a,b}:A \to B\), depending on \(a\) and \(b\), such that \(\phi_{a,b}(a)=T(a)\) and \(\phi_{a,b}(b)=T(b)\). Since every \(C^*\)-algebra \(A\) admits a ternary product given by \[ \{a,b,c\}:=\frac{1}{2} (ab^*c+cb^*a) \] for any \(a,b,c \in A\), the concepts of triple homomorphisms and \(2\)-local triple homomorphisms between \(C^*\)-algebras appear in a natural way as follows. A linear map \(\phi\) between \(C^*\)-algebras \(A\) and \(B\) satisfying \(\phi(\{a,b,c\})=\{\phi(a), \phi(b), \phi(c)\}\) is called a triple homomorphism. A \(2\)-local triple homomorphism between \(A\) and \(B\) is a not necessarily linear nor continuous map \(T:A \to B\) such that for every \(a,b \in A\) there exists a bounded (linear) triple homomorphism \(\phi_{a,b}:A \to B\) with \(\phi_{a,b}(a)=T(a)\) and \(\phi_{a,b}(b)=T(b)\). From the above, we also have the next notions. Let \(E\) and \(F\) be two \(JB^*\)-triples. A linear map \(\phi:E \to F\) which preserves the triple products is called a triple homomorphism. A (not necessarily linear nor continuous) mapping \(T:E \to F\) is said to be a \(2\)-local triple homomorphism if for any \(a,b \in E\) there exists a bounded (linear) triple homomorphism \(\phi_{a,b}:E \to F\), depending on \(a\) and \(b\), such that \(\phi_{a,b}(a)=T(a)\) and \(\phi_{a,b}(b)=T(b)\). In the paper under review, it is proved that every \(2\)-local triple homomorphism from a \(JBW^*\)-triple (a \(JB^*\)-triple which is also a dual Banach space), into a \(JB^*\)-triple is linear and a triple homomorphism. As a consequence, every \(2\)-local triple homomorphism from a von Neumann algebra into a \(C^*\)-algebra is linear and a triple homomorphism.