Proving a conjecture for fusion systems on a class of groups (Q6066497)

Let \(p\) be a prime and \(P\) a finite \(p\)-group. A fusion system on \(P\) is a category whose objects are the subgroups of \(P\) and whose morphisms are injective group homomorphisms between the subgroups of \(P\) fulfilling certain assumptions. If these morphisms satisfy two more additional axioms, such systems are said to be saturated. In this paper, all fusion systems are saturated. A finite group \(G\) determines a fusion system \(\mathcal{F}_{P}(G)\) on a Sylow \(p\)-subgroup \(P\) of G, if the morphisms are the conjugation maps induced by a fixed element in \(G\). A fusion system that can be constructed in this way is called realisable, whereas a fusion system which is not realisable is called exotic. Let \(k\) be an algebraically closed field with \(\mathrm{char}(k)=p\) and let \(b\) be a block of \(kG\). In this setting, one can define a fusion system on a defect group \(P\) of \(b\) by again defining the morphisms to be certain conjugation maps induced by an element in \(G\). This fusion system is then denoted by \(\mathcal{F}_{(P,e_{P})} (G, b)\), where \((P, e_{P})\) is a maximal \(b\)-Brauer pair. Not every fusion system \(\mathcal{F}\) can be constructed in this way, if it can we call \(\mathcal{F}\) block-realisable, otherwise block-exotic. In the books of \textit{M. Aschbacher} et al. [Fusion systems in algebra and topology. Cambridge: Cambridge University Press (2011; Zbl 1255.20001)] and \textit{D.A. Craven} [The theory of fusion systems. An algebraic approach. Cambridge: Cambridge University Press (2011; Zbl 1278.20001)], it has been conjectured that if \(\mathcal{F}\) is an exotic fusion system, then \(\mathcal{F}\) is block-exotic. In the paper under review, the author provides a contribution to the proof of the conjecture mentioned above. In particular, he proves the following: Theorem 1.2: Let \(p\geq 5\) and \(\mathcal{F}\) be a fusion system on a \(p\)-group of maximal class that is exceptional. If \(\mathcal{F}\) is an exotic fusion system, then \(\mathcal{F}\) is block-exotic.