c9ae00619ae4a5dc.tex
1: \begin{abstract}
2: In this note we construct an equivalence of $\infty$-categories 
3: \[
4: \mathbf{H}^{\mathrm{fr},\mathrm{gp}}(S) \simeq \mathbf{H}^{\mathrm{fr},\mathrm{gp}}_{\mathrm{zf}}(S)
5: \]
6: of group-like framed motivic spaces %spectra 
7: with respect to the Nisnevich topology and the so-called Zariski fibre topology 
8: %introduced in the text. %The latter topology is 
9: generated by the Zariski one and the trivial fibre topology introduced by Druzhinin, Kolderup, {\O}stv{\ae}r, when $S$ is a separated noetherian scheme of finite dimension.
10: 
11: In the base field case the Zariski fibre topology equals the Zariski topology.
12: For a non-perfect field $k$ an equivalence of $\infty$-categories
13: of Voevodsky's motives 
14: \[\mathbf{DM}(k)\simeq\mathbf{DM}_{\mathrm{zar}}(k)\]
15: is new already. 
16: The base scheme case is deduced from the result over residue fields using the corresponding localisation theorems.
17: Namely, the localisation theorem for $\mathbf{H}^{\mathrm{fr},\mathrm{gp}}(S)$ was proved by 
18: Hoyois, and the localisation theorem for $\mathbf{H}^{\mathrm{fr},\mathrm{gp}}_{\mathrm{zf}}(S)$ is deduced in the present article from the affine 
19: localisation theorem for the trivial fibre topology proved by Druzhinin, Kolderup, {\O}stw{\ae}r.
20: \end{abstract}
21: