# Lately in Lie Groups

Lie Groups 11/3/09

Claim from last time; The notation: = roots of a semisimple lie algebra. To reduce typing write for ; is the Weyl group generated by reflections .

If you look at the complement of you divide your vector space into Weyl chambers. The first part of class was showing the Weyl groups acts simply and transitively ( = free and transitive?) on the chambers.

Next, let be the angle between the roots . Then set using this can be re-written as

.

Hence . So have same sign if . Have iff iff .

So assume this is not the case, then (recall that have to be integers, essentially because reps of only have integer eigen values. Assume , equivalently Get table

some of the possibilities

rank 1: only have corresponds to

rank 2: get and for angles . For angle get which is among other things corresponds to . You also get something for . This is said more explicitly in pg 257 of Hall’s book.

Prop (this is also done somewhere in Humphreys): If is simple then is an irrep of , the Weyl group iff the root system is ireddcuible.

proof(sketch): Roughly, if the root system decomposes then the subalgebra generated by for will end being a proper ideal of , contradicting that its simple. More details are in pg. 73 of Humphreys. The equivalence irrep iff irreducible, I didn’t write down. But roughly seems to be if the root system is irreducible, then the action of the Weyl group will be transitive, meaning no sub invariant subspaces, and vice versa.

Now examples in rank 3

…, didn’t write down.

About triangles on spheres.

, area of spherical triangle = . Gave a proof that I didn’t write down.

## About this entry

You’re currently reading “Lately in Lie Groups,” an entry on Math Meandering

- Published:
- November 4, 2009 / 9:51 pm

- Category:
- Lie Groups (course)

- Tags:

## No comments yet

Jump to comment form | comment rss [?] | trackback uri [?]