--- title: 'JB-Algebras: Structure & Spectral Theory' url: https://www.emergentmind.com/topics/jb-algebras type: topic --- # JB-Algebras: Structure & Spectral Theory 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 [1912.01903][1609.03473]. ## 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 [1912.01903][2507.09526]. Two standard operator-valued constructions organize the theory. The left multiplication operator is \[ L_a(b)=a\circ b, \] and the quadratic operator is \[ Q_a=2L_a^2-L_{a^2}, \qquad Q_a(b)=2\,(a\circ b)\circ a-a^2\circ b. \] Related papers write the same quadratic representation as \[ U_a(b)=\{a,b,a\}=(a\circ b)\circ a-(a\circ a)\circ b+(b\circ a)\circ a, \] which reduces to the same formula because the Jordan product is commutative. In a special Jordan algebra coming from an associative product, one has \(Q_a(b)=U_a(b)=aba\), and the fundamental equality \[ Q_{Q_a(b)}=Q_aQ_bQ_a \] holds [1912.01903][1609.03473]. The complex counterpart is the JB\(^*\)-algebra. A JB\(^*\)-algebra is a complex Jordan Banach algebra with an isometric involution satisfying the JB\(^*\)-axiom \(\|\{a,a^*,a\}\|=\|a\|^3\); 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 [1411.2712]. ## 2. Order structure, spectrum, and functional calculus In a unital JB-algebra, the cone of squares \[ A_+=\{a^2:a\in A\} \] is exactly the positive cone. Equivalently, \[ A_+=\{\,a\in A:\sigma(a)\subseteq [0,\infty)\,\}, \] where \(\sigma(a)\) is the spectrum defined through Jordan invertibility and functional calculus. The order relation is \(a\le b\iff b-a\in A_+\), and the unit \(1\) is an order unit. The resulting order-unit norm coincides with the given Banach norm. In particular, \(-1\le a\le 1\) implies \(0\le a^2\le 1\), and the interior \[ A^\circ=\{a\in A_+: a\in {\rm Inv}(A)\} \] consists of the strictly positive invertible elements [1912.01903][1609.03473]. For each \(a\in A\), the unital Jordan subalgebra generated by \(a\) and \(1\) supports continuous functional calculus. In the order-unit-space approach, when comparability holds one obtains an isomorphism \[ C(a)\cong C(X) \] for a totally disconnected compact Hausdorff space \(X\), and hence a continuous functional calculus \[ g\mapsto g(a),\qquad g\in C(\sigma(a)). \] Under spectrality assumptions this extends to a Borel functional calculus preserving positivity and suprema of increasing sequences inside the commutative subalgebra generated by \(a\) [2208.08740]. This order-theoretic viewpoint yields intrinsic criteria for recognizing JB-algebras. For an order-unit Banach space with a compression base \(\{J_p\}_{p\in P}\) and comparability, one characterization states that the space is a JB-algebra precisely when \[ J_p(q)+J_{e-p}(e-q)=J_q(p)+J_{e-q}(e-p) \] for all projections \(p,q\in P\). Equivalently, if squares are defined via continuous functional calculus, the polarization formula \[ x\circ y=\tfrac12\bigl((x+y)^2-x^2-y^2\bigr) \] 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 \(\sigma\)-complete [2208.08740]. ## 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\) are said to operator-commute when \[ [L_a,L_b]=0. \] Equivalently, \[ a\circ (b\circ x)=(a\circ b)\circ x \qquad\text{for all }x\in A. \] In an arbitrary Jordan algebra this can behave poorly: it may happen that \(a\) operator-commutes with \(b\) while \(a^2\) fails to operator-commute with \(b\). A central result for JB-algebras is that this pathology disappears [1912.01903]. For a JB-algebra \(A\) and elements \(a,b\in A\), the following are equivalent: \(a\) and \(b\) operator-commute; the unital JB-subalgebra generated by \(a\) and \(b\) 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 \(a\) and \(b\) live inside a common associative Jordan subalgebra. This makes the theory as well behaved as in the self-adjoint part of a \(C^*\)-algebra, even though the ambient algebra may be exceptional [1912.01903]. For positive elements there is a quadratic criterion. If \(a,b\ge 0\), then \[ a\parallel b \quad\Longleftrightarrow\quad Q_a(b^2)=Q_b(a^2). \] In a special Jordan algebra this reads \(aba\,b=b\,a^2\,b\), 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 \[ E=[0,1]_A, \] the sequential product \[ a\circ b=Q_{\sqrt a}(b) \] turns \(E\) into a sequential effect algebra in the sense of Gudder and Greechie [1912.01903]. ## 4. Cone geometry, metric symmetry, and order isomorphisms The interior \(A^\circ\) of the positive cone carries a rich nonlinear geometry. For an order-unit space with cone \(C\), the gauge \[ M(x/y)=\inf\{\lambda>0:x\le \lambda y\} \] defines Thompson’s metric \[ d_T(x,y)=\log\bigl(\max\{M(x/y),M(y/x)\}\bigr) \] and, on rays, Hilbert’s projective metric \[ d_H(x,y)=\log\bigl(M(x/y)M(y/x)\bigr). \] In a JB-algebra, the quadratic representation \(U_a\) is an order-automorphism of the cone, and the maps \[ S_c(a)=U_c(a^{-1}) \] make \(A^\circ\) into an affine symmetric space; with Thompson’s metric, \(A^\circ\) is a symmetric Banach-Finsler manifold [1609.03473]. The isometries of these metrics are determined by Jordan structure. For unital JB-algebras \(A,B\), a bijection \(f\colon A^\circ\to B^\circ\) is a Thompson isometry if and only if there exist \(b\in B^\circ\), a central projection \(p\in B\), and a Jordan isomorphism \(J\colon A\to B\) such that \[ f(a)=U_b\bigl(p\,J(a)+p^\perp J(a^{-1})\bigr) \qquad (\forall a\in A^\circ). \] For JBW-algebras, Hilbert-metric isometries have the form \[ f(a)=U_b\bigl(J(a^\varepsilon)\bigr), \qquad \varepsilon\in\{\pm 1\}. \] These formulas show that inversion, quadratic representations, and Jordan isomorphisms exhaust the metric symmetries [1609.03473]. A later order-theoretic characterization makes this geometry intrinsic. For a complete order-unit space \((V,V_+,u)\) with open cone \(C=\mathrm{int}(V_+)\), the existence of a gauge-reversing bijection \[ \varphi(\lambda x)=\lambda^{-1}\varphi(x),\qquad x\le y\iff \varphi(x)\ge \varphi(y), \] is equivalent to the existence of a JB-algebra structure on \(V\) whose cone of squares is \(V_+\) and whose unit is \(u\). Equivalently, \(V\) is a JB-algebra precisely when \((C,d_T)\) is a symmetric Banach-Finsler manifold, or when there exists a Thompson-metric symmetry at one, hence every, point of \(C\). 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 [2507.09526]. 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 \(\mathbb R\). 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 [1904.09278]. ## 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 \(A,B>0\) invertible and \(0\le \lambda\le 1\), the weighted arithmetic and harmonic means are \[ A\nabla_\lambda B=(1-\lambda)A+\lambda B, \qquad A!_\lambda B=\bigl((1-\lambda)A^{-1}+\lambda B^{-1}\bigr)^{-1}. \] The weighted geometric mean is defined through Jordan functional calculus by \[ A\#_\lambda B = \left\{ A^{1/2} \bigl(A^{-1/2}BA^{-1/2}\bigr)^\lambda A^{1/2} \right\}, \] 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 \[ A!_\lambda B\le A\#_\lambda B\le A\nabla_\lambda B. \] For \(0<\lambda<1\), the geometric mean also admits an integral representation [2012.13127]. 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 \(y_1,y_2\colon (-\varepsilon,\varepsilon)\to \mathcal J^{++}\) are differentiable curves with \(y_1(0)=y_2(0)=I\), a two-variable mean \(G_t\) is a Lie–Trotter mean when \[ \lim_{s\to 0} G_t\bigl(y_1(s),y_2(s)\bigr)^{1/s} = \exp\!\bigl((1-t)y_1'(0)+t\,y_2'(0)\bigr). \] From this one obtains generalized Trotter-product formulas such as \[ \exp\bigl((1-t)A+tB\bigr) = \lim_{n\to\infty}\bigl(e^{A/n}\#_t e^{B/n}\bigr)^n = \lim_{n\to\infty}\bigl(e^{A/n}\natural_t e^{B/n}\bigr)^n, \] 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 [2310.12857]. Entropy-like operator functions also extend. For \(A,B>0\) invertible in a unital JB-algebra, the relative operator entropy is \[ S(A\|B) = \left\{ A^{1/2} \log\!\bigl(\{A^{-1/2}BA^{-1/2}\}\bigr) A^{1/2} \right\}, \] and the Tsallis relative operator entropy is \[ T_x(A\|B)=\frac{A\#_xB-A}{x}, \qquad 0