Skip to main content
Became Hot Network Question
Clarified that it's left Bousfield localization (because this matters); added some links.
Source Link
David White
  • 30.3k
  • 9
  • 154
  • 250

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, symmetricsymmetric, orthogonalorthogonal, EKMMEKMM, combinatorialcombinatorial...)

  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?

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

Naive, symmetric and orthogonal spectra are obtained via 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?

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?

Source Link
Tim Campion
  • 64k
  • 13
  • 143
  • 384

For which categories of spectra is there an explicit description of the fibrant objects via lifting properties?

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

Naive, symmetric and orthogonal spectra are obtained via 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?