$2$-designs admitting a flag-transitive automorphism group with socle $PSL(2,q)$

Abstract: $2$-designs admitting a flag-transitive automorphism group $G$ with socle $PSL(2,q)$, where $q=p^{f}\geq 4$, are investigated in both the point-primitive and point-imprimitive cases. In the latter case, a complete classification is achieved, and three known examples occur, namely: the complementary designs of $PG(3,2)$ and $PG(3,4)$, and the $2$-$(36,8,4)$ design constructed by Devillers and Praeger in [14]. In the point-primitive case, apart from the Witt-Bose-Shrikhande linear spaces of even order $q$, $48$ sporadic examples are classified. Surprisingly, one of these numerical examples is the linear space with $v=496$ and $k=4$ admitting $PΓL(2,2<sup>{5})$ as a flag-transitive automorphism group, which was missing in the 1990 classification by Buekenhout et al. [7,36,12].

• The paper achieves a complete classification of flag-transitive 2-designs with socle PSL(2,q), correcting earlier oversights with the unique 2-(496,4,1) design.
• It utilizes advanced group-theoretic analysis and computational tools (GAP) to examine both point-primitive and point-imprimitive cases.
• The study delineates sporadic examples and infinite parametric families, setting a refined groundwork for future research in algebraic combinatorics.

Classification of $2$-Designs with Flag-Transitive Automorphism Group with Socle $PSL(2,q)$

Summary and Main Results

This paper addresses the classification problem for nontrivial $2$-designs admitting a flag-transitive automorphism group whose socle is the finite simple group $PSL(2,q)$. Both the point-primitive and point-imprimitive cases are analyzed. The principal achievement is a complete classification in the point-imprimitive case, with three known examples identified, and an essentially complete reduction in the point-primitive case, in which sporadic and infinite parametric families are delineated. This includes the identification of a previously omitted linear space with parameters $(v,k)=(496,4)$ admitting $P(2,2^5)$ as a flag-transitive automorphism group, which fills a gap in the existing literature.

Structural and Methodological Overview

The approach combines detailed group-theoretic analysis (using the structure of $PSL(2,q)$ and its maximal subgroups) with combinatorial and design-theoretic arguments. For the point-primitive case, the authors employ restrictions on parameters arising from permutation group theory, maximal subgroup classification (as per Dickson’s theorem), and subdegree analysis, in conjunction with standard $2$-design parameter constraints. Computational tools (GAP and the Design package) are used to check existence and uniqueness for sporadic examples and to exclude cases that otherwise satisfy theoretical divisibility criteria.

The point-imprimitive analysis builds on the Camina-Zieschang theorem, which factorizes a flag-transitive design with an imprimitive automorphism group into "subdesigns" on partition blocks and quotient designs on block systems, allowing a recursive reduction to primitive actions.

Detailed Classification

Point-Primitive Case

Four types of cases are identified, extensively classified as follows:

1. $2$-transitive actions with $v=q+1$: Here, $PSL(2,q)$0 acts flag- and $PSL(2,q)$1-transitively, so the point set is the projective line $PSL(2,q)$2, and blocks are orbits of subgroups of $PSL(2,q)$3 of order $PSL(2,q)$4. These correspond to geometric structures arising from conics, hyperovals, etc.
2. Sporadic and parametric cases in Table 1 of the paper: Explicit enumeration with numerical parameters, including Witt–Bose–Shrikhande linear spaces and previously unrecognized sporadic examples.
3. Infinite parametric families:
   • Designs with block size $PSL(2,q)$5 and parameters $PSL(2,q)$6, where $PSL(2,q)$7 divides $PSL(2,q)$8.
   • Designs with block size $PSL(2,q)$9 and parameters $2$0 for $2$1 and $2$2. These infinite families remain only partially explored and are subject to further geometric study.
4. Correction of earlier classification oversights: The existence and uniqueness of a $2$3-$2$4 design with $2$5 as flag-transitive automorphism group is proven. This fills a gap in [BDDKLS (1990), Saxl (2002), Delandtsheer (1986)]’s classification, using both theoretical and computational (GAP) approaches.

Point-Imprimitive Case

The point-imprimitive case is shown to have only three possible examples (up to isomorphism), all of which were previously known and are described via the Camina-Zieschang reduction:

• The $2$6-$2$7 design complement of $2$8 with $2$9 automorphism group.
• The $PSL(2,q)$0-$PSL(2,q)$1 design constructed by Devillers and Praeger.
• The $PSL(2,q)$2-$PSL(2,q)$3 symmetric design complement of $PSL(2,q)$4 with $PSL(2,q)$5 automorphism group.

All other parameter sets are excluded by a combination of group order/representations analysis, subdegree computations, and design parameter arithmetic.

Numerical and Structural Results

The classification table explicitly lists all non-isomorphic designs found, including all numerical invariants and group-theoretic data (identifying isomorphism types of point- and block-stabilizers, and full automorphism group), as well as construction references and computational certificates (e.g., explicit generators and blocks for GAP reconstructions).

Notable claims and corrections:

• The strong claim that all point-imprimitive flag-transitive $PSL(2,q)$6-designs with automorphism group of socle $PSL(2,q)$7 fall into the three described types.
• The contradictory claim (relative to earlier literature) is the identification of the missing $PSL(2,q)$8-$PSL(2,q)$9 example, together with a rigorous proof of its existence and uniqueness in the family.

Theoretical and Practical Implications

This exhaustive classification clarifies the landscape of flag-transitive $(v,k)=(496,4)$0-designs with automorphism group of $(v,k)=(496,4)$1 type, consolidating several disparate threads from the algebraic combinatorics literature. The results have a dual impact:

• Group Theory: They confirm the constraint imposed by the maximal subgroup structures on possible flag-transitive $(v,k)=(496,4)$2-designs, reinforcing the interplay between design theory and permutation groups.
• Combinatorial Design Theory: The explicit constructions and computational certificates enhance reproducibility and facilitate future algorithmic searches and theoretical explorations of infinite parametric families.

The correction for the $(v,k)=(496,4)$3-$(v,k)=(496,4)$4 space sharpens the record and will inform further work on linear spaces, symmetric designs, and their associated geometric objects.

Future Directions

The analytic techniques lay groundwork for analogous studies in higher-dimensional projective groups (e.g., $(v,k)=(496,4)$5 for $(v,k)=(496,4)$6), and the unresolved cases in the infinite parametric families suggest a rich source of geometric and algebraic structures yet to be explored. Additionally, the use of computational tools in verifying flag-transitivity and uniqueness standards the role of experimental mathematics in this domain.

Conclusion

This paper achieves an essentially full classification of nontrivial $(v,k)=(496,4)$7-designs admitting a flag-transitive automorphism group with socle $(v,k)=(496,4)$8. Novel examples are identified and properly circumscribed, and previously overlooked cases are corrected. The results reinforce the deep connection between finite permutation group theory and the combinatorial properties of incidence structures, offering a reference touchstone for future investigation in algebraic combinatorics and finite geometry.

Reference: "$(v,k)=(496,4)$9-designs admitting a flag-transitive automorphism group with socle $P(2,2^5)$0" (2607.05067)