nLab
Jordan algebra

Context

Algebra

Quantum physics

physics, mathematical physics, philosophy of physics

Surveys, textbooks and lecture notes


theory (physics), model (physics)

experiment, measurement, computable physics

Contents

Idea

A Jordan algebra is an algebra (in the sense of: is a monoid) which is not associative but is commutative, subject to some further conditions which are modeled after the archetypical example: for (A,)(A, \cdot) any associative algebra, equipping it with the symmetrized product

xy12(xy+yx) x \circ y \coloneqq \frac{1}{2}(x y + y x)

makes (A,)(A, \circ) a Jordan algebra. It is this relation that originally motivated the notion in discussion of quantum mechanics, for the symmetrized product and hence the Jordan algebra structure of the algebra of observables of a quantum mechanical system is what remains when one ignores the otherwise all-important commutators and hence the Hamiltonian flows on observables.

But later Jordan algebras have been studied largely for their own sake.

More recently, the Bohr topos associated to a noncommutative algebra of observables was found to really see the underlying Jordan algebra structure. See at Bohr topos and poset of commutative subalgebras for more on this.

Definition

A Jordan algebra is a commutative nonassociative algebra JJ satisfying the Jordan identity (xy)(xx)=x(y(xx))(x y) (x x) = x (y (x x)) for all x,yx,y in JJ. It follows that JJ is power-associative, and the Jordan identity generalizes to

(x my)x n=x m(yx n) (x^m y) x^n = x^m (y x^n)

for natural numbers m,n1m, n \geq 1 (and, trivially, for m,n0m, n \geq 0 if there is an identity element).

If kk is a field whose characteristic is not 22 (or is any commutative ring in which 22 is invertible), then to any associative kk-algebra AA with product \cdot, one associates a Jordan kk-algebra with the same underlying vector space and whose Jordan product \circ is given by

xy=defxy+yx2.x\circ y \stackrel{def}{=} \frac{x\cdot y + y \cdot x}{2}.

Such Jordan algebras are called special Jordan algebras; all others are called exceptional.

Among the exceptional Jordan algebras over the real numbers, there is a remarkable 2727-dimensional example: the Albert algebra 𝔸𝕝\mathbb{Al} of self-adjoint 3×33\times 3 matrices over the octonions with the same formula as above for the product in terms of matrix product. Notice that the octonions and their matrices do not form associative algebras, but only alternative algebras, so the Jordan identity for the Albert algebra is not automatic (it does not hold for all alternative algebras) but is a consequence of more special circumstances.

Formally real Jordan algebras and their origin in quantum physics

Jordan algebras had their origin in the study of the foundations of quantum theory. In 1932, Pascual Jordan tried to isolate some axioms that an ‘algebra of observables’ should satisfy (Jordan 32).

The unadorned phrase ‘algebra’ usually signals an associative algebra, but this is not the kind of algebra Jordan was led to. In both classical and quantum mechanics, observables are closed under addition and multiplication by real scalars. In classical mechanics we can also multiply observables, but in quantum mechanics this becomes problematic. After all, given two bounded self-adjoint linear operators on a complex Hilbert space, their product is self-adjoint if and only if they commute.

However, in quantum mechanics one can still raise an observable to a power and obtain another observable. From squaring and taking real linear combinations, one can construct a commutative product using the polarization identity:

xy12((x+y) 2x 2y 2)=12(xy+yx). x \circ y \coloneqq \frac{1}{2}((x+y)^2 - x^2 - y^2) = \frac{1}{2}(x y + y x) \,.

This is sometimes called the anti-commutator (or more precisely, half the anti-commutator). Notice that it is analogous to the more famous commutator

[x,y]xyyx [x,y] \coloneqq x y - y x

and that both together recover the full algebra of observables in that

xy=12[x,y]+xy x y = \frac{1}{2}[x,y] + x \circ y

