9
$\begingroup$

When the survey Axiomatic Stable Homotopy, Neil Strickland, 2004 was written the category of motivic spectra was not investigated from the point of view of axiomatic stable homotopy, as considered e.g. in Hovey, Palmieri and Strickland, Axiomatic Stable Homotopy Theory, 1997.

The question is this: was any work done in the last ten years in this direction?

$\endgroup$
  • 2
    $\begingroup$ Dear @Andrei Halanay: The first link you provide appears to be inaccessible without a mathscinet subscription. $\endgroup$ – Ricardo Andrade Oct 18 '13 at 20:41
  • 1
    $\begingroup$ @RicardoAndrade: details of linked references now edited in. $\endgroup$ – Peter LeFanu Lumsdaine Oct 18 '13 at 22:12
  • 2
    $\begingroup$ The survey "Axiomatic stable homotopy" by Strickland is available in the arXiv: arxiv.org/abs/math/0307143 $\endgroup$ – Ricardo Andrade Oct 18 '13 at 22:19
18
$\begingroup$

Here's a direct link to the book by Hovey–Palmieri–Strickland.

The category of motivic spectra is known to satisfy the axioms of Definition 1.1.4 in the book when the base is a countable field of characteristic zero. Axioms (c) and (e) are problematic in general:

  1. Motivic spectra are generated by strongly dualizable objects when the base is a field of characteristic zero. The proof uses Hironaka's resolutions of singularities, see Röndigs–Østvær, Modules over motivic cohomology.

  2. The representability of cohomology functors holds if the base is covered by finitely many spectra of countable commutative rings. See Naumann–Spitzweck, Brown representability in A1-homotopy theory.

My 2 cents: axiom (c) sounds like a reasonable conjecture over general base schemes, but it seems very unlikely that axiom (e) would hold beyond the known case.

ETA In case someone stumbles upon this answer, let me take back one cent and say that axiom (c) should not hold over any scheme of positive dimension. The correct expectation is that it holds over zero-dimensional schemes (this being only known in characteristic zero for now). The idea is that the subcategory generated by dualizable object is the category of locally constant motivic spectra. Here is a proof that (c) does not hold for $SH(S)$ assuming $S$ admits a regular codimension 1 point $s$ (eg $S$ is normal): take an open $U$ whose restriction to $\mathrm{Spec}(\mathcal{O}_{S,s})$ is the generic point. Then $\Sigma^\infty_T U_+\in SH(S)$ is not generated by dualizable objects; in fact its rational motive isn't: localization and absolute purity imply easily that pullback to the generic point $DM_{\mathbb Q}(\mathcal{O}_{S,s})\to DM_{\mathbb Q}(\eta)$ is conservative on locally constant motivic sheaves.

$\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.