The chromatic tower for \(D(R)\). With an appendix by Marcel Bökstedt (Q1208246): Difference between revisions

The main aim of the paper is to give a correct proof of a result of \textit{M. J. Hopkins} [Homotopy theory, Proc. Symp. Durham 1985, Lond. Math. Soc. Lect. Note Ser. 117, 73-96 (1987; Zbl 0657.55008)] which asserts that if \(R\) is a commutative ring and \(D^ b(R)\) is the derived category of bounded complexes of finitely generated projective \(R\)-modules then the map \[ f: \begin{pmatrix} \hbox{Triangulated full subcategories of \(D^ b(R)\)}\\ \hbox{closed under direct summands}\end{pmatrix} \to \begin{pmatrix} \hbox{Subsets of \(\text{Spec}(R)\)}\\ \hbox{closed under specializations}\end{pmatrix} \] given by associating to \({\mathcal L}\subseteq D^ b(R)\) the set \(f({\mathcal L})= \{p\in \text{Spec}(R)\mid p\in \text{supp }X\) for some \(X\in{\mathcal L}\}\) is an isomorphism with the inverse \(g\) which associates to \(P\) the smallest triangulated subcateogry of \(D^ b(R)\) closed under specialization and containing \(R/p\) for all \(p\in P\). The original proof of Hopkins contains a gap and the theorem does not hold for an arbitrary ring \(R\). A counterexample is presented in the paper and a correct proof of Hopkin's theorem is given under some additional hypothesis on \(R\), which includes the case \(R\) is Noetherian. An appendix by M. Bökstedt contains a version of Hopkin's theorem for \(R\) arbitrary.