On Morita and derived equivalences for cohomological Mackey algebras (Q1650167)

Cohomological Mackey functors associated to modular \(p\)-blocks of finite groups give rise to an abelian category, denoted \(\mathrm{coMack}(G,b)\), where \(b\) is a block of \(\mathcal{O}G\) for \(G\) a finite group, and \(\mathcal{O}\) is a complete local principal ideal domain with residue field \(k=\mathcal{O}/J(\mathcal{O})\) of characteristic \(p\). In fact, \(\mathrm{coMack}(G,b)\) is a module category over the cohomological Mackey algebra associated to \(b\). Between blocks of finite groups, different types of equivalences exist: Morita equivalences, derived equivalences, splendid Morita equivalences, etc. Two blocks are splendid Morita equivalent if their source algebras (which are algebras associated to blocks using primitive idempotents) are isomorphic. The source algebra is always Morita equivalent with its corresponding block algebra. In the main result of the paper, the authors show that an equivalence between the abelian categories of cohomological Mackey functors associated to two blocks induces a so-called permeable Morita equivalence between their block algebras. A permeable Morita equivalence between two block algebras, which was introduced by the second author in a previous paper, is a Morita equivalence given by a bimodule \(X\) and its \(\mathcal{O}\)-dual \(X^*\), such that the functor induced by \(X\) is well-defined between finitely generated, projective, permutation modules. In particular, when \(\mathcal{O}\) has characteristic \(0\), the abelian categories of cohomological Mackey functors associated to two blocks are equivalent if and only if their block algebras are splendid Morita equivalent.