Order isomorphisms on effect algebras of the \(\mathrm{C}^\ast\)-algebras of type \(\mathscr{C}(\mathscr{X})\otimes\mathscr{B}(\mathscr{H})\) (Q6173915)
From MaRDI portal
scientific article; zbMATH DE number 7712336
Language | Label | Description | Also known as |
---|---|---|---|
English | Order isomorphisms on effect algebras of the \(\mathrm{C}^\ast\)-algebras of type \(\mathscr{C}(\mathscr{X})\otimes\mathscr{B}(\mathscr{H})\) |
scientific article; zbMATH DE number 7712336 |
Statements
Order isomorphisms on effect algebras of the \(\mathrm{C}^\ast\)-algebras of type \(\mathscr{C}(\mathscr{X})\otimes\mathscr{B}(\mathscr{H})\) (English)
0 references
13 July 2023
0 references
Let \(\mathscr{A}\) be a unital C\(^{\ast }\)-algebra with the unity \(I_{ \mathscr{A}}\). Recall that the natural order \(\leq \) in \(\mathscr{A}\) is induced by its positive cone:\ For \(a,b\in \mathscr{A}\), we write \(a\leq b\) if \(b-a\) is positive. The effect algebra on \(\mathscr{A}\) is the set \( \mathscr{E(A)}=\left\{ a\in \mathscr{A}:0\leq a\leq I_{\mathscr{A}}\right\} \) . Let \(\mathscr{X}\) be a compact Hausdorff and \(\mathscr{C(X)}\) the C\(^{\ast }\)-algebra of all continuous complex valued functions on \(\mathscr{X}\). The effect algebra \(\mathscr{E(C(X))}\) is the set \(\mathscr{C(X, }\left[ 0,1 \right] )\) of all continuous functions from \(\mathscr{X}\) into the unit interval \(\left[ 0,1\right] \). We say that \(\mathscr{X}\) satisfies the property \((\)K\(_{\mathscr{E}})\) if every order automorphism on \(\mathscr{C(X}, \left[ 0,1\right] )\) is continuous. Let \(\mathscr{H}\) be a complex Hilbert space and \(\mathscr{B(H)}\) the algebra of all bounded linear operators on \( \mathscr{H}\). We write \(\mathscr{E(B(H))=E(H)}\). It is well-known that the C\( ^{\ast }\)-algebra \(\mathscr{C(X)}\otimes \mathscr{B(H)}\) is isometrically isomorphic to the algebra \(\mathscr{C(X,B(H))}\) of all continuous \( \mathscr{B(H)}\)-valued functions on \(\mathscr{X}\), and that \( \mathscr{E(C(X ,B(H ))) = C(X ,E (H ))}\). The unity of \(\mathscr{C(X,B(H))}\) is denoted by \(I_{ \mathscr{X}}\). With the main result of the paper authors describe the form of order isomorphism (i.e., bijective maps that preserve the order \(\leq \) in both directions) between the effect algebras \(\mathscr{E(C(X ,B(H )))}\) and \( \mathscr{E(C(Y ,B(K)))}\) where \(\mathscr{X}\) and \(\mathscr{Y}\) are two compact Hausdorff spaces such that at least one of them satisfies the property \((\)K\(_{\mathscr{E}})\), and \(\mathscr{H}\), \(\mathscr{K}\) are complex Hilbert spaces with \(\max \left\{ \dim (\mathscr{H}),\dim (\mathscr{K} )\right\} \geq 2\). If, in addition, such an order isomorphism \(\Phi :\) \( \mathscr{C(X ,E (H ))}\rightarrow \mathscr{C(Y ,E (K ))}\) satisfies \(\Phi \left( \frac{1}{2}I_{\mathscr{X}}\right) =\frac{1}{2} I_{\mathscr{Y}}\), then authors prove that \(\Phi \) is extendible to a Jordan *-isomorphism from \(\mathscr{C(X,B(H))}\) to \(\mathscr{C(Y,B(K))}\).
0 references
order isomorphism
0 references
tensor product
0 references
effect algebra
0 references
preserver problem
0 references
0 references