Alice led the discussion again this week.  At the end of the session we realised that this will be the last study group for the year due to various people going away for holidays/conferences/meetings in the lead up to christmas and of course the school’s christmas party. We will resume sometime early in the new year.

We first began by discussing the comments on the post on last week’s study group.

Recall from last week how given a building with apartments isomorphic to the Coxeter complex $(W,S)$, we can define the W-distance on chambers. We look again at the chamber system we obtain from the Fano plane. Let $s_1$ denote differ by a point and $s_2$ denote differ by a line. Let x be the chamber whose line is the orange line and point is the bottom left hand corner of the diagram and y be the chamber whose line is the red line and point is the top of the diagram. Then $\delta(x,y)=s_1s_2=w$. There are four chambers which are neighbours of y. These are $z_1$, which has line the red line and point the point in the middle of the line, $z_2$ which has line the pink line and point the top point, $z_3$ which has line the orange line and point the top point, and $z_4$ which has line the red line and point the bottom right hand corner.  Then $\delta(y,z_1)=s_1$ and $\delta(x,z_1)=s_1s_2s_1=ws_1$. Also $\delta(y,z_2)=\delta(y,z_3)=s_2$ and $\delta(x,z_3)=s_1=ws_2$ while $\delta(x,z_2)=s_1s_2=w$.  Moroever, $\delta(x,z_4)=ws_1$. Thus we have the property that if $z$ is a chamber such that $\delta(y,z)=s\in S$ then $\delta(x,z)\in\{w,ws\}$ and if $\ell(ws)=\ell(w)+1$,  (where $\ell(g)$ is the length of a reduced expression for g in terms of elements of S), then $\delta(x,z)=ws$.

This motivates the following definition of a building: A building of type $(W,S)$ is a pair $(C,\delta)$ with C a set (whose elements are called chambers) and $\delta:C\times C\rightarrow W$, such that for $x,y\in C$ with $\delta(x,y)=w$ the following hold:

• $w=1$ if and only if $x=y$
• If $z$ is a chamber such that $\delta(y,z)=s\in S$ then $\delta(x,z)\in\{w,ws\}$ and if $\ell(ws)=\ell(w)+1$, then $\delta(x,z)=ws$.
• If $s\in S$ then there exists $z\in C$ such that $\delta(y,z)=s$ and $\delta(x,z)=ws$.