Hilbert and Thompson isometries on cones in JB-algebras (Q2312847)

In this paper, the authors characterize the isometries on the interior cones of \begin{itemize} \item a JB-algebra, for the Thompson metric (Theorem 3.2); \item a JBW-algebra, for the Hilbert metric (Theorem 4.21). \end{itemize} In the process, they obtain new and interesting geometric and algebraic techniques. The positive cone $A_+$ of a JB-algebra $A$ is the set of elements with non-negative spectrum, its interior part $A_+^\circ$ consists of the elements of $A_+$ which are invertible. The \textit{Thompson metric} in $A_+^\circ$ is given by $$ d_T(a,b)=\log \max\{ M(a/b), M(b/a)\}, \ a,b\in A_+^\circ, $$ where $M(c,d)=\inf\{t>0: c\le t d\}$. The main result in this paper regarding this metric is Theorem 3.2: Let $A,B$ be unital JB-algebras. The map $f:A_+^\circ\to B_+^\circ$ is a bijectuve isometry for the Thompson metric if and only if there exist $b\in B_+^\circ$, a central projection $p\in B$ and a Jordan isomorphism $J:A\to B$ such that $$ f(a)=U_b(pJa+p^\perp Ja^{-1}), \ a\in A_+^\circ, $$ where $U_b$ is defined in terms of the Jordan triple product $\{\ , \ , \ \}$: $U_b(x)=\{b,x,b\}$. The \textit{Hilbert metric} $d_H$ is defined in the set $\overline{A}_+^\circ$ of rays $\bar{a}=\{\lambda a :\lambda>0\}$ of elements $a\in A_+^\circ$, $$ d_H(\bar{a},\bar{b})=\log (M(a/b)M(b/a)). $$ JBW-algebras are a subclass of JB-algebras, the Jordan analogue of von Neumann algebras to C$^*$-algebras: JBW-algebras are dual spaces, have the spectral theorem, are linearly spanned by their projections. The main result of this paper concerning the Hilbert metric is Theorem 4.21: If $M,N$ are JBW-algebras, a map $f:\overline{M}_+^\circ\to \overline{N}_+^\circ$ is a bijective isometry for the Hilbert metric if and only if $$ f(\bar{a})=\overline{U_b J(a^\epsilon)} , \ \bar{a}\in \overline{M}_+^\circ, $$ where $\epsilon=1$ or $-1$, $b\in N_+^\circ$ and $J:M\to N$ is a Jordan isomorphism.