The Morava K-theory of algebraic K-theory spectra
type: Item
instance of: scholarly article
title: The Morava K-theory of algebraic K-theory spectra
zbMATH Open document ID: 0709.55011
DOI: 10.1007/BF01054453
author: Stephen A. Mitchell
published in: \(K\)-Theory
publication date: 1990-01-01T00:00:00Z
review text: The key results of the paper are: Theorem A: If \(n\geq 2\), the Morava K- theory \(K(n)_*\) of the algebraic K-theory spectrum K\({\mathbb{Z}}\) vanishes. Theorem B: The unit map f: \(Q_ 0S^ 0\to BGL{\mathbb{Z}}^+\) factors through the space Im(J). Here K(n) and Im(J) are of course defined with respect to the fixed prime p, the upper \(+\) denotes Quillen's plus-construction, and \(Q_ 0S^ 0\) is the zero-component of the infinite loop space colim \(\Omega\) \({}^ nS^ n\). Theorem A implies the vanishing of \(K(n)_*\) on any algebraic K-theory spectrum KX, where X is a ring or a scheme. Let R be the ring \({\mathbb{Z}}[1/p]\). Section 1 contains an outline of the representation theory of a p-group G over R, which allows to conclude (Theorem 1.12) that the image of the Burnside ring AG in the Grothendieck group \(G_ 0^ RRG\) of finitely generated R-free RG-modules maps injectively to the Grothendieck group \(G_ 0{\mathbb{Q}}G\) of \({\mathbb{Q}}G\). In Section 2 Theorem B is proved. Using the known factorization of \(Q_ 0S^ 0\to BU\) through Im(J), the splitting \(Q_ 0S^ 0\simeq Im(J)\times F\) and the equivalence \(Q_ 0S^ 0\simeq B\Sigma^+_{\infty}\), a completed version (Theorem 1.14) of 1.12 yields the result. The proof of Theorem A uses the work of Hopkins and Smith on finite complexes X with \(v_ n\)-selfmaps \(\tilde v_ n: S^ kX\to X\). It is easy to see (Proposition 3.3) that it sufficies to show that the \(v_ n\)-periodic homotopy groups \(\tilde v_ n^{-1}\pi^ s_*(K{\mathbb{Z}};X)\) are zero for \(n\geq 2\). The latter groups coincide with the unstable groups \(\tilde v^ 1_ n\pi_*(BGL{\mathbb{Z}}^+;X)\). The vanishing of these now follows from Theorem B and the vanishing of the \(v_ n\)-periodic homotopy groups of Im(J). The paper is very densely written and gives essentially all necessary details for the complete story. A version of the Lichtenbaum-Quillen conjectures and its relation to harmonic localization are discussed. Moreover, Section 4 and 5 contain …
Mathematics Subject Classification ID: 55Q50
Mathematics Subject Classification ID: 55N15
Mathematics Subject Classification ID: 18F25
zbMATH DE Number: 4166063
zbMATH Keywords: Morava K-theory
zbMATH Keywords: algebraic K-theory
zbMATH Keywords: Quillen's plus-construction
zbMATH Keywords: infinite loop space
zbMATH Keywords: Burnside ring
zbMATH Keywords: Grothendieck group
zbMATH Keywords: \(v_ n\)- selfmaps
zbMATH Keywords: \(v_ n\)-periodic homotopy groups
zbMATH Keywords: Lichtenbaum-Quillen conjectures
zbMATH Keywords: harmonic localization
reviewed by: Erich Ossa
MaRDI profile type: Publication
cites work: Infinite Loop Spaces (AM-90)
cites work: The Segal conjecture for elementary abelian \(p\)-groups
cites work: Characters and cohomology of finite groups
cites work: POWER OPERATIONS IN K-THEORY
cites work: Equivariant stable homotopy and Segal's Burnside ring conjecture
cites work: Nilpotence and stable homotopy theory. I
cites work: Homology of classical groups over finite fields and their associated infinite loop spaces
cites work: Q5577154
cites work: \(K_i\) groups of rings of algebraic integers
cites work: lambda-rings and algebraic K-theory
cites work: Nilpotence and stable homotopy theory. II
cites work: Applications of the transfer to stable homotopy theory
cites work: The group \(K_3(Z)\) is cyclic of order forty-eight
cites work: Pairings of categories and spectra
cites work: Multiplicative infinite loop space theory
cites work: Finite complexes with A(n)-free cohomology
cites work: On the cohomology and K-theory of the general linear groups over a finite field
cites work: Higher algebraic K-theory: I
cites work: Localization with Respect to Certain Periodic Homology Theories
cites work: Q4061092
cites work: Realisierung von Darstellungen endlicher nilpotenter Gruppen. (Realization of representations of finite-dimensional nilpotent groups)
cites work: Categories and cohomology theories
cites work: On the K-theory of algebraically closed fields
cites work: On the K-theory of local fields
cites work: Algebraic $K$-theory and etale cohomology
full work available at URL: https://doi.org/10.1007/bf01054453
OpenAlex ID: W2314297808
description: scientific article; zbMATH DE number 4166063