The Unapologetic Mathematician

Mathematics for the interested outsider

Properties of Irreducible Root Systems III

Today we conclude with our series of lemmas on irreducible root systems.

If \Phi is irreducible, then roots in \Phi have at most two different lengths. Here I mean actual geometric lengths, as measured by the inner product, not the “length” of a Weyl group element. Further, any two roots of the same length can be sent to each other by the action of the Weyl group.

Let \alpha and \beta be two roots. We just saw that the \mathcal{W}-orbit of \alpha spans V, and so not all the \sigma(\alpha) can be perpendicular to \beta. From what we discovered about pairs of roots, we know that if \langle\alpha,\beta\rangle\neq0, then the possible ratios of squared lengths \frac{\lVert\beta\rVert^2}{\lVert\alpha\rVert^2} are limited. Indeed, this ratio must be one of \frac{1}{3}, \frac{1}{2}, {1}, {2}, or {3}.

If there are three distinct root-lengths, let \alpha, \beta, and \gamma be samples of each length in increasing order. We must then have \frac{\lVert\beta\rVert^2}{\lVert\alpha\rVert^2}=2 and \frac{\lVert\gamma\rVert^2}{\lVert\alpha\rVert^2}=3, and so \frac{\lVert\gamma\rVert^2}{\lVert\beta\rVert^2}=\frac{3}{2}, which clearly violates our conditions. Thus there can be at most two root lengths, as asserted. We call those of the smaller length “short roots”, and the others “long roots”. If there is only one length, we call all the roots long, by convention.

Now let \alpha and \beta have the same length. By using the Weyl group as above, we may assume that these roots are non-orthogonal. We may also assume that they’re distinct, or else we’re already done! By the same data as before, we conclude that \alpha\rtimes\beta=\beta\rtimes\alpha=\pm1. We can replace one root by its negative, if need be, and assume that \alpha\rtimes\beta=1. Then we may calculate:

\displaystyle[\sigma_\alpha\sigma_\beta\sigma_\alpha](\beta)=[\sigma_\alpha\sigma_\beta](\beta-\alpha)=\sigma_\alpha(-\beta-\alpha+\beta)=\alpha.

We may note, in passing, that the unique maximal root \beta is long. Indeed, it suffices to show that \langle\beta,\beta\rangle\geq\langle\alpha,\alpha\rangle for all \alpha\in\Phi. We may, without loss of generality, assume \alpha is in the fundamental doman \overline{\mathfrak{C}(\Delta)}. Since \beta-\alpha\succ0, we must have \langle\gamma,\beta-\alpha\rangle\geq0 for any other \gamma\in\overline{\mathfrak{C}(\Delta)}. In particular, we have \langle\beta,\beta-\alpha\rangle\geq0 and \langle\alpha,\beta-\alpha\rangle\geq0. Putting these together, we conclude

\displaystyle\langle\beta,\beta\rangle\geq\langle\alpha,\beta\rangle\geq\langle\alpha,\alpha\rangle

and so \beta must be a long root.

About these ads

February 12, 2010 - Posted by | Geometry, Root Systems

4 Comments »

  1. Typo: gamma squared over alpha squared should be three not two.

    Comment by Gilbert Bernstein | February 14, 2010 | Reply

  2. thanks, fixed

    Comment by John Armstrong | February 14, 2010 | Reply

  3. [...] in each of the irreducible cases we see that there are at most two distinct root lengths. And, in each case, the unique maximal root is the long root within the fundamental [...]

    Pingback by Some Root Systems and Weyl Orbits « The Unapologetic Mathematician | February 15, 2010 | Reply

  4. [...] 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 [...]

    Pingback by Construction of Root Systems (setup) « The Unapologetic Mathematician | March 1, 2010 | Reply


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Follow

Get every new post delivered to your Inbox.

Join 394 other followers

%d bloggers like this: