Exceptional-groups conjecture for intersecting Saxl-hypergraph edges

About 1 year old · traced to

Let G≤Sym⁡(Ω)G\leq \operatorname{Sym}(\Omega) be a finite primitive permutation group with base size b(G)≥2b(G)\geq 2, and let H(G)\mathcal{H}(G) be its Saxl hypergraph. Exceptional-groups conjecture. Exactly one of the following holds: GG is S⁡n\operatorname{S}_n in its natural action with n≥4n\geq 4; GG is A⁡n\operatorname{A}_n in its natural action with n≥6n\geq 6; or, for every pair of distinct points α,β∈Ω\alpha,\beta\in\Omega, there exist edges Eα,EβE_\alpha,E_\beta of H(G)\mathcal{H}(G) such that α∈Eα\alpha\in E_\alpha, β∈Eβ\beta\in E_\beta, and ∣Eα∩Eβ∣=1|E_\alpha\cap E_\beta|=1. The claim asserts that the symmetric and alternating natural actions are the only exceptions to this edge-intersection property; the supplied source gives no resolution.

References

Primary source

Melissa Lee and Anthony Pisani, “The Saxl hypergraph of a permutation group”, arXiv:2505.13849 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.