Descent for \(K\)-theories
type: Item
instance of: scholarly article
title: Descent for \(K\)-theories
zbMATH Open document ID: 1094.19003
author: Andreas Rosenschon
author: Paul Arne Østvær
published in: Journal of Pure and Applied Algebra
publication date: 2006-05-29T00:00:00Z
review text: Let \(X\) be a quasi-separated and quasi-compact scheme. Let \(K(X), K^{TT}(X),\) and \(K^{B}(X)\) denote the algebraic, Thomason-Trobaugh and Bass \(K\)-theory of \(X\), respectively. The authors extend some descent theorems by Thomason to these kind of schemes. More concretely, given a scheme \(X\), denote by \(X_{\tau}\) its associated site, \(\widetilde{X}_{\tau}\) its topos, \(X_{\text{Zar}}\) its Zariski site, \(X_{\text{ét}}\) its étale site, \(X_{\text{cd}}\) its cd site, and \(X_{\text{rcd}}\) its restricted cd site. The first results are bounds for the cohomological (cd) and mod-\(\ell\) étale virtual cohomological \((\text{vcd}_\ell)\) dimension of some of these sites, the first result is: Let \(X\) be a quasi-compact and quasi-separated scheme. Then, \(\text{cd}(\widetilde{X}_{\text{rcd}})\leq \dim(X)\) and \(\text{vcd}_{\ell}(\widetilde{X}_{\text{ét}})\leq \dim(X)+ \sup\{ \text{vcd}_{\ell}(k(x))\}_{x\in X}\). The next results are the descent theorems, these compare TT and Bass \(K\)-theory for quasi-compact and quasi-separated schemes. They are obtained by comparing certain corresponding spectral sequences. In order to state the theorems, one needs the following terminology: Let \(K^{B}/\ell(\;)\) denote the mod-\(\ell\) Bass \(K\)-theory and \(L_{\mathcal{K}}K^{B}/\ell (\;)\) its Bousfield \(\mathcal{K}\) localization. Theorem: Let \(X\) be a quasi-compact and quasi-separated scheme. Assume that \(\dim(X)<\infty\), \(1/\ell\in \Gamma (X,\mathcal{O}_{X})\), and that the residue fields of \(X\) have finite and uniformly bounded mod-\(\ell\) virtual étale cohomological dimension. Then threre is a weak equivalence \(K^{B}/\ell(X)\to L_{\mathcal{K}}K^{B}/\ell (X)\) on \(\sup\{\text{vcd}_{\ell}(k(x))-2\}_{x\in X}\)-connected covers. The authors use their results to prove the following descent result. Theorem: Let \(X\) be a quasi-compact and quasi-separated scheme of finite Krull dimension. Let \(S\) be a set of primes such that for all \(\ell\in S\), \(1/\e…
Mathematics Subject Classification ID: 19E20
Mathematics Subject Classification ID: 19E08
zbMATH DE Number: 5028789
zbMATH Keywords: descent theorems
reviewed by: Daniel Juan Pineda
MaRDI profile type: Publication
full work available at URL: j.jpaa.2005.06.019
OpenAlex ID: W2068905008
cites work: Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
cites work: Q4934301
cites work: The localization of spectra with respect to homology
cites work: Homotopy limits, completions and localizations
cites work: Q4010222
cites work: Sur quelques points d'algèbre homologique
cites work: Q5602063
cites work: Generalized étale cohomology theories
cites work: \(K\)-theory of semi-local rings with finite coefficients and étale cohomology
cites work: Q4722183
cites work: Q4357482
cites work: \(\mathbb{A}^1\)-homotopy theory of schemes
cites work: Q3202224
cites work: MULTIPLICATIONS ON THE MOORE SPECTRUM
cites work: Étale descent for real number fields
cites work: Anneaux locaux henséliens
cites work: The homotopy limit problem for two-primary algebraic \(K\)-theory
cites work: Q4549267
cites work: Quasi-augmented simplicial spaces, with an application to cohomological dimension
cites work: On the K-theory of algebraically closed fields
cites work: Algebraic $K$-theory and etale cohomology
cites work: On motivic cohomology with \(\mathbb{Z}/l\)-coefficients
DOI: 10.1016/J.JPAA.2005.06.019
description: scientific article