Block-exoticity of a family of exotic fusion systems (Q2182107)

Let \(G\) be a finite group, \(p\) a prime and \(P\) a Sylow \(p\)-subgroup of \(G\). For a block \(b\) of \(G\) with defect group \(D\) and maximal Brauer pair \((D,e_D)\) there is a saturated fusion system \(\mathcal{F}_{(D,e_D)}(G,b)\) which coincides with \(\mathcal{F}_P(G)\) for the principal block. A fusion system \(\mathcal{F}\) is called exotic if \(\mathcal{F}\ne\mathcal{F}_P(G)\) for all \(G\), \(P\), and there is a corresponding notion of block-exotic. The paper under review presents some evidence for the conjecture that ``exotic implies block exotic'' by proving it for the saturated fusion systems with no nontrivial normal \(p\)-subgroup on the Sylow \(p\)-subgroups of \(G_2(p)\) for \(p\) odd. By earlier work of [\textit{C. Parker} and \textit{J. Semeraro}, Math. Z. 289, No. 1--2, 629--662 (2018; Zbl 1483.20042)] it is known that 27 of these fusion systems are exotic, and all of them are shown to be block-exotic. The proof relies on CFSG and also presents some more general reduction results that might prove useful in other contexts.