The indecomposability of a certain bimodule given by the Brauer construction. (Q1772443): Difference between revisions

The paper under review is motivated by Broué's Abelian Defect Group Conjecture. It gives an indecomposability criterion which has recently been applied by \textit{S. Koshitani, N. Kunugi} and \textit{K. Waki} [J. Algebra 279, No. 2, 638--666 (2004; Zbl 1065.20021)] in their verification of Broué's conjecture for non-principal blocks of the simple Held and the sporadic Suzuki group. Let \(\mathcal O\) be a complete discrete valuation ring with an algebraically closed residue field \(k\) of characteristic \(p>0\). Let \(b\) be a block of the group algebra \({\mathcal O}G\) of a finite group \(G\) over \(\mathcal O\), and let \((P,e)\) be a maximal \(b\)-Brauer pair with normalizer \(H=N_G(P,e)\). Moreover, let \(f\) be a primitive idempotent in \(({\mathcal O}Gb)^{\triangle H}\) such that \(Br_{\triangle P}(f)e=e\). The authors show that the \({\mathcal O}(G\times H)\)-module \(X={\mathcal O}Gf\) is indecomposable with vertex \(\triangle P\). Also, for \(Q\leq Z(P)\), the \(k(C_G(Q)\times C_H(Q))\)-module \(e_QX(\triangle Q)f_Q\) is, up to isomorphism, the unique indecomposable direct summand of \(e_QkC_G(Q)f_Q\) with vertex \(\triangle P\); here \((Q,e_Q)\) and \((Q,f_Q)\) denote the Brauer pairs of \(G\) and \(H\), respectively, contained in \((P,e)\), and \(X(\triangle Q)\) denotes the Brauer construction with respect to the diagonal subgroup \(\triangle Q\leq G\times H\).