On the \(K\)-theory spectrum of a ring of algebraic integers
type: Item
instance of: scholarly article
title: On the \(K\)-theory spectrum of a ring of algebraic integers
zbMATH Open document ID: 0905.19003
DOI: 10.1023/A:1007792408694
author: William Dwyer
author: Stephen A. Mitchell
published in: \(K\)-Theory
publication date: 1999-02-02T00:00:00Z
review text: The authors study the algebraic \(K\)-theory spectrum \(KR_F\), where \(R_F= {\mathcal O}_F [{1\over \ell}]\) is the ring of algebraic \(\ell\)-integers in a number field \(F\). The study involves methods of algebraic topology, homotopy theory in particular. Let \(\widehat{\mathcal K}\) denote the \(\ell\)-adic completion of the topological \(K\)-theory spectrum. The cohomology \(\widehat{\mathcal K}^* (KR_F)\) as a module over the ring of cohomology operations in \(\widehat{\mathcal K}^*\) has been determined. The result (theorem 1.7) is given in terms of the Iwasawa module of a number field, and this shows that \(\ell\)-adic complex \(K\)-theory \(\widehat {\mathcal K} (KR_F)\) carries significant number theoretic information. The theorem is proven via calculations involving Thomason's spectral sequence [\textit{R. W. Thomason}, Ann. Sci. Éc. Norm. Supér., IV. Sér. 18, 437-552 (1985; Zbl 0596.14012)]. For any spectrum \(E\) or rather homology theory it defines there exists an \(E_*\)-localization functor \(L_E\). This is the content of a well known theorem of \textit{A. K. Bousfield} [Topology 18, 257-281 (1979; Zbl 0417.55007)]. The computation of \(\widehat{\mathcal K}(KR_F)\) allows the authors to determine \(\widehat L(KR_F)\), where \(\widehat L\) is the Bousfield localization with respect to the spectrum \({\mathcal K} \wedge {\mathcal M}_\ell\). Here \({\mathcal K}\) denotes the topological \(K\)-theory spectrum and \({\mathcal M}_\ell\) is the Moore spectrum of type \((\mathbb{Z}/ \ell,0)\). In fact the authors obtain the wedge decomposition \(\widehat L(KR_F) \simeq \widehat L(K\mathbb{F}) \vee \widehat L(K^{red} F)\) (example 9.7) and a theorem describing further possible decomposition of \(\widehat L(K^{red}F)\) (theorem 9.2). \(\mathbb{F}\) denotes \(R_F/{\mathfrak P}\) for a suitably choose prime \({\mathfrak P}\) of \(R_F\) and \(K^{red}F\) is the homotopy fiber of the natural map \(KR_F\to K\mathbb{F}\). Section 12 of the paper contains nice example…
reviewed by: Piotr Krasoń
Mathematics Subject Classification ID: 19F05
Mathematics Subject Classification ID: 11R23
Mathematics Subject Classification ID: 19L64
Mathematics Subject Classification ID: 55N15
zbMATH DE Number: 1197099
zbMATH Keywords: Iwasawa theory
zbMATH Keywords: \(K\)-theory spectrum
zbMATH Keywords: number field
zbMATH Keywords: étale cohomology
MaRDI profile type: Publication
full work available at URL: a:1007792408694
OpenAlex ID: W2045430781
description: scientific article; zbMATH DE number 1197099