Lecture 18 — Classification of Dynkin Diagrams 1 Examples of Dynkin

Lecture 18 — Classification of Dynkin Diagrams 1 Examples of Dynkin

18.745 Introduction to Lie Algebras October 21, 2010 Lecture 18 | Classification of Dynkin Diagrams Prof. Victor Kac Scribe: Benjamin Iriarte 1 Examples of Dynkin diagrams. In the examples that follow, we will compute the Cartan matrices for the indecomposable root systems that we have encountered earlier. We record these as Dynkin diagrams, summarized in Figure 1. Later in the lecture, we will prove that these are actually the Dynkin diagrams of all possible indecomposable root systems. We also compute extended Dynkin diagrams specifically for the purposes of this proof. In the following examples, the rank of the root system is always denoted by r, and we get simple roots α1; : : : ; αr. The largest root, used in the extended Dynkin diagrams, is denoted by θ. Example 1.1. A (r ≥ 2): This corresponds to sl ( ). We have (" ;" ) = δ and ∆ = r r+1 F i j ij slr+1(F) Lr+1 f"i − "j j i; j 2 f1; : : : ; r + 1g and i 6= jg ⊂ V , where V is the subspace of i=1 R"i on which the sum of coordinates (in the basis f"i j i 2 f1; : : : ; r + 1gg) is zero. ∗ Take f 2 V given by f("1) = r + 1; f("2) = r; : : : ; f("r+1) = 1. Then, ∆+ = f"i − "j j i < jg, Π = f"i − "i+1 j i 2 f1; : : : ; rgg and θ = "1 − "r+1. For the Cartan matrix, recall that: 0 2 −1 0 ··· 0 1 B . C B −1 2 −1 . C B C B .. C A = B 0 −1 2 . 0 C : B C B . .. .. C @ . −1 A 0 ··· 0 −1 2 Hence, we obtain the Dynkin diagrams in Figure 1a. Example 1.2. Br(r ≥ 3): This corresponds to so2r+1(F). We have ∆so2r+1( ) = {±"i ± "j; ±"i j Lr F i; j 2 f1; : : : ; rg and i 6= jg ⊂ V = i=1 R"i: Take f given by f("1) = r; : : : ; f("r) = 1. Then, ∆+ = {±"i ± "j;"i j i; j 2 f1; : : : ; rg and i 6= jg, Π = f"i − "i+1 j i 2 f1; : : : ; r − 1gg t f"rg and θ = "1 + "2. 1 Figure 1: Dynkin diagrams and extended Dynkin diagrams of all the indecomposable root systems, from top to bottom, these correspond to: Ar;Br;Cr;Dr;E8;E7;E6;F4;G2: 2 The Cartan matrix is then: 0 2 −1 0 ··· 0 1 B . C B −1 2 −1 . C B C B .. C A = B 0 −1 2 . 0 C : B C B . .. .. C @ . −1 A 0 ··· 0 −2 2 Hence, we get the Dynkin diagrams in Figure 1b. Example 1.3. Cr(r ≥ 1): This corresponds to sp2r(F). We have ∆sp ( ) = {±"i ± "j j i; j 2 Lr 2r F f1; : : : ; rgg ⊂ V = i=1 R"i. We take the same f as in the previous case. Then, Π = f"i − "i+1 j i 2 f1; : : : ; r − 1gg t f2"rg and θ = 2"1. This gives the Cartan matrix: 0 2 −1 0 ··· 0 1 B . C B −1 2 −1 . C B C B .. C A = B 0 −1 2 . 0 C : B C B . .. .. C @ . −2 A 0 ··· 0 −1 2 The corresponding Dynkin diagrams are shown in Figure 1c. Example 1.4. D (r ≥ 4): This corresponds to so ( ). We have ∆ = {±" ± " j i; j 2 r 2r F so2r(F) i j ∗ f1; : : : ; rg and i 6= jg. Define f 2 V by f("1) = r − 1; : : : ; f("r) = 0. Then ∆ = f"i ± "j j i < jg, Π = f"1 − "2;:::;"r−1 − "r;"r−1 + "rg and θ = "1 + "2. The Cartan matrix is: 0 2 −1 0 :::::: 0 1 B . C B −1 2 −1 . C B C B .. .. C B 0 −1 . 0 0 C A = B C : B . .. C B . 2 −1 −1 C B C B . C @ . 0 −1 2 0 A 0 ::: 0 −1 0 2 Hence, we have the Dynkin diagrams in Figure 1d. 1 Example 1.5. E8: We have ∆E8 = {±"i±"j j i; j 2 f1;:::; 8g and i 6= jgtf 2 (±"1 ± "2 ± · · · ± "8)g even number of + signs L8 with V = i=1 R"i. Let f("1) = 32; f("2) = 6; f("3) = 5; : : : ; f("7) = 1; f("8) = 0. 1 Then, ∆+ = f"i ± "j j i < jg t f 2 ("1 ± "2 ± · · · ± "8)g. Also, Π = f"2 − "3;"3 − "4;:::"7 − even number of + signs 1 ~ "8; 2 ("1 − "2 − · · · − "7 + "8)g and θ = "1 + "2. We get the diagrams E8 and E8 in Figure 1e. 3 Exercise 1.1. E6: We have: ∆E6 =fα 2 ∆E8 j α1 + ··· + α6 = 0 and α7 + α8 = 0g =f"i − "j j i; j 2 f1;:::; 6g and i 6= jg t {±("7 − "8)g 1 1 t f (±" ± " · · · ± " ) ± (" − " )g: 2 1 2 6 2 7 8 3 + signs in the first 6 terms Pick f("1) = 32; f("2) = 7; f("3) = 6; : : : ; f("7) = 2; f("8) = 1. We can then check that Π = 1 f"2 − "3;:::;"5 − "6;"7 − "8; 2 ("1 − "2 − "3 − "4 + "5 + "6 − "7 + "8)g, in particular, "1 − "2 = 1 1 2 ("1 − "2 − "3 − "4 + "5 + "6 − "7 + "8) + 2 ("1 − "2 + "3 + "4 − "5 − "6 + "7 − "8). Also, θ = "1 − "6 for obvious reasons. We obtain the Dynkin diagrams in Figure 1g. E7 : Also, ∆E7 = fα 2 ∆E8 j α1 + α2 + ··· + α8 = 0g, so: ∆E7 =f"i − "j j i; j 2 f1;:::; 8g and i 6= jg 1 t f (±"1 ± "2 · · · ± "8)g: 2 4 + signs Again, pick f("1) = 32; f("2) = 7; f("3) = 6; : : : ; f("7) = 2; f("8) = 1. Then, Π = f"2 − "3;"3 − 1 "4;:::;"7 − "8; 2 ("1 − "2 − "3 − "4 − "5 + "6 + "7 + "8)g and θ = "1 − "8 for obvious reasons. We obtain the Dynkin diagrams in Figure 1f. 1 Exercise 1.2. F4: We have ∆F4 = {±"i; ±("i − "j); 2 (±"1 ± "2 ± "3 ± "4) j i; j 2 f1;:::; 4g and i 6= 1 jg. Pick f("1) = 30; f("2) = 3; f("3) = 2; f("4) = 1. Then, Π = f"2 − "3;"3 − "4;"4; 2 ("1 − "2 − "3 − "4)g and so θ = "1 + "2. This produces the Dynkin diagrams of Figure 1h. G2: Finally, ∆G2 = {±("1 − "2); ±("1 − "3); ±("2 − "3); ±(2"1 − "2 − "3); ±(2"2 − "1 − "3); ±(2"3 − "1 − "2)g. Pick f("1) = 2; f("2) = 1; f("3) = 4. Then, Π = f"1 − "2; −2"1 + "2 + "3g, and so θ = 2"3 − "1 − "2. We obtain the Dynkin diagrams of Figure 1i. 2 Classification of Dynkin Diagrams. Theorem 2.1. A complete non-redundant list of connected Dynkin diagrams is the following: D(Ar)(r ≥ 2), D(Br)(r ≥ 3), D(Cr)(r ≥ 1), D(Dr)(r ≥ 4), D(E6), D(E7), D(E8), D(F4) and D(G2). (See Figure 1 for these Dynkin diagrams and their extended versions.) Remark 2.2. Note that D(A1) = D(B1) = D(C1), D(B2) = D(C2) and D(D3) = D(A3). Proof. We prove that there are no other Dynkin diagrams. To do this, we find all connected graphs with connections of the 4 types depicted in Figure 2, such that the matrix of any subgraph has a positive determinant, in particular any subgraph must be a Dynkin diagram. Equivalently, we require that the determinant of all principal minors of the corresponding Cartan matrix are positive. In particular, our graphs contain no extended Dynkin diagrams as induced subgraphs, since these have determinant 0. 4 Figure 2: The four Dynkin diagram connection types, corresponding to the four types of 2 × 2 Cartan matrix minors. Figure 3: Some diagrams for the simply laced case. Part 1. We first classify all simply-laced Dynkin diagrams D(A), i.e. diagrams using only or − connections (which correspond to a symmetric Cartan matrix A). Such a diagram contains no cycles, since otherwise it contains D(A~r). It has simple edges and it may or may not contain branching vertices. If there are no branching vertices, we get D(Ar). If there are two branching vertices, the diagram contains D(D~r), which is not possible. If there is precisely one branching vertex, it has at most 3 branches, since D(D~4) is the 4-star in Figure 3a. Therefore, it remains to consider the case when our graph D(A) is of the form Tp;q;r, p ≥ q ≥ r ≥ 2, depicted in Figure 3b. If r = 3, then Tp;q;r contains D(E~6) = T3;3;3, which is impossible, so r = 2. If q = 2, we have type D. Now, assume q ≥ 3. If q > 3, then D(A) contains D(E~7) = T4;4;2, which is impossible, so we are left with the case Tp;3;2 with p ≥ 3. The case p = 3 is E6, the case p = 4 is E7 and the case p = 5 is E8. The case p = 6 is E~8, so Tp;3;2 with p > 5 is impossible. Part 2. We now classify all non-simply-laced diagrams D(A), i.e. those containing double- or triple-edge connections (corresponding to a non-symmetric Cartan matrix A). This can be done by computing many large determinants, but we would rather argue using the following result: Exercise 2.1. Let A be an r × r matrix, and let B (resp. C) be the submatrices of A obtained by removing the first row and column (resp.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    7 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us