Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

In "Motivic Homotopy Theory" on page 153 it is stated that there exists a canonical Hurewicz map relating the motivic stable homotopy category with the category $\operatorname{DM}_\_^{eff}(k)$. Unfortunatly, I was not able to find a definition of such a map and every attempt to define one myself ended in vain.

share|improve this question

1 Answer 1

up vote 2 down vote accepted

There's a free-forgetful adjunction between $SH_s(k)$ and $DM^{eff}(k)$, where $SH_s(k)$ is the category of $S^1$-spectra (as opposed to $\mathbb{P}^1$-spectra). The right adjoint simply takes a sheaf of chain complexes with transfers in $DM^{eff}(k)$ to its underlying sheaf of spectra (i.e. view chain complexes as spectra, and forget transfers).

You can then upgrade this adjunction to an adjunction between $SH(k)$ (= $SH_s(k)$ with $\Sigma^\infty\mathbb{G}_m$ inverted) and $DM(k)$ (= $DM^{eff}(k)$ with $\mathbb{Z}(1)[1]$ inverted). This works because the left adjoint above is symmetric monoidal and sends $\Sigma^\infty\mathbb{G}_m$ to $\mathbb{Z}(1)[1]$. The motivic Hurewicz map is the unit of this adjunction.

To get a functor $DM^{eff}\to SH$ you would first map $DM^{eff}$ to $DM$ (this is an embedding if $k$ is perfect), and then use the right adjoint $DM\to SH$.

For detailed constructions with model categories see section 2.2 in Modules over motivic cohomology by Röndigs and Østvær.

share|improve this answer
    
Thanks a lot! I am not quite sure if I got how the right adjoint works. Is the structure of the spectra induced by the map $C\to\Sigma\Omega C\to\Sigma C[-1]$? –  Felix Wellen Feb 6 '13 at 23:32
    
No, it goes as follows. An unbounded chain complex is an infinite delooping of a connective chain complex. A connective chain complex is the same thing as a simplicial abelian group (Dold-Kan). So if you forget the abelian group structure, you get an infinite delooping of a simplicial set, i.e., a spectrum. This is called the stable Dold-Kan correspondence, see e.g. ncatlab.org/nlab/show/… –  Marc Hoyois Feb 7 '13 at 3:58
    
Thanks again! After some thought, I think I got it. –  Felix Wellen Feb 12 '13 at 14:00

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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