A remark on the Gersten complex for Milnor \(K\)-theory (Q2168223): Difference between revisions

The general \textit{Gersten conjecture} states that the \textit{Gersten complex} \[ 0\to K^{\mathrm{M}}_n(A)\to K^{\mathrm{M}}_n(\mathrm{Frac}(A))\to\bigoplus_{\mathfrak{p}\in(\mathrm{Spec}\ A)^{(1)}} K^{\mathrm{M}}_{n-1}(\kappa(\mathfrak{p}))\to\cdots\to\bigoplus_{\mathfrak{p}\in(\mathrm{Spec}\ A)^{(d)}} K^{\mathrm{M}}_{n-d}(\kappa(\mathfrak{p}))\to 0 \] is exact for any Noetherian regular local ring \(A\) of dimension \(d\), for each \(n\geq 0\). The Gersten complex itself is given as Rost's cycle complex for the Milnor \(K\)-theory. When \(A\) contains a field, the Gersten conjecture has been proven by [\textit{M. Kerz}, Invent. Math. 175, No. 1, 1--33 (2009; Zbl 1188.19002); J. Algebr. Geom. 19, No. 1, 173--191 (2010; Zbl 1190.14021)]. In this paper, the author studies the Gersten complex for Milnor \(K\)-theory over a regular local Henselian domain \(S\) and prove that in degrees\(\geq\dim S\geq 1\), the Gersten complex of an essentially smooth Henselian local \(S\)-scheme is exact. More precisely, it is proven that when \(R\) is a regular local Henselian domain of Krull dimension \(\geq 1, S=\mathrm{Spec}\ R\), and \(X\) is an essentially smooth Henselian local \(S\)-scheme of dimension \(d\), then the Gersten complex \[ K^{\mathrm{M}}_n(\mathrm{Frac}(X))\to\bigoplus_{x\in X^{(1)}} K^{\mathrm{M}}_{n-1}(\kappa(x))\to\cdots\to\bigoplus_{x\in X^{(d)}} K^{\mathrm{M}}_{n-d}(\kappa(x))\to 0 \] is exact in degrees \(p \geq \dim S\), for each \(n\geq 0\). When \(S\) has Krull dimension \(1\), it recovers a recent result of M. Lüders (which makes crucial use of the fact that the base is of dimension one). The paper under review instead, bypasses certain results special to dimension \(1\), by invoking Gabber's presentation lemma. So this paper is a remarkable progress towards the general Gersten conjecture.