Lecture 18 Classification of Dynkin Diagrams

Similar documents
Components and change of basis

Math 240 Calculus III

GROUP THEORY PRIMER. New terms: so(2n), so(2n+1), symplectic algebra sp(2n)

MATH 2050 Assignment 8 Fall [10] 1. Find the determinant by reducing to triangular form for the following matrices.

Evaluating Determinants by Row Reduction

A 2 G 2 A 1 A 1. (3) A double edge pointing from α i to α j if α i, α j are not perpendicular and α i 2 = 2 α j 2

Question: Given an n x n matrix A, how do we find its eigenvalues? Idea: Suppose c is an eigenvalue of A, then what is the determinant of A-cI?

Matrix Operations: Determinant

Chapter 2:Determinants. Section 2.1: Determinants by cofactor expansion

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 1 x 2. x n 8 (4) 3 4 2

Chapter 2. Square matrices

Root systems. S. Viswanath

ENGR-1100 Introduction to Engineering Analysis. Lecture 21. Lecture outline

ENGR-1100 Introduction to Engineering Analysis. Lecture 21

MATH 320: PRACTICE PROBLEMS FOR THE FINAL AND SOLUTIONS

The Laplace Expansion Theorem: Computing the Determinants and Inverses of Matrices

c c c c c c c c c c a 3x3 matrix C= has a determinant determined by

(Kac Moody) Chevalley groups and Lie algebras with built in structure constants Lecture 1. Lisa Carbone Rutgers University

Lecture 11 The Radical and Semisimple Lie Algebras

Determinants Chapter 3 of Lay

Formula for the inverse matrix. Cramer s rule. Review: 3 3 determinants can be computed expanding by any row or column

without annihilating, and q is the number of times E α can. This is encoded in the Cartan matrix for the simple roots, A ji = 2 α j α i = q p.

NOTES ON LINEAR ALGEBRA. 1. Determinants

Algorithms to Compute Bases and the Rank of a Matrix

1.10 Matrix Representation of Graphs

QUIVERS AND LATTICES.

2 b 3 b 4. c c 2 c 3 c 4

Materials engineering Collage \\ Ceramic & construction materials department Numerical Analysis \\Third stage by \\ Dalya Hekmat

A Study on Kac-Moody Superalgebras

Solution Set 7, Fall '12

7.3. Determinants. Introduction. Prerequisites. Learning Outcomes

TOPIC III LINEAR ALGEBRA

5 Quiver Representations

Graduate Mathematical Economics Lecture 1

Finite representation type

II. Determinant Functions

Math 304 Fall 2018 Exam 3 Solutions 1. (18 Points, 3 Pts each part) Let A, B, C, D be square matrices of the same size such that

Math Camp Notes: Linear Algebra I

The doubly negative matrix completion problem

Matrix Algebra Determinant, Inverse matrix. Matrices. A. Fabretti. Mathematics 2 A.Y. 2015/2016. A. Fabretti Matrices

k=1 ( 1)k+j M kj detm kj. detm = ad bc. = 1 ( ) 2 ( )+3 ( ) = = 0

Determinants: Uniqueness and more

Linear Algebra and Vector Analysis MATH 1120

Equality: Two matrices A and B are equal, i.e., A = B if A and B have the same order and the entries of A and B are the same.

The Matrix-Tree Theorem

