Stratifying derived categories of cochains on certain spaces (Q1925757): Difference between revisions

The notion of stratification of a compactly generated category with an action of a graded commutative Noetherian ring was introduced by \textit{D. Benson, S. B. Iyengar} and \textit{H. Krause} [J. Topol. 4, No. 3, 641--666 (2011; Zbl 1239.18013)]. The existence of such a structure has important implications for the classification of localizing and thick subcategories in terms of the homogeneous prime spectrum of the graded ring. In this paper the author presents two stratification theorems which extend in specific settings earlier results of D. Benson, S.B. Iyengar and H. Krause. Let \(k\) be a field which is either a prime field \(\mathbb Z/p\) or the rational numbers \(\mathbb Q\). Let \(\mathbb S\) be a sphere spectrum, and let \(R\) be a commutative \(\mathbb S\)-algebra as defined in [\textit{A. D. Elmendorf} et al., Rings, modules, and algebras in stable homotopy theory. With an appendix by M. Cole. Providence, RI: American Mathematical Society (AMS) (1997; Zbl 0894.55001)]. Homotopy groups of \(R\) are denoted by \(\pi_*R\). The first theorem of the paper states that the derived category \(D(R)\) of an \(\mathbb S\)-algebra \(R\) such that \(\pi_*R\) is isomorphic to a polynomial ring over \(k\) on finitely many generators in even degrees is stratified by the action of \(\pi_*R\). To formulate the second theorem the author defines the notion of a soci space. A connected space \(X\) is said to be of EM--type if \(H^*X\) is of finite type and \(X\) is simply connected when \(k=\mathbb Q\) or \(\pi_1(X)\) is a finite \(p\)-group and \(X\) is \(p\)-complete when \(k=\mathbb Z/p\). A connected space of EM-type is called spherically odd complete intersections (soci) if it can be built from a connected space with even degree polynomial cohomology using finitely many spherical fibrations, where these spheres are of odd dimension greater than 1. The second theorem states that the derived category \(D(C^*X)\) of the cochains algebra \(C^*X\) of a soci space \(X\) is stratified by the canonical action of the cohomology ring \(H^*(X;k)\). The author also describes the topological content of the second theorem. For details we refer to the paper.