for all x,yx,y. (A JLB-algebra is a Banach space equipped with the compatible structures of both a Jordan algebra and a Lie algebra, and these are equivalent to C *C^*-algebras in just this way, using \circ and 12i[,]{\bullet} \coloneqq \frac{1}{2} \mathrm{i} [{-},{-}] as the operations.)

From the point of view of deformation quantization of Poisson manifolds, one can read this as follows: the deformation quantization of a Poisson manifold (X,{,})(X,\{-,-\}) breaks up into two pieces:

  1. the Poisson bracket {,}\{-,-\} on C (X)C^\infty(X) deforms to the commutator;

  2. the pointwise mulitplication on C (X)C^\infty(X) deforms into the Jordan algebra structure.

This perspective on deformation quantization making the role of Jordan algebras explicit is mentioned for instance in (Bates-Weinstein, p. 80).

The symmetrized product ()()(-) \circ (-) is not associative, in general, but it is power-associative: any way of parenthesizing a product of copies of the same observable xx gives the same result. This led Jordan to define what is now called a formally real Jordan algebra: a commutative and power-associative algebra JJ satisfying

x 1 2++x n 2=0x 1==x n=0 x_1^2 + \cdots + x_n^2 = 0 \quad \implies \quad x_1 = \cdots = x_n = 0

for all nn. The last condition (as in any formally real algebra) gives JJ a partial ordering: if we write xyx \le y when the element yxy - x is a sum of squares, it says that

xy&yxx=y.x \le y \; \& \; y \le x \quad \implies \quad x = y\,.

So, in a formally real Jordan algebra we can reasonably talk about one observable being ‘greater’ than another.

In fact the Jordan identity (xy)(xx)=x(y(xx))(x \circ y) \circ (x \circ x) = x \circ (y \circ (x \circ x)) is a consequence of the above definition of formally real Jordan algebra. So, every formally real Jordan algebra is a Jordan algebra (but not conversely).

For more on this see also at order-theoretic structure in quantum mechanics – Relation to non-commutative geometry.

Classification of formally real Jordan algebras

In 1934, Jordan published a paper with von Neumann and Wigner classifying finite-dimensional formally real Jordan algebras (Jordan-vonNeumann-Wigner 34).

They began by defining an ideal of a formally real Jordan algebra JJ to be a linear subspace SJS \subseteq J such that xSx \in S implies xySx \circ y \in S for all yJy \in J. Next they defined JJ to be simple when its only ideals were {0}\{0\} and JJ itself. Then they proved that any finite-dimensional formally Jordan algebra is a direct sum of simple ones.

This reduced the classification problem to the task of classifying simple finite-dimensional formally real Jordan algebras. There are four families of these, and one exception:

  • The n×nn \times n self-adjoint real matrices, 𝔥 n()\mathfrak{h}_n(\mathbb{R}), with the product ab=12(ab+ba)a \circ b = {1\over 2}(a b + b a).

  • The n×nn \times n self-adjoint complex matrices, 𝔥 n()\mathfrak{h}_n(\mathbb{C}), with the product ab=12(ab+ba)a \circ b = {1\over 2}(a b + b a).

  • The n×nn \times n self-adjoint quaternionic matrices, 𝔥 n()\mathfrak{h}_n(\mathbb{H}), with the product ab=12(ab+ba)a \circ b = {1\over 2}(a b + b a).

  • The n×nn \times n self-adjoint octonionic matrices, 𝔥 n(𝕆)\mathfrak{h}_n(\mathbb{O}), with the product ab=12(ab+ba)a \circ b = {1\over 2}(a b + b a), where n3n \le 3.

  • The space n\mathbb{R}^n \oplus \mathbb{R} with the product (x,t)(x,t)=(tx+tx,xx+tt).(x,t) \circ (x', t') = (t x' + t' x, x \cdot x' + t t').

Here we say a square matrix with entries in the *\ast-algebra AA is hermitian if it equals its conjugate transpose. (Note that \mathbb{R}, \mathbb{C}, \mathbb{H} and 𝕆\mathbb{O} are all *\ast-algebras.)

