An order theoretic characterization of spin factors

TL;DR

This paper extends the order theoretic characterization of Euclidean Jordan algebras to infinite dimensions, showing that certain order-antimorphisms characterize spin factors among complete order unit spaces with strictly convex cones.

Contribution

It provides a new characterization of spin factors in infinite-dimensional settings using order-antimorphisms, generalizing previous finite-dimensional results.

Findings

Existence of a bijective antihomogeneous order-antimorphism characterizes spin factors.

The result applies to complete order unit spaces with strictly convex cones and dimension at least 3.

The characterization links order-theoretic properties to the algebraic structure of spin factors.

Abstract

The famous Koecher-Vinberg theorem characterizes the Euclidean Jordan algebras among the finite dimensional order unit spaces as the ones that have a symmetric cone. Recently Walsh gave an alternative characterization of the Euclidean Jordan algebras. He showed that the Euclidean Jordan algebras correspond to the finite dimensional order unit spaces $(V,C,u)$ for which there exists a bijective map $g\colon C^\circ\to C^\circ$ with the property that $g$ is antihomogeneous, i.e., $g(\lambda x) =\lambda^{-1}g(x)$ for all $\lambda>0$ and $x\in C^\circ$, and $g$ is an order-antimorphism, i.e., $x\leq_C y$ if and only if $g(y)\leq_C g(x)$. In this paper we make a first step towards extending this order theoretic characterization to infinite dimensional JB-algebras. We show that if $(V,C,u)$ is a complete order unit space with a strictly convex cone and $\dim V\geq 3$, then there exists a bijective antihomogeneous order-antimorphism $g\colon C^\circ\to C^\circ$ if and only if $(V,C,u)$ is a spin factor.