pith. machine review for the scientific record. sign in

arxiv: 2604.16904 · v2 · submitted 2026-04-18 · 🧮 math.OA

Recognition: unknown

An order-theoretic characterization of C*-algebras

Samuel Tiersma

Pith reviewed 2026-05-10 06:48 UTC · model grok-4.3

classification 🧮 math.OA
keywords C*-algebrasoperator systemsJB-algebrasorder isomorphismpositive projectionsmatrix levelsgauge-reversing bijections
0
0 comments X

The pith

A unital operator system is completely order isomorphic to a C*-algebra exactly when every matrix level has a compatible JB-algebra structure.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper gives an order-theoretic test to identify which operator systems are secretly C*-algebras. The test requires that each matrix space of the system can be given a JB-algebra structure that matches the existing order. It rests on an earlier result that characterizes JB-algebras by the existence of gauge-reversing bijections. The same condition also yields a real-algebra version of the Choi-Effros theorem about images of positive projections.

Core claim

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. This follows from extending the gauge-reversing-bijection characterization of JB-algebras to all matrix levels while preserving the complete order isomorphism. As an application, for n ≥ 4 the range of any unital n-positive projection on a unital real C*-algebra is unitally n-order isomorphic to a unital real C*-algebra.

What carries the argument

Compatible JB-algebra structure on each matrix space of the operator system, extended from gauge-reversing bijections.

If this is right

  • For n ≥ 4, the image of a unital n-positive projection on a real C*-algebra is itself unitally n-order isomorphic to a real C*-algebra.
  • Order properties alone suffice to detect the full C*-algebra structure across all matrix levels.
  • The same criterion works uniformly for both real and complex unital operator systems.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • This approach may simplify checking whether a given operator system can be realized as a C*-algebra without constructing the multiplication explicitly.
  • It suggests that JB-algebra data on matrices could serve as a practical certificate for C*-algebra membership in computational settings.

Load-bearing premise

The earlier characterization of JB-algebras by gauge-reversing bijections extends compatibly to every matrix level of the operator system while keeping the complete order isomorphism intact.

What would settle it

An operator system whose matrix spaces each carry a compatible JB-algebra structure yet fails to be completely order isomorphic to any C*-algebra.

read the original abstract

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, we prove that for $n\ge 4$ the range of a unital n-positive projection on a unital real C*-algebra is unitally n-order isomorphic to a unital real C*-algebra, which is the analogue of a result proven for complex C*-algebras by Choi--Effros.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript provides an order-theoretic characterization of the essential image of the forgetful functor from unital real or complex C*-algebras to unital operator systems. The central result is 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; this is obtained by applying the authors' prior gauge-reversing bijection characterization of JB-algebras (arXiv:2507.09526) levelwise and verifying that the structures glue compatibly. An application shows that for n ≥ 4 the range of a unital n-positive projection on a unital real C*-algebra is unitally n-order isomorphic to a unital real C*-algebra, extending the Choi-Effros theorem to the real setting.

Significance. If the main equivalence holds, the result supplies a concrete order-theoretic criterion for recognizing C*-algebras inside operator systems and links operator-system theory to JB-algebra structure in a matrix-level way. The application furnishes a new real analogue of a classical theorem and may be useful for studying positive projections and order isomorphisms. The work is incremental, resting directly on the authors' earlier JB-algebra characterization, but the extension to complete order isomorphisms on operator systems adds content.

major comments (1)
  1. [Main theorem and its proof] The proof of the main equivalence (stated in the abstract and presumably proved in §3 or §4) invokes the gauge-reversing bijection characterization of JB-algebras at each matrix level and asserts that the resulting structures are compatible with the operator-system matrix order. The manuscript must supply an explicit verification that these bijections preserve the complete order isomorphism and do not tacitly rely on C*-norm properties; without this check the extension from the prior work remains a potential gap.
