Order isomorphisms on order intervals of atomic JBW-algebras (Q786088)

A JB-algebra is a complete normed real Jordan algebra \((A, \vert\vert \cdot \vert\vert)\) satisfying (i) \(\vert\vert x^2\vert\vert =\vert\vert x\vert\vert^2\) and (ii) \(\vert\vert x^2\vert\vert\leq \vert\vert x^2 +y^2\vert\vert\) for all \(x, y \in A\). If \(A\) is unital it follows from (i) that \(\vert\vert \mathbf{1} \vert\vert =1\). The spectrum of an element \(x\) of a unital JB-algebra \(A\) is defined by the set of all \(\lambda \in \mathbb R\) such that \(\lambda\mathbf{1} -x\) is not invertible. The cone of elements with non-negative spectrum is denoted by \(A_+\) and equal (by the functional calculus) to the set of squares. A partial ordering \(\leq \) is induced on \(A\) by writing \(x \leq y\) if \(y-x \in A_+\). The usual notions of interval and isomorphism of intervals are then defined in unital JB-algebras. JBW-algebras \(A\) can be introduced as those JB-algebras which are dual Banach spaces. Any nonzero JBW-algebra is unital, its complete predual is unique, and its product is separately \(w^*\)-continuous. JBW-algebras contains abundance of idempotents (also called projections). In fact, given \(x \in A\) and \(\epsilon > 0\), there exist pairwise orthogonal idempotents \(e_1, \dots , e_n\) and \(\lambda_1, \hdots \lambda_n \in \mathbb R\) such that \(\vert\vert x- \sum_i\lambda_ie_i\vert\vert < \varepsilon\). A minimal nonzero projection \(u\) in \(A\) is called an atom (in algebraic terms, \(U_uA=\mathbb Ru\)), and a JBW-algebra \(A\) is called atomic if for any projection \(p \in A\) there exists an atom \(u\) such that \(u \in U_pA\). Isomorphisms between unital Jordan algebras preserve the spectrum, so every isomorphism of a unital JB-algebra \(A\) onto a unital JB-algebra \(B\) restricts to an order isomorphism between their intervals \([0,\mathbf{1_A}]\) and \([0, \mathbf{1_B}]\). The main result of the paper proves that the converse also holds for atomic JBW-algebras.