The purpose of this paper is to prove a conjecture on reciprocity sheaves by Kahn-Saito-Yamazaki. This is accomplished by extending Voevodsky's fundamental results on homotopy invariant (pre)sheaves with transfers to its generalizations, reciprocity sheaves and cube-invariant sheaves in the context of theory of modulus (pre)sheave with transfers. The main results of this paper is expected to play a crucial role in deducing the main properties of the triangulated category of motives with modulus, which is a new triangulated category enlarging Voevodsky's triangulated category of motives to encompass non homotopy invariant motivic phenomena.

中文翻译：

---

互易滑轮的纯度

本文的目的是证明 Kahn-Saito-Yamazaki 关于互易滑轮的猜想。这是通过将 Voevodsky 关于具有传递的同伦不变（预）滑轮的基本结果扩展到其泛化、互易滑轮和立方不变滑轮在模数（预）滑轮与转移的背景下实现的。本文的主要结果有望在推导带模动机三角范畴的主要性质方面发挥关键作用，这是一个新的三角范畴，扩大了 Voevodsky 的动机三角范畴，包括非同伦不变动机现象。