On blocks with trivial source simple modules. (Q626104)

Let \(k\) be an algebraically closed field of characteristic \(p>0\), let \(G\) be a finite group, and let \(b\) a block (idempotent) of the group algebra \(kG\) with maximal Brauer pair \((P,e)\). Motivated by a conjecture of \textit{S. Danz} and \textit{B. Külshammer} [J. Algebra 322, No. 11, 3919-3949 (2009; Zbl 1228.20011)], the authors show that the source algebra of \(b\) is isomorphic to the source algebra of the Brauer correspondent of \(b\) in \(N_G(P)\) (as interior \(P\)-algebras) if and only if \(N_G(P,e)\) controls the fusion of \(b\)-Brauer pairs and, for any \(b\)-Brauer pair \((Q,f)\) contained in \((P,e)\), all simple modules of the block \(f\) of \(k[C_G(Q)N_P(Q)]\) have trivial sources. Thus, in this situation, the block algebra \(kGb\) is Morita equivalent to a twisted group algebra of the semidirect product \(P\rtimes E\) over \(k\) where \(E=N_G(P,e)/PC_G(P)\). Moreover, such an isomorphism lifts from \(k\) to suitable valuation rings. This result should be a very efficient criterion in order to construct such Morita equivalences.