Waldhausen K-theory of spaces via comodules

Let X be a simplicial set. We construct a novel adjunction be- tween the categories RX of retractive spaces over X and ComodX+ of X+- comodules, then apply recent work on left-induced model category structures [5], [16] to establish the existence of a left proper, simplicial model category structureonComodX+ withrespecttowhichtheadjunctionisaQuillenequiv- alence after localization with respect to some generalized homology theory E∗. We show moreover that this model category structure on ComodX+ stabilizes, giving rise to a model category structure on ComodΣ∞X+, the category of Σ∞X+-comodule spectra. It follows that the Waldhausen K-theory of X, A(X), is naturally weakly hf equivalent to the Waldhausen K-theory of ComodΣ∞X+, the category of ho- motopically finite Σ∞X+-comodule spectra, where the weak equivalences are given by twisted homology. For X simply connected, we exhibit explicit, nat- hf ural weak equivalences between the K-theory of ComodΣ∞X+ and that of the category of homotopically finite Σ∞(ΩX)+-modules, a more familiar model for A(X). For X not necessarily simply connected, we have E∗-local versions of these results for any generalized homology theory E∗. For H a simplicial monoid, ComodΣ∞H+ admits a monoidal structure and induces a model structure on the category AlgΣ∞H+ of Σ∞H+-comodule al- gebras. This provides a setting for defining homotopy coinvariants of the coaction of Σ∞H+ on a Σ∞H+-comodule algebra, which is essential for ho- motopic Hopf-Galois extensions of ring spectra as originally defined by Rognes [27] and generalized in [15]. An algebraic analogue of this was only recently developed, and then only over a field [5].

Published in:
Year:
2016
Publisher:
San Diego, Academic Press Inc Elsevier Science
Keywords:
Laboratories:

Preprint:

PDF

Rate this document:

1
2
3

(Not yet reviewed)
{"extraction_info": {"found_math": false, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9547997713088989, "perplexity": 2159.7995674645176}, "config": {"markdown_headings": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 5, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2018-43/segments/1539583519859.77/warc/CC-MAIN-20181024042701-20181024064201-00125.warc.gz"}