Dynkin Diagrams

We have seen that any simple Lie algebra can be decomposed into a Cartan subalgebra $\hh$ and its eigenspaces $\gg_\alpha$. Furthermore, the commutators of elements in $\gg_{\pm\alpha}$ determine a collection of preferred elements $H_\alpha\in\hh$, and the angles between the $H_\alpha$ are tightly constrained. We show in this section that these constraints in turn impose additional constraints on the possible types of simple Lie algebras.

The roots $\alpha\in\hh^*$ share the same angles as the corresponding $H_\alpha$. We first reduce the number of roots to an independent set, $\{\alpha_i\}$. Any other root can, of course be expressed as a linear combination of our chosen basis. The symmetry of the roots allows us to choose the basis so that the nonzero coefficients are always either strictly positive or strictly negative; the two types of roots are then called positive and negative roots, respectively, and the basis elements are called simple roots. For each root $\alpha$, one of $\pm\alpha$ is positive. The positive roots have the property that they are all sums, not differences, of the simple roots; in fact, the coefficients turn out to be positive integers. It is not hard to see that the positivity property means that the angle between any two simple roots must be obtuse, rather than acute.

Recall that all pairs of roots satisfy \[ \frac{\alpha\cdot\beta}{\alpha\cdot\alpha} \in \frac12\ZZ \] so that the angle $\theta$ between the roots must satisfy \[ 4 \cos^2\theta \in \{0,1,2,3,4\} . \] Since the simple roots $\alpha_i\in\RR^n$ are independent, they satisfy \begin{equation} 0 > \frac{\alpha_i\cdot\alpha_j}{\alpha_i\cdot\alpha_i} \in \frac12\ZZ \label{RootEq} \end{equation} and the angles $\theta_{ij}$ between roots must satisfy \begin{equation} 4 \cos^2\theta_{ij} = 0,1,2,3 . \end{equation} A Coxeter graph is a graph with one dot representing each simple root, and with each pair of dots connected by $4\cos^2\theta_{ij}$ lines. Equation (\ref{RootEq}) also constrains the relative magnitudes of (non-orthogonal)roots; a Dynkin diagram is a Coxeter graph with the addition of arrows on the double and triple connections pointing from the longer root to the shorter.

We now derive several restrictions on the possible Dynkin diagrams. To do so, the only assumptions we need are that the $\alpha_i\in\RR^n$ satisfy the conditions above. Most of these conditions apply both to Coxeter graphs and Dynkin diagrams.

There are at most k–1 connections between k simple roots.

For the purpose of this assertion, a connection refers to a pair of roots with at least one line connecting them; multiple lines between a given pair of roots still count as a single connection.

