Algebraic slice spectral sequences (Q2232371)

Computations of stable homotopy groups are often based on spectral sequences whose starting term is algebraically describable and manageable, at least in a certain range. The authors found a way to compare two different spectral sequences used to compute stable homotopy groups in the Morel-Voevodsky motivic stable homotopy theory over a field. These are the motivic Adams spectral sequence, which is based on resolving via Voevodsky's motivic Eilenberg-MacLane spectrum, and the slice spectral sequence, which is obtained from the effectivity filtration on the motivic stable homotopy category. The method is designed to work for motivic spectra \(E\) which satisfy the following property: There exists a natural number \(n\) and a prime number \(p\) such that the canonical map \[ f_{(q+1)(p^n-1)} E\to f_{q(p^n-1)}E \] of effective covers induces the zero homomorphism on motivic homology with coefficients in the field with \(p\) elements for all integers \(q\). Examples of such are motivic Eilenberg-MacLane spectra with suitable coefficients, the (very) effective cover of the algebraic \(K\)-theory spectrum, algebraic Morava \(K\)-theory spectra, and -- at least over fields of characteristic zero -- truncated algebraic Brown-Peterson-spectra. Non-examples are given by the algebraic cobordism spectrum \(MGL\), and probably its variants \(MSL\) and \(MSp\). Speculation on the motivic sphere spectrum is included. Due to the technical setup, the authors complete the motivic stable homotopy category at the chosen prime \(p\) and the algebraic Hopf map \(\eta\). Applications consist in relating differentials between different spectral sequences, among them the \(\rho\)-Bockstein spectral sequence over the field of real numbers, and the Hill-Hopkins-Ravenel spectral sequence for certain genuine \(C_2\)-spectra.