Lecture 21 - Jordan Algebras and Projective Spaces

Transcription

1 Lecture 1 - Jordan Algebras and Projective Spaces April 15, 013 References: Jordan Operator Algebras. H. Hanche-Olsen and E. Stormer The Octonions. J. Baez 1 Jordan Algebras 1.1 Definition and examples In the 1930 s physicists, looking for a larger context in which to place quantum mechanics, settled on the following axioms for an algebra of observables: i) A is a vector space over R ii) The product is bilinear iii) The product is commutative: A B = B A iv) The product obeys the Jordan identity: A (B (A A)) = (A B) (A A) An algebra obeying these axioms is called a Jordan algebra. formally real if it satisfies A Jordan algebra is called v) A 1 A A k A k = 0 if and only if A 1 = = A k = 0. The motivating example was the set of physical observables; in the finite dimensional case, these are the hermitian n n matrices, h n (C) with the product A B = 1 (AB + BA). (1) 1

2 Two things can be noted here: this is formally real (unlike the full matrix algebra C(n)), and the Jordan product comes from the product in a larger associative algebra. A Jordan algebra whose product comes from an associative algebra via (1) is called a special Jordan algebra. The goal of the early explorers of this field was to come up with a broader theory of general Jordan algebras, into which h n (C) might fit as some sort of special case. Three series of finite dimensional formally real special Jordan algebras are The n n real symmetric matrices h n (R) The n n complex Hermitian matrices h n (C) The n n quaternionic Hermitian matrices h n (H) In addition there is are the algebras of spin factors: R n R with product (X, a) (Y, b) = (bx + ay, X, Y + ab ) 1. Additional Facts Normally we have left- and right- multiplication operators. Due to commutativity, we simple define the Jordan multiplication operator T a (b) = a b. () The algebra of multiplication operators is associative (trivially); however due to non-associativity T a T b T ab T a T b T b T a. Two elements a, b are said to operator commute if T a T b = T b T a. The center of a Jordan algebra is the set of all elements that operator commute. The Jordan identity can be expressed (3) T a T a = T a T a (4) or [T a, T a ] = 0. The Jordan identity implies the following identity, called the linearized Jordan identity: [T a, T b c ] + [T b, T c a ] + [T c, T a b ] = 0 (5) The first substantial theorem is that Jordan algebras are power-associative. Theorem 1.1 Given a Jordan algebra J, we have the following identities: a m a n = a m+n T a mt a n = T a nt a m (6)

3 We define a triple product {ABC} = (A B) C + (B C) A (A C) B. (7) In a special Jordan algebra one checks this is We define the operator U a,c by {ABC} = 1 (ABC + CBA) (8) U a,c (b) {abc} U a,c = T a T c + T c T a T a c. (9) and the operator U a = U a,a, which is U a,a = (T a ) T a. (10) Theorem 1. The Following identities hold in any Jordan algebra: (U a ) n = U a n T a lu a m,a n = U a m+l,a n + U a m,a n+l U a m,a nt a l = U a m+l,a n + U a m,a n+l (11) A surprising fact is MacDonald s theorem Theorem 1.3 (MacDonald) Assume P (x, y, z) is any polynomial in three variables that has degree at most 1 in z. If P (x, y, z) = 0 for all x, y, z in all special Jordan algebras, P (x, y, z) = 0 in all Jordan algebras. Theorem 1.4 (Shirshov-Cohn) Any Jordan algebra generated by two elements is special. In the unital case, any Jordan algebra generated by two elements and 1 is special. Theorem 1.5 (Central Theorem) The center of any Jordan algebra is an associative algebra. Theorem 1.6 (Complete Reducibility) If I J is an ideal in a finite dimensional Jordan algebra, then J = I I. 3

