Today we construct the root system starting from our setup.
As we might see, this root system lives in four-dimensional space, and so we start with this space and its integer-component lattice . However, we now take another copy of and push it off by the vector . This set consists of all vectors each of whose components is half an odd integer (a “half-integer” for short). Together with , we get a new lattice consisting of vectors whose components are either all integers or all half-integers. Within this lattice , we let consist of those vectors of squared-length or : or ; we want to describe these vectors explicitly.
When we constructed the and series, we saw that the vectors of squared-length and in are those of the form (squared-length ) and of the form for (squared-length ). But what about the vectors in ? We definitely have — with squared-length — but can we have any others? The next longest vector in will have one component and the rest , but this has squared-length and won’t fit into ! We thus have twenty-four long roots of squared-length and twenty-four short roots of squared-length .
Now, of course we need an explicit base , and we can guess from the diagram that two must be long and two must be short. In fact, in a similar way to the root system, we start by picking and as two long roots, along with as one short root. Indeed, we can see a transformation of Dynkin diagrams sending into , and sending the specified base of to these three vectors.
But we need another short root which will both give a component in the direction of and will give us access to . Further, it should be orthogonal to both and , and should have a Cartan integer of with in either order. For this purpose, we pick , which then gives us the last vertex of the Dynkin diagram.
Does the reflection with respect to this last vector preserve the root system, though? What is its effect on vectors in ? We calculate
Now the sum is always an integer, whether the components of are integers or half-integers. If the sum is even, then we are changing each component of by an integer, which sends and back to themselves. If the sum is off, then we are changing each component of by a half-integer, which swaps and . In either case, the lattice is sent back to itself, and so this reflection fixes .
Like we say for it’s difficult to understand the Weyl group of in terms of its action on the components of . However, also like , we can understand it geometrically. But instead of a hexagon, now the long and short roots each make up a four-dimensional polytope called the “24-cell”. It’s a shape with 24 vertices, 96 edges, 96 equilateral triangular faces, and 24 three-dimensional “cells”, each of which is a regular octahedron; the Weyl group of is its group of symmetries, just like the Weyl group of was the group of symmetries of the hexagon.
Also like the case, the root system is isomorphic to its own dual. The long roots stay the same length when dualized, while the short roots double in length and become the long roots of the dual root system. Again, a scaling and rotation sends the dual system back to the one we constructed.