This entire question takes place in the $HF\_p$-local category of $p$-local spectra, i.e. the essential image of $HF\_p$-localization on the stable homotopy category. $HF\_p$ itself is in there, and of course so is the $HF\_p$-local sphere $L\_{HF\_p}S^0$. Let $loc(X)$ denote the smallest localizing subcategory containing an object $X$.


**Question**: Is there a way to show that $L\_{HF\_p}S^0$ is NOT in $loc(HF\_p)$?


I'm imagining there might be some property $HF\_p$ has that's preserved by triangles and coproducts, but that $L\_{HF\_p}S^0$ does not have. (But remember that coproducts here are not the same as in the full category of spectra; likewise the smash product).


Here's why I'm interested. If the answer is yes, then this local category has at least three localizing subcategories: $loc(0)$, $loc(HF\_p)$, and $loc(L\_{HF\_p}S^0)$, the last one being the entire category. (I'm pretty sure $loc(HF\_p)$ is minimal, but that's irrelevant.) This would be exciting, because I recently found out that the Bousfield lattice of this category has exactly two elements. If the answer to my question above is yes, then there's a localizing subcategory, namely $loc(HF\_p)$, that isn't a Bousfield class. (The only other time that this is known to happen is in the derived category of a certain bizarre type of non-Noetherian ring; see Stevenson's <http://www.arxiv.org/abs/1210.0399>).


If one took a $K(n)$ instead of $HF\_p$, the answer to my question is no. Hovey and Strickland ("Morava $K$-theories and localization") classified localizing subcategories in the $K(n)$-local category, and there are only two (ditto with Bousfield classes). But their proof uses that $L\_{K(n)}F(n)$ is a small graded weak generator in the $K(n)$-local category. Later in the same paper they show that the $HF\_p$-local category has no nonzero small objects, so the same trick won't work.


Or, on the other hand, if anyone knows how to build $L\_{HF\_p}S^0$ from $HF\_p$, that's great too. But that seems harder.



localizing subcategories of $HF_p$-local spectra
First note that it is equivalent to ask whether the mod p Moore spectrum $M(p)$ is in the localizing subcategory (in the local sense) generated by $HF\_p$. Indeed, the fiber $C\_0 S$ of the map $S \xrightarrow{} H\mathbb{Q}$ is in the localizing subcategory generated by $M(p)$ (in the usual sense), and $L\_{HF\_p}C\_0 S=L\_{HF\_p}S$. So if $M(p)=L\_{HF\_p}M(p)$ is in the localizing subcategory generated by $HF\_p$ in the local sense, then so is $L\_{HF\_p}S$. 


Now consider the class of all $HF\_p$-local spectra $X$ such that $[X,M(p)]\_\*=0$. This contains $HF\_p$ because $HF\_p$ is dissonant and $M(p)$ is harmonic. It is obviously a thick subcategory. I claim it is also closed under $HF\_p$-local coproducts. Indeed, suppose $[X\_i, M(p)]\_\*=0$ for all $i$. Then $[\coprod X\_i, M(p)]\_\*=0$. But $M(p)$ is $HF\_p$-local, so 


$
[L\_{HF\_p} (\coprod X\_i), M(p)]\_+ = [\coprod X\_i, M(p)]\_\* =0.
$


So we have a localizing subcategory in the local sense that contains $HF\_p$ but not $M(p)$, like you wanted. 


So there is a localizing subcategory that is not a Bousfield class! Very nice!


