Suslin's moving lemma with modulus (Q2404191)

One of the consequences of the Suslin moving lemma is that the inclusion of the cycle complex of equidimensional cycles into Bloch's cycle complex \(z_{r}^{\mathrm{equi}}(X,\ast)\hookrightarrow z_{r}(X,\ast)\) is a quasi-isomorphism for \(r\geq 0\) [\textit{A. A. Suslin}, Ann. Math. Stud. 143, 239--254 (2000; Zbl 1019.14001)]. \textit{F. Binda} and \textit{S. Saito} [``Relative cycles with moduli and regulator maps'', Preprint, \url{arXiv:1412.0385}] introduced the cycle complex with modulus \(z_{r}({\bar X}|Y, {\ast}),\) where \({\bar X}\) is a \(k\)-scheme of finite type and \(Y\) an effective Cartier divisor on it. This complex generalizes the Bloch's cycle complex i.e. \(z_{r}({\bar X}|{\emptyset}, {\ast}) = z_{r}({\bar X}, {\ast})\). One also can construct a generalization of the above inclusion \(z_{r}^{\mathrm{equi}}({\bar X} | Y,\ast)\hookrightarrow z_{r}({\bar X} | Y,\ast)\). The main result of the paper is the following Theorem. Suppose \(\bar X\) is affine and \(X\) is an open set of \({\bar X}\) such that \({\bar X}\setminus X\) is the support of an effective Cartier divisor \(Y.\) Let \(r\geq 0\). Then the inclusions for \(m\geq 0\), \[ z_{r}^{\mathrm{equi}}({\bar X} | mY,\ast)\hookrightarrow z_{r}({\bar X} | mY,\ast) \] induce an isomorphism of inverse limits of their homology groups: \[ \mathop{\lim_{\longleftarrow}}_{m}H_{n}( z_{r}^{\mathrm{equi}}({\bar X} | mY,\ast) ) \cong \mathop{\lim_{\longleftarrow}}_{m} \mathrm{CH}_{r}({\bar X} | mY, n). \]