I am finally onto my last post on generalised quadrangles. The topic of this one is translation generalised quadrangles. These are a special case of elation generalised quadrangles outlined in my last post. The main source for this post has been Michel Lavrauw’s Phd thesis which is availiable from Ghent’s PhD theses in finite geometry page.
Recall that an elation generalised quadrangle (EGQ) is a generalised quadrangle with a base point and a group of automorphisms that fixes each line incident with and acts regularly on the set of points not collinear with . A translation generalised quadrangle (or TGQ) is an EGQ with an abelian elation group. In this case the elation group is referred to as a translation group. We saw in the EGQ post, that , for even, has an abelian elation group and so is an example of a TGQ. It has been proved by Stan Payne and Jef Thas that for a TGQ, the elation group must be elementary abelian and in particular and are powers of the same prime.
An egg of is a set of subspaces of projective dimension such that any three span a subspace of dimension and each is contained in a subspace of dimension whose intersection with is . The subspace is called a tangent space.
If we call an egg a pseudo-oval. When we have a collection of points of such that no 3 are collinear, that is, we have an oval. The only known examples of pseudo-ovals are constructed by taking an oval of and embedding it in , by interpreting the underlying 3-dimensional vector space over as a -dimensional vector space over . Points of then become -subspaces of , and since any three points of the original oval space a plane of they span a subspace of dimension over . The tangent lines of the oval are then tangent spaces of the pseudo-oval.
When an egg is called a pseudo-ovoid. When and this gives a collection of points of such that no three are collinear, that is, we have an ovoid. Again an ovoid of yields a pseudo-ovoid of . However, there are examples of pseudo-ovoids which do not arise in this manner. There is the Kantor pseudo-ovoid for odd, the Cohen-Ganley pseudo-ovoid for and arbitray , and the Penttila-Williams pseudo-ovoid for and . When , the tangent spaces of an egg forms an egg in the dual space of , known as the dual egg and denoted by . All known eggs are either pseudo-ovals or pseudo-ovoids. Such eggs are called classical.
Constructing a TGQ from an egg
Recall from an earlier post in this series that given an oval of we can construct the generalised quadrangle . Similarly given an ovoid of we can construct the generalised quadrangle . These two constructions can be generalised so that we can construct a generalised quadrangle from an egg.
Let be an egg in . Embed as a hyperplane in . We construct a new incidence structure whose points are
- (i) the points of .
- (ii) the -dimensional subspaces of that meet in a tangent space of .
- (iii) an extra point
and whose lines are
- (a) the -dimensional spaces of that meet in an element of the egg .
- (b) the elements of .
Incidence is as follows: a point of type (i) is incident with the lines of type (a) that contain it, a point of type (ii) is incident with the lines of type (b) that it contains and the unique line of type (a) that it contains, the point is incident with each line of type (b).
Payne and Thas showed that this construction yields a TGQ of order : the subgroup of of order that fixes pointwise fixes each line incident with and acts regularly on the set of points of , that is the set of points not collinear with .
Note that when is an oval or an ovoid then the GQ that we obtain is just and respectively.
In fact, every TGQ can be constructed in this manner from an egg. As mentioned previously, a TGQ is of order for some prime power and integers and , and the translation group of the TGQ is elementary abelian of order . It is then possible to construct the associated egg in .
If we take the dual of a known TGQ with , (that is interchange the roles of points and lines) we obtain a flock GQ. Hence we haven’t found any new GQs from this construction.
Bader, Lunardon and Pinneri proved that if and are eggs then there is an isomorphism from to mapping to if and only if there is a collineation of mapping to .
Given an egg with associated TGQ we also have the dual egg and so another TGQ . This new TGQ is referred to as the translation dual of . This dual is different from the usual dual of a GQ formed by interchanging the roles of points and lines. When is classical, is isomorphic to its translation dual.
In the case of the Kantor pseudo-ovoids, the resulting TGQ is isomorphic to its translation dual. However, for the Cohen-Ganley and the Penttila-Williams pseudo-ovoids, the resulting TGQ is not isomorphic to is translation dual. The TGQ’s arising as the translation dual of a TGQ coming from the Cohen-Ganley pseudo-ovoid are called the Roman GQs. These translation duals are GQs that we have not encountered so far.
I have now covered all the known thick generalised quadrangles and so the series can finally come to an end.