7
$\begingroup$

How explicit are the model structures for various categories of spectra?

Naive, symmetric and orthogonal spectra are obtained via left Bousfield localization of model structures with explicit generating (acyclic) cofibrations, so we have explicit generating cofibrations for them.

I'm thinking it's too much to ask for explicit generating acyclic cofibrations, but it would be nice to at least have a pseudo-generating set -- i.e. an explicit set of generating acyclic cofibrations, lifting against which characterizes the fibrant objects and fibrations between fibrant objects.

Questions: Let $\mathcal C$ be a model category modeling spectra, (e.g. naive, symmetric, orthogonal, EKMM, combinatorial...)

  1. Are explicit generating cofibrations available for $\mathcal C$?

  2. How about explicit generating acyclic cofibrations?

  3. If not (2), how about an explicit pseudo-generating set of acyclic cofibrations?

  4. If not (3), is there at least an explicit description of the fibrant objects via lifting properties?

$\endgroup$
7
$\begingroup$

You have explicit generating (acyclic) cofibrations for pretty much any model of spectra you can think of. As you point out, most begin as levelwise model structures, and so you have explicit generating (acyclic) cofibrations before left Bousfield localization, hence still have the same generating cofibrations after. You are right that the general machinery of Hirschhorn's book does not tend to give you explicit generating acyclic cofibrations, but for all the models of spectra I can think of, there is a trick that gives you the generating acyclic cofibrations. I learned this trick from Theorem 3.11 in the paper Stable left and right Bousfield localisations by Barnes and Roitzheim. The proof has a lovely trick that uses the fact that the levelwise model structure is proper. The set of generating acyclic cofibrations is $J \cup \Lambda S$, where $J$ is the old set of generating acyclic cofibrations, and $\Lambda S$ is the set of horns on $S$, where $S$ is the set of maps you're inverting. This result is the best Hirschhorn could have hoped for, but as examples in his book show, you don't get this result without the assumption of a stable, proper model category as input. Before this result of Barnes and Roitzheim, the usual idea was to build the left Bousfield localization "by hand", without reference to Hirschhorn's book. That is done in several of Mark Hovey's papers, and it works because you know you want the new fibrant objects to be the $\Omega$-spectra. When you do it that way, you often have reasonably good control over the generating acyclic cofibrations, but the approach of Barnes and Roitzheim is even better.

$\endgroup$
  • 1
    $\begingroup$ Awesome, thanks! Adding horns is very reminiscent of the way things work in the Cisinski - Olschok theory of "homotopical structures". $\endgroup$ – Tim Campion Mar 10 at 18:31
3
$\begingroup$

David has answered 1-3, and I agree with him in the abstract. However, I would like to say more and specifically address 4, since there is a huge difference between the fibrant objects in the two main styles of explicit point-set level categories of spectra. Just as for the usual Quillen model structure on spaces, in the Lewis-May or EKMM categories, the fibrations are the Serre fibrations, so they are defined directly in terms of standard lifting properties and therefore EVERY object is fibrant. The cofibrant objects are just the retracts of cell spectra, defined almost exactly as in the category of spaces, so here the model structures are just like the usual model structure on spaces, as is the theory of CW spectra. The generating acyclic cofibrations are also just like in spaces. In EKMM, this is all still true for modules over a ring spectrum. See Section VII.5 of EKMM. The link to EKMM in the Question is incorrect. The correct link is

\http://www.math.uchicago.edu/~may/BOOKS/EKMM.pdf

For diagram spectra (naive, symmetric, or orthogonal), the fibrant objects are $\Omega$ spectra, and to make that true one must expand the set of generating acyclic cofibrations, as is made precise in Section 9.4 of

http://www.math.uchicago.edu/~may/PAPERS/mmssLMSDec30.pdf

That gives an explict description of the generating acyclic cofibrations $K$ and Proposition 9.5 says exactly what conditions must be satisfied for a map to satisfy the right lifting property with respect to $K$. Incidentally, there is no explicit published CW theory for diagram spectra, as far as I know, the point being that one must pay attention to the difference just described. See Section 24.1 of

http://www.math.uchicago.edu/~may/EXTHEORY/MaySig.pdf

for a discussion of this in the more general context of parametrized stable homotopy theory.

$\endgroup$
  • $\begingroup$ Thanks for your answer. The mistaken link in the question is my fault. I added the links to help future readers. Since there was no wikipedia page for S-modules, and the ncatlab page was basically empty, I added the first paper from google. I forgot that you host EKMM in its entirety. It's good to know these earlier references, predating the Barnes-Roitzheim theory. $\endgroup$ – David White Mar 10 at 23:03

Your Answer

By clicking "Post Your Answer", you agree to our terms of service, privacy policy and cookie policy

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