\(\mathbb A^1\)-connectivity on Chow monoids versus rational equivalence of algebraic cycles (Q253159)

\noindent Let \(X\) be a projective variety over a field \(k\) of characteristic zero. Assume that an embedding of \(X\) into some \({\mathbb P}^m\) is fixed. Let \(C_{r,d}(X)\) be the scheme over \(k\) representing effective algebraic cycles of dimension \(r\) and degree \(d\) on \(X\) with respect to this fixed embedding. Let \(Z_{0}\) be an \(r\)-cycle of minimal degree \(d_{0}\) on \(X.\) It gives rise to an embedding \(C_{r,d}(X)\subset C_{r,d+d_{0}}(X)\) an therefore one can form a colimit \(C^{\infty}_{r}(X).\) It is called the connective Chow monoid of effective \(r\)-cycles in \(X.\) Denote by \(C^{\infty}_{r}(X)^{+}\) the group completion of \(C^{\infty}_{r}(X)\) in the category of set-valued simplicial sheaves on the smooth Nisnevich site over \(k.\) Let further \({\Pi}_{0}^{{\mathbb A}^{1}}\) be the functor of \({\mathbb A}^{1}\) - connected components and \({\Pi}_{1}^{{\mathbb A}^{1}}\) the functor of \({\mathbb A}^{1}\)-fundamental group on simplicial Nisnevich sheaves (cf. [\textit{F. Morel} and \textit{V. Voevodsky}, Publ. Math., Inst. Hautes Étud. Sci. 90, 45--143 (1999; Zbl 0983.14007)] or [\textit{A. Asok} and \textit{F. Morel}, Adv. Math. 227, No. 5, 1990--2058 (2011; Zbl 1255.14018)]). Let \(\mathrm{CH}_{r}(X)_{0}\) be the Chow group of degree zero \(r\)-cycles modulo rational equivalence on \(X.\) The main result of the paper are the following canonical (up to the projective embedding) isomorphisms \[ \mathrm{CH}_{r}(X_{K})_{0} \simeq {\Pi}_{0}^{{\mathbb A}^{1}}(C^{\infty}_{r}(X)^{+})(K) \] \[ \mathrm{CH}_{r}(X_{K})_{0} \simeq {\Pi}_{0}^{{\mathbb A}^{1}}( {\Omega}{\text{Ex}}BC_{r}^{\infty}(X))(K), \] where \(K\) is a finitely generated field extension of \(k,\) \(BC_{r}^{\infty}(X))\) be the motivic classifying space of the connective Chow monoid, \({\Omega}\) is the right adjoint to the simplicial suspension \({\Sigma}\) in the pointed category of simplicial Nisnevich sheaves, and \({\text Ex}\) is a fibrant replacement functor for simplicial Nisnevich sheaves. This main result can also be phrased as \[ \mathrm{CH}_{r}(X_{K})_{0} \simeq {\Pi}_{{1}}^{S^{1}\wedge{\mathbb A}^{1}}( BC_{r}^{\infty}(X))(K). \]