Fundamental Exact sequences in {\mathbb K}-theory

Abstract: Let

X

be a quasi projective scheme over a noetherian affine scheme

S p e c (A)

,

U s u b s e t e q X

be an open subset, and

Z = X - U

. Consider the map

q : m a t h b b K l e f t (m a t h s c r V (X) i g h t) i g h t a r r o w m a t h b b K l e f t (m a t h s c r V U) i g h t)

of the

m a t h b b K

-theory spectra. We give a description of the homotopy fiber of

q

. Let

C {m a t h b b M}^{Z} l e f t (m a t h s c r V (X) i g h t)

denote the full subcategory of

m a t h s c r F i n C o h (X)

such that (1)

{m a t h s c r F}_{| U} = 0

, (2)

g r a d e (Z, X) = g r a d e (m a t h s c r F) = d i m_{m a t h s c r V (X)} m a t h s c r F

. It turns out that the homotopy fiber of

q

is the

m a t h b b K

-theory spectra

m a t h b b K l e f t (C {m a t h b b M}^{Z} l e f t (m a t h s c r V (X) i g h t) i g h t)

. Likewise, we compute the homotopy fiber of the the pullback map

g: {mathbb G}Wleft({mathscr V}(X) ight) ightarrow {mathbb G}Wleft({mathscr V}(U) ight)

of Grothendieck-Witt bispectra. Consequently, we obtain long exact sequences of

m a t h b b K

-groups and of

m a t h b b G W

-groups.

This page was built for publication: Fundamental Exact sequences in ${\mathbb K}$-theory