MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Is there an obvious reason why $p$-localization of spectra is a "finite" localization in the sense of Haynes Miller? In other words, is there an obvious reason why the localizing subcategory (of the stable homotopy category) consisting of the $p$-acyclic spectra is generated (as a localizing subcategory) by the finite $p$-acyclic spectra? Is there a reference for this?

To be clear, I'm talking about Bousfield localization with respect to $\pi_*(-) \otimes {\mathbb Z}_{(p)}$. It is definitely a smashing localization.

Recall that a spectrum is $p$-acyclic if $\pi_*(X) \otimes {\mathbb Z}_{(p)} = 0$. Thanks for your attention.

share|cite|improve this question
The localizing subcategory should probably be generated by the Moore spectra $M(k)$ for $k$ relatively prime to $p$. – Tyler Lawson Jul 7 '12 at 5:32
up vote 4 down vote accepted

The fiber of $S\to S_{(p)}$ is equivalent to $\mathrm{hocolim} \Sigma^{-1}M(k)$, where the limit is taken over the poset of natural numbers prime to $p$ (using the relation of divisiblilty, so $M(k)\to M(kk')$). Thus, if $X$ is a spectrum such that $X_{(p)}=0$, then $X\approx \mathrm{hocolim} \Sigma^{-1}M(k)\wedge X$.

Thus, if $X$ is $p$-localization acyclic, this proves that $X$ is in the localizing subcategory generated by the $M(k)$, as Tyler suggests, while the converse is obvious.

share|cite|improve this answer
Thanks a lot. Great. – Victoria Flat Jul 7 '12 at 18:30

Your Answer


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.