nLab Jordan-Banach algebra

Redirected from "B-identity".
JordanBanach algebras

Jordan–Banach algebras

Idea

Jordan–Banach algebras, JBJB-algebras, and the like fill out the following grand analogy:

associative **-algebraJordan algebraJordan–Lie algebra
associative Banach **-algebraJordan–Banach algebraJordan–Lie–Banach algebra
C *C^*-algebraJBJB-algebraJLBJLB-algebra
von Neumann algebraJBWJBW-algebraJLBWJLBW-algebra

Just as a Jordan algebra that happens to be associative is the same thing as an associative **-algebra with trivial involution (aka simply an associative algebra) that happens to be commutative, the analogous result holds in the lower rows.

One can also consider Jordan **-algebras and the like, but the interesting thing is that important results about C *C^*-algebras have analogues already for JBJB-algebras. Instead of an involution, we can add a compatible Lie algebra structure to a Jordan algebra; then even without assuming associativity or commutativity, a Jordan–Lie algebra over the real numbers is the same thing as an associative **-algebra over the complex numbers, up to equivalence of categories, and this extends to lower rows.

The right column is discussed at Jordan–Lie–Banach algebra; here we discuss the middle column (assuming the top row and left column as known).

Definitions

Let AA be a Banach space, typically over the real numbers, but potentially over any topological field (or possibly even more general). We will generally assume the real numbers, and some theorems may rely on this, or at least on the divisibility of 22 in the ground field.

Definition

The Banach space AA becomes a Jordan–Banach algebra if it is equipped with a binary operation A×AAA \times A \to A, called the Jordan multiplication and often written infix as \circ, satisfying these identities:

  • shortness: xyxy{\|x \circ y\|} \leq {\|x\|} {\|y\|},
  • bilinearity: (ax+y)(bu+v)=ab(xu)+a(xv)+b(yu)+yv(a x + y) \circ (b u + v) = a b (x \circ u) + a (x \circ v) + b (y \circ u) + y \circ v,
  • commutativity: xy=yxx \circ y = y \circ x,
  • Jordan identity: (xy)(xx)=x(y(xx))(x \circ y) \circ (x \circ x) = x \circ (y \circ (x \circ x)).

For motivation of the first two, see Banach algebra; for motivation of the last three, see Jordan algebra.

Definition

The Jordan–Banach algebra AA is unital if the Jordan multiplication has an identity element in its unit ball, usually denoted 11:

  • 1x=x1 \circ x = x,
  • x1=xx \circ 1 = x,
  • 11{\|1\|} \leq 1.

People might state the last clause as 1=1{\|1\|} = 1, which follows (using shortness of the multiplication) from the existence of any x0x \ne 0. However, 1=0{\|1\|} = 0 in the trivial algebra, and this should be allowed.

Definition

The Jordan–Banach algebra AA is a JBJB-algebra if it satisfies these identities:

  • BB-identity: xx=x 2{\|x \circ x\|} = {\|x\|^2},
  • positivity: xxxx+yy{\|x \circ x\|} \leq {\|x \circ x + y \circ y\|}.

Shortness of the multiplication follows from the BB-identity (via the polarization identities and the triangle identity), so it may be left out of a direct definition of JBJB-algebras; the same goes for the norm of 11 in the unital case. (Compare the analogous results for C *C^*-algebras.) Conversely, given shortness of multiplication (or even of squaring), these two identities may be combined into the single inequality

x 2xx+yy. {\|x\|}^2 \leq {\|x \circ x + y \circ y\|} .

Also, positivity implies that AA is formally real: if x 2+y 2=0x^2 + y^2 = 0, then x,y=0x, y = 0 (and so on for any number of terms). Given this, the Jordan identity is equivalent to power-associativity (which it implies regardless) in a direct definition of JBJB-algebra.

Definition

The JBJB-algebra AA is a JBWJBW-algebra if it is unital and if its underlying Banach space has a predual A *A_*.

See von Neumann algebra for motivation of the predual. As with C *C^*-algebras, the predual (if it exists) is unique up to unique isomorphism.

Definition

A homomorphism from a Jordan–Banach algebra AA to a Jordan–Banach algebra BB is a bounded linear map T:ABT\colon A \to B of Banach spaces (everywhere defined) such that T(xy)=T(x)T(y)T(x \circ y) = T(x) \circ T(y) always holds. If AA and BB are unital, then the homomorphism is unital if T(1)=1T(1) = 1.

