(with help from John Bamberg, Alice Devillers, and Sukru Yalcinkaya.)

We have recently started a study group here with the rather ambitious aim of exploring the links between diagram geometries, buildings, Phan systems, groups of Lie type and algebraic groups. It is very informal, on a Friday afternoon and often involves several people at the blackboard during the hour and plenty of questions. We are also trying to do it via examples. We have decided that it would be a good idea to keep of record here of what we cover. If things go really well one of us will try to blog directly during the study group instead of taking notes. Before we can do so I need to give a brief overview of what we have covered so far. Future posts should be more fleshed out. We are mainly working from Don Taylor’s book (The Geometry of Classical Groups), Humphreys book (Reflection Groups and Coxeter Groups), Carter’s book (Simple Groups of Lie Type), Abramenko and Brown’s book (Buildings) and Garrett’s book (Buildings and Classical Groups). Comments and corrections are more than welcome.

John began by discussing projective spaces. Let *V *be a *d*-dimensional vector space over a field *F* and be the set of all subspaces of *V* with incidence given by symmetrised inclusion. The elements of the projective space can be partitioned into* types *such that* *two elements are of the same type if they have the same dimension. A *flag *is a set of mutually incident subspaces while a *chamber* is a maximal flag. For example, if V has basis then is a chamber. The group acts on such that the group *Z *of all scalars fixes each subspace setwise, inducing the group . In this example we will usually work in the matrix group instead of the projective group. A *Borel subgroup* is a stabiliser of a chamber and so given our example of a chamber in , it is the subgroup *B *of all lower triangular matrices. The stabiliser of any flag is called a *parabolic subgroup*.

A *frame *is a set of 1-dimensional subspaces of *V* so that any *k* span a *k*-subspace. So is a frame and the setwise stabiliser in of this frame is the group *N* of all monomial matrices. The pointwise stabiliser of the frame is the group *T *of all diagonal matrices. Then and , the group of all permutation matrices. The group *W* is called the *Weyl group *of and is the permutation group induced on the frame.

Alice Devillers then gave a brief introduction to chamber systems and Coxeter groups continuing with the projective space as a thematic example.

The *chamber system* of a projective space, or similarly of buildings, consists of a set of chambers (maximal flags) and a collection of equivalence relations on chambers, where* i* takes its values in the set of types of the building. Two chambers are -equivalent if they agree in all elements except maybe in their element of type *i*. The chamber system induced on an apartment of a building (that is, a frame in the projective space case) is a Coxeter system, that is the coloured Cayley graph of a Coxeter group . In the case of the projective space , we have . This is the Coxeter group of type .

A *Coxeter group* is a group generated by involutions which can be presented solely by relations of the type . The ‘s form the entries of a matrix *M*, with for all *i*, and if there is no relation involving and . We call *M* the *Coxeter matrix*. The information contained in *M* can also be visually encoded in a diagram: take one node *i* for each involution , draw no edge if , and an edge with label otherwise (the “3” labels are often omitted). There was some lively debate as to whether *S* had to be a simple system to be able to define the diagram properly.

Let’s go back to projective spaces. A* residue *of a flag* F* is the set of all elements of type not in which are incident with all elements in *F*. In terms of chamber systems, that means taking a chamber *c* containing *F* and the residue of *F* is the connected component, containing *c*, of the chamber system in which the equivalence relations for are dropped.

The projective space has an associated diagram which has vertices the types, that is, 1-spaces, 2-spaces, …, -spaces. We say a subspace is of type *i* if it has dimension* i*, and let .Two types are not joined by an edge if in the residue of a flag of type , any element of type *i* is incident with every element of type* j*. If the residue of a flag of type is a projective plane we join types* i* and *j* by a single edge. The diagram is the usual diagram which we get for the Weyl group of .

Next we had Sukru Yalcinkaya introduce some notions of algebraic groups. A* linear algebraic group* is a group which is also an algebraic variety (that is, the set of zeros of some set of polynomials with coefficients from some algebraically closed field *K*) such that multiplication and inversion are given by polynomials. One example is as it can be viewed as a subset of and consists of all matrices A which are zeroes of the polynomial . We need to be a bit more cunning for . We can embed in by the map , where and is then all such block diagonal matrices* * in which satisfy .

Linear algebraic groups come with the *Zariski topology* (that is, the closed sets are the sets of zeros of ideals of ) and so we have closed and open subgroups. A *Borel subgroup *is a maximal closed connected soluble subgroup and for the standard one is the subgroup of lower triangular matrices. A * maximal torus* is a maximal abelian closed subgroup consisting entirely of semisimple elements (again for one is the diagonal matrices) and the subgroup *N* is the normaliser of a maximal torus. A *parabolic subgroup *is a subgroup which contains a Borel subgroup.

Next Sukru discussed root systems. Let equipped with the usual inner product . Given a vector we can define the reflection . This reflection fixes the hyperplane orthogonal to pointwise and maps to . A *root system* is a spanning subset of *V *such that

- is invariant under for each .
- given , the only scalar multiples of in are and .
- is an integer for all .

The last condition is often left out and root systems satisfying the last condition are then called *crystallographic root systems*. The elements of are called *roots*. A root system is called *reducible *if it can be written as the disjoint union of two root systems such that each element of is perpendicular to each element of . It is called *irreducible* otherwise. The *rank *of the root system is the dimension of *V*.

Given a root system , a base of is a subset of which spans V and each element of is a linear combination of the elements of such that the coefficients are either all positive or all negative. This allows the roots to be split between *positive and negative roots*. The elements of are called *simple roots*. Of course, the definition of positive roots and negative roots depends on the choice of the base.

The rank 2 root systems can be easily classified and we get and . See here. Given a root system , then the set is also a root system and is called the *dual system* of . The root system is the dual of .

Given a root system with base , we can draw the *Coxeter graph *which has vertices the simple roots. Two roots are connected by

- no edge if they are perpendicular,
- a single edge if the angle between them is ,
- a double edge if the angle is ,
- a triple edge if the angle is .

The Coxeter graph becomes a *Dynkin diagram* if on each multiple edge we put a > pointing from the longer root to the shorter root.

Very good work, Michael.