The derived category of complex periodic \(K\)-theory localized at an odd prime (Q509676): Difference between revisions

Let \(R\) be an \(A_\infty\)-ring spectrum. Is it classical that, if \(R\) is nice enough, two triangulated categories naturally associated to \(R\)-modules are equivalent: the derived category \(\mathcal{D}(R):=\mathrm{Ho}(\mathbf{Mod}-R)\) of \(R\)-modules, which is by definition the homotopy category of \(R\)-modules (in spectra), and the derived category \(\mathcal{D}(\pi_* R):=\mathrm{Ho}(\mathbf{Mod}-\pi_* R)\) of \(\pi_* R\)-modules, which is by definition the homotopy category of differential graded modules over the graded homotopy ring \(\pi_*R\). Here, \textit{nice enough} means that \(\pi_*R\) is concentrated in even degrees and has global dimension at most one. This applies in particular to the spectrum of complex \(K\)-theory \(KU\). A reference (among other ones) for this is [\textit{J. J. Wolbert}, J. Pure Appl. Algebra 124, No. 1--3, 289--323 (1998; Zbl 0911.55005)]. But it is not known whether there is a \textit{triangulated} equivalence between \(\mathcal{D}(KU)\) and \(\mathcal{D}(\pi_* KU)\). This article proves that it holds if one replaces \(KU\) by its \(p\)-localization for an \textit{odd} prime \(p\). One of the main abstract result of the article (Theorem 4.2.3) is the following. Assume that \(\mathcal{M}\) is a simplicial stable model category and that its homotopy category \(\mathrm{Ho}(\mathcal{M})\) (which is triangulated) has a compact generator \(S\). Assume moreover that the graded ring \(\pi_* S\) of endomorphisms of \(S\) in \(\mathrm{Ho}(\mathcal{M})\) has global dimension at most \(1\) and is concentrated in degrees divisible by \(N\), for some integer \(N\geq 4\). Then, the author proves that a functor \(\mathcal{R} : \mathcal{D}(\pi_*S)=\mathrm{Ho}(\mathbf{mod}-\pi_*S)\to\mathrm{Ho}(\mathcal{M})\) that he has constructed in section 3 of the article is a \textit{triangulated} equivalence. Unfortunately, this is not enough to prove the wished result for \(KU_{(p)}\). But it applies to \(KO_{(p)}\). The second part of the proof is a careful analysis of the Galois extension \(KO_{(p)}\to KU_{(p)}\).