We let \begin{equation} \alpha = \sum_1^k \frac{\alpha_i}{|\alpha_i|} \ne 0 . \end{equation} where the inequality follows from the independence of the simple roots. The magnitude of $\alpha$ is given by \begin{align} 0 < \alpha\cdot\alpha &= \sum_{i,j} \frac{\alpha_i\cdot\alpha_j}{|\alpha_i| |\alpha_j|} \nonumber\\ &= k + 2 \sum_{i<j} \frac{\alpha_i\cdot\alpha_j}{|\alpha_i| |\alpha_j|} \nonumber\\ &= k + \sum_{i<j} 2\cos\theta_{ij} . \end{align} But either $\alpha_i\cdot\alpha_j=0$, in which case there are no connections, or \begin{equation} 4\cos^2\theta_{ij} \in \{1,2,3\} , \end{equation} in which case \begin{equation} 2\cos\theta_{ij} \le -1 . \end{equation} Thus, \begin{equation} 0 < k - \hbox{# of connections} \end{equation} which is what we were trying to show.

An immediate corollary is that there are no closed loops in a Coxeter graph.

There are at most 3 lines at each point.

Suppose that a simple root $\alpha$ is connected to $k$ other simple roots $\alpha_i$. Since there are no cycles, none of the $\alpha_i$ can be connected to each other. Thus, \begin{equation} i\ne j\Longrightarrow \alpha_i\cdot\alpha_j = 0 . \end{equation} Since the simple roots are independent, we can extend $\{\alpha_i\}$ to an orthogonal basis $\{\alpha_0,\alpha_i\}$ of the span $\langle\alpha,\alpha_i\rangle$. We can expand $\alpha$ in this basis, yielding \begin{equation} \alpha = \sum_0^k \frac{\alpha\cdot\alpha_i}{\alpha_i\cdot\alpha_i}\alpha_i . \end{equation} Since $\alpha$ is independent of the $\alpha_i$, we must have \begin{equation} \alpha\cdot\alpha_0 \ne 0 \end{equation} so that \begin{equation} |\alpha|^2 = \sum_0^k \frac{(\alpha\cdot\alpha_i)^2}{\alpha_i\cdot\alpha_i} > \sum_1^k \frac{(\alpha\cdot\alpha_i)^2}{|\alpha_i|^2} . \end{equation} Thus, \begin{equation} \hbox{# of lines} = 4 \sum_1^k \cos^2\theta_i = 4 \sum_1^k \frac{(\alpha\cdot\alpha_i)^2}{|\alpha|^2|\alpha_i|^2} < 4 \end{equation} so that the number of lines is strictly less than $4$, as claimed.

Simple chains of roots can be replaced by a single root.

Suppose that there is a chain of single lines connecting $\alpha_i$ to $\alpha_{i+1}$ for $1\le i\le k-1$, in which case \begin{align} \frac{\alpha_i\cdot\alpha_{i+1}}{\alpha_i\cdot\alpha_i} &= -\frac12 , \\ \alpha_1\cdot\alpha_1 &= … = \alpha_k\cdot\alpha_k = Q^2 . \end{align} We claim that the entire chain can be replaced by \begin{equation} \alpha = \sum_1^k \alpha_i \end{equation} with the result still being a valid Coxeter graph.

We first compute \begin{align} \alpha\cdot\alpha &= \sum_{i,j} \alpha_i\cdot\alpha_j \nonumber\\ &= \sum_i \alpha_i\cdot\alpha_i + 2 \sum_{i<j} \alpha_i\cdot\alpha_j \nonumber\\ &= \sum_1^k \alpha_i\cdot\alpha_i + 2 \sum_1^{k-1} \alpha_i\cdot\alpha_{i+1} \nonumber\\ &= k Q^2 - (k-1) Q^2 = Q^2 \end{align} so that $\alpha$ has the same magnitude as each of the $\alpha_i$. Furthermore, if $\beta$ is any other root, $\beta$ can be connected to at most one of the $\alpha_i$, in which case \begin{equation} \beta\cdot\alpha = \beta\cdot\alpha_i ; \end{equation} if not, $\beta\cdot\alpha=0$. In either case, all of the conditions on the original roots continue to hold if the $k$ roots $\alpha_i$ are replaced by the single root $\alpha$, as claimed.

Allowed Diagrams

We can use these three properties to rule out several Coxeter graphs. First of all, we consider only connected graphs, as only such graphs correspond to simple Lie algebras. The simplest graphs correspond to $n$ roots, connected in a single chain by single lines. This diagram is of type $A$; since there are $n$ roots, $\hh$ is $n$-dimensional. The corresponding Lie algebras are therefore called $\aa_n$. All of the roots have the same magnitude.

Consider instead a single chain, but with at least one double line. If there are more than one, then collapsing the roots in between must yield an allowable graph. But such a graph has four lines at a single point, which is not allowed. Thus, there is at most one double line, and hence exactly one. In this case, the roots have one of two magnitudes, depending on which side of the double connection they are on. Now suppose that there is a branch point in the graph. Again, there can not be more than one, since otherwise the chain between them could be collapsed, again resulting in a graph with four lines. Similarly, there can not be both a branch point and a double line. We will discuss these cases in further detail below; the corresponding Lie algebras are of types $B$–$F$.

Finally, if two roots are connected by three lines, then no other lines are possible. Thus, there is only one Coxeter graph with three lines. This diagram is of type $G$; since there are two roots, $\hh$ is 2-dimensional. The corresponding Lie algebra is therefore called $\gg_2$.

Diagrams with a double link.

Consider two simple chains, $p$ roots $\alpha_m$ on one side of a double link, and $q$ roots $\beta_k$ on the other, with the double link connecting $\alpha_p$ and $\beta_q$. Since all but one of the links are single lines, we know that \begin{equation} \alpha_m\cdot\alpha_m = P^2 , \qquad \beta_n\cdot\beta_n = Q^2 \end{equation} and we can assume without loss of generality that there are $p$ “short” roots and $q$ “long roots, so that $Q^2=2P^2$. We also know that \begin{equation} \frac{\alpha_m\cdot\alpha_{m+1}}{\alpha_m\cdot\alpha_m} = -\frac12 , \end{equation} with a similar relation for the roots $\beta_k$. Setting \begin{equation} \alpha = \sum_1^p m \frac{\alpha_m}{|\alpha_m|} , \qquad \beta = \sum_1^q k \frac{\beta_k}{|\beta_k|} , \end{equation} and using similar techniques as in the previous calculations, we can compute \begin{align} \alpha\cdot\alpha &= \sum_1^p m^2 - \sum_1^{p-1} m(m+1) \nonumber\\ &= p^2 + \sum_1^{p-1} \bigl(m^2-m(m+1)\bigr) \nonumber\\ &= p^2 - \sum_1^{p-1} m \nonumber\\ &= p^2 - \frac{p(p-1)}{2} = \frac{p(p+1)}{2} \end{align} and similarly \begin{equation} \beta\cdot\beta = \frac{q(q+1)}{2} . \end{equation} We also know that \begin{equation} 4\cos^2\theta = 4\frac{(\alpha_p\cdot\beta_q)^2}{P^2Q^2} = 2 \end{equation} so that \begin{equation} (\alpha_p\cdot\beta_q)^2 = \left( \frac{p\alpha_p}{P}\cdot\frac{q\beta_q}{Q} \right)^2 = {p^2q^2}\frac{(\alpha_p\cdot\beta_q)^2}{P^2Q^2} = \frac12 p^2q^2 . \end{equation} But \begin{equation} (\alpha\cdot\beta)^2 < (\alpha\cdot\alpha)(\beta\cdot\beta) \end{equation} or, in other words, \begin{align} \frac12 p^2q^2 &< \frac14 p(p+1)q(q+1) \\ &\Longrightarrow 2pq < pq + p + q + 1 \\ &\Longrightarrow pq < p + q + 1 \\ &\Longrightarrow (p-1)(q-1) < 2 . \label{pq} \end{align}

There are three ways to satisfy (\ref{pq}). If $p=1$, then there is only one short root; these Lie algebras are of type $B$, and denoted $\bb_{p+1}$. If $q=1$, then there is only one long root; these Lie algebras are of type $C$, and denoted $\cc_{q+1}$. Finally, if $p=q=2$, we get a single, exceptional case, of type $F$, and denoted $\ff_4$.

Diagrams with a branch point.

Consider now three simple chains meeting at a branch point $\psi$, with $p-1$ roots $\alpha_m$ in one chain, $q-1$ roots $\beta_k$ in the second, and $r-1$ roots $\gamma_\ell$ in the third. Since all of the links are single lines, we know that \begin{equation} \alpha_m\cdot\alpha_m = \beta_k\cdot\beta_k = \gamma_\ell\cdot\gamma_\ell = \psi\cdot\psi = Q^2 . \end{equation} As above, set \begin{equation} \alpha = \sum_1^p m \frac{\alpha_m}{|\alpha_m|} , \qquad \beta = \sum_1^q k \frac{\beta_k}{|\beta_k|} , \qquad \gamma = \sum_1^r \ell \frac{\gamma_\ell}{|\gamma_\ell|} . \end{equation} The magnitudes of $\alpha$, $\beta$, and $\gamma$ can be computed as in the preceding case, taking into account that the chains (excluding $\psi$) now contain $p-1$, $q-1$, and $r-1$ roots, respectively, yielding \begin{equation} \alpha\cdot\alpha = \frac{p(p-1)}{2} , \qquad \beta\cdot\beta = \frac{q(q-1)}{2} , \qquad \gamma\cdot\gamma = \frac{r(r-1)}{2} . \end{equation} The roots $\alpha_m$, $\beta_k$, $\gamma_\ell$ are mutually orthogonal; as before, we can complete this set of roots to an orthogonal basis by adding $\psi_0$, with $\psi\cdot\psi_0\ne0$. Expanding $\psi$ in terms of this basis, we get \begin{equation} \psi = \sum_1^{p-1} \frac{\psi\cdot\alpha_m}{\alpha_m\cdot\alpha_m}\alpha_m + \sum_1^{q-1} \frac{\psi\cdot\beta_k}{\beta_k\cdot\beta_k}\beta_k + \sum_1^{r-1} \frac{\psi\cdot\gamma_\ell}{\gamma_\ell\cdot\gamma_\ell} \gamma_\ell + \frac{\psi\cdot\psi_0}{\psi_0\cdot\psi_0}\psi_0 \end{equation} and therefore \begin{equation} \psi\cdot\psi > \sum_1^{p-1} \frac{(\psi\cdot\alpha_m)^2}{Q^2}\alpha_m + \sum_1^{q-1} \frac{(\psi\cdot\beta_k)^2}{Q^2}\beta_k + \sum_1^{r-1} \frac{(\psi\cdot\gamma_\ell)^2}{Q^2}\gamma_\ell . \end{equation} In other words, if $\theta_\alpha$ is the angle between the vectors $\psi$ and $\alpha$, etc., then \begin{equation} \cos^2\theta_\alpha + \cos^2\theta_\beta + \cos^2\theta_\gamma < 1 . \label{cos2} \end{equation} But \begin{equation} (\alpha\cdot\psi)^2 = \frac{(p-1)^2(\alpha_{p-1}\cdot\psi)}{Q^2} = (p-1)^2 (\psi\cdot\psi) \cos^2\theta_{p-1} = \frac14 (p-1)^2 |\psi|^2 . \end{equation} Thus, \begin{equation} \frac{(\alpha\cdot\psi)^2}{|\alpha|^2 |\psi|^2} = \frac{(p-1)^2/4}{p(p-1)/2} = \frac{p-1}{2p} = \frac12 (1-\frac1p) \end{equation} and similarly for $\beta$ and $\gamma$, which, using (\ref{cos2}), yields \begin{equation} \frac32 - \frac12\left(\frac1p+\frac1q+\frac1r\right) < 1 \end{equation} or in other words \begin{equation} \frac1p + \frac1q + \frac1r > 1 . \label{pqr} \end{equation}

There are several ways to satisfy (\ref{pqr}). If $q=r=2$, we get the diagrams of type $D$, and the Lie algebras denoted $\dd_{p+2}$. The only other distinct possibilities are $r=2$, $q=3$, and $p\in\{3,4,5\}$. These three exceptional cases belong to class $E$, and are denoted $\ee_6$, $\ee_7$, and $\ee_8$.

Special Cases

The four infinite families correspond to known symmetry groups. In terms of their Lie algebras, we have \begin{align} \aa_n &= \su(n+1) = \su(n+1,\CC) , \\ \bb_n &= \so(2n+1) = \su(n+1,\RR) , \\ \cc_n &= \sp(2n) = \su(n,\HH) , \\ \dd_n &= \so(2n) = \su(2n,\RR) . \end{align} There are similar correspondences for four of the five exceptional cases, namely \begin{align} \ff_4 &= \su(3,\OO) , \\ \ee_6 &= \sl(3,\OO) = \su(3,\CC\otimes\OO) , \\ \ee_7 &= \sp(6,\OO) = \su(3,\HH\otimes\OO) , \\ \ee_8 &= \su(3,\OO\otimes\OO) , \end{align} but the last case is somewhat different, namely \begin{equation} \gg_2 = \mathrm{Der}(\OO) , \end{equation} which at the group level says that \begin{equation} G_2 = \mathrm{Aut}(\OO) , \end{equation} that is, $G_2$ is the group of automorphisms of the octonions. We will discuss all of these correspondences further below.

The allowable Dynkin diagrams can easily be found online. Writing out the first few cases, there are several that overlap. For instance, \begin{align} \su(2) &\cong \aa_1 \cong \bb_1 \cong \so(3) ,\\ \so(5) &\cong \bb_2 \cong \cc_2 \cong \su(2,\HH) . \end{align} Somewhat more unexpectedly, we have \begin{equation} \su(4) \cong \aa_3 \cong \dd_3 \cong \so(6) , \end{equation} as well as \begin{equation} \so(4) \cong \dd_2 \cong \aa_1\oplus\aa_1 \cong \so(3)\oplus\so(3) \end{equation} showing explicitly that $\dd_2$, whose Dynkin diagram consists of two disconnected points, is not simple. To avoid these repetitions, one normally assumes that $n>1$ for $\bb_n$, that $n>2$ for $\cc_n$, and that $n>3$ for $\dd_n$.

Finally, the Lie algebras $\ee_n$ correspond to the the cases described above by the parameter values $(p,q,r)=(n-3,3,2)$ with $n=6,7,8$. We could in principle consider the cases $n=4,5$ as (also) being of type $E$. We would then have the duplications \begin{align} \ee_5 &\cong \dd_5 \cong \so(10) ,\\ \ee_4 &\cong \aa_4 \cong \su(5) , \end{align} so normally this is not done. However, it is worth pointing out that the nested sequence of Lie algebras \begin{equation} \so(10) \subset \su(5) \subset \ee_6 \subset \ee_7 \subset \ee_8 \end{equation} has a long history in physics, with each of the corresponding Lie groups being considered as candidates for the symmetry group of a so-called Grand Unified Theory, combining three of the four fundamental forces of nature, namely electromagnetism and the strong and weak nuclear forces.


Personal Tools