Permutation modules and cohomological singularity (Q2165716)

Let \(G\) be a finite group, and let \(R\) be a commutative noetherian ring. The paper under review is concerned with \(\mathrm{D}_{\mathrm{b}}(RG)\), the bounded derived category of finitely generated \(RG\)-modules, and with \(\mathrm{D}_{\mathrm{perm}}(G;R)\), its thick triangulated subcategory generated by the finitely generated permutation \(RG\)-modules. For any subgroup \(H\) of \(G\), the authors define a functor \(\chi^H:\mathrm{D}_{\mathrm{b}}(RG) \longrightarrow \mathrm{D}^{\mathrm{sing}}(R)\) where \(\mathrm{D}^{\mathrm{sing}}(R)\) denotes the big singularity category of \(R\), i.\ e.\ the full subcategory \(\mathrm{K}_{\mathrm{ac}}(\mathrm{Inj}(R))\) of the big homotopy category of injective \(R\)-modules, \(\mathrm{K}(\mathrm{Inj}(R))\), spanned by the acyclic complexes. The functor \(\chi^H\) is called the \(H\)-cohomological singularity functor. The main result of the paper shows that an object \(X\) of \(\mathrm{D}_{\mathrm{b}}(RG)\) belongs to \(\mathrm{D}_{\mathrm{perm}}(G;R)\) if and only if \(\chi^H(X) = 0\) for every subgroup \(H\) of \(G\). Moreover, it suffices to verify this condition for every Sylow subgroup of \(G\) (including the trivial Sylow subgroup \(H=1\)).