Nowadays, I am reading D.J.Benson's nice book, volume I of Representations and cohomology. I found it has a nice description on Dynkin diagrams. So I want to make a note on it and on it here. If the application is successful, I will have more time on Mathematiques intersting me. If the time permits, I will make anther note about the relationship of root system and Dynkin diagrams.
Contents
- Dynkin diagrams and Euclidean diagrams
- Cartan matrix and characterization of Dynkin diagrams using subadditve functions
- Characterization using positive definity of Cartan's matrix
Dynkin diagrams and Euclidean diagrams
The following labeled graphs are called Dynkin diagrams
- $A_n$($ngeq1$)
- $B_n$($ngeq 2$)
- $C_n$($ngeq 2$)
- $D_n$($ngeq 4$)
- $E_6$
; $E_7$
; $E_8$
-
$F_4$
-
$G_2$
The foot index illustrates the number of nodes. And 
, 
and 
stands a edge labelled by $(1,1)$, $(2,1)$ and $(3,1)$ respectively.
The following labeled graphs are called Euclidean diagrams
- $ ilde{A}_n$($ngeq 1$)
; $ ilde{A}_{11}$
; $ ilde{A}_{12}$
. - $ ilde{B}_n$($ngeq 3$)
- $ ilde{C}_n$($ngeq 3$)
- $ ilde{D}_n$($ngeq 5$)
- $widetilde{BC}_n$($ngeq 3$)
- $widetilde{BD}_n$($ngeq 4$)
- $widetilde{CD}_n$($ngeq 4$)
-
$ ilde{E}_6$
; $ ilde{E}_7$
; $ ilde{E}_8$ 
-
$ ilde{F}_{41}$
; $ ilde{F}_{42}$
-
$ ilde{G}_{21}$
; $ ilde{G}_{22}$
The sum of foot index illustrates the number of nodes.
Cartan matrix and characterization of Dynkin diagrams using subadditve functions
Definition. For a labelled graph $G=(V,E)$, defined its Cartan matrix $(c_{xy})_{x,yin V}$ where $$c_{xy}=2delta_{xy}-sum_{ extrm{all edges }xstackrel{(a,b)}longrightarrow y} a$$where $delta_{xy}=1$ if $x=y$ and vanishes if $x eq y$. A function $n: V o mathbb{Z}_{>0}$ is called subadditive if $$forall yin V, qquad sum_{xin V} n_xc_{xy}geq 0$$ And is called additive if $$forall yin V, qquad sum_{xin V} n_xc_{xy}= 0$$ Clearly, subadditivity implies additivity.
We will show that Dynkin diagram and Euclidean diagrams are the only finite connected diagrams admitting a subadditive function, and Euclidean diagrams are the only ones admitting an addtive function.
We need three lemmas.
Lemma 1. Any finite connected labelled graph $T$, either $T$ is a Dynkin diagram or there is a Euclidean diagram smaller than $T$. Where "smaller" means both "subgraph" and "smaller" in the numbers of the label. Note that in the definition of labelled graph, all the number in labels are taken to be positive integers.
Proof is just exclude the possibilities of not being Dynkin diagram.
Lemma 2. Suppose $T$ and $T'$ are connected labelled graphs and $T$ is strickly smaller than $T'$, if $n$ is a subadditve function on $T'$, then the restriction of $n$ over $T$ is subadditve but not additive.
Proof. For any vertex $y$ of $T$, we have $$0leq sum_x n_xc'_{xy}=2n_y-sum_{ extrm{all edges } xstackrel{(a,b)}longrightarrow y extrm{ in $T'$}}n_x ageq 2n_y-sum_{ extrm{all edges } xstackrel{(a,b)}longrightarrow y extrm{ in $T$}}n_x a=sum_x n_xc_{xy}$$Since $T$ is strictly smaller, the inequality can not achieve for some $y$. The proof is complete. $square$
Lemma 3. Any finite connected labelled graph $T$, if $T^{mathsf{op}}$ admits an additive function, then any subadditve function over $T$ is additive.
Proof. Assume $T^{mathsf{op}}$ admits an additive function $n$, then $sum c_{yx}n_x=0$. Then for any subadditive function $m$ over $T$, we have$$0=sum_ym_yigg(sum_{x} c_{yx}n_xigg)=sum_{x}n_x igg(sum_{y}m_yc_{yx}igg)$$The sum is a series of non-negetive integer, so we have $sum_{y}m_yc_{yx}=0$. $square$
And it suffices to prove there exists an additive function on each Euclidean diagrams. As following
(To check the additivity, just check that the sum of number "come in" equals to 2 times of the number of point. )
Now, we can conclude the discription of Euclidean diagrams and Dynkin diagrams
Theroem. If a finite connected labelled graph $T$ admits a subaddtive function iff $T$ is either a Dynkin diagram or a Euclidean diagram. If furthermore, $T$ admits an additive function iff$T$ is a Euclidean diagram.
Proof. By the above lemmas.
Characterization using positive definity of Cartan's matrix
Using the characterization above, one can easily deriver the following characerization
Theroem. Given a finite connected labelled graph $T$, let $C$ be its Cartan matrix. $C$ is semidefinite iff $T$ is either a Dynkin diagram or a Euclidean diagram. Furthermore, $C$ is positive definite iff $T$ is a Dynkin diagram.
Proof. For an Euclidean diagram, let $n$ be an additive function, note that the condition of additivity implies for any fixed $x$, $sum_{y eq x}frac{n_y c_{yx}}{n_x}=-2$, then$$egin{array}{rl}sum_{x,yin V}a_xa_yc_{xy} & =2sum_{xin V}a_x^2+sum_{x eq y} a_xa_yc_{xy} \ & =-sum_{xin V}frac{a_x^2n_yc_{yx}}{n_x}+sum_{x eq y} a_xa_yc_{xy} \& = -frac{1}{2}sum_{x eq y}ig(frac{a_x^2n_yc_{yx}}{n_x}+frac{a_y^2n_xc_{xy}}{n_y}ig)+sum_{x eq y} a_xa_yc_{xy} \ & =-frac{1}{2}sum_{x eq y} n_xn_yc_{xy}ig(frac{a_x}{n_x}-frac{a_y}{n_y}ig)^2geq 0end{array}$$ Then, it is not difficult to see that the Cartan matrix is positive definite for Dynkin diagram, merely because Dynkin diagrams are exactly the graph strictly smaller than Euclidean diagrams. To prove when $T$ is neither a Dynkin diagram nor a Euclidean diagram. By the lemma above, there are some Euclidean diagram $T'$ strictly smaller than $T$. If $T$ contains all points of $T'$, then $(n_x)$ such that $sum n_xn_yc_{xy}<0$, otherwise, pick a point, say $v$, in $T$ but not in $T'$, then $n'_x=egin{cases}n_x & extrm{$x$ in $T$} \ epsilon & x=v \ 0 & extrm{otherwise}end{cases}$, then $$egin{array}{rl}sum n'_xn'_y c_{xy} & =sum n_xn_yc_{xy}+2epsilon^2+underbrace{igg(sum_{xin V}c_{xv}igg)}_{<0}epsilon \ & leq 0+ 2epsilon^2+underbrace{igg(sum_{xin V}c_{xv}igg)}_{<0}epsilonend{array}$$Take $epsilon$ sufficient small, the above is strictly negetive. $square$
