sign in sign up
<<
Home , Claude Chevalley, Composition algebra, Special linear group

arXiv:1807.05227v2 [math.RA] 1 Oct 2019 conjugation es that sense field A 2.1. suggestions. giv and not comments does helpful and argument, dimension a by motivated is nition eto ecvrtetodmninlcs o ntlra co real unital for case dimensional structure) two characterise we the 4 t an cover Section determine get we then necessarily 3 We not Section do associative). comput (we to be th to itself linear (in rings lends rings that assume nonassociative way general arbitrary natural to a extends in naturally algebra and the i ento iare ihSdeys hc ie elf real tha a find gives we which so, doing Sudbery’s, In with group groups. disagrees Baez’s definition compute his to us allows This h case the SO n[T3,adSdeydaswt h nlnre eldivisi real normed final the with deals O Sudbery and [KT83], in m -pc.Teptencniuswt h the with continues pattern The 3-space. nymkssnei iesostoadthree. and two dimensions in sense makes only n[u8] notntl h a ubr enstespeci the defines Sudbery way the Unfortunately [Sud84]. in , n hw hti geswt ubr’ ento when definition Sudbery’s with agrees it that shows and , ol iet hn mti uyi o nrdcn et th to me introducing for Rumynin Dmitriy thank to like would I oiae yti,i eto erfruaeBe’ definiti Baez’s reformulate we 2 Section in this, by Motivated natraiedfiiinfor definition alternative An nhsclbae uvy[a0] azsget nfiddefini unified a suggests Baez [Bae02], survey celebrated his In h pca iergroups linear special The H PCA IERGOPFRNNSOITV RINGS NONASSOCIATIVE FOR GROUP LINEAR SPECIAL THE 0 associator (2 F , oehrwt odgnrt udai form quadratic nondegenerate a with together , E 1) Abstract. sacrlayw opt l h rusBe defined. Baez groups the all ring ring, compute associative Lie we all a corollary including get a we rings, As level of infinitesimal classes the large At some Baez. to due group 6 opsto algebra composition > m . and | zw n eoeb a,e.g. bar, a by denote and 2 | SO [ n tsesta ni o ofrhrivsiainhsbee has investigation further no now until that seems it and , 2 · , = · , 0 eetn oabtayrnsadfiiino h coinspec the of definition a rings arbitrary to extend We · (3 : ] | z , | 1) C 2 | w 3 h smtygop ftehproi ln n hyperbolic and plane hyperbolic the of groups isometry the – | → SL 2 uhagba oewt nat-nouin hc ecall we which anti-, an with come Such . m C SL santncsaiyuia rascaiealgebra associative or unital necessarily not a is with , ie by given , SL 2 ( R 2 2. 1. ( ) O > m AR PETYT HARRY and Preliminaries Introduction ) z ¯ a enpooe yHthn[i1] hsdefi- This [Hit18]. Hitchin by proposed been has hyaeas eesrl lentv.Ta is, That alternative. necessarily also are They . [ ,w u w, z, 2 SL o ag ls fagba htincludes that algebras of class large a for , 1 2 ( C ( = ] ) r,rsetvl,tedul oesof covers double the respectively, are, zw H ssonb uoadTownsend and Kugo by shown as , n l lersoe field. a over algebras all and s ) | · | u − rsn ae,w ontin not do we paper, present e 2 hti utpiaiei the in multiplicative is that z m o l soitv ig.In rings. associative all for r fteecpinlLie exceptional the of orm hc edsrb over describe we which ( wu nagba h the algebra, on i group. Lie a e 2 = ecrepnigspecial corresponding he psto lers In algebras. mposition to,adnt htit that note and ation, no h pca linear special the of on ) llna ru over group linear al inof tion salternating. is , ede o discuss not does He . ntredimensions three in t rbe n o his for and problem e a linear ial SL m made. n ( O C ) vra over o all for O O . THE SPECIAL FOR NONASSOCIATIVE RINGS 2

If the of F is not two, then all unital composition algebras can be obtained from F by the Cayley–Dickson construction (a description of which can be found in [Sch95]), and have famously been classified by Jacobson [Jac58]. We are mainly interested in real composition algebras, and we state his classification in this case. Theorem 2.1 (Jacobson). The unital real composition algebras are exactly: (i) R (ii) C (iii) R2, with |(a, b)|2 = ab 2 (iv) H (v) M2(R), the 2 × 2 matrices over R, with | · | = det (vi) O (vii) The split octonions O′

We write 1, e1,...,ed−1 for an orthonormal basis of a unital composition algebra of 2 dimension d. We then have ei = ±1 for all i, and eiej = −ejei whenever i 6= j. Letting Lz : C → C denote the left multiplication map w 7→ zw, alternativity of C gives us

(1) Le Le = L 2 = ±1 i i ei

Moreover, whenever ei 6= ej we have

0 = [ei, ej, z] + [ej, ei, z]= Leiej +ej ei (z) − (Lei Lej + Lej Lei )(z) and hence

(2) Lei Lej = −Lej Lei Let Rp,q denote Rp+q with the standard quadratic form of signature (p,q). The algebras in the left-hand column of Theorem 2.1 have signature (d, 0), and those in the right-hand d d column have signature ( 2 , 2 ).

2.2. For a ring R we write Mm(R) to mean the space of m × m matrices with entries in R, and Eij for an element of the standard basis. The of a x is written tr x, and left multiplication maps are again denoted Lx. The definition of the octonion and algebra given by Baez is as follows [Bae02, p.177].

Definition 2.2 (Baez). The octonion special slm(O) is the generated under by the set {Lx : x ∈ Mm(O), tr x = 0}. The octonion special linear group SLm(O) is the generated by exponentiating slm(O). This definition is not well suited to computation, and we prefer to use the following, which is easily seen to agree with Definition 2.2 in the case R = O.

Definition 2.3. For R a not necessarily associative or unital ring, slm(R) is the ring generated by LaEij : a ∈ R, i 6= j under commutators. Similarly, SLm(R) is the group generated by LI+aEij : a ∈ R, i 6= j under composition.  Straight from the definition we can obtain a nice description of the special linear algebra of an associative ring. Theorem 2.4. Let R be an associative (not necessarily unital) ring. Then there is an isomorphism slm(R) =∼ {x ∈ Mm(R) : tr x ∈ [R,R]} THE SPECIAL LINEAR GROUP FOR NONASSOCIATIVE RINGS 3

Proof. Since R is associative, we have LaLb = Lab for all a, b ∈ R, so we can identify

LaEij with the matrix aEij and consider slm(R) ⊂ Mm(R). Now slm(R) contains all matrices with all diagonal entries zero, as these form the linear span of the generators. Furthermore, the of two generators is [aEij, bEkl] = δjkabEil − δilbaEkj, where δ denotes the Kronecker delta. If δjk and δil are not both 1 then we get either zero or a generator. If both are 1 then we get abEii − baEjj. Clearly this has trace lying in [R,R], and by varying a and b we can get the whole of [R,R]. Then varying i and j gives the right hand side of the result. Note that the commutator of such a diagonal matrix with a generator is traceless, so all further commutators have trace in [R,R], and we are done.  Theorem 2.4 shows that Definition 2.3 gives a true generalisation of the usual special linear algebra, for if R is a field then [R,R] = 0, and, moreover, if R = H then [H, H]= {z ∈ H : Re(z) = 0}, which gives the standard definition of slm(H) [Har90, p.52].

3. The Two Dimensional Case

Let C be a unital real composition algebra. For x = (xij) ∈ Mm(C), the hermitian ∗ ∗ conjugate of x is x = (xji). If x = x then x is said to be hermitian, and the set of such matrices is denoted hm(C). Note that all diagonal entries of a lie in R. We restrict our attention to the case m = 2, where alternativity of C ensures that the map x 7→ x11x22 − x12x12 is a well defined quadratic form on h2(C) (see [Bae02, p.176]). If C has dimension d and signature (p,q), then writing z = z0 + z1e1 + · · · + zd−1ed−1 q+1,p+1 for an element of C, we have that h2(C) is isometric to R via the map r z r + s r − s 7−→ , , z , z ,...,zd−  z¯ s   2 2 0 1 1

We now define a representation of SL2(C) on h2(C). Let y = LI+aEij be a generator of SL2(C), and for x ∈ h2(C) set y · x = (I + aEij)x(I +aE ¯ ji). This product is well defined because C is alternative, and we extend to SL2(C) in the obvious way.

Lemma 3.1. The action of SL2(C) on h2(C) is by isometries. That is, if x ∈ h2(C) and y ∈ SL2(C) then det(y · x) = det x.

Proof. It suffices to show that this holds for generators of SL2(C). The two cases are r z similar, so we just do y = LI aE21 . Let x = , recalling that r, s ∈ R. Since +  z¯ s  ww¯ =ww ¯ for all w ∈ C we obtain r ra¯ + z det(y · x) = det = rs − zz¯ = det x   ra +z ¯ raa¯ +z ¯a¯ + az + s  It follows that there is a of connected Lie groups

ψ : SL2(C) −→ SO0(q + 1,p + 1)

In to analyse ψ, we describe a basis of sl2(C), but first a remark. Remark 3.2. If F = C then the same argument as the one above gives a homomorphism SL2(C) → SO(d + 2, C). THE SPECIAL LINEAR GROUP FOR NONASSOCIATIVE RINGS 4

Lemma 3.3. sl2(C) is based by the set

LE12 ,LE21 , [LE12 ,LE21 ], αi = LeiE12 , βi = LeiE21 , γi = [LE12 , βi], εij = [αi, βj ] : i < j n o

(d−1)(d−2) (d+1)(d+2) In particular, dimSL2(C) = 3 + 3(d − 1) + 2 = 2 . Proof. It follows from identities (1) and (2) that the set in question bases the subspace spanned by products of length at most two, so it suffices to show that this is the whole T of sl2(C). Products of length three are spanned by generators and elements δ and δ , where 0 L L L + L L L δ = ei ej ek ek ej ei  0 0 

There are three cases for δ, depending on the choice of ei, ej, and ek. Case 1: ej is equal to either ei or ek. Then δ is a generator by identity (1). Case 2: ei = ek 6= ej. Using both identities (1) and (2) we see that δ is a generator. Case 3: ei, ej, ek are distinct. Then δ = 0 by identity (2). Thus products of length three are spanned by generators, which completes the proof. 

Lemma 3.4. ker dψ = 0

Proof. The action of SL2(C) on h2(C) induces an action of sl2(C): if x ∈ h2(C) and ∗ y is a generator of sl2(C) then y · x = yx + xy . By definition, any element of ker dψ acts trivially, so we calculate the action of the basis of Lemma 3.3 on an arbitrary r z d−1 x = ∈ h (C). Here r, s ∈ R, z = z + ziei ∈ C, and below the λi and κij  z¯ s  2 0 i=1 P d−1 are real. In several places we find it convenient to write w = λ0 + i=1 λiei. P d−1 2Re(wz¯) sw (a) : λ LE12 + λiαi · x = LwE12 · x = 0  sw¯ 0   Xi=1  d−1 0 rw¯ (b) : λ LE21 + λiβi · x = LwE21 · x = 0  rw 2Re(wz)   Xi=1 

d−1

(c) : λ0[LE12 ,LE21 ]+ λiγi · x = [LE12 ,LwE21 ] · x  Xi=1  0 rw¯ 2Re(¯z) s = LE12 · − LwE21 ·  rw 2Re(wz)   s 0  rλ wz − zw¯ = 2 0  z¯w¯ − wz¯ −sλ0  THE SPECIAL LINEAR GROUP FOR NONASSOCIATIVE RINGS 5

(d) : κijεij · x = κij LeiE12 · (Lej E21 · x) − Lej E21 · (LeiE12 · x)  0

Together, these describe the action of every element of sl2(C) on h2(C). Now assume that y acts trivially. Writing y in the basis of Lemma 3.3 and using the four equations above (with respective sets of coefficients λi, µi, νi, and κij), consider y · x. d−1 R The upper-left entry is 2 Re (λ0+ i=1 λiei)¯z +2rν0, which must be zero for all r ∈ and z ∈ C. Taking z = 0, r = 1 givesP ν0 = 0, and then cycling z through the ei gives λi = 0. Similarly, considering the lower right entry gives 2 Re (µ0 + µiei)z −2sν0 = 0. We already have ν0 = 0, and cycling z through the ei gives µi = 0.P Finally, considering the top right entry, we are left with

d−1 2 2 2(νieiz − zνie¯i)+ 2κij(ej zjei − ei ziej) = 0 Xi=1 0

d−1 Taking z = 1 gives 1 4νiei = 0, so all νi are zero. Then successively considering  z = e1, z = e2,... weP find that all κ1j, κ2j ,... are zero. Thus ker dψ = 0. Knowing that dψ has full rank is enough to prove the main theorem of this section. Theorem 3.5. If C is a unital real composition algebra of dimension d and signature (p,q) then SL2(C) =∼ Spin(p + 1,q + 1). Proof. Because Spin(p + 1,q + 1) =∼ Spin(q + 1,p + 1) it suffices to show that ψ is (d+1)(d+2) onto and has two-point . By Lemma 3.3 we have dimSL2(C) = 2 = dimSO0(q + 1,p + 1), so by Lemma 3.4 dψ is onto. Hence ψ is onto. Indeed,

ψ(SL2(C)) = exp(dψ(sl2(C))) = exp(so(q + 1,p +1)) = SO0(q + 1,p + 1) It remains to show that ψ has two-point kernel. Consider the real matrices 1 −1 1 0 1 −2 a = , b = , c =  0 1   1 1   0 1  2 and the linear map ι = LaLbLcLbLa ∈ SL2(C), which acts as −I on C . Because a, b, c ∈ M2(R), the expression for ι · x associates, so ι · x = (−I)x(−I) = x, and ι ∈ ker ψ. Hence ker ψ consists of at least two elements. Claim: If C is associative then ker ψ = {1, ι}. Proof: As in the proof of Theorem 2.4 we can consider elements of SL2(C) to be matrices. Then ι = −I. Also, if y = (yij) ∈ SL2(C) acts trivially on h2(C) we have r 0 r 0 ry y + sy y ry y + sy y = y · = 11 11 12 12 11 21 12 22  0 s   0 s   ry21y11 + sy22y12 ry21y21 + sy22y22  THE SPECIAL LINEAR GROUP FOR NONASSOCIATIVE RINGS 6

Taking r = 1,s = 0 in this gives y11y11 = 1 and y21 = 0. Similarly, taking r = 0,s = 1 gives y22y22 = 1 and y12 = 0. Now we have 0 z y 0 0 z 0 y zy = 11 · = 11 22  z¯ 0   0 y22   z¯ 0   y22zy11 0 

Taking z = 1 gives y11y22 = 1. But y11y11 = 1, so y22 = y11. From this we get z = y11zy11, so zy11 = y11z for all z ∈ C. Hence y11 = y22 = ±1, and thus y ∈ {1, ι}. ♦

For the case C = O, note that since π1(SO(9, 1)) = Z2 [Hal03, pp.335, 343], any proper cover is a double cover. This just leaves the case C = O′. The complexification C ⊗ O′ is isomorphic to the ′ bioctonions C ⊗ O, a unital complex composition algebra. Thus SL2(O ) is a of SL2(C ⊗ O), which covers SO(10, C) by Remark 3.2. Since π1(SO(10, C)) = Z2 [Hal03, p.343], the covering is 2:1, with kernel {1, ι}. We thus have a commutative diagram

′ complexify SL2(O ) SL2(C ⊗ O)

ψ 2:1 complexify SO0(5, 5) SO(10, C) which completes the proof in the final case, C = O′. 

4. The General Case Let R be a commutative associative unital ring, and A a finite dimensional R–algebra that is free as an R–, with basis {e1,...,en}. For example, A could be any finite dimensional algebra over a field. Write MA for the left multiplication algebra of A. That is, MA is the R–algebra n generated by {Lrei : r ∈ R}. Since A is free over R we have MA ⊂ EndR(R )= Mn(R).

Theorem 4.1. Under the above assumptions, if m ≥ 3 then slm(A) =∼ x ∈ Mm(MA) : tr x ∈ [MA, MA] . In particular slm(A) ⊂ slmn(R). 

Proof. The nonzero products of two generators are:

[LaEij ,LbEji ]= LLaLbEii − LLbLaEjj

[LaEij ,LbEjk ]= LLaLbEik Since m ≥ 3, it follows by taking successive products that slm(A) is the span of the set

LαEij : α ∈ MA, i 6= j LαβEii − LβαEjj : α, β ∈ MA, i 6= j n o [ n o Clearly all such matrices have trace in [MA, MA], and varying α and β gives the whole of [MA, MA]. Varying i and j then gives the result. 

This reduces the problem of determining slm(A) to that of finding MA. In the case of the R-algebra O, the group generated by left multiplications by units is SO(8) [CS03, p.92]. This R-spans the full matrix algebra M8(R), so MO = M8(R). We can thus calculate Baez’s groups:

Corollary 4.2. If m ≥ 3 then SLm(O) =∼ SL8m(R). THE SPECIAL LINEAR GROUP FOR NONASSOCIATIVE RINGS 7

Proof. Theorem 4.1 gives slm(O) =∼ sl8m(R). Exponentiating gives the result.  Together with Theorem 3.5 this describes all the groups Baez defined. In fact, the ′ ′ same argument works for O , and we similarly obtain SLm(O ) =∼ SL8m(R) for m ≥ 3.

Remark 4.3. Corollary 4.2 shows that Baez’s definition of SL3(O) disagrees with Sud- bery’s, which gives a real form of . For m = 2, 3, Sudbery defines slm(O) to be the left multiplications by traceless elements of hm(O), together with its derivations. The isomorphism with e6 is due to Chevalley and Schafer [CS50]. It is natural to ask what happens to this construction when n is greater than 3. In this case, it is shown in [Pet19, Thm. 3.3] that the derivation algebra of hm(O) is ⊕ som, but it is not clear how this interacts with the multiplication operators. In particular, when m> 3 the commutator of two such operators may fail to be a derivation. References

[Bae02] John C. Baez. The octonions. Bull. Amer. Math. Soc. (N.S.), 39(2):145–205, 2002. [CS50] and R. D. Schafer. The exceptional simple Lie algebras and E6. Proc. Nat. Acad. Sci. U.S.A., 36:137–141, 1950. [CS03] John H. Conway and Derek A. Smith. On quaternions and octonions: their geometry, arithmetic, and . A K Peters, Ltd., Natick, MA, 2003. [Hal03] Brian C. Hall. Lie groups, Lie algebras, and representations: an elementary introduction, volume 222 of Graduate Texts in Mathematics. Springer-Verlag, New York, 2003. [Har90] F. Reese Harvey. and calibrations, volume 9 of Perspectives in Mathematics. Academic Press, Inc., Boston, MA, 1990. [Hit18] Nigel Hitchin. SL(2) over the octonions. Math. Proc. R. Ir. Acad., 118A(1):21–38, 2018. [Jac58] N. Jacobson. Composition algebras and their . Rend. Circ. Mat. Palermo (2), 7:55–80, 1958. [KT83] Taichiro Kugo and Paul Townsend. Supersymmetry and the division algebras. Nuclear Phys. B, 221(2):357–380, 1983. [Pet19] Harry Petyt. Derivations of octonion matrix algebras. Comm. Algebra, 47(10):4216–4223, 2019. [Sch95] Richard D. Schafer. An introduction to nonassociative algebras. Dover Publications, Inc., New York, 1995. Corrected reprint of the 1966 original. [Sud84] A. Sudbery. Division algebras, (pseudo)orthogonal groups and spinors. J. Phys. A, 17(5):939– 955, 1984.