4
$\begingroup$

Let $D(\mathbf{Z})$ be the derived category of abelian groups, and let $D(\mathbf{Z}_p)$ be the derived category of modules over the p-adic integers. Bousfield localization gives a full subcategory of $L_{\mathbf{Z}/p} D(\mathbf{Z})$ of ``$p$-complete'' complexes that is subtly different from $D(\mathbf{Z}_p)$: the compact generator is $\mathbf{Z}/p$ instead of $\mathbf{Z}_p$.

I could apply $L_{\mathbf{Z}/p}$ to $D(\mathbf{Z}_p)$ instead. Are the Bousfield localizations $L_{\mathbf{Z}/p}(D(\mathbf{Z}))$ and $L_{\mathbf{Z}/p}(D(\mathbf{Z}_p))$ equivalent?

Improve this question
$\endgroup$
1
  • 1
    $\begingroup$ should be tagged ct.category-theory and maybe ac.commutative-algebra $\endgroup$
    – YCor
    Commented Oct 7, 2013 at 13:02

1 Answer 1

Reset to default
5
$\begingroup$

Yes, they are equivalent. Perhaps the simplest way to see this is that, in general, Bousfield localization factors through the category of modules over the local sphere (where sphere means unit of the tensor product). So any Z/p-local object in D(Z) is automatically a module over Z_p (in D(Z)), and from there it is not difficult to complete the proof.

I should say that I have a student, Gabriel Valenzuela, who is thinking about related issues, and Charles Rezk has a preprint. L_Z/p D(Z) is the derived category of the (non-Grothendieck) abelian category of Ext p-complete abelian groups, also called L-complete abelian groups. 

                   Mark Hovey
Improve this answer
$\endgroup$
1
  • 1
    $\begingroup$ The derived category of a non-Grothendieck abelian category, interesting! The mere existence of such thing is very interesting. $\endgroup$
    – Fernando Muro
    Commented Oct 7, 2013 at 12:59

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .