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

From MaRDI portal
Revision as of 13:53, 2 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Hilbert and Thompson isometries on cones in JB-algebras
scientific article

    Statements

    Hilbert and Thompson isometries on cones in JB-algebras (English)
    0 references
    0 references
    0 references
    0 references
    18 July 2019
    0 references
    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.
    0 references
    Hilbert's metric
    0 references
    Thompson's metric
    0 references
    order unit spaces
    0 references
    JB-algebras
    0 references
    isometries
    0 references
    symmetric Banach-Finsler manifolds
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references