JORDAN STRUCTURES IN MATHEMATICS AND PHYSICS Radu IORDANESCU˘ 1 Institute of Mathematics of the Romanian Academy P.O.Box 1-764 014700 Bucharest, Romania E-mail: [email protected] FOREWORD The aim of this paper is to offer an overview of the most important applications of Jordan structures inside mathematics and also to physics, up- dated references being included. For a more detailed treatment of this topic see - especially - the recent book Iord˘anescu [364w], where sugestions for further developments are given through many open problems, comments and remarks pointed out throughout the text. Nowadays, mathematics becomes more and more nonassociative (see 1 § below), and my prediction is that in few years nonassociativity will govern mathematics and applied sciences. MSC 2010: 16T25, 17B60, 17C40, 17C50, 17C65, 17C90, 17D92, 35Q51, 35Q53, 44A12, 51A35, 51C05, 53C35, 81T05, 81T30, 92D10. Keywords: Jordan algebra, Jordan triple system, Jordan pair, JB-, ∗ ∗ ∗ arXiv:1106.4415v1 [math.DG] 22 Jun 2011 JB -, JBW-, JBW -, JH -algebra, Ricatti equation, Riemann space, symmet- ric space, R-space, octonion plane, projective plane, Barbilian space, Tzitzeica equation, quantum group, B¨acklund-Darboux transformation, Hopf algebra, Yang-Baxter equation, KP equation, Sato Grassmann manifold, genetic alge- bra, random quadratic form. 1The author was partially supported from the contract PN-II-ID-PCE 1188 517/2009. 2 CONTENTS 1. Jordan structures ................................. ....................2 § 2. Algebraic varieties (or manifolds) defined by Jordan pairs ............11 § 3. Jordan structures in analysis ....................... ..................19 § 4. Jordan structures in differential geometry . ...............39 § 5. Jordan algebras in ring geometries . ................59 § 6. Jordan algebras in mathematical biology and mathematical statistics .66 § 7. Jordan structures in physics ........................ .................77 § Bibliography ....................................... ....................102 §1. JORDAN STRUCTURES In modern mathematics, an important notion is that of nonassociative structure. This kind of structures is characterized by the fact the product of elements verifies a more general law than the associativity law. There are two important classes of nonassociative structures: Lie struc- tures (introduced in 1870 by the Norwegian mathematician Sophus Lie in his study of the groups of transformations) and Jordan structures (introduced in 1932-1933 by the German physicist Pasqual Jordan (1902-1980)2 in his al- gebraic formulation of quantum mechanics [379a,b,c]). These two kinds of structures are interconnected, as it was remarked - for instance - by Kevin McCrimmon [480c, p. 622]: . ”We are saying that 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” . ., as well as by Efim Zelmanov [729a]: . ”Lie algebra with finite grading may be by right included into the Jordan theory” . There exist three kinds of Jordan structures, namely, algebras, triple sys- tems, and pairs (see the definitions below). Since the creation of Jordan al- gebras (at the beginning of ’30) by Pasqual Jordan, an improvement of the 2For details on the life and scientific career of Pascual Jordan see the impressive big paper: ”Pascual Jordan, his contributions to quantum mechanics and his legacy in contemporary local quantum physics” by Bert SCHROER, arXiv:hep-th/0303241v2, 15 May 2003, 36 pp. 3 mathematical foundation of quantum mechanics was made, but the problem was not definitively solved. Fifty years later (in ’80), another tentative was made using a kind of mixed structures, namely Jordan-Banach algebras (see the definition in 3), but the problem of the mathematical foundation of quan- § tum mechanics is still an open problem! Anyway, is the meantime, Jordan structures have been intensively studied by mathematicians, and a big number of important results have been obtained. At the same time, an impressive variety of applications have been explored with several surprising connections. An explanation of this fact could be the following: at the beginning, mathematics was associative and commutative, then (after the invention of matrices) it became associative and noncommu- tative, and now (after the invention of nonassociative structures) it becomes nonassociative and noncommutative. The study of Jordan structures and their applications is at present a wide-ranging field of mathematical research. 3 I shall give here only algebraic basic definitions. For an intrinsic treat- ment of Jordan structures the reader is referred to the excellent books by Braun and Koecher [131] (see also Koecher [408c]), Jacobson [371a, c], Loos [448e, g], Meyberg [483d], Zhevlakov, Slinko, Shestakov, Shirshov [733]. See also Jordan algebras – Proceedings of the Oberwolfach Conference (August, 1992), Kaup, McCrimmon, Petersson (eds.), Walter de Gruyter–Berlin–New York, 1994, and Proceedings of the International Conference on Jordan Struc- tures (Malaga, June, 1997), Castellon Serrano, Cuenca Mira, Fern´andez L´opez, Mart´ın Gonzalez (eds.), Malaga, 1999, as well as the WEB site: ∼ Jordan Theory preprints (http://homepage.uibk.ac.at/ c70202/jordan/index.html). Jordan algebras emerged in the early thirties with Jordan’s papers [379a, b, c] on the algebraic formulation of quantum mechanics. The name “Jordan algebras” was given by A.A. Albert in 1946. Definition 1. Let J be a vector space over a field F with characteristic different from two. Let ϕ : J J J be an F-bilinear map, denoted by × → ϕ : (x,y) xy, satisfying the following conditions: → xy = yx and x2(yx) = (x2y)x for all x,y J. ∈ Then J together with the product defined by ϕ is called a linear Jordan algebra over F. 3see IORDANESCU,˘ R., Romanian contributions to the study of Jordan structures and their applications, Mitteilungen des Humboldt-Clubs Rum¨anien, No.8-9 (2004-2005), Bukarest, 29-35. 4 Comments. The second condition came from quantum mechanics: ob- servables in physics (temperature, pressure, etc.) satisfy it. This condition is less restrictive than the associativity and, from this fact it follows the impres- sive variety of applications of Jordan structures. Example. If A is an associative algebra over F, and we define a new product ϕ(x,y) := 1 (x y+y x), where the dot denotes the associative product 2 · · of A, then we obtain a Jordan algebra. It is denoted by A(+). Remark 1. Jordan was the first who studied the properties of the prod- uct xy from the above example in the case when F is the field of reals. He proved a number of properties of this product, and showed that these were all consequences of the two identities above. Remark 2. Zelmanov and others obtained important and interesting results for infinite-dimensional Jordan algebras. A good account of Zelmanov work as well as of McCrimmon’s extension to quadratic Jordan algebras, can be found in [480d] (see also [364g]). Notation. On a Jordan algebra J consider the left multiplication L given by L(x)y := xy, x,y J. ∈ Remark 3. In general, L(xy) = L(x)L(y) for x,y from a Jordan algebra 6 (which is not associative). This hold for, e.g., J = A(+) for A (commutative or not). Definition 2. The map P defined by P (x) := 2L2(x) L(x2), x J, is − ∈ called the quadratic representation of J . When J = A(+) it assumes the form P (x)y = x y x. · · Proposition 1. For any x,y J the following fundamental formula ∈ holds: P (P (x)y)= P (x)P (y)P (x). Remark 4. For P (x,y) given by P (x,y) := 2(L(x)L(y)+ L(y)L(x) − L(xy)) we have P (x + y)= P (x)+ P (x,y)+ P (y), x,y J. ∈ Remark 5. In general, P (x,y) = P (x)P (y), x,y J (as can easily be 6 ∈ seen for J = A(+)). Proposition 2. Suppose that J has a unit element e and let x be an element of J. Then P (x) is an automorphism of J if and only if x2 = e. If P (x) is an automorphism of J, then it is involutive. 5 Definition 3. An element x J is called invertible if the map P (x) is ∈ bijective. In this case the inverse of x is given by x−1 := (P (x))−1x. (In case J = A(+), this is the usual inverse in the associative algebra A.) Remark 6. We have (P (x))−1 = P (x−1), x J. ∈ Remark 7. An element x is invertible with the inverse y if and only xy = e, x2y = x. Definition 4. Let f be an element of J. Define a new product on the vector space J by xfy := x(yf)+ y(xf) (xy)f. { } − The vector space J together with this product is called the mutation (homotope) of J with respect to f and is denoted by Jf . Proposition 3. Any mutation J of J, f J is a Jordan algebra and f ∈ its quadratic representation Pf is given by Pf (x)= P (x)P (f). Proposition 4. The algebra Jf , f J, has a unit element if and only if ∈ −1 f is invertible in J; in this case the unit element of Jf is f . In this situation we call Jf the f-homotope of J. Remark 8. If f is invertible in J then the set of invertible elements of J coincides with the set of invertible elements of Jf . Note. From this point on, many of the results require that J be finite- dimensional. Notation. Denote by Invol(J) := w w J, w2 = e , Idemp(J) := c c J, c2 = c { | ∈ } { | ∈ } the set of involutive, respectively idempotent (zero included), elements of J. Here J is supposed to contain a unit element e. Note that Invol(J)= w J, { ∈ w−1 = w . } Remark 9. The map Idemp(J) Invol(J) given by c 2c e is a → → − bijection. For an element c of Idemp(J) we have L(c)(L(c) Id)(2L(c) Id) = 0.