4 1.3 Projectors and the Classification A projection in a Jordan algebra is an element p with p = p. Lie algebras can be considered algebras of derivations; in an analogous sense, Jordan algebras can be considered algebras over projectors. As an example of this idea, consider h (C). If (x, y) C has x + y = 1, then ( ) ( ) x x xy (x, y) = ȳ ȳx y (1) is a projector in h (C). Linear combinations of these constitute the entire algebra. Theorem 1.7 The finite dimensional formally real Jordan algebras are the following: h n (R), n 3 h n (C), n 3 h n (H), n 3 the spin factors J n the Albert algebra, also known as the exceptional Jordan algebra. The Albert algebra is h 3 (O) with Jordan product a b = 1 (ab + ba). Pf. See the reference. The idea is that Jordan algebras have so many projectors, that projections onto the entries of an n n matrix can be found. This theorem was a disappointment to the physicists of the 1950 s. It meant there was no general type formally real Jordan algebra, only the special algebras and a single exceptional algebra. 1.4 Projectors and Projective Spaces Given two projectors p : K V p, p : K V q we say q p if V q V p (with strict inequality corresponding to strict inequality. Given p, we can generally construct chains of inequalities of projectors: 0 = p 0 < p 1 <... < p n = p (13) Given p J, the largest possible such n is called the rank of p in J. The projectors in J can be used to construct projective spaces. The points are the rank- 1 projectors, the lines are the rank- projectors, and so forth. Inclusion is the inequality, so 4

5 given a rank 1 projector p 1 and a rank projector p, we can say the point p 1 is in the line p provided p 1 < p. As one expects, this process carried out in h n (R) gives RP n 1, in h n (C) gives CP n 1, and in h n (H) gives HP n 1. Carried out in the spin factors, one obtains a series of 1- dimensional projective planes. The algebra h (O) is a spin factor, and has associated to it the octonionic projective line, a manifold of 8 real dimensions diffeomorphic to S 8. The algebra h 3 (O) produces octonionic projective plane, a manifold of 16 real dimensions. If P is a projective space generated by a one of the h n (K), we have that any x = (x 1,..., x n ) determines a projection by first normalizing to unit length, and then defining gives a point in in KP n 1. p x = x T x h n (K) (14) Octonionic Projective Spaces.1 Geometric construction Due to non-associativity, it is impossible to produce any kind of OP n for n 3. However 1- and -dimensional octonionic projective planes have reasonable constructions. By analogy with other octonionic lines, we can define OP 1 as the 1-point compactification of O R 8, which is S 8. The building of OP can take place via the octonionic Hopf map. We have the unit sphere S 15 O (15) and therefore a map S 15 S 8 given by (x, y) xy 1. This gives S 15 as an S 7 -bundle over S 8. We define OP = ( D 1 OP 1) / equiv (16) where D 1 is the unit disk in O, and the equivalence is the the Hopf map on D 1 = S 15 S 8 OP 1.. The OP n as projective spaces In terms of the projective spaces KP n defined above, two vectors x = (x 1,..., x n+1 ), y = (y 1,..., y n+1 ) (17) 5

6 determine the same point iff p x = p y. This determines an equivalence relation on these vectors: An equivalence class will be denoted If the base field is O, then x equiv y iff p x = p y. (18) [ x] = [x 1,..., x n ] (19) [x 1, x ] { (αx 1, αx ) α O } [x 1, x, x 3 ] { (αx 1, αx, αx 3 ) α O } (0) 3 The Punchline In the non-commutative case (let alone the non-associative case) it is difficult to define a determinant. However in the h (K) case it is always possible: ( ) α + β x det = α β x (1) x α β which gives a Lorenzian metric on R n+1 R, and an automorphism SL(, K) SO 0 (1, 3), () assuming, of course, that SL(, H) and SL(, O) can be independently defined! Indeed they can, and we have the expected isomorphisms SL(, R) Spin(1, ) SL(, C) Spin(1, 3) SL(, H) Spin(1, 5) SL(, O) Spin(1, 9) (3) The first two of these we saw in a previous lecture. There will be more about this in the homeworks in fact SL(n, H) and sl(n, H) always have a reasonable definition, and also SL(, O), sl(, O) can be defined. In the case of A h 3 (O) we have the following definition of the determinant: det A = 1 3 T r(a3 ) 1 T r(a )T r(a) + 1 (T r(a))3 6 α z y det z β x = αβγ ( α x + β y + γ z ) + Re(xyz). y x γ (4) 6

7 The automorphisms that preserve the Hermitian inner product on O and O 3 are the groups SU(, O) and SU(3, O) corresponding to the groups that preserve the Jordan product in these dimensions. We have the isometry group of OP 1 S 8. SU(, O) SO(9), (5) The group of automorphisms of h 3 (O) that preserve the Jordan product is a real form of F 4. In an appropriate sense, we may therefore regard F 4 SU(3, O). (6) The group of maps h 3 (O) h 3 (O) that preserve the determinant is a real form of E 6. In an appropriate sense, we may therefore regard E 6 SL(3, O). (7) We will give justifications next time, and begin the constructions that culminate in the magic square. 7