Because the octonions are an alternative algebra but not associative, we cannot go beyond 3×33 \times 3 matrices and still get a Jordan algebra. The 1×11 \times 1 self-adjoint octonionic matrices are just the real numbers, and the 2×22 \times 2 ones are isomorphic to the spin factor 9\mathbb{R}^9 \oplus \mathbb{R}. The 3×33 \times 3 self-adjoint octonionic matrices form the Albert algebra.

Jordan algebras in the fifth family are called spin factors. This family has some overlaps with the others. Most notably:

  • The Jordan algebra of 2×22 \times 2 self-adjoint real matrices is isomorphic to the spin factor 2\mathbb{R}^2 \oplus \mathbb{R}.

  • The Jordan algebra of 2×22 \times 2 self-adjoint complex matrices is isomorphic to the spin factor 3\mathbb{R}^3 \oplus \mathbb{R}.

  • The Jordan algebra of 2×22 \times 2 self-adjoint quaternionic matrices is isomorphic to the spin factor 5\mathbb{R}^5 \oplus \mathbb{R}.

  • The Jordan algebra of 2×22 \times 2 self-adjoint octonionic matrices is isomorphic to the spin factor 9\mathbb{R}^9 \oplus \mathbb{R}.

Because the spin factor n\mathbb{R}^n \oplus \mathbb{R} can be identified with (n+1)(n+1)-dimensional Minkowski space, this sets up a relation between the real numbers, complex numbers, quaternions and octonions and Minkowski space in 3,4,6 and 10 dimensions — a pattern which becomes important in string theory. For more details, see division algebras and supersymmetry.

In 1983, Zelmanov drastically generalized the result of Jordan, von Neumann and Wigner by classifying all simple Jordan algebras, including infinite-dimensional ones (Zelmanov 83).

Self-dual homogeneous convex cones

The formalism of Jordan algebras seems rather removed from the actual practice of physics, because in quantum theory we hardly ever take two observables aa and bb and form their Jordan product 12(ab+ba){1\over 2}(a b + b a). As hinted in the previous section, it is better to think of this operation as derived from the process of squaring an observable, which is something we actually do. But still, one must ask: can we see the classification of finite-dimensional formally real Jordan algebras, and thus the special role of normed division algebras, as arising from some axioms? more closely tied to quantum theory as physicists usually practice it?

One answer involves the Koecher–Vinberg classification of self-dual homogeneous convex cones. Consider first the case of ordinary quantum theory. If a quantum system has the Hilbert space n\mathbb{C}^n, observables are described by self-adjoint n×nn \times n complex matrices: elements of the Jordan algebra 𝔥 n()\mathfrak{h}_n(\mathbb{C}). But matrices of this form that are nonnegative and have trace 1 also play another role. They are called density matrices, and they describe states of our quantum system: not just pure states, but also more general mixed states. The idea is that any density matrix ρ𝔥 n()\rho \in \mathfrak{h}_n(\mathbb{C}) allows us to define expectation values of observables a𝔥 n()a \in \mathfrak{h}_n(\mathbb{C}) via

(1)a=tr(ρa). \langle a \rangle = \tr(\rho a) \,.

The map sending observables to their expectation values is real-linear. The fact that ρ\rho is nonnegative is equivalent to

(2)a0a0 a \ge 0 \; \implies \; \langle a \rangle \ge 0

and the fact that ρ\rho has trace 1 is equivalent to

(3)1=1. \langle 1 \rangle = 1 \,.

All of this generalizes to an arbitrary finite-dimensional formally real Jordan algebra JJ. Any such algebra automatically has an identity element. This lets us define a state on JJ to be a linear functional :J\langle \cdot \rangle : J \to \mathbb{R} that is

  • nonnegative:

    a0a0 a \ge 0 \implies \langle a \rangle \ge 0
  • and normalized:

    1=1. \langle 1 \rangle = 1 \,.

But in fact, there is a bijective correspondence between linear functionals on JJ and elements of JJ. The reason is that every finite-dimensional Jordan algebra has a trace

