At SPUR this summer I’ll be working on the Kazhdan-Lusztig polynomials, although my mentor and I haven’t quite pinned down what problem I’m working on. I thought I’d take the chance to share some interesting mathematics and also to write up some background for my own benefit. I’ll mostly be following the second half of Humphreys.
A Coxeter system is a group together with a generating set and presentation of the form
where , and . (When there is no relation between , we write this as .) The group is a Coxeter group, and is usually understood to come with a preferred presentation, so we will often abuse terminology and use “group” and “system” interchangeably. is also referred to as the set of simple reflections in , and the rank. (We will only consider finitely-generated Coxeter groups.)
Historically, Coxeter groups arose as symmetry groups of regular polytopes and as Weyl groups associated to root systems, which in turn are associated to Lie groups, Lie algebras, and/or algebraic groups; the former are very important in understanding the latter. John Armstrong over at the Unapologetic Mathematician has a series on root systems. In addition, for a non-technical overview of Coxeter groups and -analogues, I recommend John Baez’s week184 through week187. The slogan you should remember is that Weyl groups are “simple algebraic groups over .”
Read Full Post »
Today we’re going to relate the representation graphs introduced in this blog post to something I blogged about in the very first and second posts in this blog! The result will be a beautiful connection between the finite subgroups of , the Platonic solids, and the ADE Dynkin diagrams. This connection has been written about in several other places on the internet, for example here, but I don’t know that any of those places have actually gone through the proof of the big theorem below, which I’d like to (as much for myself as for anyone else who is reading this).
Let be a finite subgroup of . Since any inner product on can be averaged to a -invariant inner product, every finite subgroup of is conjugate to a finite subgroup of , so we’ll suppose this without loss of generality. The two-dimensional representation of coming from this description is therefore faithful and self-dual. Consider the representation graph , whose vertices are the irreducible representations of and where the number of edges between and is the multiplicity of in . We will see that is a connected undirected loopless graph whose spectral radius is . Today our goal is to prove the following.
Theorem: The connected undirected loopless graphs of spectral radius are precisely the affine Dynkin diagrams .
We’ll describe these graphs later; for now, just keep in mind that they are graphs with a number of vertices which is one greater than their subscript. In a later post we’ll see how these give us a classification of the Platonic solids, and we’ll also discuss other connections.
Read Full Post »
Funnily enough, a few days after I wrote the previous post, I was linked to a graph theory paper where one of the first results cited, which was clearly well-known to the authors, is the following remarkable generalization of what I tried to do:
Theorem: The only connected simple graphs with spectral radius less than or equal to are the induced subgraphs of the Dynkin diagrams .
I have to admit, I really didn’t suspect that the classification result I was going after was both so simple and so interesting! Certainly there are heuristic reasons why the above classification makes sense: as I forgot to note in the previous post, there really can’t be too many vertices of degree in a graph with . But I really can’t fathom why spectral radius can be used to define the Dynkin diagrams, considering their relationship to
- simply laced Lie groups,
- binary polyhedral groups and the Platonic solids,
- quiver representations, or
- the octonions (okay, this one is stretching it a little).
Anyone know any good references?
In any case, I’d like to discuss the McKee-Smyth paper because it has some interesting ideas I’d thought about independently.
Read Full Post »