9a08887b504a811a.tex
1: \begin{abstract}
2: In this short note we prove equivalences 
3: % In this short note we prove that 
4: % a Zariski-local $\A^1$-invariant radditive simplicial presheaf with framed transfers over any field $k$
5: % whose sections are grouplike 
6: % is automatically Nisnevich-local. 
7: %In particular, this shows equivalence of 
8: of categories % of Voevodsky's motives $\mathbf{DM}(k)\cong \mathbf{DM}_\zar(k)$, %\cite{Voe-motives} and 
9: $\SH^{\fr}(k) \cong \SH_{\zar}^{\fr}(k)$  %\cite{GP14,ehksy,BigFrmotives,FramedGamma}
10: for any field $k$ which is not assumed to be perfect. 
11: This is new in the case of categories of Voevodsky's motives $\mathbf{DM}(k)\cong \mathbf{DM}_\zar(k)$ too.
12: % \cong \SH(k)$.
13: 
14: Furthermore, we prove an analogous statement over a separated noetherian base scheme 
15: where we replace the Zariski topology with the so-called Zariski fiber topology (that was introduced in \cite{DKO:SHISpecZ}).
16: 
17: %%Then the localisation theorem for the so-called trivial fibre topology proven recently in \cite{DKO:SHISpecZ} 
18: %%leads to a generalisation of the latter equivalences to the case of 
19: %%a separated noetherian base scheme $S$ of finite Krull dimension. 
20: 
21: 
22: 
23: % with replacing of Zariski topology by so called Zariski fibre topology. % appeared in \cite{DKO:SHISpecZ}
24: % which is the strongest subtopology of the Nisnevich topology on $\Shc_S$ that is equivalent to the Zariski topology on $\Sch_z$ for each point $z\in S$.
25: 
26: The result in particular implies that a framed presheaf of abelian groups is Nisnevich strict 
27: $\A^1$-homotopy invariant whenever it satisfies a Zariski strict $\A^1$-homotopy invariance 
28: property.
29: 
30: %The result reduces 
31: %the Nisnevich strict $\A^1$-homotopy invariance for $\A^1$-invariant abelian framed presheaves %over a field
32: %to the Zariski strict $\A^1$-homotopy invariance. %The same applies to Nisnevich
33: %theorem
34: \end{abstract}
35: