John led the discussion again this week and looked at coset geometries and polar spaces.

John began with the following pictureThis is an incidence geometry with 15 points and 15 lines each containing 3 points. It is the smallest thick generalised quadrangle and denoted by . It has automorphism group . This can be seen by taking the points to be the edges of the complete graph and the lines to be the matchings of (that is the sets of three disjoint edges). The incidence graph of this geometry is known as Tutte’s 8-cage or the Tutte-Coxeter graph.

John next drew the Fano planeThis projective plane is denoted by and is the smallest thick generalised triangle. It has automorphism group . The incidence graph of this geometry is the Heawood graph.

Next we had the smallest (thick) generalised digon, which is the geometry with three points and three lines such that each line consists of all three points. The incidence graph for this geometry is the complete bipartite graph .

Now let , the alternating group on 7 letters and define three subgroups , and of *G*. The *Neumaier geometry* is the geometry whose points are the right cosets of in , lines are the right cosets of in and planes are the right cosets of in . For we define to be incident with if and only if , or equivalently, . There are 7 points, 35 lines and 15 planes. There is not meant to be any “geometrical” implications by defining elements to be points, lines or planes, we could have equally defined the elements of our geomery to be elements of Type 1, Type 2 or Type 3. Note that *G *acts as a group of automorphism of by right multiplication. This action is flag-transitive, that is, given any two flags of the same type, there is an element of *G* which maps to .

This is an example of a *coset geometry*. Given a group *G* and subgroups we can define a rank n pregeometry whose elements of type 1 are the right cosets of in *G*, elements of type 2 are the right cosets of in* G* and so on, so that the elements of type n are the right cosets of in *G*. There are conditions on the needed so that this pregeometry is a geometry. Any flag-transitive geometry can be constructed as a coset geometry, by taking *G* to be the full automorphism group, choosing a maximal flag and for letting to be the stabiliser in *G* on .

Returning to the Neumaier geometry, the residue of the point corresponding to the coset is the coset geometry for using the subgroups and . Now and and so this residue has 15 lines and 15 planes. This is the same subgroup structure given by acting on the generalised quadrangle seen at the beginning of this post. Hence the residue is isomorphic to .

The residue of the line corresponding to the coset is the coset geometry for using the subgroups and . This residue has 3 points and 3 planes and is the generalised digon seen earlier.

Finally the residue of the plane corresponding to the coset is the coset geometry for using the subgroups and . This residue contains 7 points and 7 lines and is isomorphic to the Fano plane. Hence the diagram for the Neumaier geometry is the diagram.

*[added 9/1//09]:* John has provided the subgroup lattice for displaying and their intersections.

**Finite Polar Spaces**

Next we looked at polar spaces. These are best introduced by way of example. We saw in a previous week that we can form a geometry by taking an alternating form on a vector space V and taking the elements of the geometry to be the totally isotropic subspaces (that is, those for which the restriction of the form is 0) and incidence is symmetrised inclusion.

More generally, let* V* be a *d*-dimensional vector space over GF(*q*). Let be an automorphism of GF(*q*) and *B* be a -sesquilinear form on *V*, that is, *B* satisfies

for all and . We also require that *B* is reflexive, that is implies . The totally isotropic subspaces are those for which the restriction of *B* is 0.

A *duality* of the projective space is an inclusion reversing permutation of the subspaces. A *polarity* is a duality of order 2. Our sesquilinear form defines a polarity by mapping each subspace U to the subspace .

In fact, every polarity arises from a reflexive sesquilinear form as follows: Given a polarity of a projective space with defining vector space *V*, if *X* is a subset of *V*, we let be the annihilator of *X, *that is,* *those functionals in which compute 0 on all elements of *X*. Now we compose with the map and obtain a collineation of the projective space. Hence there is a semilinear map *f* with associated field automorphism such that . In other words, . Thus we obtain a nondegenerate sesquilinear form given by

Given our sesquilinear form we can define a geometry whose elements are the totally isotropic subspaces and incidence is given by symmetrised inclusion. Such geometries are called polar spaces.

Another way of constructing a polar space is to take a quadratic form *Q* on *V*. This is a map from *V* to GF(*q*) such that and there is a symmetric bilinear form *B* such that . Totally singular subspaces are those for which the restriction of *Q* is 0. We then get a polar space whose elements are the totally singular subspaces.

Following Buekenhout and Shult, a *polar space* can be defined axiomatically as a partial linear space such that

- no point is collinear with every point
- there are at least 3 points on every line
- given a point
*P*and a line , either*P*is collinear with all points on or*P*is collinear with a unique point on .

We can then define subspaces of rank greater than 2 in such a polar space by taking sets of mutually collinear points which are a union of lines.

Tits then proved that all finite polar spaces of rank at least 3 are classical, that is, arise from a vector space equipped with a sesquilinear of quadratic form. This is analogous to the Veblen-Young axioms for projective spaces which define a projective space axiomatically in terms of points and lines and the only projective spaces of rank at least 3 are the ones obtained by taking the subspaces of a vector space over a division ring.

Very good summary Michael. But I think you switched the definitions of duality and polarity. A polarity is a duality of order 2.

Thanks. I have corrected it. I always seem to get them mixed up