JB-Algebras: Structure & Spectral Theory

• JB-algebras are real Jordan Banach algebras defined by norm conditions that parallel the self-adjoint parts of C*-algebras.
• They provide a framework for spectral theory and functional calculus through an order-unit norm and a well-defined positive cone.
• JB-algebras support nonassociative operator means and entropy concepts, linking algebraic structure with metric symmetries and order isomorphisms.

JB-algebras are real Jordan algebras equipped with a compatible Banach-space norm. Concretely, a unital real Jordan algebra $(A,\circ,1)$ is a JB-algebra when it is complete in a norm $\|\cdot\|$ satisfying

$$\|a\circ b\|\le \|a\|\,\|b\|,\qquad \|a^2\|=\|a\|^2,\qquad \|a^2\|\le \|a^2+b^2\|$$

for all $a,b\in A$, where $a^2:=a\circ a$. This class is the real nonassociative analogue of a $C^*$-algebra: every self-adjoint part of a unital $C^*$-algebra is a JB-algebra with product $a\circ b=\tfrac12(ab+ba)$, and further examples include Euclidean Jordan algebras, spin factors, and JBW-algebras, the dual Banach-space analogues of von Neumann algebras (Wetering, 2019, Lemmens et al., 2016).

1. Algebraic definition and basic operators

A Jordan algebra is a real vector space with a commutative bilinear product satisfying the Jordan identity

$x\circ (y\circ x^2)=(x\circ y)\circ x^2.$

Commutativity of $\circ$ does not imply associativity, and much of the structure theory of JB-algebras concerns the controlled failure of associativity. The norm axioms above distinguish JB-algebras among Jordan Banach algebras and make spectral theory, order, and functional calculus available in a form parallel to operator algebra theory (Wetering, 2019, Roelands et al., 13 Jul 2025).

Two standard operator-valued constructions organize the theory. The left multiplication operator is

$\|\cdot\|$0

and the quadratic operator is

$\|\cdot\|$1

Related papers write the same quadratic representation as

$\|\cdot\|$2

which reduces to the same formula because the Jordan product is commutative. In a special Jordan algebra coming from an associative product, one has $\|\cdot\|$3, and the fundamental equality

$\|\cdot\|$4

holds (Wetering, 2019, Lemmens et al., 2016).

The complex counterpart is the JB$\|\cdot\|$5-algebra. A JB$\|\cdot\|$6-algebra is a complex Jordan Banach algebra with an isometric involution satisfying the JB$\|\cdot\|$7-axiom $\|\cdot\|$8; its self-adjoint part is a JB-algebra. This relation places JB-algebras inside the broader Jordan framework connecting real ordered Jordan structures to complex Jordan operator theory (Jamjoom et al., 2014).

2. Order structure, spectrum, and functional calculus

In a unital JB-algebra, the cone of squares

$\|\cdot\|$9

is exactly the positive cone. Equivalently,

$$\|a\circ b\|\le \|a\|\,\|b\|,\qquad \|a^2\|=\|a\|^2,\qquad \|a^2\|\le \|a^2+b^2\|$$0

where $$\|a\circ b\|\le \|a\|\,\|b\|,\qquad \|a^2\|=\|a\|^2,\qquad \|a^2\|\le \|a^2+b^2\|$$1 is the spectrum defined through Jordan invertibility and functional calculus. The order relation is $$\|a\circ b\|\le \|a\|\,\|b\|,\qquad \|a^2\|=\|a\|^2,\qquad \|a^2\|\le \|a^2+b^2\|$$2, and the unit $$\|a\circ b\|\le \|a\|\,\|b\|,\qquad \|a^2\|=\|a\|^2,\qquad \|a^2\|\le \|a^2+b^2\|$$3 is an order unit. The resulting order-unit norm coincides with the given Banach norm. In particular, $$\|a\circ b\|\le \|a\|\,\|b\|,\qquad \|a^2\|=\|a\|^2,\qquad \|a^2\|\le \|a^2+b^2\|$$4 implies $$\|a\circ b\|\le \|a\|\,\|b\|,\qquad \|a^2\|=\|a\|^2,\qquad \|a^2\|\le \|a^2+b^2\|$$5, and the interior

$$\|a\circ b\|\le \|a\|\,\|b\|,\qquad \|a^2\|=\|a\|^2,\qquad \|a^2\|\le \|a^2+b^2\|$$6

consists of the strictly positive invertible elements (Wetering, 2019, Lemmens et al., 2016).

For each $$\|a\circ b\|\le \|a\|\,\|b\|,\qquad \|a^2\|=\|a\|^2,\qquad \|a^2\|\le \|a^2+b^2\|$$7, the unital Jordan subalgebra generated by $$\|a\circ b\|\le \|a\|\,\|b\|,\qquad \|a^2\|=\|a\|^2,\qquad \|a^2\|\le \|a^2+b^2\|$$8 and $$\|a\circ b\|\le \|a\|\,\|b\|,\qquad \|a^2\|=\|a\|^2,\qquad \|a^2\|\le \|a^2+b^2\|$$9 supports continuous functional calculus. In the order-unit-space approach, when comparability holds one obtains an isomorphism

