An order-theoretic characterization of C*-algebras
We give an order-theoretic characterization of the essential image of the forgetful functor from the category of real/complex unital C*-algebras to the category of real/complex unital operator systems. It is based on the characterization of JB-algebras among the order unit spaces in terms of the existence of gauge-reversing bijections obtained by M. Roelands and the author in arXiv:2507.09526. To this end, we show that a unital operator system is completely order isomorphic to a C*-algebra if and only if each of its matrix spaces admits a compatible JB-algebra structure. As an application,…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2604.16904
curl -X POST /api/v1/records/arxiv/2604.16904/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2604.16904/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'