Gordon, Michael and I have just submitted our second paper together, this time we produce examples of hemisystems in small flock generalised quadrangles. So what are these things anyway? Generalised quadrangles have been discussed in depth in Michael’s posts (see this), and in particular, there is an exposition there on GQs arising from BLT-sets/flocks/q-clans. Theses are the only known GQs with parameters where is odd. A hemisystem of a generalised quadrangle of order is a set of half of the lines such that every point is on lines of . These objects are curious in that they give rise to partial quadrangles, Q-antipodal cometric association schemes and strongly regular graphs. We have already written an earlier post containing some of the history of the subject, but to summarise, it was thought for forty years that Segre’s unique example of was the only example, Cossidente and Penttila (2005) showed there were infinitely many in the classical GQ , and then we showed (2010) that every flock GQ has a hemisystem. Apart from these examples, we find some interesting examples in flock GQs of order where .
One of the main results of our paper is that we have classified the hemisystems of flock GQs of order :
- Cossidente-Penttila hemisystem
- Fisher-Thas-Walker-Kantor-Betten(5) hemisystems:
- a hemisystem found by Bamberg, De Clerck and Durante
- two new ones (stabilisers and ).
Along the way, we came upon some interesting problems that are still open…
For each odd prime power , there is an irreducible cyclic subgroup of automorphisms of , which we call a Singer type element. By computer, we found hemisystems invariant under a Singer type element for ; none exist for . Therefore, we might ask…
Does there exist a hemisystem invariant under a Singer type element for all odd prime powers ?
Again we look at hemisystems of . The stabiliser of three non-degenerate points spanning a non-degenerate plane has shape . For example we could fix three points of the canonical basis, assuming the nicest Hermitian form, and we would then have diagonal matrices . Now take those such matrices which have . Then we end up with a group isomorphic to . For all , there exists a hemisystem invariant under this group. Strangely, none exists for .
What is going on here!?
For , there exists a hemisystem of invariant under a group isomorphic to . So naturally we ask…
Does there exist a hemisystem of invariant under a group isomorphic to , for all ?
Notice that this would be a strange family of hemisystems, as they grow with but their stabiliser remains constant.
Is there a hemisystem with trivial group?
Is the full automorphism group of the strongly regular graph obtained from a hemisystem always induced by the stabiliser of the hemisystem in the automorphism group of the generalized quadrangle?
There are some other problems in the paper, which are a bit too technical to state here.