# Applications of Jordan algebras

+ 9 like - 0 dislike
1326 views

Jordan algebras are non-associative algebras satisfying a somewhat strange (to me) list of axioms, see wikipedia. Basic examples are real symmetric and complex hermitian matrices with the product $A\circ B=\frac{1}{2}(AB+BA)$. According to the above article in wikipedia P. Jordan introduced this notion in 1933 to formalize the notion of an algebra of observables in quantum mechanics.

Question 1. Did this operation become really useful in quantum mechanics in any non-trivial way?

Question 2. I would be happy to see some explanations why the notion of Jordan algebra is useful/ natural. Are there applications of it to other parts of mathematics?

Here are very few interesting facts I was able to find so far.

1) There is a really beautiful classification of the finite dimensional formally real Jordan algebras due to Jordan, von Neumann & Wigner (1934).

2) The above wikipedia paper mentions a classification of some special class of infinite dimensional Jordan algebras (Zelmanov, 1979).

3) I have recently heard about the Koecher-Vinberg classification of symmetric cones: such cones are precisely cones of squares in Euclidean Jordan algebras.

Thus the only way I heard Jordan algebras are related to other parts of mathematics is via the classification lists of various subclasses of them.

This post imported from StackExchange MathOverflow at 2016-03-14 22:40 (UTC), posted by SE-user semyon alesker

recategorized Mar 15, 2016

This post imported from StackExchange MathOverflow at 2016-03-14 22:40 (UTC), posted by SE-user Holonomia
The book "A taste of Jordan algebras" by Kevin McCrimmon contains a very interesting historical introduction. In particular, he points out that the physicists were rather disappointed with the fact that there is no infinite series of exceptional Jordan algebras, and apparently this made the concept less useful for them than they had hoped for.

This post imported from StackExchange MathOverflow at 2016-03-14 22:40 (UTC), posted by SE-user Tom De Medts
Just for general culture: Jordan here is the German mathematical physicist Pascual Jordan (and not the earlier and French mathematician Camille Jordan). en.wikipedia.org/wiki/Pascual_Jordan

This post imported from StackExchange MathOverflow at 2016-03-14 22:40 (UTC), posted by SE-user YCor
added to YCor : consequently, one must pronouce Yordan', while Camille Jordan is pronounced Geordã.

This post imported from StackExchange MathOverflow at 2016-03-14 22:40 (UTC), posted by SE-user Denis Serre

TRF post explaining why Jordan Algebras are not essential for QM.

+ 6 like - 0 dislike

They turn up quite often in the study of (exceptional) linear algebraic groups. The most famous instance of this is the fact that algebraic groups of type $F_4$ are precisely the automorphism groups of Albert algebras, i.e. $27$-dimensional exceptional Jordan algebras. One possible reference for this fact is the book "Octonions, Jordan Algebras and Exceptional Groups" by Springer and Veldkamp.

I have used Jordan algebras (and also some generalization known as structurable algebras) quite often in my own research, in particular in connection to Moufang sets (these are groups "of rank one" in some sense). For instance, in my paper with Richard Weiss, "Moufang sets and Jordan division algebras", Math. Ann. 335 (2006), no. 2, 415–433, we show (among other things) that every Jordan division algebra $J$ gives rise to a Moufang sets, i.e. there exists a group that you could sensibly denote as $\mathrm{PSL}_2(J)$. (When $J$ is an Albert division algebra, for instance, this group is a linear algebraic group of absolute type $E_7$ of $k$-rank one.)

Another, completely different instance where Jordan algebras played a crucial role, was in Zel'manov's solution to the restricted Burnside problem. See, for instance, here.

This post imported from StackExchange MathOverflow at 2016-03-14 22:40 (UTC), posted by SE-user Tom De Medts
answered Feb 4, 2016 by (60 points)
+ 6 like - 0 dislike