minor comments (2)
  1. [Abstract] The abstract states the characterization for both real and complex cases but the application is stated only for real C*-algebras; clarify whether the complex case follows by the same argument or requires separate treatment.
  2. [Introduction] A short paragraph recalling the precise statement of the gauge-reversing bijection result from arXiv:2507.09526 would make the paper more self-contained for readers unfamiliar with that work.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for providing constructive feedback. We address the major comment in detail below.

read point-by-point responses

  1. Referee: [Main theorem and its proof] The proof of the main equivalence (stated in the abstract and presumably proved in §3 or §4) invokes the gauge-reversing bijection characterization of JB-algebras at each matrix level and asserts that the resulting structures are compatible with the operator-system matrix order. The manuscript must supply an explicit verification that these bijections preserve the complete order isomorphism and do not tacitly rely on C*-norm properties; without this check the extension from the prior work remains a potential gap.

    Authors: We appreciate the referee's observation regarding the need for explicit verification in the proof of the main theorem. The current manuscript applies the gauge-reversing bijection characterization from our prior work at each matrix level and asserts compatibility with the operator system matrix order. However, to address the concern that this might tacitly rely on C*-norm properties, we will revise the proof in Section 3 to include a more detailed verification. Specifically, we will explicitly show that the bijections preserve the complete order isomorphism by verifying that they respect the matrix-ordered structure at all levels, relying only on the order-theoretic properties established in arXiv:2507.09526 and the definition of unital operator systems. This addition will ensure the argument is self-contained and does not depend on the C*-algebra norm beyond the JB-algebra structure. revision: yes

Circularity Check

1 steps flagged

Central result depends on self-cited JB-algebra characterization

specific steps
  1. self citation load bearing [Abstract]
    "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."

    The equivalence is established by invoking the prior self-authored characterization of JB-algebras (via gauge-reversing bijections) at each matrix level of the operator system; without that external (but self-cited) result the present characterization would not hold, rendering the JB-algebra identification load-bearing on overlapping authorship.

full rationale

The paper's main iff statement for operator systems is obtained by applying the gauge-reversing bijection characterization of JB-algebras (from the author's prior arXiv:2507.09526) at every matrix level and verifying that the resulting structures are compatible with the complete order. This makes the JB-algebra step load-bearing via self-citation, but the extension to all matrix levels and the application to n-positive projections constitute independent content, preventing reduction to pure self-definition or construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper introduces no free parameters or new entities. It relies on standard definitions of unital operator systems, C*-algebras, and matrix spaces together with the authors' earlier JB-algebra characterization.

axioms (2)
  • domain assumption Characterization of JB-algebras among order unit spaces via existence of gauge-reversing bijections (arXiv:2507.09526)
    The paper states that its result is based on this prior characterization.
  • standard math Standard categorical and order-theoretic properties of unital operator systems and complete order isomorphisms
    These are background assumptions from the field of operator algebras.

pith-pipeline@v0.9.0 · 5452 in / 1350 out tokens · 61248 ms · 2026-05-10T06:48:43.427632+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

3 extracted references · 2 canonical work pages

  1. [1]

    Lemmens, M

    15 [LRW25] B. Lemmens, M. Roelands, and M. Wortel. Infinite dimensional symmetric cones and gauge-reversing maps. Preprint, 2025, arXiv:2504.12487. [Maz38] S. Mazur. Sur les anneaux lin´ eaires.C. R. Math. Acad. Sci. Paris, 207:1025–1027,

    work page arXiv 2025

  2. [2]

    Roelands and S

    [RT25] M. Roelands and S. Tiersma. An order-theoretic characterization of JB-algebras. Preprint, 2025, arXiv:2507.09526. [Rua03] Z. J. Ruan. On real operator spaces.Acta Math. Sin., Engl. Ser., 19(3):485–496,

    work page arXiv 2025

  3. [3]

    [Upm84] H. Upmeier. A holomorphic characterization of C*-algebras. In:Functional analysis, holomorphy and approximation theory, II (Rio de Janeiro, 1981), volume 86 ofNorth- Holland Math. Stud., pages 427–467. North-Holland, Amsterdam,

    1981