To get the right notion of isomorphism, the morphisms in the category of Jordan–Banach algebras should be the short homomorphisms (see Ban#morphisms for discussion). However, if AA and BB are JBJB-algebras, then every homomorphism is short (as with C *C^*-algebras); in fact, we do not even have to assume that TT is bounded. Similarly, a morphism of unital Jordan–Banach algebras should be unital.

Definition

Given a Jordan–Banach algebra AA and a Hilbert space HH, a representation π\pi of AA on HH is a homomorphism from AA to the algebra of Hermitian operators on HH (which is a JBJB-algebra, in fact a JBWJBW-algebra, under the symmetrized product, as described in the examples). Such a representation is faithful if it's an injective function.

Again, we should really look only at the short representations (which is automatic for a JBJB-algebra) and look especially at the unital representations of a unital Jordan–Banach algebra.

Recall that a Jordan algebra is special if it has a faithful representation on a vector space (which follows if it has any injective homomorphism to the Jordanization of any associative algebra).

Definition

A JCJC-algebra is JBJB-algebra that has a faithful representation on a Hilbert space. A JWJW-algebra is a JBWJBW-algebra that's also a JCJC-algebra.

This follows if the JBJB-algebra has any injective homomorphism to the algebra of Hermitian operators in any C *C^*-algebra, by the theorem that every abstract C *C^*-algebra may be made concrete. But this theorem does not itself have an analogue for JBJB-algebras; the Albert algebra 𝔥 3(𝕆)\mathfrak{h}_3(\mathbb{O}) is a JBJB-algebra (even a JBWJBW-algebra) that is not a JCJC-algebra.

This is probably unfortunate terminology (compare ‘B *B^*-algebra’ vs ‘C *C^*-algebra’ and ‘W *W^*-algebra’ vs ‘von Neumann algebra’); it would probably be better just to call such JBJB-algebras special (but somebody might think that this just means that the underlying Jordan algebra is special, which is weaker). We do need some term, however, thanks to the Albert algebra.

Examples

The main example of a JBJB-algebra is the algebra of self-adjoint operators in a C *C^*-algebra. For a JBWJBW-algebra, try the algebra of self-adjoint operators in a von Neumann algebra. In particular, the algebra of Hermitian operators on a Hilbert space is a JBWJBW-algebra, in fact a JWJW-algebra. Still more particularly, the trivial algebra (which is the algebra of self-adjoint operators on the zero Hilbert space) is a JWJW-algebra (although it won't fit definitions by authors who require 1=1{\|1\|} = 1).

Every JBJB-algebra is formally real; conversely, all of the formally real Jordan algebras in finite dimensions are JBWJBW-algebras, and all of the special ones are JWJW-algebras. This leaves the Albert algebra 𝔥 3(O)\mathfrak{h}_3(O) as the basic example of a JBWJBW-algebra that is not a JWJW-algebra. (See Jordan algebra#frc for the classification of the finite-dimensional formally real Jordan algebras.)

Properties

JBJB-algebras have nice properties like those of C *C^*-algebras, and JBWJBW-algebras have nicer properties like those of von Neumann algebras. They are generally proved in the analogous ways. Some properties are different, however.

An associative JBJB-algebra is the same thing as a commutative C *C^*-algebra with trivial involution, which (over the real numbers) is in turn the same thing as the algebra of (real-valued) continuous maps vanishing at infinity on a local compactum (which is a compactum iff the algebra is unital, and then every continuous map vanishes at infinity).

Like any Jordan algebra, a JBJB-algebra AA is power-associative, so each element xx generates an associative (and of course commutative) subalgebra? and hence a local compactum. In a unital JBJB-algebra, each element generates an associative unital subalgebra and hence a compactum Spec(x)Spec(x). Any continuous map f:Spec(x)f\colon Spec(x) \to \mathbb{R} therefore defines an element f(x)f(x) of AA. More generally, any associative unital subalgebra XX generates a compactum Spec(X)Spec(X), its spectrum, and any continuous map on Spec(X)Spec(X) defines an element of AA (in fact belonging to XX). Thus we have a functional calculus on JBJB-algebras. In a JBWJBW-algebra, we may instead interpret the spectrum as a localizable measure space, with XX identified as the algebra of essentially bounded measurable functions (modulo almost equality) on the spectrum, so that the functional calculus extends to measurable functions.

Since every JBJB-algebra AA is formally real, it comes equipped with a partial order: xyx \leq y iff yxy - x is a sum of squares.

The order-theoretic structure in quantum mechanics fixes the JBJB-algebra structure of a C *C^*-algebra, but not the JLBJLB-algebra structure.

References

Basic stuff is at

and most of that appears to be from

  • Harald Hanche-Olsen and Erling Størmer (1984); Jordan operator algebras; Monographs and Studies in Mathematics 21 (Pitman); web,

which I have only begun to read.

There is also

  • Harald Upmeier (1987); Jordan Algebras in Analysis, Operator Theory, and Quantum Mechanics; CBMS Regional Conference Series in Mathematics 67 (AMS),

of which a lot is already on pages 1–4 (the only ones that Google Books would show me).

Last revised on August 10, 2020 at 14:35:39. See the history of this page for a list of all contributions to it.