We prove that a motivic equivalence of objects of the form \begin{equation*} X/(X-x)\simeq X^\prime/(X^\prime-x^\prime) \end{equation*} in or over a scheme , where and are closed points of smooth -schemes and , implies an isomorphism of residue fields, i.e. For a given , , , and closed points and that residue fields are simple extensions of the ones of , we show an isomorphism of groups and prove that it leads to an equivalence of subcategories. Additionally, using the result on perverse homotopy heart by F.~Déglise and N.~Feld and F.~Jin and the strict homotopy invariance theorem for presheaves with transfers over fields by the first author, we prove an equivalence of the Rost cycle modules category and the homotopy heart of over a field with integral coefficients.

生成讲解博客的中文版本

生成AI智能校验的中文版本