$a,b\in A$0

for a totally disconnected compact Hausdorff space $a,b\in A$1, and hence a continuous functional calculus

$a,b\in A$2

Under spectrality assumptions this extends to a Borel functional calculus preserving positivity and suprema of increasing sequences inside the commutative subalgebra generated by $a,b\in A$3 (Jenčová et al., 2022).

This order-theoretic viewpoint yields intrinsic criteria for recognizing JB-algebras. For an order-unit Banach space with a compression base $a,b\in A$4 and comparability, one characterization states that the space is a JB-algebra precisely when

$a,b\in A$5

for all projections $a,b\in A$6. Equivalently, if squares are defined via continuous functional calculus, the polarization formula

$a,b\in A$7

is bilinear exactly in the JB case. A further structural result identifies Rickart JB-algebras as precisely those JB-algebras for which every maximal associative norm-closed subalgebra is monotone $a,b\in A$8-complete (Jenčová et al., 2022).

3. Operator commutativity and associative subalgebras

Because Jordan multiplication is commutative but generally nonassociative, several notions of commutativity coexist. Two elements $a,b\in A$9 are said to operator-commute when

$a^2:=a\circ a$0

Equivalently,

$a^2:=a\circ a$1

In an arbitrary Jordan algebra this can behave poorly: it may happen that $a^2:=a\circ a$2 operator-commutes with $a^2:=a\circ a$3 while $a^2:=a\circ a$4 fails to operator-commute with $a^2:=a\circ a$5. A central result for JB-algebras is that this pathology disappears (Wetering, 2019).

For a JB-algebra $a^2:=a\circ a$6 and elements $a^2:=a\circ a$7, the following are equivalent: $a^2:=a\circ a$8 and $a^2:=a\circ a$9 operator-commute; the unital JB-subalgebra generated by $C^*$0 and $C^*$1 is associative; and that generated subalgebra is associative with every pair of its elements operator-commuting. Thus, in a JB-algebra, operator commutativity is exactly the condition that $C^*$2 and $C^*$3 live inside a common associative Jordan subalgebra. This makes the theory as well behaved as in the self-adjoint part of a $C^*$4-algebra, even though the ambient algebra may be exceptional (Wetering, 2019).

For positive elements there is a quadratic criterion. If $C^*$5, then

$C^*$6

In a special Jordan algebra this reads $C^*$7, and the associative proof can be transferred to the JB setting through JBW biduals, exceptional summands, and functional calculus. This criterion has an effect-algebra consequence: for the unit interval

$C^*$8

the sequential product

$C^*$9

turns $C^*$0 into a sequential effect algebra in the sense of Gudder and Greechie (Wetering, 2019).

4. Cone geometry, metric symmetry, and order isomorphisms

The interior $C^*$1 of the positive cone carries a rich nonlinear geometry. For an order-unit space with cone $C^*$2, the gauge

$C^*$3

defines Thompson’s metric

$C^*$4

and, on rays, Hilbert’s projective metric

$C^*$5

In a JB-algebra, the quadratic representation $C^*$6 is an order-automorphism of the cone, and the maps

$C^*$7

make $C^*$8 into an affine symmetric space; with Thompson’s metric, $C^*$9 is a symmetric Banach-Finsler manifold (Lemmens et al., 2016).

The isometries of these metrics are determined by Jordan structure. For unital JB-algebras $a\circ b=\tfrac12(ab+ba)$0, a bijection $a\circ b=\tfrac12(ab+ba)$1 is a Thompson isometry if and only if there exist $a\circ b=\tfrac12(ab+ba)$2, a central projection $a\circ b=\tfrac12(ab+ba)$3, and a Jordan isomorphism $a\circ b=\tfrac12(ab+ba)$4 such that

$a\circ b=\tfrac12(ab+ba)$5

For JBW-algebras, Hilbert-metric isometries have the form

$a\circ b=\tfrac12(ab+ba)$6

These formulas show that inversion, quadratic representations, and Jordan isomorphisms exhaust the metric symmetries (Lemmens et al., 2016).

A later order-theoretic characterization makes this geometry intrinsic. For a complete order-unit space $a\circ b=\tfrac12(ab+ba)$7 with open cone $a\circ b=\tfrac12(ab+ba)$8, the existence of a gauge-reversing bijection

$a\circ b=\tfrac12(ab+ba)$9

