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

Valuation rings (13F30) Applications of methods of algebraic (K)-theory in algebraic geometry (14C35) Algebraic (K)-theory and (L)-theory (category-theoretic aspects) (18F25)

Review text

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.\}

Recommendations

Cites work

Cited in

(19)

This page was built for publication: The relative form of Gersten's conjecture over a discrete valuation ring: The smooth case

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1825916)