# Applications of Jordan algebras

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.

• Do you know the following link: molle.fernuni-hagen.de/~loos/jordan see also iecl.univ-lorraine.fr/~Wolfgang.Bertram/SrniProc.pdf – Holonomia Feb 4 '16 at 12:16
• 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. – Tom De Medts Feb 4 '16 at 12:50
• 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 – YCor Feb 4 '16 at 13:01
• added to YCor : consequently, one must pronouce Yordan', while Camille Jordan is pronounced Geordã. – Denis Serre Feb 4 '16 at 14:12

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.

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\circ y+y\circ x$ 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.

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".

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

• 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 – Holonomia Feb 4 '16 at 12:26
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.7875416278839111, "perplexity": 553.5283987478425}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2020-29/segments/1593655879738.16/warc/CC-MAIN-20200702174127-20200702204127-00351.warc.gz"}