Relative local control and the block source algebras (Q1373832): Difference between revisions

Let \(G\) be a finite group, \(\mathcal O\) a suitable valuation ring, \(b\) a block of the group algebra \({\mathcal O}G\) with defect pointed group \(P_\gamma\) and \(D\) a normal subgroup of \(P\). The author says that \(b\) is locally controlled by \(P_\gamma\) relative to \(D\) if, for every local pointed subgroup \(Q_\delta\) of \(P_\gamma\) and every element \(x\in G\) such that \((Q_\delta)^x\subseteq P_\gamma\) there are elements \(z\in G\) and \(n\in P\) such that \(x=zn\) and \([Q,z]\subseteq D\). This generalizes the definition of a nilpotent block (which is the special case where \(D=1\)). The author is able to extend one of the key steps in Puig's analysis of nilpotent blocks to this more general setup: The strict covering of interior \(P\)-algebras \(\widetilde g\colon A_\gamma\otimes_{\mathcal O}{\mathcal O}[P/D]\to A_\gamma\) containing the map \(a\otimes x\mapsto a\) has a section \(\widetilde g'\colon A_\gamma\to A_\gamma\otimes_{\mathcal O}{\mathcal O}[P/D]\) which is also a strict covering of interior \(P\)-algebras; here \(A_\gamma\) denotes a source algebra of \(b\), and a strict covering of interior \(G\)-algebras is an exomorphism \(\widetilde f\colon A\to B\) such that \(\text{Ker}(f^H)\subseteq J(A^H)\) and \(B^H=\text{Im}(f^H)+J(B^H)\) for every subgroup \(H\) of \(G\) where \(f^H\colon A^H\to B^H\) denotes the restriction of \(f\) to fixed points of \(H\). Now suppose that, in addition, \(G\) contains a normal \(p\)-subgroup \(L\) such that \(O^p(G)\subseteq C_G(L)\) and \(P=L\times D\). Then it is shown that \(A_\gamma\cong\overline{A_\gamma}\otimes_{\mathcal O}{\mathcal O}L\) where \(\overline{A_\gamma}\) is the image of \(A_\gamma\) in \({\mathcal O}[G/L]\).