I have recently uploaded a joint paper with Bart, “On generalized hexagons of order and containing a subhexagon”,on arXiv and submitted it for publication. In this work we extend the results of my first paper, which I discussed here, by proving the following:
Let and let be a generalized hexagon isomorphic to the split Cayley hexagon or its dual . Then the following holds for any generalized hexagon that contains as a full subgeometry: (1) is finite; (2) if and , then .
This result is what one might expect in general since (1) we do not know of any semi-finite generalized polygons and (2) we do know of any generalized hexagons which properly contain as a full subgeometry, for a power of a prime (when is a power of , is isomorphic to its dual, which is always contained in a generalized hexagon of order ). But since we are nowhere near classifying finite generalized polygons, this problem seems to be pretty hard in general. Also, existence/non-existence of semi-finite generalized polygons is a major open problem in incidence geometry which has only been resolved for specific cases of generalized quadrangles (when every line has points on it). So for now we satisfy ourselves with this small contribution.
There is a nice counting based lemma in our paper which I really like and I hope that it can be used to obtain more results for generalized hexagons containing subhexagons. Let’s see what the lemma says.
Let be a generalized hexagon of order contained in a generalized hexagon as a full subgeometry (every line of is also a full line of ). Then using standard arguments for generalized polygons, we first show that every line of must have precisely points on it. It directly follows from the axioms of a generalized hexagon that every point of is at distance at most from . So, we have three “types” of points in , those contained in , those at distance from and those at distance from . These three types of points can also be characterised by the kind of substructures of they induce when we take all points of at non-maximal distance from a given point of . We call these substructures singular, semi-singular and ovoidal hyperplanes, respectively (there is a good reason why these substructures of are called “hyperplanes” of ; see Section 3 of the paper for exact definitions).
Now if is a proper subgeometry of , then it can be shown that there must be a line of which does not contain any point of . Say this line contains points of the third type. Then our lemma says that for any two points on , the substructures of induced by and intersect each other in precisely points. The lemma is proved using a result of Bart (Proposition 4.7 in Polygonal Valuations), which we reprove in the paper without relying too much on the theory of polygonal valuations, followed by simple counting.
How do we use this lemma? Well, if for a given generalized hexagon one can show that every pair of semi-singular hyperplanes in intersect each other in more than points, then there cannot be any generalized hexagon be which contains as a proper full subgeometry as otherwise we can derive a contradiction by finding an appropriate line of which does not contain any points of . This is what we check for the case when is isomorphic to or and thus obtain part (2) of our main result. Our check mostly consists of some clever computations in a computer model of these geometries as we do not really understand how semi-singular (or ovoidal) hyperplanes of split Cayley hexagons and their duals behave in general.
To prove part (1) of our main result we show that if every point of is at distance at most from , or equivalently, there are no points of the third type in , then through every point of there are only finitely many lines. Therefore, if we show that a given generalized hexagon does not contain any ovoidal hyperplanes a.k.a. -ovoids a.k.a. distance- ovoids, then from this result we get that every generalized hexagon containing as a full subgeometry is finite. These -ovoids are simply sets of points which intersect every line in a unique point, thus in graph theoretical terms these are the exact hitting sets of the hypergraph obtained from the generalized hexagon by identifying each line by the set of points it contains. Now when is isomorphic to (a geometry that has points and lines) it is easy to show via an exhaustive computer search or via an old result of Frohardt and Johnson which classifies all hyperplanes of this geometry, that it does not contain any -ovoids. But in general this problem is quite hard. For we use the non-existence result proved by me and Ferdinand in a recent paper.
The last remaining case of our main result is when is isomorphic to . The extra complication here is that is isomorphic to its dual, and hence it is contained in the dual twisted triality hexagon of order . Moreover, it has -ovoids. What we do here is again use the lemma on intersection sizes, but this time we show that for every point , every semi-singular hyperplane with center (again, see Section 3 of the paper for the definition) of intersects every ovoidal hyperplane containing in more than points. From this we show that there are no type 3 points in any generalized hexagon which contains has a full subgeometry.
Sadly, we have reached our computational limitations at and it seems like for larger cases we will need more ideas and a better understanding of these three types of hyperplanes in split Cayley hexagons and their duals. If in general one can prove that every semi-singular hyperplane of (or through a fixed point intersects every ovoidal hyperplane containing (whenever such a hyperplane exists) in more than points, then this would imply that there is no semi-finite generalized hexagon with points on each line, containing (or as a subgeometry. That would be really nice.
There are some natural open problems arising from this work which we list in the last section of our paper. In particular, I would be really happy to see a proof of the following conjecture in the near future.
Every generalized hexagon containing the generalized hexagon of order , which arises from the incidence graph of the Fano plane, is finite.
This is the smallest case where none of our techniques work.