On the Functoriality of the Slice Filtration

Abstract

AbstractLet k be a field with resolution of singularities, and X a separated k-scheme of finite type with structure map g. We show that the slice filtration in the motivic stable homotopy category commutes with pullback along g. Restricting the field further to the case of characteristic zero, we are able to compute the slices of Weibel's homotopy invariant K-theory [24] extending the result of Levine [10], and also the zero slice of the sphere spectrum extending the result of Levine [10] and Voevodsky [23]. We also show that the zero slice of the sphere spectrum is a strict cofibrant ring spectrum HZXsf which is stable under pullback and that all the slices have a canonical structure of strict modules over HZXsf. If we consider rational coefficients and assume that X is geometrically unibranch then relying on the work of Cisinski and Déglise [4], we deduce that the zero slice of the sphere spectrum is given by Voevodsky's rational motivic cohomology spectrum HZX ⊗ ℚ and that the slices have transfers. This proves several conjectures of Voevodsky [22, conjectures 1, 7, 10, 11] in characteristic zero.