The Hatcher-Waldhausen map is a spectrum map
We prove that the map \(G/O\to \Omega W h^{\text{Diff}}(*)\) which was constructed by Waldhausen and proved to be a rational equivalence by Bökstedt, is in fact an infinite loop map if we use a multiplicative infinite loop space structure on the target. Here \(G/O\) is the homotopy fiber of the \(j\)-homomorphism \(BO\to BG\), and \(Wh^{\text{Diff}} (*)\) is the differentiable Whitehead space of a point, which is a double delooping of the stable concordance (pseudoisotopy) space of a point. As an application we investigate the obstruction to improving Bökstedt's two-primary results on splitting the étale \(K\)-theory space \(JK(\mathbb{Z})\) off from \(K(\mathbb{Z})\), to the unlooped space or spectrum level. In particular, if the usual map \(Q(S^ 0)\to K(\mathbb{Z})\) from stable homotopy to the algebraic \(K\)-theory of the integers factors through the image of \(J\)-spectrum as a spectrum map, such a spectrum level splitting exists. Note that S. A. Mitchell has proved the analogous space level factorization.
- \(E_\infty\) ring spaces and \(E_\infty\) ring spectra. With contributions by Frank Quinn, Nigel Ray, and Jorgen Tornehave
- A generalization of the homology and homotopy suspension
- Characterizing connected K-theory by homotopy groups
- Etale Homotopy of Simplicial Schemes. (AM-104)
- scientific article; zbMATH DE number 65615 (Why is no real title available?)
- Infinite loop maps from SF to BO at the prime 2
- Infinite loop maps in geometric topology
- Infinite Loop Spaces (AM-90)
- Morse Theory. (AM-51)
- The K-theory of Eilenberg-MacLane complexes
- The cyclotomic trace and algebraic K-theory of spaces
- The K-theory of some more well-known spaces
- The Morava K-theory of algebraic K-theory spectra
- Uniqueness of BSO
- Algebraic \(K\)-theory of the two-adic integers
- Brauer groups for commutative \(S\)-algebras
- Homotopy-theoretically enriched categories of noncommutative motives
- The nilpotence theorem for the algebraic \(K\)-theory of the sphere spectrum
- scientific article; zbMATH DE number 3947244 (Why is no real title available?)
- Generating functions in \(\mathbb{R}^{2n}\) and the Hatcher-Waldhausen map
This page was built for publication: The Hatcher-Waldhausen map is a spectrum map
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1337520)