کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6425368 | 1633798 | 2016 | 59 صفحه PDF | دانلود رایگان |
Let X be a simplicial set. We construct a novel adjunction between 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 structure on ComodX+ with respect to which the adjunction is a Quillen equivalence 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 equivalent to the Waldhausen K-theory of ComodΣâX+hf, the category of homotopically finite ΣâX+-comodule spectra, where the weak equivalences are given by twisted homology. For X simply connected, we exhibit explicit, natural weak equivalences between the K-theory of ComodΣâX+hf 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 algebras. This provides a setting for defining homotopy coinvariants of the coaction of ΣâH+ on a ΣâH+-comodule algebra, which is essential for homotopic 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].
Journal: Advances in Mathematics - Volume 290, 26 February 2016, Pages 1079-1137