arXiv++ Combinatorics

We classify the orbits of solids in the projective space $\text{PG}(5,q)$, $q$ even, under the setwise stabiliser $K \cong \text{PGL}(3,q)$ of the Veronese surface. For each orbit, we provide an explicit representative $S$ and determine two combinatorial invariants: the point-orbit distribution and the hyperplane-orbit distribution. These invariants characterise the orbits except in two specific cases (in which the orbits are distinguished by their line-orbit distributions). In addition, we determine the stabiliser of $S$ in $K$, thereby obtaining the size of each orbit. As a consequence, we obtain a proof of the classification of pencils of conics in $\text{PG}(2,q)$, $q$ even, which to the best of our knowledge has been heretofore missing in the literature.

The problem of classifying linear systems of conics in projective planes dates back at least to Jordan, who classified pencils (one-dimensional systems) of conics over $\mathbb{C}$ and $\mathbb{R}$ in 1906--1907. The analogous problem for finite fields $\mathbb{F}_q$ with $q$ odd was solved by Dickson in 1908. In 1914, Wilson attempted to classify nets (two-dimensional systems) of conics over finite fields of odd characteristic, but his classification was incomplete and contained some inaccuracies. In a recent article, we completed Wilson's classification of nets of rank one, namely those containing a repeated line. The aim of the present paper is to introduce and calculate certain combinatorial invariants of these nets, which we expect will be of use in various applications. Our approach is geometric in the sense that we view a net of rank one as a plane in $\text{PG}(5,q)$ that meets the quadric Veronesean in at least one point; two such nets are then equivalent if and only if the corresponding planes belong to the same orbit under the induced action of $\text{PGL}(3,q)$ viewed as a subgroup of $\text{PGL}(6,q)$. We have previously determined the orbits of lines in $\text{PG}(5,q)$ under this action, which correspond to the aforementioned pencils of conics in $\text{PG}(2,q)$. The main contribution of this paper is to determine the line-orbit distribution of a plane $π$ corresponding to a net of rank one, namely, the number of lines in $π$ belonging to each line orbit. It turns out that this list of invariants completely determines the orbit of $π$, and we will use this fact in forthcoming work to develop an efficient algorithm for calculating the orbit of a given net of rank one. As a more immediate application, we also determine the stabilisers of nets of rank one in $\text{PGL}(3,q)$, and hence the orbit sizes.

We classify nets of conics in Desarguesian projective planes over finite fields of odd order, namely, two-dimensional linear systems of conics containing a repeated line. Our proof is geometric in the sense that we solve the equivalent problem of classifying the orbits of planes in $\text{PG}(5,q)$ which meet the quadric Veronesean in at least one point, under the action of $\text{PGL}(3,q) \leqslant \text{PGL}(6,q)$ (for $q$ odd). Our results complete a partial classification of nets of conics of rank one obtained by A. H. Wilson in the article "The canonical types of nets of modular conics", American Journal of Mathematics 36 (1914) 187-210.

Let $\mathbb{F}$ be a finite field, an algebraically closed field, or the field of real numbers. Consider the vector space $V=\mathbb{F}^3 \otimes \mathbb{F}^3$ of $3 \times 3$ matrices over $\mathbb{F}$, and let $G \leq \text{PGL}(V)$ be the setwise stabiliser of the corresponding Segre variety $S_{3,3}(\mathbb{F})$ in the projective space $\text{PG}(V)$. The $G$-orbits of lines in $\text{PG}(V)$ were determined by the first author and Sheekey as part of their classification of tensors in $\mathbb{F}^2 \otimes V$ in the article "Canonical forms of $2 \times 3 \times 3$ tensors over the real field, algebraically closed fields, and finite fields", Linear Algebra Appl. 476 (2015) 133-147. Here we consider the related problem of classifying those line orbits that may be represented by {\em symmetric} matrices, or equivalently, of classifying the line orbits in the $\mathbb{F}$-span of the Veronese variety $\mathcal{V}_3(\mathbb{F}) \subset S_{3,3}(\mathbb{F})$ under the natural action of $K=\text{PGL}(3,\mathbb{F})$. Interestingly, several of the $G$-orbits that have symmetric representatives split under the action of $K$, and in many cases this splitting depends on the characteristic of $\mathbb{F}$. The corresponding orbit sizes and stabiliser subgroups of $K$ are also determined in the case where $\mathbb{F}$ is a finite field, and connections are drawn with old work of Jordan, Dickson and Campbell on the classification of pencils of conics in $\text{PG}(2,\mathbb{F})$, or equivalently, of pairs of ternary quadratic forms over $\mathbb{F}$.

