Modules homotopiques (Q638447)

In this very interesting paper on motivic homotopy theory, the author compares the category of homotopy invariant sheaves with transfer of Voevodsky and the category of cycle modules of Rost. Let \(k\) be a perfect field and let \(HI(k)\) be the category of homotopy invariant Nisnevich sheaves with transfer introduced by Voevodsky. It is a full subcategory in the category \(HI_*(k)\) of homotopy modules which are defined as follows. A \({\mathbb Z}\)-graded homotopy invariant Nisnevich sheaf with transfer \(F_*\) is called a homotopy module if it is equipped with an isomorphism \(\epsilon_n: F_n \to (F_{n+1})_{-1}:= \underline{\mathrm{Hom}}_{HI(k)}({\mathbb G}_m, F_{n+1})\). The main result of the paper, Theorem 3.7, states that there is an equivalence of categories between \(HI_*(k)\) and the category \(\mathcal{M}Cycl(k)\) of cycle modules of \textit{M. Rost} introduced in [Doc. Math. 1, 319--393 (1996; Zbl 0864.14002)]. Denote the image of a homotopy module \(F_*\) under this equivalence by \(\hat{F}_*\). Then the Gersten resolution obtained by Voevodsky is equivalent to the isomorphism \(H^n(X,F_*)\cong A^n(X,\hat{F}_*)\) when \(X\) is a smooth scheme and \(A^n(X,-)\) denotes the appropriately defined cohomology of cycle modules. Moreover, the author shows that this isomorphism can be extended to singular schemes by interpreting Theorem 3.7 in terms of the category \(DM(k)\) of motivic spectra introduced by the author and \textit{D. C. Cisinski} in [Homology Homotopy Appl. 11, No 1, 219--260 (2009; Zbl 0864.14002)], which can be considered as a non-effective version of the category of motivic complexes. Finally, the author shows that while \(HI(k)\) is the heart of the \(t\)-structure in \(DM^{\mathrm{eff}}(k)\), the bigger category \(HI_*(k)\) of homotopy modules is the heart of \(DM(k)\). Theorem 3.7 then implies that this heart is equivalent to the category of Rost's cycle modules \(\mathcal{M}Cycl(k)\).