The hyperfocal subalgebra of a block (Q1579078)

In 1988 the author had published his celebrated results on the structure of nilpotent blocks [Invent. Math. 93, No. 1, 77-116 (1988; Zbl 0646.20010)]. In the present paper, the author proves a far reaching generalization of these results. Both papers are best understood as block-theoretic analogues of results in local group theory. The structure theorem for nilpotent blocks is the analogue of the Frobenius criterion for \(p\)-nilpotency: A finite group \(G\) is \(p\)-nilpotent if and only if \(N_G(Q)/C_G(Q)\) is a \(p\)-group for every \(p\)-subgroup \(Q\) of \(G\). The present paper is the analogue of a variant of Grün's theorem: If \(T\) is a Sylow \(p\)-subgroup of a finite group \(G\) then \(T\cap O^p(G)\) is generated by all \([Q,O^p(N_G(Q))]\) where \(Q\) runs through the set of subgroups of \(T\). (Then \(T\cap O^p(G)\) is called the hyperfocal subgroup of \(T\).) In order to state the block-theoretic analogue of Grün's theorem, we fix a suitable \(p\)-adic ring \(\mathcal O\), a finite group \(G\), a block \(b\) of \({\mathcal O}G\), a defect group \(P\) of \(b\), a local point \(\gamma\) of \(P\) on \({\mathcal O}Gb\), an idempotent \(i\in\gamma\) and the corresponding source algebra \(B=i{\mathcal O}Gi\). The hyperfocal subgroup of \(P_\gamma\) is the normal subgroup \(Q\) of \(P\) generated by all \([R,O^p(N_G(R_\varepsilon))]\) where \(R_\varepsilon\) runs through the set of local pointed subgroups of \(P_\gamma\). Then there is a unique local point \(\delta\) of \(Q\) such that \(Q_\delta\subseteq P_\gamma\), and the main theorem shows that there exists a \(P\)-stable \(\mathcal O\)-subalgebra \(D\) of \(B\) containing the image of \(Q\) in \(B\) and satisfying \(B=\bigoplus_{u\in U}Du\) where \(U\) is a transversal for \(P/Q\). (So in particular \(B\) is a crossed product of \(D\) and \(P/Q\).) Moreover, \(D\) is unique up to \((B^P)^*\)-conjugation. (In the case of a nilpotent block we have \(Q=1\), and \(D\) is just a full matrix algebra over \(\mathcal O\)).