is equivalent to the existence of a JB-algebra structure on $x\circ (y\circ x^2)=(x\circ y)\circ x^2.$0 whose cone of squares is $x\circ (y\circ x^2)=(x\circ y)\circ x^2.$1 and whose unit is $x\circ (y\circ x^2)=(x\circ y)\circ x^2.$2. Equivalently, $x\circ (y\circ x^2)=(x\circ y)\circ x^2.$3 is a JB-algebra precisely when $x\circ (y\circ x^2)=(x\circ y)\circ x^2.$4 is a symmetric Banach-Finsler manifold, or when there exists a Thompson-metric symmetry at one, hence every, point of $x\circ (y\circ x^2)=(x\circ y)\circ x^2.$5. The same work proves that two order-unit spaces are isomorphic if and only if there exists a gauge-reversing bijection between their open cones (Roelands et al., 13 Jul 2025).

Order isomorphisms of cones admit further structure in atomic JBW-algebras. The cone decomposes into an engaged part, on which every order isomorphism is linear, and a disengaged part consisting of copies of $x\circ (y\circ x^2)=(x\circ y)\circ x^2.$6. For general JB-algebras, if either algebra has no closed ideal of codimension one, then every cone order isomorphism is linear exactly when it extends, on the atomic parts of the biduals, to a suitable weak-topology homeomorphism (Imhoff et al., 2019).

5. Operator means, Lie–Trotter formulas, and entropy

The positive invertible cone of a JB-algebra supports the nonassociative analogues of Kubo-Ando operator means. For $x\circ (y\circ x^2)=(x\circ y)\circ x^2.$7 invertible and $x\circ (y\circ x^2)=(x\circ y)\circ x^2.$8, the weighted arithmetic and harmonic means are

$x\circ (y\circ x^2)=(x\circ y)\circ x^2.$9

The weighted geometric mean is defined through Jordan functional calculus by

$\circ$0

or equivalently as the unique positive solution of a Riccati-type equation. These means satisfy the transformer inequality, monotonicity, joint concavity, and the arithmetic-geometric-harmonic bounds

$\circ$1

For $\circ$2, the geometric mean also admits an integral representation (Wang et al., 2020).

Lie–Trotter theory extends to the same nonassociative setting. Two-variable Lie–Trotter means in JB-algebras include the weighted arithmetic mean, weighted harmonic mean, weighted geometric mean, and weighted spectral geometric mean. If $\circ$3 are differentiable curves with $\circ$4, a two-variable mean $\circ$5 is a Lie–Trotter mean when

$\circ$6

From this one obtains generalized Trotter-product formulas such as

$\circ$7

together with arithmetic and harmonic analogues. Multivariable Lie–Trotter means are furnished by the Sagae–Tanabe and Hansen induction procedures, and any multivariate mean lying between the corresponding harmonic and arithmetic means is automatically a multivariate Lie–Trotter mean (Wang, 2023).

Entropy-like operator functions also extend. For $\circ$8 invertible in a unital JB-algebra, the relative operator entropy is

$\circ$9

and the Tsallis relative operator entropy is

$\|\cdot\|$00

These quantities satisfy homogeneity, monotonicity in the second variable, congruence invariance under quadratic representations, and separate operator concavity; moreover,

$\|\cdot\|$01

The same framework yields bounds for generalized relative operator $\|\cdot\|$02-entropies and refined inequalities extending Hilbert-space results to the Jordan setting (Wang et al., 2020).

6. Special, exceptional, and free JB-algebras

A Jordan algebra is special if it embeds into an associative algebra equipped with the symmetrized product $\|\cdot\|$03; otherwise it is exceptional. Among JB-algebras, JC-algebras are precisely the norm-closed Jordan subalgebras of $\|\cdot\|$04, and the Albert algebra $\|\cdot\|$05 is the paradigmatic exceptional example. The distinction is structurally sharp: a JB-algebra is special if and only if it satisfies one of Glennie’s identities of degree $\|\cdot\|$06 or $\|\cdot\|$07, equivalently if it does not admit a surjection onto the Albert algebra (Roelands et al., 23 May 2026).

The Shirshov–Cohn phenomenon survives in refined form. If a JB-algebra is generated by the union of two associative Jordan subalgebras, then it is a JC-algebra and hence special. A corresponding JB-version of Macdonald’s principle states that a Jordan polynomial of degree at most $\|\cdot\|$08 in one variable, vanishing in every JC-algebra, also vanishes in every JB-algebra after substituting tuples of mutually operator-commuting elements in the remaining variables. This reduces a class of nonassociative identities to the special setting (Roelands et al., 23 May 2026).

Free constructions show the limits of specialness. The free unital JB-algebra on $\|\cdot\|$09 projections is a JC-algebra exactly for $\|\cdot\|$10; for $\|\cdot\|$11 it is not special. In the two-projection case there is an explicit model: $\|\cdot\|$12 generated by the projection-valued functions

$\|\cdot\|$13

This model parallels the Raeburn–Sinclair description of the free $\|\cdot\|$14-algebra on two projections and exhibits, in a concrete way, how JB-algebraic freeness can remain within the special category for low generator counts (Roelands et al., 23 May 2026).