On blocks with trivial source simple modules.

From MaRDI portal



Abstract: Motivated by an observation in "Vertices, sources and Green correspondents of the simple modules for the large Mathieu groups", J. of Algebra 322, we determine the source algebra, and therefore all the structure, of the blocks without essential Brauer pairs where the simple modules of all the Brauer corespondents have trivial sources.


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.











This page was built for publication: On blocks with trivial source simple modules.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q626104)