tr:J \mathrm{tr} : J \to \mathbb{R}

defined so that tr(a)\mathrm{tr}(a) is the trace of the linear operator ‘multiplication by aa’. Such a Jordan algebra is then formally real if and only if

a,b=tr(ab) \langle a, b \rangle = \mathrm{tr}(a \circ b)

is a real-valued inner product. So, when JJ is a finite-dimensional formally real Jordan algebra, any linear functional :J\langle \cdot \rangle : J \to \mathbb{R} can be written as

a=tr(ρa) \langle a \rangle = \mathrm{tr}(\rho \circ a)

for a unique element ρJ\rho \in J. Conversely, every element ρJ\rho \in J gives a linear functional by this formula. While not obvious, it is true that the linear functional \langle \cdot \rangle is nonnegative if and only if ρ0\rho \ge 0 in terms of the ordering on JJ. More obviously, \langle \cdot \rangle is normalized if and only if tr(ρ)=1\mathrm{tr}(\rho) = 1. So, states can be identified with certain special observables: namely, those observables ρJ\rho \in J with ρ0\rho \ge 0 and tr(ρ)=1\mathrm{tr}(\rho) = 1.

These ideas help motivate an important theorem of Koecher and Vinberg. The idea is to axiomatize the situation we we have just described, in a way that does not mention the Jordan product in JJ, but instead emphasizes:

To find appropriate axioms, suppose JJ is a finite-dimensional formally real Jordan algebra. Then seven facts are always true.

  1. The set of positive observables

    C={aA:a>0}. C = \{a \in A \colon a \gt 0\} \,.

    is a cone: that is, aCa \in C implies that every positive multiple of aa is also in CC.

  2. This cone is convex:

    if a,bCa,b \in C then any linear combination xa+(1x)bx a + (1-x) b with 0x10 \le x \le 1 also lies in CC.

  3. It is an open set.

  4. It is regular, meaning that if aa and a-a are both in the closure C¯\overline{C}, then a=0a = 0.

    This condition may seem obscure, but if we note that

    C¯={aJ:a0} \overline{C} = \{ a \in J \colon a \ge 0 \}

    we see that CC being regular simply means

    a0anda0a=0, a \ge 0 \; and \; -a \ge 0 \quad \implies \quad a = 0 ,

    a perfectly plausible assumption.

  5. Recall that JJ has an inner product; this is what lets us identify linear functionals on JJ with elements of JJ. This also lets us define the dual cone

    C *={aJ:bAa,b>0} C^* = \{ a \in J \colon \forall b \in A \; \; \langle a,b \rangle \gt 0 \}

    which one can check is indeed a cone.

    The fifth fact about CC is that it is self-dual, meaning C=C *C = C^*.

    This formalizes the fact that states may be identified with special observables.

  6. CC is homogeneous: given any two points a,bCa,b \in C, there is a real-linear transformation T:AAT : A \to A mapping CC to itself in a bijective way, with the property that Ta=bT a = b. This says that cone CC is highly symmetrical: no point of CC is any ‘better’ than any other, at least if we only consider the linear structure of the space AA, ignoring the Jordan product and the trace.

  7. From another viewpoint, however, there is a very special point of CC, namely the identity 11 of our Jordan algebra. And this brings us to our seventh and final fact: the cone CC is pointed meaning that it is equipped with a distinguished element (in this case 1C1 \in C).

In short: when JJ is a finite-dimensional formally real Jordan algebra, CC is a pointed homogeneous self-dual regular open convex cone. All the elements aJa \in J are positive observables, but certain special ones, namely those with a,1=1\langle a, 1 \rangle = 1, can also be viewed as states.

In fact, there is a category of pointed homogeneous self-dual regular open convex cones, where:

  • An object is a finite-dimensional real inner product space VV equipped with a pointed homogeneous self-dual regular open convex cone CVC \subset V.

  • A morphism from one object, say (V,C)(V,C), to another, say (V,C)(V',C'), is a linear map T:VVT : V \to V' preserving the inner product and mapping CC into CC'.

