Motivic complexes over nonperfect fields (Q503342)

Let \(k\) be a field and \(R\) a commutative ring. The key objects in Suslin and Voevodsky's original approach to mixed motives over \(k\) are \textit{homotopy invariant presheaves with transfers}: additive functors \(F:\mathrm{Cor}_k^{\mathrm{op}}\rightarrow R-\mathrm{Mod}\) from the additive category of \textit{finite correspondences} between smooth \(k\)-varieties to the category of \(R\)-modules, which satisfy the property that for any smooth variety \(X\), the morphism \(F(X\times_k \mathbb{A}^1)\rightarrow F(X)\) induced from the projection map is an isomorphism. The paper under review extend classical results of Voevodsky on these objects when \(k\) is a perfect field to the case when \(k\) is imperfect. \textit{V. Voevodsky} proved in [Ann. Math. Stud. 143, 87--137 (2000; Zbl 1019.14010)] that, if \(k\) is perfect, then homotopy invariant presheaves with transfers interact very well with the Zariski and Nisnevich topology, for \textit{any} coefficient ring \(R\). In particular, if \(F\) is an homotopy invariant Nisnevich sheaf with transfers, then we have for all \(X\) smooth \(k\)-variety and for all \(i\in \mathbb{N}\): \[ H^i_{\mathrm{Nis}}(X\times \mathbb{A}^1,F)\simeq H^i_{\mathrm{Nis}}(X,F) \] In other words, the homotopy invariance at the level of the sheaf \(F\) implies homotopy invariance for sheaf cohomology groups. This theorem of Voevodsky is the keystone of the theory of the triangulated category of effective mixed motives \(\mathrm{DM}^{\mathrm{eff}}(k)\); it is fundamental, for instance, in the proof that (higher) Chow groups are represented as morphisms groups there. Since Voevodsky's work, there has been a lot of work to extend the theory to more general bases than perfect fields. We refer to the zbMATH review of \textit{D.-C. Cisinski} and \textit{F. Déglise} [Doc. Math., J. DMV Extra Vol., 145--194 (2015; Zbl 1357.19004)] for a detailed overview. Let \(k\) be a possibly imperfect field of characteristic \(p>0\), and \(R\) a commutative ring in which \(p\) is invertible. This paper of Cisinski and Déglise provided among other things a good triangulated category \(\mathrm{DM}_{\mathrm{cdh}}(k,R)\) of \(\mathbb{P}^1\)-\textit{stable} mixed motives with coefficients in \(R\). They also defined an effective category using the cdh topology. The paper under review extends Voevodsky's result on homotopy invariance to the case where \(k\) is any field and \(p\) is invertible in \(R\), and hence shows that Voevodsky's category \(\mathrm{DM}^{\mathrm{eff}}(k,R)\) of \textit{effective} mixed motives with coefficients in \(R\) behaves well in this case. The strategy is to show that, when \(p\) is invertible, the extension of scalars from \(k\) to its perfect closure provides an equivalence of categories of (homotopy invariant) (pre)sheaves with transfers of \(R\)-modules. Suslin can then apply Voevodsky's results.