Every root system is the root diagram of a compact semisimple Lie group. The root diagram determines the Lie algebra of this group up to isomorphism.
We have just introduced the notion of a root system, which is a finite set of vectors in satisfying a bunch of axioms, which are supposed to encapsulate what it means to be the root diagram of a compact semisimple group.
The axioms are:
for some , where denotes orthogonal projection onto the line through .
is symmetric under reflection in the hyperplane orthogonal to the line (the
Root systems are root diagrams
The root diagram doesn't determine the group up to isomorphism. For example, and have the same Lie algebra, and hence the same root diagram, but they are not isomorphic groups.
I'm not going to prove this theorem (not enough time left in the course), but you can do an in-depth project on it if you want. Instead, I will classify root systems up to isometry. Together with this theorem, this will yield a classification of Lie algebras of compact semisimple groups. In this video and the next, I will sketch the classification result. In the remaining videos, I will fill in some of the details.
Classification of root systems
Consider the root system of .
To understand all six roots
, we only need to understand the shaded region of the root diagram, which is a triangular wedge bounded by two root hyperplanes
, containing the root
. This is because the other five triangular regions are obtained from this one by reflecting using the Weyl group. This region is called a
This Weyl chamber is cut out by just two of the root hyperplanes (not all three). More precisely, I have picked a line of irrational slope (green in the figure below: a line through the origin which doesn't contain any other points in the weight lattice) which divides my roots into negative roots (
on the left hand side) and positive roots (
on the right hand side). This turns out to be enough to distinguish a subset of the roots called
The number of simple roots is , the dimension of the root system. Moreover, if and are simple roots then .
We will prove this in a later video.
In the example above, there are two simple roots because the root system lives in the plane. Moreover, the dot product between them is negative ( points vertically up, points down and right).
I want to think of the boundary of the Weyl chamber as mirrors. The whole diagram would appear (via reflections and reflections of reflections etc) if you just put two mirrors at 60 degrees and looked into the chamber they make.
The photograph below shows what I'm talking about. It is a polyhedral kaleidoscope made of three mirrors. The reflections of the red Lego brick form the root diagram of . The pairs of mirrors make angles of degrees, degrees and degrees, which is what tells us we have the root system of . In the next video, we will continue the discussion by talking about the possible angles between mirrors in a root system.