10
$\begingroup$

Hello,

I have very general , "introductory" questions (It is quite hard for me to seek for specific things in the algebraic topology literature).

I guess that connective spectra have a model structure. So do simplicial abelian groups. Are these Quillen equivalent?

Secondly, I think of a simplicial abelian group as a space with strictly associative and commutative operation, while I think of a connective spectrum as a space with an operation which is associative and commutative up to all higher coherences (i.e. some words like $E_{\infty}$). So these are similar. How do I see what extra richness is encoded in a spectrum? For example, what mental pictures do I lose when I think of a connective spectrum as a right-bounded chain complex?

I think that the last is the most important for me, to have some small mental picture which I should have for spectra but not for simplicial abelian groups / chain complexes.

Thank you, Sasha

$\endgroup$
4
  • 5
    $\begingroup$ I believe that the model category/$\infty$-category of simplicial abelian groups should be equivalent to connective $H\mathbb{Z}$-module spectra, but not all connective spectra are $Hmathbb{Z}$-module spectra. For example, the sphere spectrum should not correspond to a simplicial abelian group. If it did, you should be able to compute all its homotopy groups. $\endgroup$
    – Chris Brav
    Apr 24, 2012 at 16:39
  • $\begingroup$ by connective spectrum do you really mean connective ring spectrum? Regardless, you should look at some of the work of Shipley. She has shown that the category of HR-module spectra is the same as the category of DG-R-modules, which seems to be what you are asking for. There is a lot of structure that you will not be able to capture with just the DG-category that is in the category of connective spectra. $\endgroup$ Apr 25, 2012 at 3:10
  • 1
    $\begingroup$ I don't think you mean ring spectrum. If you change the word "multiplication" to "addition" in the first second of your second paragraph, I think your question will be clearer. $\endgroup$ Apr 25, 2012 at 3:52
  • $\begingroup$ @Tom: OK, Thank you, I changed "multiplication" to "an operation". $\endgroup$
    – Sasha
    Apr 26, 2012 at 16:55

2 Answers 2

14
$\begingroup$

One fundamental difference concerns the behavior of Postnikov towers, or the relationship between the spectrum/simplicial abelian group and its homotopy groups. In simplicial abelian groups all Postnikov towers are splittable, since there are no higher Ext's between abelian groups; thus every simplicial abelian group is equivalent to a product of K(A,n)'s. But in spectra there are lots of higher Exts between Eilenberg-Maclane spectra (like those corresponding to Steenrod powers), and this means that for a general spectrum its homotopy groups will have complicated relationships with each other, encoded for instance in the spectrum's "k-invariants" (the most basic instance of this, by the way, is that the homotopy groups of a spectrum are graded modules over the stable homotopy groups of spheres, whereas there's no extra structure for simplicial abelian groups).

A related perspective would be that the richness of spectra vs. simplicial abelian groups corresponds to the richness of the Steenrod algebra (acting on cohomology of spectra) vs. just its Bockstein part (which is all that acts on "cohomology" of simplicial abelian groups).

But maybe the most compelling picture illustrating the differences is the chromatic one. In some sense the chromatic picture of stable homotopy theory tells you that the difference between spectra and simplicial abelain groups lies in the existence of fundamental and systematic periodic phenomena in the former which are completely lacking in the latter. Concretely, many connective spectra are harmonic (i.e. completely amenable to chromatic techniques, i.e. canonically filterable with graded pieces displaying controlled periodicity) -- for instance, finite spectra (chromatic convergence theorem) and suspension spectra (result of Hopkins and Ravenel) -- whereas simplicial abelian groups are only sensitive to the 0th chromatic layer, i.e. rationalization (so nothing periodic about it at all), since their higher Morava K-theories vanish, by the splitting of the Postnikov tower alluded to above and the fact that you can't make a bounded above spectrum periodic without killing it.

$\endgroup$
14
$\begingroup$

One key point is that if you let $S/2$ denote the cofibre of twice the identity on the sphere spectrum (also known as the mod $2$ Moore spectrum, or $\Sigma^{-1}\mathbb{R}P^2$), then twice the identity map on $S/2$ is nonzero. This cannot happen in the homotopy category of simplicial abelian groups, or (roughly speaking) any other triangulated category arising from algebra rather than topology.

UPDATE: as a bridge between Dustin's answer and mine, you can note that the category of differential graded $MU_*MU$-comodules is a purely algebraic category that supports most of the same Steenrod/chromatic phenomena as the category of spectra, but still the cofibre of multiplication by two has exponent two.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.