This paper is devoted to the classification of flag-transitive 2-(v,k,2) designs. We show that apart from two known symmetric 2-(16,6,2) designs, every flag-transitive subgroup G of the automorphism group of a nontrivial 2-(v,k,2) design is primitive of affine or almost simple type. Moreover, we classify the 2-(v,k,2) designs admitting a flag transitive almost simple group G with socle PSL(n,q) for some n \geq 3. Alongside this analysis, we give a construction for a flag-transitive 2-(v,k-1,k-2) design from a given flag-transitive 2-(v,k,1) design which induces a 2-transitive action on a line. Taking the design of points and lines of the projective space PG(n-1,3) as input to this construction yields a G-flag-transitive 2-(v,3,2) design where G has socle PSL(n,3) and v=(3^n-1)/2. Apart from these designs, our PSL-classification yields exactly one other example, namely the complement of the Fano plane.
In this paper we develop several general methods for analysing flag-transitive point-imprimitive $2$-designs, which give restrictions on both the automorphisms and parameters of such designs. These constitute a tool-kit for analysing these designs and their groups. We apply these methods to complete the classification of flag-transitive, point-imprimitive $2$-$(v,k,λ)$ designs with $λ$ at most $4$.
Among the properties of homogeneity of incidence structures flag-transitivity obviously is a particularly important and natural one. Consequently, in the last decades also flag-transitive Steiner tdesigns (i.e. flag-transitive t-(v,k,1) designs) have been investigated, whereas only by the use of the classification of the finite simple groups has it been possible in recent years to essentially characterize all flag-transitive Steiner 2-designs. However, despite the finite simple group classification, for Steiner t-designs with parameters t > 2 such characterizations have remained challenging op…
This paper studies flag-transitive point-primitive non-symmetric $2$-($v,k,2$) designs. We prove that if $\mathcal{D}$ is a non-trivial non-symmetric $2$-$(v,k,2)$ design admitting a flag-transitive point-primitive automorphism group $G$ with $Soc(G)=A_{n}$ for $n\geq5$, then $\mathcal{D}$ is a $2$-$(6,3,2)$ or $2$-$(10,4,2)$ design.
We give a construction of a family of designs with a specified point-partition, and determine the subgroup of automorphisms leaving invariant the point-partition. We give necessary and sufficient conditions for a design in the family to possess a flag-transitive group of automorphisms preserving the specified point-partition. We give examples of flag-transitive designs in the family, including a new symmetric $2$-$(1408,336,80)$ design with automorphism group $2^{12}:((3\cdot\mathrm{M}_{22}):2)$, and a construction of one of the families of the symplectic designs (the designs $S^-(n)$) exhibit…
A Steiner quadruple system of order v is a 3-(v,4,1) design, and will be denoted SQS(v). Using the classification of finite 2-transitive permutation groups all SQS(v) with a flag-transitive automorphism group are completely classified, thus solving the "still open and longstanding problem of classifying all flag-transitive 3-(v,k,1) designs" for the smallest value of k. Moreover, a generalization of a result of H. Lueneburg (1965, Math. Z. 89, 82-90) is achieved.
In this article, we study $2$-designs with prime replication number admitting a flag-transitive automorphism group. The automorphism groups of these designs are point-primitive of almost simple or affine type. We determine $2$-designs with prime replication number admitting an almost simple automorphism group.
We solve the long-standing open problem of classifying all 3-(v,k,1) designs with a flag-transitive group of automorphisms (cf. A. Delandtsheer, Geom. Dedicata 41 (1992), p. 147; and in: "Handbook of Incidence Geometry", ed. by F. Buekenhout, Elsevier Science, Amsterdam, 1995, p. 273; but presumably dating back to 1965). Our result relies on the classification of the finite 2-transitive permutation groups.
In this article, we study $2$-designs with $\gcd(r,λ)=1$ admitting a flag-transitive almost simple automorphism group with socle a finite simple exceptional group of Lie type. We obtain four infinite families of such designs and provide some examples in each of these families.
In this paper, we present a classification of $2$-designs with $\gcd(r,λ)=1$ admitting flag-transitive automorphism groups. If $G$ is a flag-transitive automorphism group of a non-trivial $2$-design $\mathcal{D}$ with $\gcd(r,λ)=1$, then either $(\mathcal{D},G)$ is one of the known examples described in this paper, or $\mathcal{D}$ has $q = p^{d}$ points with $p$ prime and $G$ is a subgroup of $AΓL_{1}(q)$.
Let $\mathcal D$ be a nontrivial symmetric $(v,k,λ)$ design, and $G$ be a subgroup of the full automorphism group of $\mathcal D$. In this paper we prove that if $G$ acts flag-transitively, point-primitively on $\mathcal D$ and $Soc(G)= PSL(2,q)$, then D has parameters $(7, 3, 1)$, $(7, 4, 2)$, $(11, 5, 2)$, $(11, 6, 3)$ or $(15, 8, 4)$.
Let $G$ be a flag-transitive automorphism group of a $(v,k,λ)$ symmetric design $\mathcal{D}$ with $k>λ(λ-2)$. O'Reilly Regueiro proved that if $G$ is point-imprimitive, then $\mathcal{D}$ has parameters $(v,k,λ)=(λ^2(λ+2),λ(λ+1),λ)$. In the present paper, we consider the case that $G$ is point-primitive. By applying the O'Nan-Scott Theorem, we prove that $G$ must be of affine type or almost simple type.
This paper determined all pairs $(\mathcal{D},G)$ where $\mathcal{D}$ is a non-symmetric 2-$(v,k,λ)$ design with $(r,λ)=1$ and $G$ is the almost simple flag-transitive automorphism group of $\mathcal{D}$ with an exceptional socle of Lie type. We prove that if $T\trianglelefteq G\leq Aut(T)$ where $T$ is an exceptional group of Lie type, then $T$ must be the Ree group or Suzuki group, and there are five classes of non-isomorphic designs $\mathcal{D}$.
The symmetric $2$-$(v,k,λ)$ designs, with $k>λ\left(λ-3 \right)/2$, admitting a flag-transitive, point-imprimitive automorphism group are completely classified: they are the known $2$-designs with parameters $(16,6,2),(45,12,3),(15,8,4)$ or $(96,20,4)$.
In this article, we investigate $2$-$(v,k,λ)$ designs with $\gcd(r,λ)=1$ admitting flag-transitive automorphism groups $G$. We prove that if $G$ is an almost simple group, then such a design belongs to one of the seven infinite families of $2$-designs or it is one of the eleven well-known examples. We describe all these examples of designs. We, in particular, prove that if $\mathcal{D}$ is a symmetric $(v,k,λ)$ design with $\gcd(k,λ)=1$ admitting a flag-transitive automorphism group $G$, then either $G\leq AΓL_{1}(q)$ for some odd prime power $q$, or $\mathcal{D}$ is a projective space or the …
Suppose that an automorphism group $G$ acts flag-transitively on a finite generalized hexagon or octagon $\cS$, and suppose that the action on both the point and line set is primitive. We show that $G$ is an almost simple group of Lie type, that is, the socle of $G$ is a simple Chevalley group.
In this article, we study $2$-designs with $\gcd(r, λ)=1$ admitting a flag-transitive automorphism group. The automorphism groups of these designs are point-primitive of almost simple or affine type. We determine all pairs $(\mathcal{D}, G)$, where $\mathcal{D}$ is a $2$-design with $\gcd(r, λ)=1$ and $G$ is a flag-transitive almost simple automorphism group of $\mathcal{D}$ whose socle is $X=\mathrm{PSU}(n, q)$ with $(n, q)\neq (3, 2)$ and prove that such a design belongs to one of the two infinite families of Hermitian unitals and Witt-Bose-Shrikhande spaces, or it is isomorphic to a design …
This paper studies the existence of finite non-Desarguesian flag-transitive projective plane, giving necessary conditions in terms of polynomial equations over finite fields of characteristic $3$. This sheds light on the longstanding conjecture that every finite flag-transitive projective plane is Desarguesian.
In 1987, Huw Davies proved that, for a flag-transitive point-imprimitive $2$-$(v,k,λ)$ design, both the block-size $k$ and the number $v$ of points are bounded by functions of $λ$, but he did not make these bounds explicit. In this paper we derive explicit polynomial functions of $λ$ bounding $k$ and $v$. For $λ\leq 4$ we obtain a list of `numerically feasible' parameter sets $v, k, λ$ together with the number of parts and part-size of an invariant point-partition and the size of a nontrivial block-part intersection. Moreover from these parameter sets we determine all examples with fewer than …
In this paper, we construct new families of flag-transitive linear spaces with $q^{2n}$ points and $q^{2}$ points on each line that admit a one-dimensional affine automorphism group. We achieve this by building a natural connection with permutation polynomials of $\mathbb{F}_{q^{2}}$ of a particular form and following the scheme of Pauley and Bamberg in [A construction of one-dimensional affine flag-transitive linear spaces, Finite Fields Appl. 14 (2008) 537-548].
The pairs $(\mathcal{D},G)$, where $\mathcal{D}$ is a non-trivial $2$-$(k^{2},k,λ)$ design, with $λ\mid k$, and $G$ is a flag-transitive automorphism group of $\mathcal{D}$ of affine type such that $G \nleq A ΓL_{1}(k^{2})$, are classified.
Let $\mathcal{D}=\left(\mathcal{P},\mathcal{B} \right)$ be a symmetric $2$-$(v,k,λ)$ design admitting a flag-transitive, point-imprimitive automorphism group $G$ that leaves invariant a non-trivial partition $Σ$ of $\mathcal{P}$. Praeger and Zhou \cite{PZ} have shown that, there is a constant $k_{0}$ such that, for each $B \in \mathcal{B}$ and $Δ\in Σ$, the size of $\left\vert B \cap Δ\right \vert$ is either $0$ or $k_{0}$. In the present paper we show that, if $k>λ\left(λ-3 \right)/2$ and $k_{0} \geq 3$, $\mathcal{D}$ is isomorphic to one of the known flag-transitive, point-imprimitive symmet…
It is shown that, apart from the smallest Ree group, a flag-transitive automorphism group $G$ of a $2$-$(k^{2}, k, λ)$ design D, with $λ\mid k$, is either an affine group or an almost simple classical group. Moreover, when $G$ is the smallest Ree group, $\mathcal{D}$ is isomorphic either to the $2$-$(62, 6, 2)$ design or to one of the three $2$- $(62, 6, 6)$ designs constructed in this paper. All the four $2$-designs have the $36$ secants of a nondegenerate conic $\mathcal{C}$ of $PG_{2}(8)$ as a point set and 6-sets of secants in a remarkable configuration as a block set.
Analysing 2-$(v,k,2)$ designs admitting a flag-transitive almost simple automorphism group with socle $PSL(2,q)$ by means of conics and hyperovals of $PG(2,q)$
As a consequence of the classification of the finite simple groups, it has been possible in recent years to characterize Steiner t-designs, that is t-(v,k,1) designs, mainly for t = 2, admitting groups of automorphisms with sufficiently strong symmetry properties. However, despite the finite simple group classification, for Steiner t-designs with t > 2 most of these characterizations have remained longstanding challenging problems. Especially, the determination of all flag-transitive Steiner t-designs with 2 < t < 7 is of particular interest and has been open for about 40 years (cf. [11, p. 14…
In this paper, we consider finite flag-transitive affine planes with a solvable automorphism group. Under a mild number-theoretic condition involving the order and dimension of the plane, the translation complement must contain a linear cyclic subgroup that either is transitive or has two equal-sized orbits on the line at infinity. We develop a new approach to the study of such planes by associating them with planar functions and permutation polynomials in the odd order and even order case respectively. In the odd order case, we characterize the Kantor-Suetake family by using Menichetti's clas…
A Cayley Graph for a group $G$ is called normal edge-transitive if it admits an edge-transitive action of some subgroup of the Holomorph of $G$ (the normaliser of a regular copy of $G$ in $\operatorname{Sym}(G)$). We complete the classification of normal edge-transitive Cayley graphs of order a product of two primes by dealing with Cayley graphs for Frobenius groups of such orders. We determine the automorphism groups of these graphs, proving in particular that there is a unique vertex-primitive example, namely the flag graph of the Fano plane.
The Baby Monster group B acts naturally on a geometry E(B) with diagram c.F_4(t) for t=4 and the action of B on E(B) is flag-transitive. It possesses the following properties: (a) any two elements of type 1 are incident to at most one common element of type 2, and (b) three elements of type 1 are pairwise incident to common elements of type 2 iff they are incident to a common element of type 5. It is shown that E(B) is the only (non-necessary flag-transitive) c.F_4(t)-geometry, satisfying t=4, (a) and (b), thus obtaining the first characterization of B in terms of an incidence geometry, simila…
This paper considers flag-transitive $4$-$(q+1,k,λ)$ designs with $λ\geq5$ and $q+1>k>4$. Let the automorphism group of a design $\cal D$ be a simple group $G=PSL(2,q)$. Depend on the fact that the setwise stabilizer $G_B$ must be one of twelve kinds of subgroups, up to isomorphism we get the following two results. (i) If $10\geq λ\geq 5$, then except $(G,G_x,G_B,k,λ)=(PSL(2,761),{E_{761}}\rtimes {C_{380}},S_4,24,7)$ or $(PSL(2,512),{E_{512}}\rtimes {C_{511}},{D_{18}},18,8)$ undecided, $\cal D$ is a $4$-$(24,8,5)$, $4$-$(9,8,5)$, $4$-$(8,6,6)$, $4$-$(10,9,6)$, $4$-$(9,6,10)$, $4$-$(9,7,10)$, $…
It is known that the notion of a transitive subgroup of a permutation group $G$ extends naturally to subsets of $G$. We consider subsets of the general linear group $\operatorname{GL}(n,q)$ acting transitively on flag-like structures, which are common generalisations of $t$-dimensional subspaces of $\mathbb{F}_q^n$ and bases of $t$-dimensional subspaces of $\mathbb{F}_q^n$. We give structural characterisations of transitive subsets of $\operatorname{GL}(n,q)$ using the character theory of $\operatorname{GL}(n,q)$ and interprete such subsets as designs in the conjugacy class association scheme …
A graph $Γ$ is $G$-symmetric if $G$ is a group of automorphisms of $Γ$ which is transitive on the set of ordered pairs of adjacent vertices of $Γ$. If $V(Γ)$ admits a nontrivial $G$-invariant partition ${\cal B}$ such that for blocks $B, C \in {\cal B}$ adjacent in the quotient graph $Γ_{\cal B}$ of $Γ$ relative to ${\cal B}$, exactly one vertex of $B$ has no neighbour in $C$, then $Γ$ is called an almost multicover of $Γ_{\cal B}$. In this case an incidence structure with point set ${\cal B}$ arises naturally, and it is a $(G, 2)$-point-transitive and $G$-block-transitive 2-design if in addit…
Regular polygonal complexes in euclidean 3-space are discrete polyhedra-like structures with finite or infinite polygons as faces and with finite graphs as vertex-figures, such that their symmetry groups are transitive on the flags. The present paper and its predecessor describe a complete classification of regular polygonal complexes in 3-space. In Part I we established basic structural results for the symmetry groups, discussed operations on their generators, characterized the complexes with face mirrors as the 2-skeletons of the regular 4-apeirotopes in 3-space, and fully enumerated the sim…
Ostrom and Wagner (1959) proved that if the automorphism group $G$ of a finite projective plane $π$ acts $2$-transitively on the points of $π$, then $π$ is isomorphic to the Desarguesian projective plane and $G$ is isomorphic to $\mathrm{PΓL}(3,q)$ (for some prime-power $q$). In the more general case of a finite rank $2$ irreducible spherical building, also known as a \emph{generalized polygon}, the theorem of Fong and Seitz (1973) gave a classification of the \emph{Moufang} examples. A conjecture of Kantor, made in print in 1991, says that there are only two non-classical examples of flag-tra…
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…
We study point-block incidence structures $(\mathcal{P},\mathcal{B})$ for which the point set $\mathcal{P}$ is an $m\times n$ grid. Cameron and the fourth author showed that each block $B$ may be viewed as a subgraph of a complete bipartite graph $\mathbf{K}_{m,n}$ with bipartite parts (biparts) of sizes $m, n$. In the case where $\mathcal{B}$ consists of all the subgraphs isomorphic to $B$, under automorphisms of $\mathbf{K}_{m,n}$ fixing the two biparts, they obtained necessary and sufficient conditions for $(\mathcal{P},\mathcal{B})$ to be a $2$-design, and to be a $3$-design. We first re-i…
A graph $Γ$ is called $G$-symmetric if it admits $G$ as a group of automorphisms acting transitively on the set of ordered pairs of adjacent vertices. We give a classification of $G$-symmetric graphs $Γ$ with $V(Γ)$ admitting a nontrivial $G$-invariant partition $\mathcal{B}$ such that there is exactly one edge of $Γ$ between any two distinct blocks of $\mathcal{B}$. This is achieved by giving a classification of $(G, 2)$-point-transitive and $G$-block-transitive designs $\mathcal{D}$ together with $G$-orbits $Ω$ on the flag set of $\mathcal{D}$ such that $G_{σ, L}$ is transitive on $L \setmin…
