Splendid Morita equivalences for the principal 2-blocks of 2-dimensional general linear groups in non-defining characteristic (Q6546097)

Let \(p\) be a prime and \((K,\mathcal{O},k)\) a \(p\)-modular system, that is, \(\mathcal{O}\) is a complete discrete valuation ring with quotient field \(K\) of characteristic \(0\) and with algebraically closed residue field \(k\) of characteristic \(p\). Let \(G\) and \(G'\) be finite groups, \(B\) and \(B'\) blocks of \(\mathcal{O}G\) and \(\mathcal{O}G'\), respectively, with a common defect group \(P\) and let \(\Delta(P)=\{(u,u) \mid u \in P\} \leq G \times G\) be the diagonal subgroup of \(P \times P\). A Morita equivalence between \(B\) and \(B'\) is said to be splendid if it is induced by a \(B\)-\(B'\)-bimodule \(M\) that is a \(\Delta(P)\)-projective \(p\)-permutation module as an \(\mathcal{O}[G\times G']\)-module. Puig's conjecture states that, for a given finite \(p\)-group \(P\), there are only finitely many isomorphism classes of interior \(P\)-algebras arising as source algebras of \(p\)-blocks of finite groups with defect groups isomorphic to \(P\).\N\NIn the paper under review, the authors show that the principal \(2\)-blocks of infinite series of \(2\)-dimensional general linear groups \(\mathrm{GL}_{2}(q)\) with wreathed Sylow \(2\)-subgroups are splendidly Morita equivalent and consequently, Puig's conjecture holds in this case. In order to construct splendid Morita equivalences, they use relative stable equivalences of Morita type introduced by \textit{L. Wang} and \textit{J. Zhang} [J. Pure Appl. Algebra 222, No. 9, 2703--2717 (2018; Zbl 1397.20025)].