The indecomposability of a certain bimodule given by the Brauer construction. (Q1772443)

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\).