On the reduced Lefschetz module and the centric \(p\)-radical subgroups. (Q2566544)

Let \(G\) be a finite group and \(p\) a prime. A non-trivial \(p\)-subgroup \(U\) of a finite group \(G\) is called \(p\)-radical (resp. \(p\)-centric) if \(O_p(N_G(U))=U\) (resp. if any \(p\)-element in \(C_G(U)\) lies in \(U\)). Let \(\mathcal B_p(G)\) denote the \(G\)-simplicial complex determined by the \(G\)-poset of all \(p\)-radical subgroups of \(G\) and \(\mathcal B_p^{cen}(G)\) the subcomplex determined by the set of all \(p\)-radical subgroups of \(G\) which are \(p\)-centric in \(G\). \(\mathcal B_p^{cen}(G)\) is not homotopy equivalent to \(\mathcal B_p(G)\) and many of the known \(p\)-local geometries for sporadic simple groups can be realized as the smaller \(\mathcal B_p^{cen}(G)\) rather than the whole \(\mathcal B_p(G)\) [see \textit{M.~Sawabe}, Math. Proc. Camb. Philos. Soc. 133, No. 3, 383-398 (2002; Zbl 1019.20016), \textit{S.~D.~Smith} and \textit{S.~Yoshiara}, J. Algebra 192, No. 1, 326-379 (1997; Zbl 0898.20006)]. Furthermore it is known, concerning group cohomology, that \(\mathcal B_p^{cen}(G)\) induces the alternating sum decomposition of the cohomology \(H^*(G)_p\) [cf. \textit{J.~Grodal}, Ann. Math. (2) 155, No. 2, 405-457 (2002; Zbl 1004.55008), Theorem 9.1] as well as \(\mathcal B_p (G)\) does [cf. \textit{P.~Webb}, Comment. Math. Helv. 62, 135-167 (1987; Zbl 0616.20022), Theorem A]. In this nice paper the author studies the reduced Euler characteristic \(\widetilde\chi(\mathcal B_p^{cen}(G))\) and the reduced Lefschetz module \(\widetilde L_G(\mathcal B_p^{cen}(G))\) and shows in particular that \(\widetilde L_G(\mathcal B_p^{cen}(G))\) is an \(\mathcal X\)-projective virtual \(\mathbb{Z}_p[G]\)-module where \(\mathcal X\) is a family of \(p\)-subgroups of the normalizers of non-centric \(p\)-radical subgroups of \(G\). As a corollary, he obtains a lower bound of the \(p\)-power of the reduced Euler characteristic \(\widetilde\chi(\mathcal B_p^{cen}(G))\).