L(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that

A = , A 32 = n ( 1) i +j a i j det(a i j). (1) j=1

Lesson 3. Inverse of Matrices by Determinants and Gauss-Jordan Method

Matrices and Determinants

Chapter SSM: Linear Algebra Section Fails to be invertible; since det = 6 6 = Invertible; since det = = 2.

Chapter 4. Determinants

Determinants. Samy Tindel. Purdue University. Differential equations and linear algebra - MA 262

SPRING OF 2008 D. DETERMINANTS

REPRESENTATION THEORY. WEEKS 10 11

Weyl orbits of π-systems in Kac-Moody algebras

Inverses and Determinants

MATH Topics in Applied Mathematics Lecture 12: Evaluation of determinants. Cross product.

Undergraduate Mathematical Economics Lecture 1


EE731 Lecture Notes: Matrix Computations for Signal Processing

arxiv:math/ v4 [math.co] 22 Sep 2005

MAC Module 3 Determinants. Learning Objectives. Upon completing this module, you should be able to:

The classification of root systems

Properties of the Determinant Function

Diagonalization. MATH 1502 Calculus II Notes. November 4, 2008

Linear Systems and Matrices

Determinants by Cofactor Expansion (III)

Lecture Notes in Linear Algebra

Lecture 2 Some Sources of Lie Algebras

MAT 5330 Algebraic Geometry: Quiver Varieties

h r t r 1 (1 x i=1 (1 + x i t). e r t r = i=1 ( 1) i e i h r i = 0 r 1.

[Disclaimer: This is not a complete list of everything you need to know, just some of the topics that gave people difficulty.]

Determinants. Recall that the 2 2 matrix a b c d. is invertible if

Linear algebra and applications to graphs Part 1

UNIT 3 MATRICES - II

2 Constructions of manifolds. (Solutions)

On the closures of orbits of fourth order matrix pencils

Final Examination 201-NYC-05 - Linear Algebra I December 8 th, and b = 4. Find the value(s) of a for which the equation Ax = b

Lecture 8: Determinants I

6. Dynkin quivers, Euclidean quivers, wild quivers.

Chapter 3. Determinants and Eigenvalues

ORIE 6334 Spectral Graph Theory September 8, Lecture 6. In order to do the first proof, we need to use the following fact.

PROBLEMS ON LINEAR ALGEBRA

On the adjacency matrix of a block graph

1. General Vector Spaces

Lecture Notes Introduction to Cluster Algebra

Kac-Moody Algebras. Ana Ros Camacho June 28, 2010

DETERMINANTS, MINORS AND COFACTORS ALGEBRA 6. Dr Adrian Jannetta MIMA CMath FRAS INU0114/514 (MATHS 1)

CLASSIFICATION OF TREES EACH OF WHOSE ASSOCIATED ACYCLIC MATRICES WITH DISTINCT DIAGONAL ENTRIES HAS DISTINCT EIGENVALUES

Conceptual Questions for Review

MATH2210 Notebook 2 Spring 2018

MATH 1210 Assignment 4 Solutions 16R-T1

Classification of root systems

Math Linear Algebra Final Exam Review Sheet

Linear Algebra. Matrices Operations. Consider, for example, a system of equations such as x + 2y z + 4w = 0, 3x 4y + 2z 6w = 0, x 3y 2z + w = 0.

THE CLASSIFICATION PROBLEM REPRESENTATION-FINITE, TAME AND WILD QUIVERS

Topics in Graph Theory

Linear Algebra Primer

Lecture Summaries for Linear Algebra M51A

1 0 1, then use that decomposition to solve the least squares problem. 1 Ax = 2. q 1 = a 1 a 1 = 1. to find the intermediate result:

Transcription:

18745 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 11 A r (r 2): This corresponds to sl r+1 (F) We have (ε i, ε j ) = δ ij and slr+1 (F) = {ε i ε j i, j {1,, r + 1} and i j} V, where V is the subspace of r+1 i=1 Rε i on which the sum of coordinates (in the basis {ε i i {1,, r + 1}}) is zero Take f V given by f(ε 1 ) = r + 1, f(ε 2 ) = r,, f(ε r+1 ) = 1 Then, + = {ε i ε j i < j}, Π = {ε i ε i+1 i {1,, r}} and θ = ε 1 ε r+1 For the Cartan matrix, recall that: 2 1 0 0 1 2 1 0 1 2 0 1 0 0 1 2 Hence, we obtain the Dynkin diagrams in Figure 1a Example 12 B r (r 3): This corresponds to so 2r+1 (F) We have so2r+1 (F) = {±ε i ± ε j, ±ε i i, j {1,, r} and i j} V = r i=1 Rε i Take f given by f(ε 1 ) = r,, f(ε r ) = 1 Then, + = {±ε i ± ε j, ε i i, j {1,, r} and i j}, Π = {ε i ε i+1 i {1,, r 1}} {ε r } 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: A r, B r, C r, D r, E 8, E 7, E 6, F 4, G 2 2

The Cartan matrix is then: 2 1 0 0 1 2 1 0 1 2 0 1 0 0 2 2 Hence, we get the Dynkin diagrams in Figure 1b Example 13 C r (r 1): This corresponds to sp 2r (F) We have sp2r (F) = {±ε i ± ε j i, j {1,, r}} V = r i=1 Rε i We take the same f as in the previous case Then, Π = {ε i ε i+1 i {1,, r 1}} {2ε r } and θ = 2ε 1 This gives the Cartan matrix: 2 1 0 0 1 2 1 0 1 2 0 2 0 0 1 2 The corresponding Dynkin diagrams are shown in Figure 1c Example 14 D r (r 4): This corresponds to so 2r (F) We have so2r (F) = {±ε i ± ε j i, j {1,, r} and i j} Define f V by f(ε 1 ) = r 1,, f(ε r ) = 0 Then = {ε i ± ε j i < j}, Π = {ε 1 ε 2,, ε r 1 ε r, ε r 1 + ε r } and θ = ε 1 + ε 2 The Cartan matrix is: 2 1 0 0 1 2 1 0 1 0 0 2 1 1 0 1 2 0 0 0 1 0 2 Hence, we have the Dynkin diagrams in Figure 1d Example 15 E 8 : We have E8 = {±ε i ±ε j i, j {1,, 8} and i j} { 1 2 (±ε 1 ± ε 2 ± ± ε 8 )} even number of + signs with V = 8 i=1 Rε i Let f(ε 1 ) = 32, f(ε 2 ) = 6, f(ε 3 ) = 5,, f(ε 7 ) = 1, f(ε 8 ) = 0 Then, + = {ε i ± ε j i < j} { 1 2 (ε 1 ± ε 2 ± ± ε 8 )} Also, Π = {ε 2 ε 3, ε 3 ε 4, ε 7 even number of + signs ε 8, 1 2 (ε 1 ε 2 ε 7 + ε 8 )} and θ = ε 1 + ε 2 We get the diagrams E 8 and Ẽ8 in Figure 1e 3

Exercise 11 E 6 : We have: E6 ={α E8 α 1 + + α 6 = 0 and α 7 + α 8 = 0} ={ε i ε j i, j {1,, 6} and i j} {±(ε 7 ε 8 )} { 1 2 (±ε 1 ± ε 2 ± ε 6 ) ± 1 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 Π = {ε 2 ε 3,, ε 5 ε 6, ε 7 ε 8, 1 2 (ε 1 ε 2 ε 3 ε 4 + ε 5 + ε 6 ε 7 + ε 8 )}, in particular, ε 1 ε 2 = 1 2 (ε 1 ε 2 ε 3 ε 4 + ε 5 + ε 6 ε 7 + ε 8 ) + 1 2 (ε 1 ε 2 + ε 3 + ε 4 ε 5 ε 6 + ε 7 ε 8 ) Also, θ = ε 1 ε 6 for obvious reasons We obtain the Dynkin diagrams in Figure 1g E 7 : Also, E7 = {α E8 α 1 + α 2 + + α 8 = 0}, so: E7 ={ε i ε j i, j {1,, 8} and i j} { 1 2 (±ε 1 ± ε 2 ± ε 8 )} 4 + signs Again, pick f(ε 1 ) = 32, f(ε 2 ) = 7, f(ε 3 ) = 6,, f(ε 7 ) = 2, f(ε 8 ) = 1 Then, Π = {ε 2 ε 3, ε 3 ε 4,, ε 7 ε 8, 1 2 (ε 1 ε 2 ε 3 ε 4 ε 5 + ε 6 + ε 7 + ε 8 )} and θ = ε 1 ε 8 for obvious reasons We obtain the Dynkin diagrams in Figure 1f Exercise 12 F 4 : We have F4 = {±ε i, ±(ε i ε j ), 1 2 (±ε 1 ± ε 2 ± ε 3 ± ε 4 ) i, j {1,, 4} and i j} Pick f(ε 1 ) = 30, f(ε 2 ) = 3, f(ε 3 ) = 2, f(ε 4 ) = 1 Then, Π = {ε 2 ε 3, ε 3 ε 4, ε 4, 1 2 (ε 1 ε 2 ε 3 ε 4 )} and so θ = ε 1 + ε 2 This produces the Dynkin diagrams of Figure 1h G 2 : Finally, G2 = {±(ε 1 ε 2 ), ±(ε 1 ε 3 ), ±(ε 2 ε 3 ), ±(2ε 1 ε 2 ε 3 ), ±(2ε 2 ε 1 ε 3 ), ±(2ε 3 ε 1 ε 2 )} Pick f(ε 1 ) = 2, f(ε 2 ) = 1, f(ε 3 ) = 4 Then, Π = {ε 1 ε 2, 2ε 1 + ε 2 + ε 3 }, and so θ = 2ε 3 ε 1 ε 2 We obtain the Dynkin diagrams of Figure 1i 2 Classification of Dynkin Diagrams Theorem 21 A complete non-redundant list of connected Dynkin diagrams is the following: D(A r )(r 2), D(B r )(r 3), D(C r )(r 1), D(D r )(r 4), D(E 6 ), D(E 7 ), D(E 8 ), D(F 4 ) and D(G 2 ) (See Figure 1 for these Dynkin diagrams and their extended versions) Remark 22 Note that D(A 1 ) = D(B 1 ) = D(C 1 ), D(B 2 ) = D(C 2 ) and D(D 3 ) = D(A 3 ) 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), ie diagrams using only or connections (which correspond to a symmetric Cartan matrix A) Such a diagram contains no cycles, since otherwise it contains D(Ãr) It has simple edges and it may or may not contain branching vertices If there are no branching vertices, we get D(A r ) 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 T p,q,r, p q r 2, depicted in Figure 3b If r = 3, then T p,q,r contains D(Ẽ6) = T 3,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(Ẽ7) = T 4,4,2, which is impossible, so we are left with the case T p,3,2 with p 3 The case p = 3 is E 6, the case p = 4 is E 7 and the case p = 5 is E 8 The case p = 6 is Ẽ8, so T p,3,2 with p > 5 is impossible Part 2 We now classify all non-simply-laced diagrams D(A), ie 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 21 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 the first two rows and two columns) We have: 5

Figure 4: A loop with one double-connection a) If then, det(a) = 2 det(b) ab det(c) 2 a 0 0 b 0 B 0, b) If c 1 a 1 0 0 b r b 1 c 2 a 2 0 0 0 b 2 c 3 0 ar 2 0 0 br 2 c r 1 a r 1 a r 0 0 b r 1 c r then, det(a εe 12 ) = det(a) ε (b 1 det(c) + r i=2 a i) In particular, if b 1 > 0, a i > 0 for i = 2,, r, det(c) > 0 and ε > 0, then det(a εe 12 ) < det(a) Proof We check these items separately a) This is clear, just do cofactor expansion along the first row of A to obtain directly det(a) = 2 det(b) ab det(c) b) This is also clear Consider the first row of A εe 12, write (c 1, a 1 ε, 0, 0,, 0, b r ) = (c 1, a 1, 0,, 0, b r )+(0, ε, 0,, 0), use the multilinearity of det to write det(a εe 12 ) = det(a)+ε det D, where D is obtained from A removing column 2 and row 1, and then do cofactor expansion along the first column of D to get det(d) = b 1 det(c)+( 1) r ( 1) r 1 i=2 a i = b 1 i=2 a i, where the second term comes directly from a lower triangular matrix, Exercise 21 implies that in the case of a non-simply laced diagram D(A), there are no cycles since then det(a) < det(ãr) = 0, a contradiction For example, the diagram in Figure 4 has Ã4 E 12, so det A < 0 6

