Order isomorphisms on effect algebras of the \(\mathrm{C}^\ast\)-algebras of type \(\mathscr{C}(\mathscr{X})\otimes\mathscr{B}(\mathscr{H})\) (Q6173915)

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))}\).