[Paper Review] Flag-transitive block designs and finite exceptional simple groups of Lie type

Seyed Hassan Alavi|arXiv (Cornell University)|Aug 16, 2019

Finite Group Theory Research21 references4 citations

TL;DR

This paper classifies flag-transitive 2-designs with parameters (v,k,λ) admitting an almost simple automorphism group whose socle is a finite simple exceptional group of Lie type, under the condition gcd(r,λ) = 1. Using group-theoretic analysis of large maximal subgroups and flag-transitivity, the authors prove there are exactly four infinite families of such designs, corresponding to the groups $^2B_2(q)$, $^2G_2(q)$, and specific parabolic subgroups, with explicit parameters and examples provided for small q.

ABSTRACT

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.

Motivation & Objective

• To classify 2-designs with flag-transitive almost simple automorphism groups whose socle is a finite simple exceptional group of Lie type.
• To determine all such 2-designs under the condition that the replication number r and index λ are coprime.
• To extend previous results on flag-transitive designs by focusing on exceptional groups of Lie type, particularly $^2B_2(q)$ and $^2G_2(q)$.
• To provide explicit parameters and examples for each of the four infinite families of such designs.
• To analyze the structure of maximal subgroups and their role in flag-transitivity using group-theoretic techniques.

Proposed method

• Apply the classification of large maximal subgroups in almost simple groups with exceptional socle from [2, Theorem 1.6].
• Use the flag-transitivity condition to deduce that the point-stabilizer H is a maximal subgroup and satisfies |G| ≤ |H|³, implying H is large.
• Analyze the possible parabolic subgroups H ∩ X and K ∩ X for X a finite simple exceptional group of Lie type.
• Use the condition gcd(r,λ) = 1 to constrain possible parameters and eliminate non-viable configurations via divisibility and order arguments.
• Apply results from design theory, such as subdegree bounds and orbit structure, to rule out configurations where r² < v or r does not divide |v−1|_p.
• Use known group actions and coset actions (e.g., 2-transitive actions) to verify flag-transitivity and derive parameter sets.

Experimental results

Research questions

• RQ1 Which 2-designs with gcd(r,λ) = 1 admit a flag-transitive almost simple automorphism group with socle a finite simple exceptional group of Lie type?
• RQ2 What are the possible parameter sets (v,k,λ) for such designs, and how do they relate to the structure of the automorphism group?
• RQ3 How do the maximal parabolic subgroups H and K of the almost simple group G constrain the existence of such designs?
• RQ4 Why are only four infinite families of such designs possible, and what are the structural reasons for this finiteness?
• RQ5 Can the Ree Unital space $U_R(q)$ be characterized as the only flag-transitive design with $X = {}^2G_2(q)$, K ∩ X ≅ 2×A₁(q), and λ = 1?

Key findings

• There exist exactly four infinite families of non-trivial 2-designs with gcd(r,λ) = 1 and flag-transitive almost simple automorphism groups whose socle is a finite simple exceptional group of Lie type.
• For $X = {}^2B_2(q)$ with $q = 2^a$, $a \geq 3$ odd, the design has parameters $v = q^2 + 1$, $b = q(q^2 + 1)$, $r = q^2$, $k = q$, $\lambda = q - 1$.
• For $X = {}^2G_2(q)$ with $q = 3^a$, $a \geq 3$ odd, the Ree Unital space $U_R(q)$ has parameters $v = q^3 + 1$, $b = q^2(q^2 - q + 1)$, $r = q^2$, $k = q + 1$, $\lambda = 1$.
• For $X = {}^2G_2(q)$, another family has parameters $v = q^3 + 1$, $b = q^2(q^3 + 1)$, $r = q^3$, $k = q$, $\lambda = q - 1$, with $H ∩ X \cong q^3{:}(q-1)$ and $K ∩ X \cong q{:}(q-1)$.
• A fourth family with $X = {}^2G_2(q)$ has parameters $v = q^3 + 1$, $b = q(q^3 + 1)$, $r = q^3$, $k = q^2$, $\lambda = q^2 - 1$, with $K ∩ X \cong q^2{:}(q-1)$.
• All such designs arise from 2-transitive actions of the exceptional groups, and the flag-transitivity is inherited from the 2-transitivity of the action on cosets of parabolic subgroups.