I would like to elaborate on the link to "associative" problems (such as the Zelmanov's solution of the restricted Burnside problems mentioned by Tom De Medts) - mainly because by saying that Jordan algebras are nonassociative algebras satisfying a strange list of axioms, you are forgetting that some reverse engineering takes place here.

First of all, if $A$ is an associative algebra, considering the new operation $x\circ y=x y+yx$ is not a completely unnatural thing from the algebraic point of view. Moreover, some important classes, like Hermitian matrices, form a subalgebra with respect to $\circ$, but not with respect to the matrix product!

Then, it is natural to try and axiomatise this operation. For instance, we all know that the operation $xy-yx$ defines Lie algebras, so the Jacobi identity holds. Once you play around with elements a little bit, you discover that the operation $\circ$ satisfies the identity $((x\circ x)\circ y)\circ x = (x\circ x)\circ (x\circ y)$, the Jordan identity you see in the literature. (And that's how that identity emerged.)

What however is very different from the case of Lie algebras is that in fact $\circ$ satisfies many other identities that do not follow from the Jordan identity by algebraic manipulations, for example an identity of degree $8$ discovered by Glennie in early 1960s (https://en.wikipedia.org/wiki/Glennie%27s_identity). But it turns out that working within the larger class of algebras satisfying the Jordan identity only is actually not bad, and a lot of things can be accomplished in that more general context.

This post imported from StackExchange MathOverflow at 2016-03-14 22:40 (UTC), posted by SE-user Vladimir Dotsenko

answered Feb 4, 2016 by (120 points)
edited Mar 15, 2016

Note that the Jordan identity is very natural when written as $L(x)L(x^2)=L(x^2)L(x)$, where $L(x)y:=x\circ y$ defines the left multiplication map $L(x)$ and $x^2:=x\circ x$. This is the key relation that allows finite-dimensional Euclidean Jordan algebras to have a very nice spectral theory that ultimately leads to their classification.

+ 5 like - 0 dislike

Jordan algebras were originally introduced by Pascual Jordan in a hope to generalize the orthodox formulation of quantum mechanics, but this program was not successful as far as the generalization of quantum mechanics is concerned. In this respect, Jordan algebras are neither essential nor terribly useful in understanding quantum mechanics.

On the other hand the importance of Jordan algebras in mathematical physics is undisputed and related to the fact that they are tightly interconnected with another nonassociative structures: Lie algebras. As remarked by Kevin McCrimmon, "if you open up a Lie algebra and look inside, 9 times out of 10 there is a Jordan algebra (of pair) which makes it work”.

In addition to McCrimmon's book "A taste of Jordan algebras", mentioned in comments, the following works might be useful in understanding the role of Jordan algebras in mathematical physics and mathematics:

http://projecteuclid.org/euclid.bams/1183540925 (Jordan algebras and their applications, by Kevin Mccrimmon).

http://arxiv.org/abs/1106.4415 (Jordan structures in mathematics and physics, by Radu Iordanescu).

http://arxiv.org/abs/0809.4685 (Black Holes, Qubits and Octonions, by L. Borsten, D. Dahanayake, M.J. Duff, H. Ebrahim and W. Rubens).

http://www.worldscientific.com/worldscibooks/10.1142/3282 (On the Role of Division, Jordan and Related Algebras in Particle Physics, by F. Gursey and C.-H. Tze).

The biography of Pascual Jordan can be found here: http://arxiv.org/abs/hep-th/0303241 (Pascual Jordan, his contributions to quantum mechanics and his legacy in contemporary local quantum physics, by Bert Schroer). Jordan was a very important figure in developing quantum mechanics and quantum field theory but his reputation was greatly damaged by his relations to the Nazi regime, although, according to Schroer, "he never received benefits for his pro-NS convictions and the sympathy remained one-sided. Unlike the mathematician Teichmueller, whose rabid anti-semitism led to the emptying of the Gottingen mathematics department, Jordan inflicted the damage mainly on himself".

This post imported from StackExchange MathOverflow at 2016-03-14 22:40 (UTC), posted by SE-user Zurab Silagadze
answered Mar 14, 2016 by (255 points)
Interestingly, Jordan algebras are useful in mathematical statistics: link.springer.com/book/10.1007%2F978-1-4612-2678-9 (Statistical Applications of Jordan Algebras, by J. D. Malley).

This post imported from StackExchange MathOverflow at 2016-03-14 22:40 (UTC), posted by SE-user Zurab Silagadze
+ 2 like - 0 dislike

Jordan algebras and more generally Jordan pairs and triple systems have applications in the theory of Riemannian symmetric spaces. Some relevant links:

https://en.wikipedia.org/wiki/Hermitian_symmetric_space#Jordan_algebras

https://en.wikipedia.org/wiki/Triple_system#Jordan_triple_systems

This post imported from StackExchange MathOverflow at 2016-03-14 22:40 (UTC), posted by SE-user Vít Tuček
answered Feb 4, 2016 by (20 points)
Tucek: this is item 3) in sva question. Namely, the application to the classification of irreducible Hermitian symmetric spaces of noncompact type. Historically such classification goes back to Elie Cartan by using Lie theory. Was M. Koecher who realized that by using Jordan algebras such spaces can be constructed as a bounded symmetric domains starting by a Jordan triple system: mathunion.org/ICM/ICM1970.1/Main/icm1970.1.0279.0284.ocr.pdf

This post imported from StackExchange MathOverflow at 2016-03-14 22:40 (UTC), posted by SE-user Holonomia

 Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead. To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL. Please consult the FAQ for as to how to format your post. This is the answer box; if you want to write a comment instead, please use the 'add comment' button. Live preview (may slow down editor)   Preview Your name to display (optional): Email me at this address if my answer is selected or commented on: Privacy: Your email address will only be used for sending these notifications. Anti-spam verification: If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:p$\hbar$ysicsOver$\varnothing$lowThen drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds). To avoid this verification in future, please log in or register.