symmetric monoidal (∞,1)-category of spectra
Types of quantum field thories
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 any associative algebra, equipping it with the symmetrized product
makes 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.
If is a field whose characteristic is not (or is any commutative ring in which is invertible), then to any associative -algebra with product , one associates a Jordan -algebra with the same underlying vector space and whose Jordan product is given by
Such Jordan algebras are called special Jordan algebras; all others are called exceptional.
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:
This is sometimes called the anti-commutator (or more precisely, half the anti-commutator). Notice that it is analogous to the more famous commutator
and that both together recover the full algebra of observables in that
for all . (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 -algebras in just this way, using and as the operations.)
the pointwise multiplication on 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 is not associative, in general, but it is power-associative: any way of parenthesizing a product of copies of the same observable gives the same result. This led Jordan to define what is now called a formally real Jordan algebra: a commutative and power-associative algebra satisfying
for all . The last condition (as in any formally real algebra) gives a partial ordering: if we write when the element is a sum of squares, it says that
So, in a formally real Jordan algebra we can reasonably talk about one observable being ‘greater’ than another.
In fact the Jordan identity 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.
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 to be a linear subspace such that implies for all . Next they defined to be simple when its only ideals were and 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 self-adjoint real matrices, , with the product .
The self-adjoint complex matrices, , with the product .
The self-adjoint quaternionic matrices, , with the product .
The self-adjoint octonionic matrices, , with the product , where .
The space with the product
Here we say a square matrix with entries in the -algebra is hermitian if it equals its conjugate transpose. (Note that , , and are all -algebras.)
Because the octonions are an alternative algebra but not associative, we cannot go beyond matrices and still get a Jordan algebra. The self-adjoint octonionic matrices are just the real numbers, and the ones are isomorphic to the spin factor . The 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 self-adjoint real matrices is isomorphic to the spin factor .
The Jordan algebra of self-adjoint complex matrices is isomorphic to the spin factor .
The Jordan algebra of self-adjoint quaternionic matrices is isomorphic to the spin factor .
The Jordan algebra of self-adjoint octonionic matrices is isomorphic to the spin factor .
Because the spin factor can be identified with -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).
Among the exceptional Jordan algebras over the real numbers, there is a remarkable -dimensional example: the Albert algebra of self-adjoint 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.
The formalism of Jordan algebras seems rather removed from the actual practice of physics, because in quantum theory we hardly ever take two observables and and form their Jordan product . 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 , observables are described by self-adjoint complex matrices: elements of the Jordan algebra . 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 allows us to define expectation values of observables via
The map sending observables to their expectation values is real-linear. The fact that is nonnegative is equivalent to
and the fact that has trace 1 is equivalent to
All of this generalizes to an arbitrary finite-dimensional formally real Jordan algebra . Any such algebra automatically has an identity element. This lets us define a state on to be a linear functional that is
defined so that is the trace of the linear operator ‘multiplication by ’. Such a Jordan algebra is then formally real if and only if
is a real-valued inner product. So, when is a finite-dimensional formally real Jordan algebra, any linear functional can be written as
for a unique element . Conversely, every element gives a linear functional by this formula. While not obvious, it is true that the linear functional is nonnegative if and only if in terms of the ordering on . More obviously, is normalized if and only if . So, states can be identified with certain special observables: namely, those observables with and .
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 , but instead emphasizes:
To find appropriate axioms, suppose is a finite-dimensional formally real Jordan algebra. Then seven facts are always true.
The set of positive observables
is a cone: that is, implies that every positive multiple of is also in .
This cone is convex:
if then any linear combination with also lies in .
It is an open set.
It is regular, meaning that if and are both in the closure , then .
This condition may seem obscure, but if we note that
we see that being regular simply means
a perfectly plausible assumption.
Recall that has an inner product; this is what lets us identify linear functionals on with elements of . This also lets us define the dual cone
which one can check is indeed a cone.
The fifth fact about is that it is self-dual, meaning .
This formalizes the fact that states may be identified with special observables.
is homogeneous: given any two points , there is a real-linear transformation mapping to itself in a bijective way, with the property that . This says that cone is highly symmetrical: no point of is any ‘better’ than any other, at least if we only consider the linear structure of the space , ignoring the Jordan product and the trace.
From another viewpoint, however, there is a very special point of , namely the identity of our Jordan algebra. And this brings us to our seventh and final fact: the cone is pointed meaning that it is equipped with a distinguished element (in this case ).
In short: when is a finite-dimensional formally real Jordan algebra, is a pointed homogeneous self-dual regular open convex cone. All the elements are positive observables, but certain special ones, namely those with , 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 equipped with a pointed homogeneous self-dual regular open convex cone .
A morphism from one object, say , to another, say , is a linear map preserving the inner product and mapping into .
Now for the payoff. The work of Koecher and Vinberg, nicely explained in Koecher’s Minnesota notes (Koecher) shows that:
This means that the theorem of Jordan, von Neumann and Wigner also classifies the pointed homogeneous self-dual regular convex cones!
the cone of positive elements in ,
the cone of positive elements in ,
the cone of positive elements in ,
the cone of positive elements in ,
the future lightcone in .
Some of this deserves a bit of explanation. For , an element is positive if and only if the corresponding operator has
for all nonzero . A similar trick works for defining positive elements of , but we do not need the details here. We say an element lies in the future lightcone if and . 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 and is equipped with the cone
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.
For every associative algebra there is its semilattice of commutative subalgebras . At least for von Neumann algebras without type von Neumann algebra factor-subfactors, the isomorphisms correspond to isomorphisms between the corresponding Jordan algebras .
For more details see semilattice of commutative subalgebras.
The original articles include
Introductions and surveys include
Harald Hanche-Olsen and Erling Stormer: Jordan Operator Algebras. (web)
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. doi:10.1007/BFb0096285 (paywalled)
Remarks on Jordan algebras as algebras of observables in quantum physics are for instance in
p. 80 of