Figure 5: Possible neighbors of G 2 in a diagram Next, looking at the extended Dynkin diagrams, if D(A) contains G 2 (Figure 1i), then it must be exactly G 2 by Exercise 21 Indeed, otherwise, using Figure 5 we see that there is a principal submatrix of A of the form: M = 2 a 0 b 2 1 0 3 2 with a, b > 0 Let M = ( 2 1 3 2 ) and M = ( 2 ) Hence, by Exercise 21, det(m) = 2 det(m ) ab det(m ) = 2(1 ab) 0, a contradiction (The matrix of the second graph in the figure is actually A T, but all the determinants are the same) It remains to consider the case when D(A) has only simple or double connections Looking at the extended Dynkin diagrams, D( C r ) (in Figure 1c) cannot be a subdiagram By Exercise 21, the variants with flipped arrow directions also do not work Indeed, using the notation of the exercise, they are obtained from the Cartan matrix A of D( C r ) by replacing some of A, B or C by their transposes, which does not change any of the determinants in the calculation Thus, Exercise 21a shows that each of these variants have also determinant 0 Therefore, D(A) may contain only one double connection But then, we cannot have branching points, since D( B r ) contains a double edge and a branching point So, the only remaining case is a line with a left-right double edge, having p single edges to the left, and q single edges to the right If p = 0, we get D(C r ) If q = 0, we get D(B r ) If p = q = 1, we get D(F 4 ) The diagram D( F 4 ) has p = 2, q = 1; its transpose has p = 1, q = 2 Hence, if p > 1 or q > 1, D(A) contains D( F 4 ), which is impossible We have now shown that any finite-dimensional simple Lie algebra yields one of a very restricted set of Dynkin diagrams (and hence Cartan matrices) The next step in the classification of semisimple Lie algebras will be to give a construction associating an abstract Cartan matrix to a Lie algebra, and hence to prove that these four classes plus five exceptional algebras are in fact the only finitedimensional simple Lie algebras We depict the plan of our actions: ss Lie alg g Cartan h (V = h R, ) root system choose f V Π A Cartan matrix abstract Cartan g(a) matrix A 7