In a previous post, I’ve written about the classification of simple Lie algebras over the field of complex numbers. Recall that there are 4 infinite families of simple Lie algebras, , , , () and 5 exceptional ones , , , , . It was highlighted that the concept of root system has a crucial role in the classification. The root system of the largest exceptional Lie algebra was also mentioned. There is also a bunch of photos of the most symmetric 2-dimensional projection, which is made of needles and colourful threads – an string art. Go check them out! Since then, I’ve finished the remaining 4 projections, namely the ones corresponding to , , , . Click here to see some photos of them! I also made them in printable form using LaTeX and TikZ. You can download them in PDF.
I’d like to devote this post to describing all five exceptional root systems and how the above-mentioned string arts were made. First, explaining the mathematics behind the construction. Then, considering each root system separately and learning some interesting facts about them.
The Coxeter Plane
The main objects of our interest here are root systems, so let me quickly repeat the definition.
A finite set of non-zero vectors in some real (finite-dimensional) Euclidean space with scalar product is called a root system if the following conditions are met:
- (R1) spans ;
- (R2) the only multiples of which belong to are ;
- (R3) is closed under the reflections through hyperplanes perpendicular to its elements;
- (R4) the number is an integer for any .
It can be shown that for any root system there exists a subset of roots, called base, such that:
- (B1) forms a basis in ;
- (B2) every root can be written as with integral coefficients all non-negative or all non-positive.
Although clearly depends on the choice of base and the order in which the simple reflections are multiplied in (2), any two ordering gives Coxeter elements which are conjugated to each other by some element of the Weyl group. Thus the order of is always the same. It is called the Coxeter number of and it is the smallest positive integer , such that
|Root system of|
Table. The Coxeter number of simple Lie algebras.
Let’s give some other characterizations of the Coxeter number, which could serve as alternative definitions:
- The Coxeter number is the number of roots divided by the rank, i.e. .
- If the highest root (in the partially ordered set of roots) the coefficients in the basis of simple roots, then
- If be the corresponding Lie algebra, then .
This procedure provides the points for the needles in the string art. Next, we draw lines between roots that are closest to each other. That is, between roots and if their distance is minimal. The colour of the lines in the projection has no particular meaning, it depends only on the distance from the origin.
The Exceptional Root Systems
Here I describe the exceptional root systems in the increasing order of ranks.
Permutations and sign changes of the components of and give all root vectors of . Its Weyl group is of order and is isomorphic to the dihedral group . Clearly, there are two different root lengths whose ratio is . Since the root system is already in a plane, it coincides with its Coxeter projection.
The root vectors form two hexagons hence the root system of contains the solution for the Kissing number problem in two dimensions.
Its Weyl group is has elements and it is the symmetry group of the so-called 24-cell, which is contained in the root system twice. Thus the root system of gives the solution for the Kissing number problem in four dimensions.
The order of the Weyl group of is . In its Coxeter projection two -element sets of roots project on top of each other, therefore we see points.
The size of the Weyl group of is .
I’ve already written about the root system of . For the sake of completeness, I repeat that previous description below.
Among the exceptional Lie algebras, is the largest one. Its root system lives in -dimensional space and can be described as follows. Let denote the standard basis in , that is
The root system consists of vectors. It has vectors of the form
with every possible indices and signs. By the way these vectors constitute the root system. The remaining vectors can be written as
where the number of minus signs must be even.
Notice that these points are on the surface of the -sphere of radius centered at the origin. In addition, each root has exactly closest neighbours (at distance ). If we put spheres with radius around every point and the origin, we get a very tightly packed configuration. The sphere at the origin is in contact with all spheres. It turns out that this is the solution of the kissing number problem in dimensions.
The number of symmetries of the root system is immense. Its symmetry group (Weyl group) is of order . Compare this with the -cube which has `only’ symmetries.
Bonus Video: The Beauty of E8
“The E8 root system, or Gosset 421 polytope, is an exceptional uniform polytope in 8 dimensions, having 240 vertices and 6720 edges. This video shows a 2-dimensional projection of this polytope as it rotates in various ways.”