English

Towards conservativity of $\mathbb{G}_m$-stabilization

Algebraic Geometry 2020-11-18 v2 Algebraic Topology K-Theory and Homology

Abstract

We study the interplay of the homotopy coniveau tower, the Rost-Schmid complex of a strictly homotopy invariant sheaf, and homotopy modules. For a strictly homotopy invariant sheaf MM, smooth kk-scheme XX and q0q \geqslant 0 we construct a novel cycle complex C(X,M,q)C^*(X, M, q) and we prove that in favorable cases, C(X,M,q)C^*(X, M, q) is equivalent to the homotopy coniveau tower M(q)(X)M^{(q)}(X). To do so we establish moving lemmas for the Rost-Schmid complex. As an application we deduce a cycle complex model for Milnor-Witt motivic cohomology. Furthermore we prove that if MM is a strictly homotopy invariant sheaf, then M2M_{-2} is a homotopy module. Finally we conjecture that for q>0q>0, π0(M(q))\underline{\pi}_0(M^{(q)}) is a homotopy module, explain the significance of this conjecture for studying conservativity properties of the Gm\mathbb{G}_m-stabilization functor SHS1 ⁣(k)SH(k)\mathcal{SH}^{S^1}\!(k) \to \mathcal{SH}(k), and provide some evidence for the conjecture.

Keywords

Cite

@article{arxiv.1811.01541,
  title  = {Towards conservativity of $\mathbb{G}_m$-stabilization},
  author = {Tom Bachmann and Maria Yakerson},
  journal= {arXiv preprint arXiv:1811.01541},
  year   = {2020}
}

Comments

Final version, accepted for publication by the Journal of Geometry & Topology

R2 v1 2026-06-23T05:03:56.978Z