Last week I uploaded to the arxiv the latest in a sequence of papers that introduces a “normal quotient” method for the study of incidence geometries. The first paper was `Quotients of incidence geometries‘ with Philippe Cara, Alice Devillers and Cheryl Praeger, the second was `Basic and degenerate geometries‘ with Cai Heng Li, Geoffrey Pearce and Cheryl Praeger, and the third was `Basic coset geometries‘ with Geoffrey and Cheryl. I will give a brief outline of the whole project here including motivation and some of the main results.
The study of graphs via their quotients has proved a very fruitful avenue of investigation. The general method for studying a particular class of graphs is to identify some reduction process that takes any graph in the family to a “basic graph” in the family, determine all “basic graphs”, and then determine all ways of lifting the “basic graphs” so that we can enumerate all graphs in the class. Examples of classes of graphs where this has proved a useful method of attack are:
- distance-transitive graphs: Distance-transitive graphs with an imprimitive group of automorphisms are either bipartite or antipodal and can be reduced to smaller distance-transitive graph. Hence the basic graphs are the ones with a primitive group of automorphisms.
- -arc transitive graphs: If acts transitively on the set of -arcs, for of a graph and has a normal subgroup with at least 3 orbits on vertices then the quotient graph is also -arc transitive and is cover of . Hence the basic graphs to study are those for which every nontrivial normal subgroup of has at most two orbits, that is, is quasiprimitive (all nontrivial normal subgroups are transitive) or biquasiprimitive (all have at most 2 orbits but not all are transitive).
- vertex-intransitive, locally -arc transitive graphs: Here the graphs are bipartite and the bipartite halves are the two orbits of on vertices. We can apply the same quotienting process and the basic graphs are those for which is quasiprimitive on at least one orbit.
In all cases we can use the O’Nan-Scott Theorem for primitive or quasiprimitive groups to study the basic graphs. This involves seeing which primitive/quasiprimitive types are possible and then determining all graphs for a given type. Usually we can reduce to studying the case where the action is either almost simple or affine.
The aim of our project on incidence geometries is to extend these methods to geometries. Jacques Tits introduced the notion of a building to study the simple groups of Lie type. Francis Buekenhout then introduced incidence geometries and their associated diagrams as a generalisation in an attempt to find a larger class of geometries that would include buildings but also contain geometries associated to the sporadic simple groups. One rationale for our project was to give a geometrical justification for the study of geometries of simple groups. The hope was that geometries of almost simple groups would arise as one of a small number of “basic” families of graphs.
First some definitions. A pregeometry consists of a set of elements (often called points) with an incidence relation on the points, and a map from onto a set of types. The incidence relation is symmetric and reflexive, and if we say that and are incident. Furthermore if with then . The number of types is called the rank of the pregeometry. A rank 2 geometry is merely a bipartite graph and so our earlier work on quotients of locally -arc transitive graphs can be seen as investigating the rank 2 case.
A flag is a set of pairwise incident elements of (which implies that the elements of are of pairwise distinct types). The type of a flag is the set of types of its elements. A chamber is a flag containing one element of each type. A pregeometry in which every flag is contained in a chamber is called a geometry. The typical example is a projective space. Here the elements are the points, lines, planes etc and incidence is given by inclusion.
Let be a pregeometry and let be a partition of which is a refinement of the type partition of . We define a new pregeometry where
- if and only if there exist (for ) with ,
- and for .
Quotients of geometries under certain conditions were studied by Tits and Pasini. However, in general the quotient of a geometry is not necessarily a geometry. Our first paper investigated necessary and sufficient conditions for when the quotient of a geometry is a geometry, and also which geometrical properties are preserved by quotients.
The automorphism group of a pregeometry is the group of all permutations of the element set that preserves the type of each element and that preserves incidence. We say that a group of automorphisms is vertex-transitive on the pregeometry if is transitive on each set for , that is, is transitive on each set of points of a given type. That is, the orbits of on points are as large as possible. We say that is incidence-transitive if for each pair of types, is transitive on the set of flags of type . We say that is flag-transitive if for each , is transitive on the set of flags of type .
One class of pregeometries are coset pregeometries. Given a group with subgroups , the coset pregeometry is the pregeometry whose elements of type are the right cosets of in and two cosets and are incident if and is nonempty. The group acts by right multiplication on the elements of inducing automorphisms of the pregeometry, that is, maps incident elements to incident elements. In our first paper we showed that a pregeometry is a coset pregeometry if and only if its group of automorphisms is incidence-transitive and vertex-transitive and the pregeometry contains a chamber.
One of the main results of our first paper is that the quotient of a coset pregeometry is still a coset pregeometry. This motivated us to take the class of coset pregeometries with connected rank 2 truncations as the class of objects that we should study, instead of the narrower class of flag-transitive geometries.
The next thing to do is to determine what the degenerate and basic coset pregeometries should be. The basic pregeometries are those such that all quotients are degenerate. We investigated this question in our second paper. The definitions will depend on whether we are taking normal quotients (that is quotients with respect to the set of orbits of some normal subgroup) or imprimitive quotients, (that is quotients with respect to some -invariant partition). In the normal quotients case we were able to show that the basic pregeometries can be built from pregeometries where for each type , the action of is quasiprimitive on each set of elements of type . In the imprimitive quotients case we replace `quasiprimitive’ with `primitive’.
Thus the important pregeometries to study are those where is quasiprimitive on each set of elements of type . We investigated these in our third paper which contains many constructions of flag-transitive geometries. One type of primitive action is the almost simple case. The projective space is an example of an incidence geometry of rank and the automorphism group is primitive of almost simple type on each set of elements. Our initial aim was to see if there was some number such that if were a flag-transitive geometry of rank at least such that the automorphism group acts primitively on each set of elements then is almost simple. However, the main result of our third paper was to show that this is not true. In fact for each positive integer and each of the 8 O’Nan-Scott types of primitive group, we were able to find a primitive group on a set whose action is primitive of that type and construct a rank geometry such that each set of elements of a given type is a copy of and acts on flag-transitively on .