Characterizations of the Suzuki tower near polygons

In recent work, we constructed a new near octagon $\mathcal{G}$ from certain involutions of the finite simple group $G_2(4)$ and showed a correspondence between the Suzuki tower of finite simple groups, $L_3(2) < U_3(3) < J_2 < G_2(4) < Suz$, and the tower of near polygons, $\mathrm{H}(2,1) \subset \mathrm{H}(2)^D \subset \mathsf{HJ} \subset \mathcal{G}$. Here we characterize each of these near polygons (except for the first one) as the unique near polygon of the given order and diameter containing an isometrically embedded copy of the previous near polygon of the tower. In particular, our characterization of the Hall-Janko near octagon $\mathsf{HJ}$ is similar to an earlier characterization due to Cohen and Tits who proved that it is the unique regular near octagon with parameters $(2, 4; 0, 3)$, but instead of regularity we assume existence of an isometrically embedded dual split Cayley hexagon, $\mathrm{H}(2)^D$. We also give a complete classification of near hexagons of order $(2, 2)$ and use it to prove the uniqueness result for $\mathrm{H}(2)^D$.Comment: 20 pages; some revisions based on referee reports; added more references; added remarks 1.4 and 1.5; corrected typos; improved the overall expositio

Zoology of Atlas-groups: dessins d'enfants, finite geometries and quantum commutation

Every finite simple group P can be generated by two of its elements. Pairs of generators for P are available in the Atlas of finite group representations as (not neccessarily minimal) permutation representations P. It is unusual but significant to recognize that a P is a Grothendieck's dessin d'enfant D and that most standard graphs and finite geometries G-such as near polygons and their generalizations-are stabilized by a D. In our paper, tripods P -- D -- G of rank larger than two, corresponding to simple groups, are organized into classes, e.g. symplectic, unitary, sporadic, etc (as in the Atlas). An exhaustive search and characterization of non-trivial point-line configurations defined from small index representations of simple groups is performed, with the goal to recognize their quantum physical significance. All the defined geometries G' s have a contextuality parameter close to its maximal value 1.Comment: 19 page

On generalized hexagons of order (3, t) and (4, t) containing a subhexagon

We prove that there are no semi-finite generalized hexagons with $q + 1$ points on each line containing the known generalized hexagons of order $q$ as full subgeometries when $q$ is equal to $3$ or $4$, thus contributing to the existence problem of semi-finite generalized polygons posed by Tits. The case when $q$ is equal to $2$ was treated by us in an earlier work, for which we give an alternate proof. For the split Cayley hexagon of order $4$ we obtain the stronger result that it cannot be contained as a proper full subgeometry in any generalized hexagon.Comment: 13 pages, minor revisions based on referee reports, to appear in European Journal of Combinatoric