English

On morphisms killing weights, weight complexes, and Eilenberg-Maclane (co)homology of spectra

K-Theory and Homology 2017-12-27 v5 Algebraic Geometry Algebraic Topology

Abstract

We ask whether a morphism gg in a triangulated category CC endowed with a weight structure "kills weights" (between an integer mm and some nmn\ge m). If g=idMg=id_M (where MObjCM\in Obj C) and CC is Karoubian, then gg kills weights m,,nm,\dots,n whenever there exists a weight decomposition of MM that "avoids" these weights (in the sense earlier defined by Wildeshaus). We prove the equivalence of several definitions for killing weights. In particular, we describe a family of cohomological functors that "detects" this notion. We also prove that MM is without weights m,,nm,\dots, n (i.e., a decomposition of MM avoiding these weights exists) if and only if the corresponding condition is fulfilled for its weight complex t(M)t(M). These results allow us to get new (stronger) results on the conservativity of the weight complex functor tt. We study in detail the case C=SHC=SH (endowed with the spherical weight structure whose heart consists of coproducts of sphere spectra); the corresponding weight complex functor is just the one calculating the HZH\mathbb{Z}-homology (whose terms are free abelian groups). In this case gg kills weights m,,nm,\dots, n if and only if H(g)=0H(g)=0 for all HH represented by elements of SH[m,n]SH[m,n] (so, these morphisms form an injective class of morphisms in the sense defined by Christensen; yet this class is not stable with respect to shifts). Moreover, for any spectrum MM there exists a "weakly universal decomposition" PMI0P\to M\to I_0 for I0SH[m,n]I_0\in SH[m,n] and PP being without weights m,,nm,\dots,n (so, we obtain a torsion pair). We also prove a certain converse to the stable Hurewicz theorem.

Keywords

Cite

@article{arxiv.1509.08453,
  title  = {On morphisms killing weights, weight complexes, and Eilenberg-Maclane (co)homology of spectra},
  author = {Mikhail V. Bondarko},
  journal= {arXiv preprint arXiv:1509.08453},
  year   = {2017}
}

Comments

Some corrections made (including a remark that our results give a converse to the stable Hurewicz theorem); section 2.5 (that relates our results to torsion pairs and injective classes) is added