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

About 6 years old · traced to

Let p⩾5p\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 PSL⁡3(p)×PSL⁡3(p)\operatorname{PSL}_3(p)\times\operatorname{PSL}_3(p), PSL⁡3(p2)\operatorname{PSL}_3(p^2), PSL⁡4(p)\operatorname{PSL}_4(p), or PSU⁡4(p)\operatorname{PSU}_4(p). Furthermore, if p⩾11p\geqslant 11 and SS has maximal class, then either SS is a Sylow pp-subgroup of G⁡2(p)\operatorname{G}_2(p), or SS has an abelian subgroup of index pp—perhaps even S≅B(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 Aut⁡F(γ1(S))≅PSL⁡2(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 p⩾11p\geqslant 11; its general validity remains open.

References

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.