Colocalising subcategories of modules over finite group schemes (Q2356916)

Let \(G\) be a finite group over a field \(k\) of positive characteristic. A full triangulated subcategory \(\mathcal{C}\) of the stable module category \(StMod \, G\) of possibly infinite-dimensional \(G\)-modules is called a \textit{colocalising subcategory} if it is closed under set-indexed products. It is \(\mathrm{Hom}\) closed if whenever \(M\) is in \(\mathcal{C}\), so is \(\mathrm{Hom}_k(L,M)\) for any \(G\)-module \(L\). The main result of the paper gives a bijection between the Hom closed colocalising subcategories of \(StMod \, G\) and the subsets of \(\mathrm{Proj} \, H^*(G,k)\) where the latter is the set of homogeneous prime ideals not containing \(H^{\geq 1}(G,k)\). This bijection is given by sending \(\mathcal{C}\) to its \(\pi\)-cosupport. In earlier work [the first author et al., J. Am. Math. Soc. 31, No. 1, 265--302 (2018; Zbl 1486.16011)] the authors had classified the tensor closed localising subcategories of \(StMod \;G\). Combined with the present work the assignment \(\mathcal{C} \mapsto \mathcal{C}^{\bot}\) gives a bijection between the tensor closed localising subcategories of \(StMod \, G\) and the Hom closed colocalising subcategories of \(StMod \, G\).