This week John continued his discussion on triality and generalised hexagons from last week. This is also the first week where I have used Luca Trevisan’s LaTex to WordPress program to write up the post.
Recall that we had an eight-dimensional vector space over equipped with a quadratic form , where . We were able to divide the totally isotropic solids into two classes, greeks and latins, so that two solids are in the same class if their intersection is a line or trivial. The points, lines, greeks and latins give rise to the Oriflamme geometry where incidence is inclusion and a greek is incident with a latin if their intersection is a plane.
Let be the set of points, be the set of greeks, the set of latins and the set of lines. Now and so we can represent the greeks by vectors and the latins by vectors . Define
Then a point and greek are incident if and only if as a function of . Incidence between other combinations of points, latins and greeks is similar.
where , addition of the superscripts is done modulo 3 and has order 1 or 3. Then defines a triality of the Oriflamme geometry. Recall from last week that we can then form a generalised hexagon whose points are those points which are incident with and the lines are those fixed by . I have just realised that John didn’t define how acts on the lines but I will get John to fill in this detail in the comments. When has order 3 the generalised hexagon we get is the one associated with while when we obtain the split Cayley hexagon of order .
The points of are those for which , and so all points in a nondenerate hyperplane of , that is, contained in a . The lines are some of the lines of . The stabiliser of in is . We now discuss some configurations in and their stabilisers in .
- Subhexagons of order : There is a nondegenerate 6-space of where the restriction of the quadratic form is of pluus type, that is a which when intersected with gives points and lines. The points can be thought of as two copies of . This is best realised by taking the incidence graph of and placing another vertex at the centre of each edge. The vertices of the original graph are the points and the new vertices coming from midpoints are the lines. The stabiliser of this configuration in is , where the 2 on top comes from interchanging the points and lines in .
- Line regulus: Let be a line of and let be a line opposite , that is, at distance 6 in the incidence graph. Thinking of and as being lines in , we have that is a conic, that is, a . Moreover, there are mutually disjoint lines in which are perp to . These lines span a . We can then find another mutually lines in the which are not in . The picture below demonstrates this for with the intersections of lines being points.
The stabiliser of this configuration in is .
- Hermitian spread: A spread of a polar space is a set of maximal totally isotropic subspaces which form a partition of the points. A spread of is a maximal set of lines which are pairwise opposite. Such a set has lines and is fixed by .
Let be a 4-dimensional vector space over equipped with the hermitian form . This defines the hermitian space which has points and lines and is a generalised quadrangle of order . We can then define which when is interpreted as an 8-dimensional vector space over provides a symmetric bilinear form. This provides an embedding of in . The points get mapped to lines and the lines get mapped to solids.
We can take the intersection of the image of this embedding with a section. This is often attributed to Barlotti, Cofman and Segre. If we choose a as a subspace of , (that is, a nondegenerate hyperplane), then the points in get mapped to lines in which are contained in a while the points of get mapped onto the points of , (that is, the lines in arising from these points meet the in a point.)
John Bamberg together with Nicola Durante has recently been able to show that this embedding can be used to construct as follows:
Let be a in and let be a set of Baer subgenerators (that is, copies of ) which span a totally isotropic line of $H(3,q^2)$) with a point in such that every point of is on elements of and they span a Baer subplane. Then the geometry whose points are
- (a) the totally isotropic lines of , and
- (b) the points of .
and whose lines are
- (a) points of , and
- (b) the elements of .
and incidence is inclusion or the inherited incidence, is a generalised hexagon isomorphic to . In fact, is an orbit under , that is, the stabiliser of .