Let $X$ be an algebraic variety over a field $k$.

Bloch defines the "algebraic singular complex" using the algebraic simplices

$$\Delta^n = \text{Spec}(k[x_0,\dots,x_n]/(x_0+x_1+\dots+x_n=1) \subset \mathbf{A}^{n+1}_k$$

that are easily arranged into a cosimplicial scheme $\Delta_k^{\bullet}$. Then one defines:

$$z^i(X, j)= \mathbf{Z}[C_{ij}]$$

the free abelian group on $C_{ij}$, where $C_{ij}$ is the set of integral closed subschemes in $X\times_k\Delta^j$ of codimension $i$ and in "good position", ie. intersecting every face of $\Delta_k^j$ in $X\times_k\Delta_k^j$ in codimension $\ge i$.

See https://www.uni-due.de/~bm0032/publ/CycleComplexes.pdf for a quick intro.

The cosimplicial structure on $\Delta_k^{\bullet}$ makes $z^i(X,\bullet)$ into a simplicial abelian group, and the Zariski hypercohomology of the associated complex (take the differential to be the alternating sum of the degeneracy maps) is denoted $H^{\bullet}(X, \mathbf{Z}(j))$ because if $X$ is smooth it agrees with motivic cohomology.

Let us construct a similar complex, using, instead of $\Delta_k^{\bullet}$, rather the cosimplicial scheme $\Gamma_k^{\bullet}$ where $\Gamma_k^n$ is the projective closure of $\Delta_k^n$ in $\mathbf{P}^{n+1}_k$, i.e.. the hyperplane $x_0 + \dots + x_n = x_{n+1}$ in $\mathbf{P}^{n+1}_k$. As before indeed $\Gamma_k^{\bullet}$ forms a cosimplicial scheme in a way that is completely analogous to $\Delta_k^{\bullet}$.

Then as before we define $Z^i(X, j)$ to be the free abelian group on integral closed subschemes in $X\times_k\Gamma_k^{j}$ intersecting every face in $\Gamma_k^j$ (included the one at $\infty$) in the product, in codimension $\ge i$.

It looks like the last condition still ensures that pullbacks between the abelian groups $Z^i(X,j)$ are defined, and hence we still get a simplicial abelian group, and then a complex as before.

There's an obvious map between complexes of abelian groups $z^i(X,\bullet)\to Z^i(X,\bullet)$.

**My question is. Is the above map a quasi-isomorphism?**

After all, if we analyze $Z^i(X,\bullet)$ in degree zero and one, we get the usual presentation for $\text{CH}^i(X)$ where rational equivalence is defined comparing cycle classes in $X\times_k\mathbf{P}_k^1$ and not in $X\times_k\mathbf{A}^1_k$.

**Related question:** https://mathoverflow.net/questions/4802/what-do-higher-chow-groups-mean?rq=1