# zbMATH — the first resource for mathematics

##### Examples
 Geometry Search for the term Geometry in any field. Queries are case-independent. Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact. "Topological group" Phrases (multi-words) should be set in "straight quotation marks". au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted. Chebyshev | Tschebyscheff The or-operator | allows to search for Chebyshev or Tschebyscheff. "Quasi* map*" py: 1989 The resulting documents have publication year 1989. so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14. "Partial diff* eq*" ! elliptic The not-operator ! eliminates all results containing the word elliptic. dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles. py: 2000-2015 cc: (94A | 11T) Number ranges are accepted. Terms can be grouped within (parentheses). la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

##### Operators
 a & b logic and a | b logic or !ab logic not abc* right wildcard "ab c" phrase (ab c) parentheses
##### Fields
 any anywhere an internal document identifier au author, editor ai internal author identifier ti title la language so source ab review, abstract py publication year rv reviewer cc MSC code ut uncontrolled term dt document type (j: journal article; b: book; a: book article)
The completely decomposed topology on schemes and associated descent spectral sequences in algebraic K-theory. (English) Zbl 0715.14009
Algebraic K-theory: Connections with geometry and topology, Proc. Meet., Lake Louise/Alberta (Can.) 1987, NATO ASI Ser., Ser. C 279, 241-342 (1989).
[For the entire collection see Zbl 0685.00007.] Let X be an appropriate scheme. The article gives a definition and systematic treatment of a new Grothendieck topology on X, called the completely decomposed topology. The topology is connected to several classical adelic constructions associated with group schemes, e.g., adele groups and adele class groups. The second goal is to construct a descent spectral sequence for the K-theory of coherent sheaves using the completely decomposed topology. This refines the Brown-Gersten spectral sequence. The Brown-Gersten spectral sequence is an approximation to a conjecture of Quillen and Lichtenbaum. Let $K\sb n(X)$, respectively $G\sb n(X)$, be Quillen’s K-groups of the category of coherent locally free, respectively coherent, sheaves of ${\cal O}\sb X$-modules. Denote by $\tilde K\sb n\sp{et}$ resp. $\tilde G\sb n\sp{et}$ the sheafification of the corresponding presheaves sending Y to $K\sb n(Y)$, respectively $G\sb n(Y)$. The conjecture claims for regular X the existence of a spectral sequence converging to $K\sb{q-p}(X,{\bbfZ}/\ell {\bbfZ})$ for sufficiently large q-p whose $E\sb 2$-term is given in terms of étale cohomology by $E\sb 2\sp{p,q}=H\sp p(X\sb{et},\tilde K\sb q\sp{et}({\bbfZ}/\ell {\bbfZ}))$. The Brown-Gersten spectral sequence is based on the Zariski topology: $E\sb 2\sp{p,q}=H\sp p(X\sb{zar},\tilde G\sb q\sp{zar})\Rightarrow G\sb{q-p}(X)$ and similar for ${\bbfZ}/\ell {\bbfZ}$-coefficients. If X is regular, one can replace G by K. The new spectral sequence of this article is based on the completely decomposed topology: $E\sb 2\sp{p,q}=H\sp p(X\sb{cd},\tilde G\sb q\sp{cd})\Rightarrow G\sb{q-p}(X).$ Since the completely decomposed topology is stronger than the Zariski topology and weaker than the étale topology, this spectral sequence refines the Brown-Gersten sequence and is a step towards the conjectured étale spectral sequence of Quillen and Lichtenbaum. The applicability of this new spectral sequence for calculations of $K\sb i(X,{\bbfZ}/\ell {\bbfZ})$ depends on understanding the K-theory of fields.
Reviewer: W.Lück

##### MSC:
 14F20 Étale and other Grothendieck topologies and cohomologies 14C35 Applications of methods of algebraic $K$-theory 19E20 Relations of $K$-theory with cohomology theories