The classification of flag-transitive generalised quadrangles is a long-standing open problem at the interface of finite geometry and permutation group theory. Given that all known flag-transitive generalised quadrangles are also point-primitive (up to point-line duality), it is likewise natural to seek a classification of the point-primitive examples. Working towards this aim, we are led to investigate generalised quadrangles that admit a collineation group $G$ preserving a Cartesian product decomposition of the set of points. It is shown that, under a generic assumption on $G$, the number of factors of such a Cartesian product can be at most four. This result is then used to treat various types of primitive and quasiprimitive point actions. In particular, it is shown that $G$ cannot have holomorph compound O'Nan-Scott type. Our arguments also pose purely group-theoretic questions about conjugacy classes in non-Abelian finite simple groups, and about fixities of primitive permutation groups.

Let $G$ be a collineation group of a thick finite generalised hexagon or generalised octagon $Γ$. If $G$ acts primitively on the points of $Γ$, then a recent result of Bamberg et al. shows that $G$ must be an almost simple group of Lie type. We show that, furthermore, the minimal normal subgroup $S$ of $G$ cannot be a Suzuki group or a Ree group of type $^2\text{G}_2$, and that if $S$ is a Ree group of type $^2\text{F}_4$, then $Γ$ is (up to point--line duality) the classical Ree--Tits generalised octagon.

Let $G$ be a group of collineations of a finite thick generalised quadrangle $Γ$. Suppose that $G$ acts primitively on the point set $\mathcal{P}$ of $Γ$, and transitively on the lines of $Γ$. We show that the primitive action of $G$ on $\mathcal{P}$ cannot be of holomorph simple or holomorph compound type. In joint work with Glasby, we have previously classified the examples $Γ$ for which the action of $G$ on $\mathcal{P}$ is of affine type. The problem of classifying generalised quadrangles with a point-primitive, line-transitive collineation group is therefore reduced to the case where there is a unique minimal normal subgroup $M$ and $M$ is non-Abelian.

In 2008, Schneider and Van Maldeghem proved that if a group acts flag-transitively, point-primitively, and line-primitively on a generalised hexagon or generalised octagon, then it is an almost simple group of Lie type. We show that point-primitivity is sufficient for the same conclusion, regardless of the action on lines or flags. This result narrows the search for generalised hexagons or octagons with point- or line-primitive collineation groups beyond the classical examples, namely the two generalised hexagons and one generalised octagon admitting the Lie type groups $\mathsf{G}_2(q)$, $\,^3\mathsf{D}_4(q)$, and $\,^2\mathsf{F}_4(q)$, respectively.

A pseudo-hyperoval of a projective space $\PG(3n-1,q)$, $q$ even, is a set of $q^n+2$ subspaces of dimension $n-1$ such that any three span the whole space. We prove that a pseudo-hyperoval with an irreducible transitive stabiliser is elementary. We then deduce from this result a classification of the thick generalised quadrangles $\mathcal{Q}$ that admit a point-primitive, line-transitive automorphism group with a point-regular abelian normal subgroup. Specifically, we show that $\mathcal{Q}$ is flag-transitive and isomorphic to $T_2^*(\mathcal{H})$, where $\mathcal{H}$ is either the regular hyperoval of $\PG(2,4)$ or the Lunelli--Sce hyperoval of $\PG(2,16)$.