Analogues of Gersten's conjecture for singular schemes (Q522663)

Consider a blow-up square of schemes of the form \[ \begin{tikzcd} Y \arrow[r] \arrow[d] & X\arrow[d, "f"]\\ V \arrow[r] & \mathrm{Spec}(A)\end{tikzcd} \] Fix a non-negative integer \(n\). Motivated by analogies with Gersten's conjecture, the authors seek conditions under which the map \[ K_n(A,I)\rightarrow K_n(A/I^r,I/I^r)\oplus K_n(X,Y_{\text{red}})\eqno(1) \] is injective for all sufficiently large \(r\). When \(A\) is local, noetherian, quasi-excellent and contains a field of characteristic \(0\), the authors establish injectivity if \(Y_{\text{red}}\) is regular. (For \(n=2\), this last condition can be dropped.) It follows from this and some additional argument that if \(k\) is a field of characteristic \(0\) and \(C\hookrightarrow {\mathbb A}^{N+1}_k\) is the cone over a smooth projective variety with \((A,{ m})\) the local ring at the singular point, then we have injectivity of \[ K_n(A)\rightarrow K_n(A/m^r)\oplus K_n(Spec(A)-\{m\})\eqno(2) \] again for sufficiently large \(r\). The authors show by counterexample that (2) need not be injective for general isolated singularities, even in dimension one. They conjecture, however, that (1) holds in much greater generality. The proofs rely heavily on computations in cyclic and Hochschild homology.