6
$\begingroup$

I have the following questions on monoidal model structure(s) for the motivic stable homotopy category $SH(k)$ (where $k$ is a field); certainly, I am also interested in general statements concerning these matters.

  1. Which "models" for $SH(k)$ are monoidal model categories (with the extra monoid axiom fulfilled) such that the unit object (sphere spectrum) is cofibrant?

  2. For $MGl'$ being a cofibrant ring spectrum in this category that is weakly equivalent to the Voevodsky algebraic cobordism spectrum $MGl$ (over $k$) I would like to have a criterion that ensures that a cohomological functor from $SH(k)$ (into abelian groups) factors through the (triangulated) homotopy category $D^{MGl}$ of highly structured $MGl'$-modules. Any suggestions?

3.[My own idea concerning 2]. The spectrum $MGl$ possesses a universality property (see https://projecteuclid.org/euclid.hha/1251811074) that ensures that various forms of K-theory are represented by spectra that are algebras over $MGl$ in $SH(k)$. To prove that these "K-theories" factor through $D^{MGl}$ I would like to prove that certain "replacements" of these K-theory spectra are highly structured $MGl'$-modules. It seems reasonable to consider the model structure for ring spectra in the model for $SH(k)$ that is provided by http://www.math.uni-bonn.de/~schwede/AlgebrasModules.pdf Yet to use this model structure I probably need a calculation of morphisms in the corresponding homotopy category; is anything known about this?

  1. Proposition 1.10 of Hovey's unpublished http://mhovey.web.wesleyan.edu/papers/mon-mod.pdf says that for a left proper cellular monoidal model category $C$ the category of modules over a cofibrant monoid object $R$ of $C$ is (cellular and) left proper also. Does a (published) proof of this fact or something similar exist? Cf. the discussion at Properness of the category of modules over a spectrum (that represents algebraic cobordism or motivic cohomology)

  2. I believe that the category of $R$-modules is a $C$-module category in the sense of Definition 4.2.18 of Hovey's book. Does there exist a reference for this statement?

$\endgroup$
  • $\begingroup$ For (1) you can use the (nonpositive) model structure on symmetric spectra valued in pointed motivic spaces, which themselves are equipped with a monoidal model structure such that the monoidal unit is cofibrant. For instance, you can take the local projective structure on pointed motivic spaces. $\endgroup$ – Dmitri Pavlov Jun 4 '17 at 10:42
  • $\begingroup$ For (4) you can use Theorem 5.3.1 in arxiv.org/abs/1510.04969. In fact, you don't even need the monoid to be cofibrant, as long as two other easy properties are satisfied (and they are satisfied in your case). $\endgroup$ – Dmitri Pavlov Jun 4 '17 at 10:55
  • $\begingroup$ For (3) Hopkins and Lawson (arxiv.org/abs/1603.00047) describe a general procedure for lifting complex orientations, i.e., morphisms MU→E of commutative monoids in SH, to morphisms of E_∞-ring spectra. You could try to adapt it to MGL. $\endgroup$ – Dmitri Pavlov Jun 4 '17 at 11:06
  • $\begingroup$ Thank you very much! What is the current status of your nice preprint? $\endgroup$ – Mikhail Bondarko Jun 4 '17 at 11:13
  • $\begingroup$ It's a series of 3 papers. #2 was accepted by the Journal of Topology, #3 was accepted by Jussieu, #1 (the one we're talking about) is still being refereed by HHA. $\endgroup$ – Dmitri Pavlov Jun 4 '17 at 11:15
3
$\begingroup$

For (1), I recommend the paper Motivic Functors by Dundas-Rondigs-Ostvaer. They compare many different models for SH(k), with an eye towards monoidal properties (i.e. pushout product axiom, monoid axiom, axiom that cofibrant objects are flat).

For (2), you probably know that these categories of modules are Quillen equivalent, going back to Schwede-Shipley's "algebras and modules" paper. Another reference is Fresse's book "Modules over operads and functors" Theorem 12.5.A (which avoids an assumption Schwede-Shipley had to make about $-\otimes_R S$ when you're changing ring from $R$ to $S$), since both categories are algebras over a $\Sigma$-cofibrant operad. Dmitri also has a version of rectification (in his paper #1 from the comments above) that does not require $\Sigma$-cofibrancy, and works for any weak equivalence of colored operads. I've got a version with Donald Yau ("Homotopical Algebraic Lifting Theorem") which is meant to study a more general phenomena than rectification (regarding lifting Quillen equivalences to categories of algebras), and provide easier-to-check conditions for levelwise cofibrant operads, but in your case the Fresse reference already does the job.

For (4), a lot of those results ended up in Spitzweck's thesis, and later in Fresse's book. For those that didn't (including the one you cite), I included the version for commutative monoids in my thesis (see Theorem 4.17 in "Model structures on commutative monoids in general model categories", now accepted to JPAA). In your case, you probably don't care that the category of modules is cellular, because it's actually combinatorial, and that's even better. A reference is Beke, "Sheafifiable homotopy model categories", 2.3.

For (5) this is Proposition 5.3 in Spitzweck's thesis. The operad in question (whose algebras are $R$-modules) is $\Sigma$-cofibrant. When Spitzweck says that the $J$-semi model category $Alg(O)$ is a $C$-module, this implies that, if there is a full model structure (which there is in this case, by Schwede-Shipley), then it's a $C$-module.

$\endgroup$

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.