## Construction of Root Systems (setup)

Now that we’ve proven the classification theorem, we know all about root systems, right? No! All we know is which Dynkin diagrams could *possibly* arise from root systems. We don’t know whether there actually exists a root system for any given one of them. The situation is sort of like what we found way back when we solved Rubik’s magic cube: first we established some restrictions on allowable moves, and then we showed that everything else actually happened.

And so we must construct some actual root systems. For this task, we let stand for a finite-dimensional real vector space for various , equipped with its usual inner product. We pick an orthonormal basis and let the integral linear combinations of these basis vectors form the lattice . Here, I do *not* mean “lattice” in the order-theory sense. I mean that this is a discrete collection of points in the vector space that is closed under addition.

In every case we’re going to take either the lattice , or a slightly modified lattice . We’ll define our root system to be the collection of vectors in the lattice of either one or two specified lengths (since there can be at most two root lengths). That is, we’re considering the intersection of a discrete collection of points with one or two spheres. These spheres are closed and bounded, and thus compact. The collection must be finite or else it would have an accumulation point by Bolzano-Weierstrass, and thus wouldn’t be discrete!

Any one of our constructed collections will span , and in fact an explicit basis will be shown in each case, in case it’s not clear. It should also be clear that none of them can contain the vector , and so the first condition of being a root system will hold. Our choice of lengths will make it clear that there are no possible scalar multiples of a root besides itself and its negative. On the other hand, it should be clear that if is in a lattice and on a sphere , then is also in both, and thus the second condition holds.

The reflection preserves lengths, and so it sends the spheres back to themselves. We’ll have to check in each case that sends every vector in our collection back into the lattice, which will establish the third condition.

As to the fourth condition, the inner product is automatically going to be in when we pick and from a lattice, and so picking the squared radii of our spheres to divide should be enough to guarantee that .

Tomorrow we start in constructing our root systems, towards the theorem: For each Dynkin diagam allowed by the classification theorem, there exists an irreducible root system having that diagram.

[...] of A-Series Root Systems Starting from our setup, we construct root systems corresponding to the Dynkin [...]

Pingback by Construction of A-Series Root Systems « The Unapologetic Mathematician | March 2, 2010 |

[...] of D-Series Root Systems Starting from our setup, we construct root systems corresponding to the Dynkin diagrams (for [...]

Pingback by Construction of D-Series Root Systems « The Unapologetic Mathematician | March 3, 2010 |

[...] of B- and C-Series Root Systems Starting from our setup, we construct root systems corresponding to the (for ) and (for ) Dynkin diagrams. First will be [...]

Pingback by Construction of B- and C-Series Root Systems « The Unapologetic Mathematician | March 4, 2010 |

[...] Construction of the G2 Root System We’ve actually already seen the root system, back when we saw a bunch of two-dimensional root system. But let’s examine how we can construct it in line with our setup. [...]

Pingback by Construction of the G2 Root System « The Unapologetic Mathematician | March 8, 2010 |

[...] Construction of the F4 Root System Today we construct the root system starting from our setup. [...]

Pingback by Construction of the F4 Root System « The Unapologetic Mathematician | March 9, 2010 |

[...] of E-Series Root Systems Today we construct the last of our root systems, following our setup. These correspond to the Dynkin diagrams , , and . But there are transformations of Dynkin diagrams [...]

Pingback by Construction of E-Series Root Systems « The Unapologetic Mathematician | March 10, 2010 |

[...] a list of the Dynkin diagrams that might arise from root systems. And then we could actually construct root systems that gave rise to each of these [...]

Pingback by Root Systems Recap « The Unapologetic Mathematician | March 12, 2010 |