Stratifying derived categories of cochains on certain spaces

DOI10.1007/S00209-011-0960-1MaRDI QIDQ1925757zbMATH OpenOpenAlexFDO

Authors Shoham Shamir

Publication date 19 December 2012

Published in Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1102.2879

zbMATH Keywords

localization localizing subcategory spherical fibration stratification thick subcategory

Mathematics Subject Classification ID

Spectra with additional structure ((E_infty), (A_infty), ring spectra, etc.) (55P43)

Abstract: In recent years, Benson, Iyengar and Krause have developed a theory of stratification for compactly generated triangulated categories with an action of a graded commutative Noetherian ring. Stratification implies a classification of localizing and thick subcategories in terms of subsets of the prime ideal spectrum of the given ring. In this paper two stratification results are presented: one for the derived category of a commutative ring-spectrum with polynomial homotopy and another for the derived category of cochains on certain spaces. We also give the stratification of cochains on a space a topological content.

Review text

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.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Stratifying derived categories of cochains on certain spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1925757)