Witt, GW, K-theory of quasi-projective schemes

Abstract: In this article we continue our investigation of the Derived Equivalences over noetherian quasi-projective schemes

X

, over affine schemes

s p e c A

. For integers

k g e q 0

, let

C {m a t h b b M}^{k} (X)

denote the category of coherent

{C O}_{X}

-modules

m a t h c a l F

, with locally free dimension

p r o j d i m (C F) = k = g r a d e (m a t h c a l F)

. We prove that there is a zig-zag equivalence

of the derived categories. It follows that there is a sequence of zig-zag maps

m a t h b b K l e f t (C {m a t h b b M}^{k + 1} (X) i g h t) o m a t h b b K l e f t (C {m a t h b b M}^{k} (X) i g h t) o c o p r o d_{x i n X^{(k)}} m a t h b b K l e f t (C {m a t h b b M}^{k} (X_{x}) i g h t)

of the

K

-theory spectra that is a homotopy fibration. In fact, this is analogous to the fibrations of the

G

-theory spaces of Quillen (see proof of cite[Theorem 5.4]{Q}). We also establish similar homotopy fibrations of

-spectra and

m a t h b b G W

-bispectra.

Recommendations

Cites Work

This page was built for publication: Witt, \(GW\), \(K\)-theory of quasi-projective schemes