Pairs of Roots
When we look at a root system, the integrality condition puts strong restrictions on the relationship between any two vectors in the root system. Today we’ll look at this in two ways: one more formal and the other more visual.
First off, let’s look a bit deeper at the condition
Then we can consider the product
This has to be an integer between and . And it can only hit if is a multiple of , in which case we already know that must be . So some simple counting shows the possibilities. Without loss of generality we’ll assume that .
We see that if and are orthogonal then we have no information about their relative lengths. This is to be expected, since when we form the coproduct of two root systems the roots from each side are orthogonal to each other, and we should have no restriction on their relative lengths. On the other hand, if they aren’t orthogonal, then there are only a handful of possibilities.
Let’s try to look at this more visually. The vectors and span some two-dimensional space. We can choose an orthogonal basis (and thus coordinates) that makes , and then . We calculate
The first of these conditions says that for some integer . We can manipulate the second to tell us that for some integer . Let’s plot some of these!
The vector pointing to is . The blue vertical lines correspond to the first condition for , while the red circles correspond to the second condition for . Any larger values of will put lines further out than any of the circles can touch, while any larger values of will put smaller circles further in than any line can touch. Thus, all possible values of which satisfy both conditions are the twenty highlighted points in this image, six examples of which are indicated in the diagram.
The three examples towards the top of the diagram correspond to the second, fourth, and sixth lines in the above table. The three examples toward the bottom are similar, but have . We can see that if we project any of the examples onto , the projection is a half-integral multiple of . Conversely, projecting onto any of the examples gives a half-integral multiple of that vector.
So we can say a lot about how any two vectors in are related if they aren’t parallel or orthogonal. The question now is how we can pick a whole collection of vectors so that each pair relates to each other in one of these very particular ways.