Zariski-local framed ${\mathbb{A}}^1$-homotopy theory

Abstract

For any (not necessarily perfect) field $k$ we obtain equivalences of $\infty$-categories \[\mathbf{H}^{\mathrm{fr},\mathrm{gp}}(k)\simeq \mathbf{H}^{\mathrm{fr},\mathrm{gp}}_{\mathrm{zf}}(k) \text{ and } \mathbf{DM}(k)\simeq\mathbf{DM}_{\mathrm{zar}}(k).\] We also construct an equivalence of $\infty$-categories \[ \mathbf{H}^{\mathrm{fr},\mathrm{gp}}(S) \simeq \mathbf{H}^{\mathrm{fr},\mathrm{gp}}_{\mathrm{zf}}(S) \] of group-like framed motivic spaces over a separated noetherian scheme $S$ of finite Krull dimension with respect to the Nisnevich topology at one side and the Zariski fibre topology $\mathrm{zf}$ generated by the Zariski one and the trivial fibre topology (introduced by Druzhinin, Kolderup and Østvær) on the other side. Over a field, the Zariski fibre topology equals the Zariski topology and the result follows from the previous one. To prove it in the case of a general base scheme, we prove a localisation theorem for ${\mathbf{H}}_{\mathrm{zf}}^{\mathrm{fr},\mathrm{gp}}(-)$ employing the ideas from the proof of the {\it affine localisation theorem} for the trivial fibre topology by the first author, Kolderup and Østvær.

Proof of Lemma 3.13 is corrected

References in corpus (15)

• Higher Topos Theory
• Triangulated categories of mixed motives
• Universality of multiplicative infinite loop space machines
• Cancellation theorem
• Finite Chow-Witt correspondences
• MW-motivic complexes
• The Milnor-Witt motivic ring spectrum and its associated theories
• Framed correspondences and the Milnor-Witt K-theory
• Framed correspondences and the zeroth stable motivic homotopy group in odd characteristic
• On the infinite loop spaces of algebraic cobordism and the motivic sphere
• The trivial fiber topology and framed motives over the integers
• Effective Grothendieck-Witt motives of smooth varieties
• Notes on motivic infinite loop space theory
• Spectral Mackey functors and equivariant algebraic K-theory (I)
• Geometric models for fibrant resolutions of motivic suspension spectra