Conjecture on saturated fusion systems on groups of order p^6

Let p5p\geqslant 5, let SS be a pp-group of order p6p^6, and let F\mathcal{F} be a saturated fusion system on SS such that Op(F)=1O_p(\mathcal{F})=1 and Op(F)=FO^p(\mathcal{F})=\mathcal{F}. The order-p6p^6 fusion-system conjecture. Either SS has maximal class, or SS is a Sylow subgroup of one of PSL3(p)×PSL3(p)\operatorname{PSL}_3(p)\times\operatorname{PSL}_3(p), PSL3(p2)\operatorname{PSL}_3(p^2), PSL4(p)\operatorname{PSL}_4(p), or PSU4(p)\operatorname{PSU}_4(p). Furthermore, if p11p\geqslant 11 and SS has maximal class, then either SS is a Sylow pp-subgroup of G2(p)\operatorname{G}_2(p), or SS has an abelian subgroup of index pp—perhaps even SB(p,6;0,0,0,0)S\cong B(p,6;0,0,0,0)—and F\mathcal{F} is obtained by pruning one of the fusion systems in Clelland and Parker (2010) having AutF(γ1(S))PSL2(p)\operatorname{Aut}_{\mathcal{F}}(\gamma_1(S))\cong\operatorname{PSL}_2(p) acting irreducibly on γ1(S)\gamma_1(S). The second part is stated to fail for p=5p=5, while computations for p=7p=7 motivate the restriction p11p\geqslant 11; its general validity remains open.

Sources & referencesView supporting material

Primary source

Chris Parker and Jason Semeraro, “Algorithms for fusion systems with applications to p-groups of small order”, arXiv:2003.01600 (2021).

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.