In my last post

https://picturethismaths.wordpress.com/2015/03/21/coxeter-dynkin-diagrams/

I talked about Coxeter groups and their corresponding Coxeter-Dynkin Diagrams. Here is a little recall of the definition of a Coxeter group:

A Coxeter group is generated by a set S and relations between elements of S, of the form

(st)^{m(s,t)}= ewhere

sandtare elements in S,eis the identity element, andm(s,t)is a number greater than 1 which changes depending on whatsandtare. A Coxeter group has the property that all of its generators are involutions, meaningm(s,s)=1.When you ‘multiply out’ the other relations you get equations that look like

(whenst=ts(whenm(s,t)=2),sts=tstm(s,t)=3),or in generalststst…sts=tststs…tstand these are called

braid relations.

Now I’m going to describe a *simplicial complex *called the Coxeter complex. One of these can be constructed out of any Coxeter group. Let’s bullet point the steps of the construction and after each follow the example of the group with two commuting generators, given by the Coxeter-Dynkin diagram below

and the relations s* ^{2}*

*= e, t*and

^{2}*= e,*

*st=ts.*- Firstly take all the
*parabolic subgroups*of the Coxeter group. these are groups generated by subsets of the vertices.

For our example the parabolic subgroups are

*<e>={e}, <s>={e,s}, <t>={e,t}, <s,t>={e,s, t, st=ts}*

- Secondly form a list of all the
*cosets*of these subgroups. Cosets are things you get from premultiplying your subgroup by a chosen element in the main group.

For our example the cosets for each of the parabolic subgroups are

* <e>={e} has cosets <e>={e}, s<e>={s}, t<e>={t}, and st<e>{st} *

*<s>={e,s} has cosets*

*<s>={e,s},*s<s>={e,s}=<s>, t<s>={t,ts=st}, and st<s>={t, st}

*<t>={e,t}**has cosets*

*<e>={e,t},*s<t>={s, st}, t<t>={e, t}, and st<t>={s, st }

*<s,t>={e,s,t,st} has cosets*

*<s,t>=s<s,t>=t<s,t>=st<s,t>={e,s,t,st}*We see that some of these are the same so we end up with cosets:

Cosets with one element: <e>, s<e>, t<e>, st<e>

Cosets with two elements: <s>, t<s>, <t>, s<t>

Cosets with four elements: <s,t>

- Create your complex by setting the vertices to be the cosets, and creating an edge (1-simplex) between two cosets whenever the elements of one are a subset of the elements of another. Then create a triangle (2 simplex) whenever you have one coset inside another which is in turn inside another. Continue like this with triangular pyramids from 4 cosets (3 simplex) etc.

Finally we get to draw some pictures! Here are the vertices:

And here are the edges (there is an edge between every other coset and <s,t> since <s,t> is the whole group, so we have missed these out):

We can rearrange the edges, then putting in the triangles (and colouring them pink) gives us:

Many mathematicians like to miss out the middle coset, which represents the whole group. Then our complex would look like this:

Notice that *s *and *t* act on the Coxeter complex. Multiplying all the cosets by *s* reflects in the middle vertical line and multiplying all the cosets by *t* reflects in the middle horizontal line:

This is true for any group and their coxeter complex. As another example, here is a photo of a model for the coxeter complex of the symmetric group on 4 elements, or

which was made by someone in my department.

We see hexagons and squares. The middle vertex acts as a pair with the left vertex on half of the hexagons and with the right vertex on the other half. They are hexagons because the vertices have a line between them, and thus have braid relation of order 3. The two outer vertices (which commute) act on the square, like our square in the previous example! The shapes actually fit together and *tesselate, *as shown in this next picture.

emilydumont55April 12, 2015 / 2:52 amI’ve played with those square/hexagon structures before.. good post! x

LikeLike