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: