Normalizers and centralizers of subnormal subsystems of fusion systems (Q7035154)

In representation theory of finite groups, fusion systems play a very important role. The author of the paper under review discusses saturated fusion systems. Let us fix a prime number \(p\). A saturated fusion system \(\mathcal F\) over a finite \(p\)-group \(S\) is a category such that the objects of \(\mathcal F\) are all the subgroups of \(S\) and morphisms of \(\mathcal F\) are injective homomorphisms between subgroups of \(S\) such that \(\mathcal F\)\Nsatisfies certain conditions. The first such an example is the fusion system \(\mathcal F_S(G)\) when \(S\) is a Sylow \(p\)-subgroup of a finite group \(G\) and the morphisms are those homomorphisms between subgroups of \(S\) induced by conjugation in \(G\) (see the book by \textit{M. Aschbacher} et al. [Fusion systems in algebra and topology. Cambridge: Cambridge University Press (2011; Zbl 1255.20001)]). Even more is that \textit{M. Aschbacher}'s aim is giving a new proof of the classification of finite simple groups (CFSG) in part, especially by making use of saturated fusion systems for the case \(p=2\) (see [The generalized Fitting subsystem of a fusion system. Providence, RI: American Mathematical Society (AMS) (2011; Zbl 1278.20020); On fusion systems of component type. Providence, RI: American Mathematical Society (AMS) (2019; Zbl 1481.20001)]). See also [\textit{B. Oliver}, Publ. Mat., Barc. 67, No. 2, 795--818 (2023; Zbl 1526.20034)].\N\NIn this paper under review, one of the main characters is a (regular) locality, that is something like a finite group\Nintroduced by \textit{A. Chermak} [Acta Math. 211, No. 1, 47--139 (2013; Zbl 1295.20021); \textit{A. Chermak} and \textit{E. Henke}, Adv. Math. 410, Part A, Article ID 108690, 92 p. (2022; Zbl 1514.20076)]). A locality over \(\mathcal F\) is a triple \((\mathcal L,\Delta,S)\) where \(\mathcal L\) is a partial group, \(S\) is a \(p\)-subgroup of \(\mathcal L\) which is Sylow in a certain sense and \(\Delta\) is an overconjugacy-closed set of subgroups of \(S\). Note that for those results the CFSG had been needed until \textit{G. Glauberman} and \textit{J. Lynd} gave a CFSG-free proof [Invent. Math. 206, No. 2, 441--484 (2016; Zbl 1396.20016)]. The author of the paper under review defines and studies the normalizers and the centralizers of subnormal subsystems of saturated fusion systems. That is, by assuming that \(\mathcal E\) is a subnormal subsystem of \(\mathcal F\) over \(T\) with \(T\leq S\), \((\mathcal L,\Delta,S)\) is regular, \(\mathcal H\unlhd\unlhd\,\mathcal L\) with \(T=S\cap\mathcal H\) and \(\mathcal E=\mathcal F_T(\mathcal H)\), the author defines the normalizer \(N_{\mathcal F}(\mathcal E)\) and the centralizer \(C_{\mathcal F}(\mathcal E)\) of \(\mathcal E\) in \(\mathcal F\). Author's definitions generalize what the people above have done.