Completeness of Gelfand-Neumark-Segal inner product space on Jordan algebras (Q2822865)

The authors consider inner product spaces obtained from states on Jordan Banach algebras. Given a state \(\phi \), an inner product is given by \((a,b)_{\phi}=\phi (a\circ b)\) \((a,b\in A)\), where \(A\) is a Jordan algebra with Jordan product \(\circ \). An inner product space \(A_{\phi}\) is obtained as the quotient of \(A\) with respect to the left kernel \(L_{\phi}=\bigl \{a\in A\: \phi (a)=0\bigr \}\) of the state \(\phi \). It is shown that if \(A_{\phi}\) is complete, then \(\phi \) must be a convex combination of pure states, which is a generalization to Jordan algebras of a known result for \(C^*\)-algebras. On the other hand, completeness of GNS spaces generated by convex combinations pure states generating factors of type \(I_n\), \(n\geq 4\), is shown. So-called spin factor states are defined on spin factors, and it is shown that convex combinations of these states generate complete GNS spaces. Considering canonical embedding of \(A\) into its second dual \(A^{**}\) enables the authors to reduce the problem of completeness to normal states on JBW algebras, and to establish the completeness for states concentrated on direct summand of \(A^{**}\) that is isomorphic to the exceptional case \(M_3^8\).