The relative form of Gersten's conjecture over a discrete valuation ring: The smooth case (Q1825916)

The authors state that ``the purpose of this note is to prove the following `relative' version of Gersten's conjecture: Theorem. Let \(X=Spec(R)\) be an affine scheme, flat and of finite type over a discrete valuation ring \(\Lambda\): suppose that there is a finite set of points \(S\subset X\) such that X is smooth over Spec(\(\Lambda\)) at the points of S. Let us write \(A={\mathcal O}_{X,S}\). If \(Y=Spec(R/tR)\to X\) is a principal effective relative (i.e. flat over \(\Lambda\)) divisor, then the exact functors \(M^{(i)}(Y)\to M^{(i)}(Spec(A))\) and \(MF^{(i)}(Y)\to MF^{(i)}(Spec(A))\) [...] both induce the zero map on K-theory.'' In the statement of this result, \(M^{(i)}(Y)\) denotes the category of coherent sheaves of modules over Y supported in codimension i, and \(MF^{(i)}(Y)\) denotes the category of coherent sheaves of modules over Y that are flat over \(\Lambda\). Several applications of this result are given. \{Reviewers remark: Corollary 5 is very similar to proposition 3.2 in a paper by \textit{L. Claborn} and the reviewer, Ill. J. Math. 12, 228-253 (1968; Zbl 0159.049), where other special cases of this theorem are demonstrated.\}