Bogdan Gheorghe, Guozhen Wang, Zhouli Xu
Acta Math. 226 (2), 319-407, (June 2021) DOI: 10.4310/ACTA.2021.v226.n2.a2
For each prime $p$, we define a $t$‑structure on the category $\,\widehat{\!S^{0,0}}/\tau\text{-}\mathbf{Mod}_{\mathrm{harm}}^b$ of harmonic $\mathbb{C}$-motivic left-module spectra over $\,\widehat{\!S^{0,0}}/\tau$, whose MGL-homology has bounded Chow–Novikov degree, such that its heart is equivalent to the abelian category of $p$‑completed $\mathrm{BP}_*\mathrm{BP}$-comodules that are concentrated in even degrees. We prove that $\,\widehat{\!S^{0,0}}/\tau\text{-} \mathbf{Mod}_{\mathrm{harm}}^b$ is equivalent to $\mathcal{D}^b({\mathrm{BP}_*\mathrm{BP}\text{-}\mathbf{Comod}}^{\mathrm{ev}})$ as stable $\infty$-categories equipped with $t$‑structures.
As an application, for each prime $p$, we prove that the motivic Adams spectral sequence for $\,\widehat{\!S^{0,0}}/\tau$, which converges to the motivic homotopy groups of $\,\widehat{\!S^{0,0}}/\tau$, is isomorphic to the algebraic Novikov spectral sequence, which converges to the classical Adams–Novikov $E_2$-page for the sphere spectrum $\,\widehat{\!S^0}$. This isomorphism of spectral sequences allows Isaksen and the second and third authors to compute the stable homotopy groups of spheres at least to the $90$-stem, with ongoing computations into even higher dimensions.