A Brown-Gersten spectral sequence for the K-theory of varieties with isolated singularities (Q910489)

The paper centres on the construction of a right half-plane spectral sequence \(H^ P_{Zar}(X;\underset \tilde{} K_{-q})\Rightarrow K_{-p- q}(X)\), conjectured to be valid for any quasiprojective scheme X (this has subsequently been proved by Thomason and Trobaugh). For a scheme U, take the category \(\underset \tilde{} P(U)\) of coherent vector bundles over U; apply Quillen's construction to get the category \(Q\underset \tilde{} P(U)\); and feed this into an infinite loop space machine to get a fibrant spectrum \(\underset \tilde{} K^ Q(U)\). A key idea of this paper is to extend this to a non-connective spectrum \(\underset \tilde{} K(U)\) using the negative K-groups of Bass. Consider this as a functor on Z-open subspaces U of X: then if this has a homotopy pullback property for pairs (U,V,U\(\cap V,U\cup V)\) a general theorem of \textit{K. S. Brown} and \textit{S. M. Gersten} [Lect. Notes Math. 341, 266-292 (1973; Zbl 0291.18017)] yields the desired spectral sequence. In this note the property is derived for the case that X has isolated singularities, using formal properties and the fact that it was already known when X had a unique singular point [\textit{A. Collino}, Ill. J. Math. 25, 654-666 (1981; Zbl 0496.14005)].