On the conservativity of the functor assigning to a motivic spectrum its motive (Q1645025): Difference between revisions

Let \(k\) be a perfect field and denote by \(SH(k)\) (resp. \(DM(k)\)) the stable motivic homotopy category (resp. Voevodsky's category of motivic complexes) over \(k\). There is a functor \(M:SH(k)\to DM(k)\) induced by the natural ``adding transfers'' functor from the category of Nisnevich sheaves over smooth schemes over \(k\) to the category of Nisnevich sheaves with tranfers. The author investigates the question of conservativity of the functor \(M\). He first establishes a motivic analogue of the Hurewicz theorem: for any connective motivic spectrum \(E\in SH(k)\), the \(0\)-th (graded) homotopy sheaf of \(ME\) agrees with the quotient of the \(0\)-th homotopy sheaf of \(E\) by the motivic Hopf element \(\eta\). He then proves that the functor \(M\) is conservative when restricted to compact objects and when \(k\) has finite \(2\)-étale cohomological dimension. The proof uses a computation of the homotopy sheaves, which vanish at sufficiently large degrees as a consequence of the Milnor conjecture, and concludes by the motivic Hurewicz theorem. As a corollary, the author deduces that when \(k\) has finite \(2\)-étale cohomological dimension, the Picard group of \(SH(k)\) injects into the Picard group of \(DM(k)\). The remaining of the paper is devoted to generalize the conservativity to fields with possibly infinite cohomological dimension. Using the theory of Witt motives ([\textit{A. Ananyevskiy} et al., J. Topol. 10, No. 2, 370--385 (2017; Zbl 1378.14021)]), the author constructs, for every ordering \(\sigma\) of \(k\), a functor \(M_\sigma\) from \(SH(k)\) to the derived category of modules over \(\mathbb{Z}[1/2]\). He shows that if \(k\) has characteristic zero and has finite virtual \(2\)-étale cohomological dimension, then the family of functors \((M,(M_\sigma)_\sigma)\) for all orderings \(\sigma\) of \(k\) is conservative when restricted to connective and slice-connective objects in \(SH(k)\).