Now for the payoff. The work of Koecher and Vinberg, nicely explained in Koecher’s Minnesota notes (Koecher) shows that:

Theorem

The category of pointed homogeneous self-dual regular open convex cones is equivalent to the category of finite-dimensional formally real Jordan algebras.

This means that the theorem of Jordan, von Neumann and Wigner also classifies the pointed homogeneous self-dual regular convex cones!

Theorem

Every pointed homogeneous self-dual regular open convex cone is isomorphic to a direct sum of those on this list:

  • the cone of positive elements in 𝔥 n()\mathfrak{h}_n(\mathbb{R}),

  • the cone of positive elements in 𝔥 n()\mathfrak{h}_n(\mathbb{C}),

  • the cone of positive elements in 𝔥 n()\mathfrak{h}_n(\mathbb{H}),

  • the cone of positive elements in 𝔥 3(𝕆)\mathfrak{h}_3(\mathbb{O}),

  • the future lightcone in n\mathbb{R}^n \oplus \mathbb{R}.

Some of this deserves a bit of explanation. For 𝕂=,,\mathbb{K} = \mathbb{R}, \mathbb{C}, \mathbb{H}, an element T𝔥 n(𝕂)T \in \mathfrak{h}_n(\mathbb{K}) is positive if and only if the corresponding operator T:𝕂 n𝕂 nT : \mathbb{K}^n \to \mathbb{K}^n has

v,Tv>0 \langle v, T v \rangle \gt 0

for all nonzero v𝕂 nv \in \mathbb{K}^n. A similar trick works for defining positive elements of 𝔥 3(𝕆)\mathfrak{h}_3(\mathbb{O}), but we do not need the details here. We say an element (x,t) n(x,t) \in \mathbb{R}^n \oplus \mathbb{R} lies in the future lightcone if t>0t \gt 0 and t 2xx>0t^2 - x \cdot x \gt 0. This of course fits in nicely with the idea that the spin factors are connected to Minkowski spacetimes. Finally, there is an obvious notion of direct sum for Euclidean spaces with cones, where the direct sum of (V,C)(V,C) and (V,C)(V',C') is VVV \oplus V' equipped with the cone

CC={(v,v)VV:vC,vC}. C \oplus C' = \{(v,v') \in V\oplus V' \colon \; v \in C, v' \in C' \} .

In short: finite-dimensional formally real Jordan algebras arise fairly naturally as observables starting from a formalism where nonnegative observables form a cone, as long as we insist on some properties of this cone.

Relation to commutative subalgebras

For every associative algebra there is its semilattice of commutative subalgebras ComSub(A)ComSub(A). At least for AmBAm B von Neumann algebras without type I 2I_2 von Neumann algebra factor-subfactors, the isomorphisms ComSub(A)ComSub(B)ComSub(A) \to ComSub(B) correspond to isomorphisms between the corresponding Jordan algebras A JB JA_J \to B_J.

For more details see semilattice of commutative subalgebras.

References

The original articles include

  • Pascual Jordan, Über eine Klasse nichtassociativer hyperkomplexer Algebren, Nachr. Ges. Wiss. Göttingen (1932), 569–575.
  • E. I. Zelmanov, On prime Jordan algebras. II, Sibirsk Mat. J. 24 (1983), 89-104.

Introductions and surveys include

  • Harald Hanche-Olsen and Erling Stormer: Jordan Operator Algebras. (web)

  • Kevin McCrimmon, Jordan algebras and their applications, Bull. Amer. Math. Soc. 84 (1978), 612–627. (AMS website) and (Project Euclid website).

  • Max Koecher, The Minnesota Notes on Jordan Algebras and Their Applications, eds. Aloys Krieg and Sebastican Walcher, Lecture Notes in Mathematics 1710, Springer, Berlin, 1999.

Remarks on Jordan algebras as algebras of observables in quantum physics are for instance in

p. 80 of

Revised on September 27, 2014 11:17:06 by Urs Schreiber (185.26.182.37)