Jordan algebras

Jordan algebras
Name	Jordan algebras
Type	Nonassociative algebra
Field	Algebra
Introduced	1933
Notable	Pascual Jordan, John von Neumann, Eugene Wigner, Nathan Jacobson

Jordan algebras are a class of commutative, generally nonassociative algebras introduced to formalize observables in quantum theory. They arise in the interplay between Pascual Jordan, John von Neumann, and Eugene Wigner's formulation of quantum mechanics and connect to structures in Lie algebra, associative algebra, operator algebra, octonion geometry, and projective plane theory. Jordan algebras have deep ties to invariant theory, algebraic groups, and differential geometry through exceptional examples linked to Albert algebra, Freudenthal triple system, and related exceptional Lie groups.

Introduction

Jordan algebras were introduced in 1933 by Pascual Jordan, John von Neumann, and Eugene Wigner to axiomatize observables in quantum mechanics. The definition captures a commutative product satisfying the Jordan identity, inspired by symmetrizing the product in an associative algebra of operators. Key motivations include modeling self-adjoint parts of C*-algebras and exploring algebraic underpinnings of the Heisenberg group and spin group representations. Influential developments later involved Nathan Jacobson, A.A. Albert, and researchers in projective geometry and algebraic group theory.

Definitions and basic properties

A Jordan algebra over a field F is a vector space equipped with a bilinear commutative product x ∘ y satisfying the Jordan identity (x ∘ x) ∘ (x ∘ y) = x ∘ ((x ∘ x) ∘ y). In practice one often uses the symmetrized product x ∘ y = (xy+yx)/2 from an associative algebra; such algebras are called special Jordan algebras. Algebras not embeddable in any associative algebra are exceptional, with the Albert algebra as the primary finite-dimensional example over fields not of characteristic two. Fundamental operations include the quadratic representation U_x(y) = 2 x ∘ (x ∘ y) − x^2 ∘ y and Peirce decompositions associated to idempotents, used extensively by Nathan Jacobson and A.A. Albert in structure theory. Important properties relate to power-associativity and identities studied by Emmy Noether's school and later by Serge Lang and Claude Chevalley in related algebraic contexts.

Examples and classification

Primary examples include: - The self-adjoint part of a C*-algebra or a von Neumann algebra with product x ∘ y = (xy+yx)/2, linking to Gelfand–Naimark theorem contexts. - Matrix algebras: symmetric matrices over real numbers, complex numbers, or quaternions with Jordan product, connected to classical groups like SO(n), SU(n), and Sp(n). - The exceptional 27-dimensional Albert algebra of 3×3 hermitian matrices over the octonions, tied to exceptional groups F4, E6, E7, and E8 through Tits’s constructions and the Freudenthal Magic Square. - Jordan algebras arising from quadratic forms and composition algebras, studied in relation to the Clifford algebra and spin group theory.

Classification results for finite-dimensional simple Jordan algebras over algebraically closed fields of characteristic not two were established by A.A. Albert and Nathan Jacobson, yielding classical families and the exceptional Albert algebra; later work by Jacques Tits and Max Koecher connected these to algebraic groups and hermitian symmetric spaces like those studied by Élie Cartan.

Structure theory

Structure theory uses idempotents, Peirce decomposition, ideals, and derivations. The Peirce decomposition relative to an idempotent produces eigenspace gradings facilitating classification via fusion rules, a technique employed by Nathan Jacobson and Max Koecher. Derivation algebras of simple Jordan algebras often yield classical or exceptional Lie algebras, linking to Lie algebra theory and the Tits–Koecher construction which embeds a Jordan algebra into a Lie algebra. Simplicity, semi-simplicity, and the role of the radical mirror themes from associative algebra and Lie algebra theory, with analogues of the Wedderburn theorem adapted by researchers such as Jacobson and A.A. Albert.

Representations and modules

Representations of Jordan algebras are less straightforward than associative cases; one studies Jordan modules and quadratic representations. The concept of a unital representation and modules over Jordan pairs and Jordan triple systems generalizes representation theory, interlinking with operator theory on Hilbert spaces and with bounded symmetric domain realizations related to Harish-Chandra modules. Connections to representation theory of algebraic groups, including actions of G2, F4, and E6 on spaces arising from exceptional Jordan structures appear in work by Jacques Tits and Bertram Kostant.

Applications and connections

Jordan algebras appear in multiple domains: models of quantum observables in quantum mechanics, structural descriptions in operator algebra theory, and geometric realizations of hermitian symmetric spaces studied by Élie Cartan and Harish-Chandra. They underpin constructions in theoretical physics, including proposals in particle physics and string theory linking exceptional Jordan structures to symmetry groups E6 and E8 discussed by Pierre Ramond and others. In mathematics they connect to projective geometry, spherical buildings of Tits and invariant theory involving Weyl groups and root systems; the Freudenthal construction ties to binary forms and classical invariant theory pursued by Arthur Cayley and Invariant theorists.

History and notable contributors

Key historical milestones: 1933 axiomatization by Pascual Jordan, John von Neumann, and Eugene Wigner; mid-20th-century algebraic structure and classification by A.A. Albert and Nathan Jacobson; connections to Lie theory and geometry developed by Jacques Tits, Max Koecher, Hans Freudenthal, and Élie Cartan. Contemporary contributors include researchers working on operator algebras, nonassociative algebra, and applications in mathematical physics such as Bertram Kostant, Guy Roos, and Ivan Shestakov. The subject continues to bridge algebra, geometry, and physics through links to octonions, exceptional Lie groups, and nonassociative structural theory.

Category:Nonassociative algebra