Exceptional Lie groups Ichiro Yokota Preface In the end of 19 century, W. Killing and E. Cartan classified the complex simple Lie algebras, called An,Bn, Cn,Dn (classical type) and G2, F4, E6, E7, E8 (exceptional type). These simple Lie algebras and the corresponding compact simple Lie groups have offered many subjects in mathematicians. Especially, exceptional Lie groups are very wonderful and interesting miracle in Lie group theory. Now, in the present book, we describe simply connected compact exceptional simple Lie groups G2, F4, E6, E7, E8, in very elementary way. The contents are given as follows. We first construct all simply connected compact exceptional Lie groups G concretely. Next, we find all involutive automorphisms σ of G, and determine the group structures of the fixed points subgroup Gσ by σ. Note that they correspond to classification of all irreducible compact symmetric spaces G/Gσ of exceptional type, and that they also correspond to classification of all non-compact exceptional simple Lie groups. Finally, we determined the group structures of the maximal subgroups of maximal rank. At any rate, we would like this book to be used in mathematics and physics. The author thanks K. Abe, K. Mituishi, T. Miyasaka, T. Miyashita, T. Sato, O. Shukuzawa, K. Takeuchi and O. Yasukura for their advices and encouragements. Ichiro Yokota arXiv:0902.0431v1 [math.DG] 3 Feb 2009 1 Contents I. Exceptional Lie group G2 1.1. Cayley algebra C 1 · · · 1.2. Compact exceptional Lie group G 2 2 · · · 1.3. Outer automorphism of the Lie algebra d 3 4 · · · 1.4. Lie algebra g of G 8 2 2 · · · 1.5. Lie subalgebra su(3) of g 9 2 · · · 1.6. Simplicity of g C 11 2 · · · 1.7. Killing form of g C 13 2 · · · 1.8. Roots of g C 14 2 · · · 1.9. Automorphism w of order 3 and subgroup SU(3) of G 16 2 · · · 1.10. Involution γ and subgroup (Sp(1) Sp(1))/Z of G 19 × 2 2 · · · 1.11. Center z(G ) of G 21 2 2 · · · 1.12. Complex exceptional Lie group G C 21 2 · · · 1.13. Non-compact exceptional Lie group G of type G 22 2(2) 2 · · · 1.14. Principle of triality in SO(8) 23 · · · 1.15. Spinor group Spin(7) 26 · · · 1.16. Spinor group Spin(8) 28 · · · II. Exceptional Lie group F4 2.1. Exceptional Jordan algebra J 31 · · · 2.2. Compact exceptional Lie group F 33 4 · · · 2.3. Lie algebra f of F 36 4 4 · · · 2.4. Simplicity of f C 41 4 · · · 2.5. Killing form of f C 45 4 · · · 2.6. Roots of f C 47 4 · · · 2.7. Subgroup Spin(9) of F 51 4 · · · 2.8. Connectedness of F 55 4 · · · 2.9. Involution σ and subgroup Spin(9) of F 57 4 · · · 2.10. Center z(F ) of F 58 4 4 · · · 2.11. Involution γ and subgroup (Sp(1) Sp(3))/Z of F 59 × 2 4 · · · 2.12. Automorphism w of order 3 and subgroup (SU(3) SU(3))/Z3 of F × 63 4 · · · 2.13. Complex exceptional Lie group F C 65 4 · · · 2.14. Non-compact exceptional Lie groups F and F of type F 66 4(4) 4(−20) 4 · · · 2 III. Exceptional Lie group E6 3.1. Compact exceptional Lie group E 68 6 · · · 3.2. Lie algebra e of E 68 6 6 · · · 3.3. Simplicity of e C 70 6 · · · 3.4. Element A B of e C 71 ∨ 6 · · · 3.5. Killing form of e C 73 6 · · · 3.6. Roots of e C 75 6 · · · 3.7. Involution τ and subgroup F of E 82 4 6 · · · 3.8. Connectedness of E 82 6 · · · 3.9. Center z(E ) of E 85 6 6 · · · 3.10. Involution σ and subgroup (U(1) Spin(10))/Z of E 86 × 4 6 · · · 3.11. Involution γ and subgroup (Sp(1) SU(6))/Z of E 90 × 2 6 · · · 3.12. Involution τγ and subgroup Sp(4)/Z of E 95 2 6 · · · 3.13. Automorphism w of order 3 and subgroup (SU(3) SU(3) SU(3))/Z of E × × 100 3 6 · · · 3.14. Complex exceptional Lie group E C 105 6 · · · 3.15. Non-compact exceptional Lie groups E6(6), E6(2), E6(−14) and E of type E 105 6(−26) 6 · · · IV. Exceptional Lie group E7 4.1. Freudenthal vector space PC 106 · · · 4.2. Compact exceptional Lie group E 108 7 · · · 4.3. Lie algebra e of E 108 7 7 · · · 4.4. Simplicity of e C 114 7 · · · 4.5. Killing form of e C 116 7 · · · 4.6. Roots of e C 118 7 · · · 4.7. Subgroups E and U(1) of E 124 6 7 · · · 4.8. Connectedness of E 126 7 · · · 4.9. Center z(E ) of E 129 7 7 · · · 4.10. Involution ι and subgroup (U(1) E )/Z of E 130 × 6 3 7 · · · 4.11. Involution σ and subgroup (SU(2) Spin(12))/Z of E 133 × 2 7 · · · 4.12. Involution τγ and subgroup SU(8)/Z of E 142 2 7 · · · 4.13. Automorphism w of order 3 and subgroup (SU(3) SU(6))/Z3 of E × 146 7 · · · 4.14. Complex exceptional Lie group E C 155 7 · · · 4.15. Non-compact exceptional Lie groups E7(7), E7(−5) and E7(−25) of type E 155 7 · · · 3 V. Exceptional Lie group E8 5.1. Lie algebra e C 157 8 · · · 5.2. Simplicity of e C 157 8 · · · 5.3. Killing form of e C 159 8 · · · 5.4. Complex exceptional Lie group E C 160 8 · · · 5.5. Compact exceptional Lie group E 161 8 · · · 5.6. Roots of e C 163 8 · · · 5.7. Involution υ and subgroup (SU(2) E )/Z of E 173 × 7 2 8 · · · 5.8. Involution λγ and subgroup Ss(16) of E 176 8 · · · 5.9. Center z(E8) of E8 184 e · · · 5.10. Automorphism w of order 3 and subgroup(SU(3) E6)/Z3 of E × 184 8 · · · 5.11. Automorphism w of order 3 and subgroup SU(9)/Z of E 186 3 3 8 · · · 5.12. Automorphism z5 of order 5 and subgroup(SU(5) SU(5))/Z5 of E × 192 8 · · · 5.13. Non-compact exceptional Lie groups E and E of E 199 8(8) 8(−24) 8 · · · 4 Notation R, C = R Re , H = R Re Re Re denote the fields of real, complex, ⊕ 1 ⊕ 1 ⊕ 2 ⊕ 3 quaternion numbers, respectively. For R-vector space V , its complexification u + iv u, v V is denoted by V C . { | ∈ } The complex conjugation in V C is denoted by τ: τ(u + iv)= u iv. − RC is briefly denoted by C. For K-vector space V (K = R, C, C), IsoK (V ) denotes all K-linear isomorphisms of V . For a K-linear mapping f of V , V denotes v V f(v)= v . f { ∈ | } For K-vector spaces V, W (K = R, C), HomK (V, W ) denotes all K-homomorph- ism f : V W . Hom (V, V ) is briefly denoted by Hom (V ). → K K Let G be a group and σ an automorphism of G. Then Gσ denotes g G σ(g)= { ∈ | g . For s G, Gs denotes g G sgs−1 = g . } ∈ { ∈ | } For topological spaces X, Y , X Y denotes that X and Y are homeomorphic. ≃ ′ ′ ′ For groups G, G , G ∼= G denotes that G and G are isomorphic as groups. Iso- morphic two groups G, G′ are often identified: G = G′. M(n,K) denotes all n n matrices with entries in K. × E = diag(1, , 1) M(n,K) is the unit matrix. · · · ∈ For A M(n,K), tA denotes the transposed matrix of A and A∗ denotes the ∈ conjugate transposed matrix of A: A∗ = tA. O(n)= A M(n, R) tAA = E (orthogonal group), { ∈ | } SO(n)= A O(n) detA =1 (spcecial orthogonal group), { ∈ | } U(n) = A M(n, C) A∗A = E or A M(n, C) τ(tA)A = E (unitary { ∈ | } { ∈ | } group), SU(n)= A U(n) detA =1 (speccial unitary group), { ∈ | } Sp(n)= A M(n, H) A∗A = E (symplectic group). { ∈ | } For a Lie group G, its Lie algebra is denoted by the correspoding small Germann letter g. For example, su(n) is the Lie algebra of the special unitary group SU(n). Special notations γ, σ, ι, κ, λ, µ, τ, υ, χ, g, w. 5 Exceptional Lie group G2 1.1. Cayley algebra C We denote the division Cayley algebra by C. We now explain this algebra. Con- sider an 8 dimensional R-vector space with basis e =1,e ,e ,e ,e ,e ,e ,e and { 0 1 2 3 4 5 6 7} define a multiplication between them as follows. In the figure below, the multiplication between e1,e2,e3 is defined as e1e2 = e3, e2e3 = e1, e3e1 = e2, and defined similarly on the other lines. For example, e1e6 = e7, e4e7 = e3 etc. We regard that e2,e5,e7 are also collinear, for example, e5e7 = e2. e0 = 1 is the unit of the multiplication and assume e 2 = 1, i =0, e e = e e , i = j, i =0, j =0, i − 6 i j − j i 6 6 6 and the distributive law. Thus C has a multiplication. x1, x R is briefly denoted ∈ by x. In C, the conjugate x, an inner product (x, y), the length x and the real part | | R(x) are defined respectively by e1 e2 e7 e4 e3 e5 e6 7 7 7 7 7 x + x e = x x e , x e , y e = x y , 0 i i 0 − i i i i i i i i i=1 i=1 i=0 i=0 i=0 X X X X7 X x = (x, x), R x + x e = x .