Localising subcategories for cochains on the classifying space of a finite group (Q640889)

Let \((\mathcal{T},\otimes, \mathbf{1})\) be a compactly generated tensor triangulated category and \(R\) a graded commutative Noetherian ring acting on \(\mathcal{T}\) via a homomorphism \(R\longrightarrow \mathrm{End}_{\mathcal{T}}^{\ast }(\mathbf{1}) \). The main result is the following theorem. Suppose that the Krull dimension of \(R\) is finite. If \(\mathcal{T}\) is stratified by \(R\) as a tensor triangulated category, then so is \(\mathrm{ Loc}_{\mathcal{T}}(\mathbf{1})\) (the localising subcategory of \(\mathcal{T}\) generated by the tensor unit), and there is a bijection between \{Tensor ideal localising subcategories of \(\mathcal{T}\)\} and \{Localising subcategories of \(\mathrm{Loc}_{\mathcal{T}}(\mathbf{1})\)\}. It assigns each tensor ideal localising subcategory \(\mathcal{S}\) of \(\mathcal{T}\) to \(\mathcal{S}\cap \mathrm{Loc}_{\mathcal{T}}(\mathbf{1} )\). As a consequence, the localising subcategories of the derived category of the cochains on the classifying space of a finite group are classified. In the final part, the cohomological nucleus of \(\mathcal{T}\) is defined, as the set of homogeneous prime ideals \(\mathfrak{p}\) of \(R\) such that there exists an object \(X\in \mathcal{T}\) satisfying \(\mathrm{Hom}_{\mathcal{T}}^{\ast }(\mathbf{1},X)=0\) and \( \Gamma _{\mathfrak{p}}X\neq 0\), and a local description of it is given.