Waldhausen K-theory of spaces via comodules

DOI10.1016/J.AIM.2015.12.019zbMATH Open1331.19003arXiv1402.4719OpenAlexW2154874983MaRDI QIDQ908092FDOQ908092

Authors: B. Shipley, Kathryn Hess 

Publication date: 2 February 2016

Published in: Advances in Mathematics (Search for Journal in Brave)

Abstract: Let $X$ be a simplicial set. We construct a novel adjunction between the categories of retractive spaces over $X$ and of $X_{+}$-comodules, then apply recent work on left-induced model category structures (arXiv:1401.3651v2 [math.AT],arXiv:1509.08154 [math.AT]) to establish the existence of a left proper, simplicial model category structure on the category of $X_{+}$-comodules, with respect to which the adjunction is a Quillen equivalence after localization with respect to some generalized homology theory. We show moreover that this model category structure stabilizes, giving rise to a model category structure on the category of $Sigm{a}^{i}nfty{X}_{+}$-comodule spectra. The Waldhausen $K$-theory of $X$, $A(X)$, is thus naturally weakly equivalent to the Waldhausen $K$-theory of the category of homotopically finite $Sigm{a}^{i}nfty{X}_{+}$-comodule spectra, with weak equivalences given by twisted homology. For $X$ simply connected, we exhibit explicit, natural weak equivalences between the $K$-theory of this category and that of the category of homotopically finite $Sigm{a}^{infty}(OmegaX{)}_{+}$-modules, a more familiar model for $A(X)$. For $X$ not necessarily simply connected, we have localized versions of these results. For $H$ a simplicial monoid, the category of $Sigm{a}^{infty}{H}_{+}$-comodule algebras admits an induced model structure, providing a setting for defining homotopy coinvariants of the coaction of $Sigm{a}^{infty}{H}_{+}$ on a $Sigm{a}^{infty}{H}_{+}$-comodule algebra, which is essential for homotopic Hopf-Galois extensions of ring spectra as originally defined by Rognes in arXiv:math/0502183v2} and generalized in arXiv:0902.3393v2 [math.AT]. An algebraic analogue of this was only recently developed, and then only over a field (arXiv:1401.3651v2 [math.AT]).

Full work available at URL: https://arxiv.org/abs/1402.4719

Recommendations

• The \(K\)-theory of endomorphisms of spaces
• Algebraic \(K\)-theory and abstract homotopy theory
• Derived Koszul duality and involutions in the algebraic \(K\)-theory of spaces
• On the algebraic \(K\)-theory of model categories
• On the algebraic \(K\)-theory of higher categories

zbMATH Keywords

Waldhausen \(K\)-theorycomodules over spaces and spectrahomotopy coinvariantretractive space

Mathematics Subject Classification ID

Abstract and axiomatic homotopy theory in algebraic topology (55U35) Algebraic (K)-theory of spaces (19D10) Spectra with additional structure ((E_infty), (A_infty), ring spectra, etc.) (55P43)

Cites Work

• Title not available (Why is that?)
• A universal characterization of higher algebraic \(K\)-theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Symmetric spectra
• Title not available (Why is that?)
• The localization of spaces with respect to homology
• \(K\)-theory and derived equivalences
• Rational homotopy theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebras and Modules in Monoidal Model Categories
• Higher Topos Theory (AM-170)
• Homotopy theory of nonsymmetric operads
• Stable homotopy of algebraic theories
• Spectra and symmetric spectra in general model categories
• Symmetric spectra and topological Hochschild homology
• Title not available (Why is that?)
• Galois extensions of structured ring spectra. Stably dualizable groups
• STABLE LEFT AND RIGHT BOUSFIELD LOCALISATIONS
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Boolean algebra of spectra
• Coalgebraic models for combinatorial model categories
• Derived Koszul duality and involutions in the algebraic \(K\)-theory of spaces
• Homotopic Hopf-Galois extensions: foundations and examples
• A necessary and sufficient condition for induced model structures
• Splitting monoidal stable model categories
• Acyclic maps
• Overcategories and undercategories of cofibrantly generated model categories
• Cellular categories
• Title not available (Why is that?)

Cited In (13)

• Motivic homotopical Galois extensions
• MULTIPLICATIVE PARAMETRIZED HOMOTOPY THEORY VIA SYMMETRIC SPECTRA IN RETRACTIVE SPACES
• The Morita equivalence between parametrized spectra and module spectra
• Spanier–Whitehead duality for topological coHochschild homology
• The plethory of operations in complex topological \(K\)-theory
• A cobordism model for Waldhausen \(K\)-theory
• Combinatorial parametrised spectra
• Strict algebraic models for rational parametrised spectra. I
• The kernel space of a Witt algebra
• Symmetric operads in abstract symmetric spectra
• The linearisation map in algebraic K-theory
• Invariance properties of coHochschild homology
• A monoidal Dold-Kan correspondence for comodules

This page was built for publication: Waldhausen \(K\)-theory of spaces via comodules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q908092)