The dihedral angle between two of the root hyperplanes in a root system can be , , or degrees and nothing else.
Classification of root systems, continued
The proof of this lemma will appear in another video. Let's see some examples of root systems which have these dihedral angles.
These are the root systems of , , and respectively.
For , the orthogonal projection of any root onto any of the other root lines gives zero (as the roots are all orthogonal to one another). Therefore for all pairs of non-collinear roots and . The angles between the mirrors are degrees.
The example of we've studied in some detail already. The dihedral angle is degrees.
The example of has some long roots and some short roots. For example, if we project onto the line through a short root then we get . If we project onto a long root, we get . The minimal dihedral angle appearing here is 45 degrees.
The final example comes from a group called . This is one of the few groups we haven't met. There are six short roots and six long roots. The angle between neighbouring roots is degrees. If you project from a short root to a long root you end up halfway to the long root (so ) and if you project from the long to the short root you end up of the way along the root line (so ).
It will turn out that these four are the only 2-dimensional root systems.
Drawing pictures in 2-d and making models in 3-d is all very well, but what about root systems in higher dimensions? It turns out there's a very efficient way of encoding these diagrams using a graph called a Dynkin diagram or Coxeter-Dynkin diagram.
Pick your favourite Weyl chamber. The boundary is a collection of mirrors corresponding to simple roots. We draw a dot for each mirror. We connect the dots with:
no edges if the dihedral angle is degrees,
one edge if the dihedral angle is degrees,
two edges if the dihedral angle is degrees,
three edges if the dihedral angle is degrees.
We further decorate the diagram with arrows on edges going from the dot corresponding to a short root to the dot corresponding to a long root.
For , there are two mirrors at degrees, so the Dynkin diagram is just two dots, no edges.
For , the Weyl chamber is cut out by two mirrors at degrees to one another, so the Dynkin diagram is two dots connected by an edge.
For , the Weyl chamber is cut out by two mirrors at degrees. The Dynkin diagram is therefore two dots connected by two edges; the edges have arrows pointing from the mirror corresponding to the short root to the mirror corresponding to the long root (in this case, the diagram is symmetric, so it doesn't matter which direction we draw the arrows).
For , the Weyl chamber is cut out by two mirrors at degrees to one another. The Dynkin diagram is therefore two dots with three edges between them (and arrows pointing from the short roots to the long roots).
The 3-dimensional example we saw at the end of the last video had three mirrors making pairwise angles , and with one another. The Dynkin diagram is therefore three dots in a line, with single edges connecting the first to second and second to third dots.
If is the root system of a compact semisimple Lie group then the Dynkin diagram of is a disjoint union of diagrams from the following list. (The diagrams on the list are connected; disjoint unions of Dynkin diagrams correspond to taking the product of the corresponding Lie algebras).
This is four infinite families of Dynkin diagrams and five exceptional cases . The four infinite families were known classically; the exceptional groups were discovered by people trying to classify them. They are hard to construct.
Remember that this is a classification of semisimple Lie algebras up to isomorphism: it's possible to have different groups with the same Lie algebra and hence the same Dynkin diagram.
The first infinite family is . The subscript tells you the number of dots. These Dynkin diagrams are just chains of dots, the first connected to the second, second to the third etc by single edges. These are the Dynkin diagrams of .
The second infinite family is . These are the Dynkin diagrams of the odd-dimensional rotation groups . The diagram is similar to except that the final two dots in the chain are connected by a double arrow pointing from vertex to vertex , so the final dot corresponds to a longer simple root.
The family is very similar except that the arrow goes the other way. These correspond to a family of groups called the symplectic groups which we haven't discussed.
The family has a chain of dots with two further dots sprouting off the last dot in the chain. All edges are single edges. This is the Dynkin diagram of (even-dimensional rotation group).
The graphs are respectively dots in a chain with one dot coming off the third dot (all edges single). This is not an infinite family: for example, the obvious thing you'd call an diagram doesn't correspond to a root system.
The diagram has four dots connected 1 to 2, 2 to 3 and 3 to 4 with 2 to 3 being a double arrow. has two dots connected by a triple arrow.
It's quite surprising that we've been studying this big class of groups, but aside from one infinite family (symplectic groups) and five exceptional cases we'd never have dreamed of by ourselves, we're already familiar with all the examples.
The Dynkin diagram is an amazingly economical way of encoding information. For example, the diagram is a complete recipe for building a configuration of eight 7-dimensional mirrors in 8-dimensional Euclidean space.
In what remains of the course, we will fill in some of the details of the proof of this theorem and the earlier lemmas.
Just by looking at the root diagrams, can you figure out the dimensions of the Lie algebras and ?
Sketch the (3-dimensional) root system corresponding to your choice of Dynkin diagram from amongst: , , and .