On a base change conjecture for higher zero-cycles (Q1707277)

Let \(\mathcal{O}_K\) be an excellent henselian discrete valuation ring with quotient field \(K\) and residue field \(k\). Let \(X\) be a regular scheme, flat and projective over \(\text{Spec}\mathcal{O}_K\) of fiber dimension \(d\). Let \(X_K\) denote the generic fiber and \(X_0\) the reduced special fiber. Assuming that \(1/n\in k\), let \(\Lambda=\mathbb{Z}/n\mathbb{Z}\). In this article the author considers the restriction map \(\mathrm{res}^{\mathrm{CH}}:\mathrm{CH}^d(X,2d-i)_{\Lambda}\rightarrow \mathrm{CH}^d(X_0,2d-i)_{\Lambda}\) on higher Chow groups of zero-cycles with coefficients in \(\Lambda\). This map is defined to be the composite \(\mathrm{CH}^n(X,m)\rightarrow \mathrm{CH}^n(X_K,m)\overset{\cdot (-\pi)}{\longrightarrow} \mathrm{CH}^{n+1}(X_K,m+1)\overset{\partial}{\longrightarrow} \mathrm{CH}^{n}(X_0,m)\), where ``\(\cdot (-\pi)\)'' is the product with \(-\pi\in \mathrm{CH}^1(K,1)=K^{\times}\) defined in [\textit{S. Bloch}, Adv. Math. 61, 267--304 (1986; Zbl 0608.14004)], \(\pi\) a local parameter and \(\partial\) is the boundary map coming from the localization sequence for higher Chow groups. The main theorem in this paper shows that if \(X/\mathcal{O}_K\) is smooth, then the restriction map \(\mathrm{res}^{\mathrm{CH}}:\mathrm{CH}^d(X,1)_{\Lambda}\rightarrow \mathrm{CH}^d(X_0,1)_{\Lambda}\) is surjective. This implies as a corollary that if \(X/\mathcal{O}_K\) is smooth, then the specialization map \(sp_{\pi}^{\mathrm{CH}}:\mathrm{CH}^d(X_K,1)_{\Lambda}\rightarrow \mathrm{CH}^d(X_0,1)_{\Lambda}\) is surjective.