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

This question has a few parts:

1) Is the Bousfield class of $\langle E\rangle$ the class of $E$-acyclics, i.e. $\langle E\rangle=\left\{ X:E\wedge X=0\right\}$ or is it the class of spectra which are Bousfield equivalent to $E$? It seems that both of these definitions are used. In either case, which is then the correct characterization of the partial ordering on the Bousfield lattice, as the former definition of Bousfield class seems amenable to reverse inclusion, but the latter does not.

2) Secondly, the following statement is made in Hovey and Palmieri's "Structure of the Bousfield Lattice" and I feel that it is probably really obvious, but that I must be missing something:

Given an element of the Bousfield lattice $\langle E\rangle$ such that $\langle E\rangle <\langle H\mathbb{F}_p\rangle$ we have that $E\wedge H\mathbb{F}_p=0$ else $\langle E\rangle\geq \langle H\mathbb{F}_p\rangle$. I cannot see why this is necessarily true in general and assume it must have something to do with the nature of $H\mathbb{F}_p$ that I am missing. Can anyone help me out? I do not believe any other suppositions are made of $E$ than it is a spectrum.

So perhaps (2) depends on (1) in some way. H&P say that $\langle E\rangle$ is the class of acyclics, but then how is (2) true in that case? I also believe that, definitions aside, (2) would follow if it was the case that $H\mathbb{F}_p\wedge H\mathbb{F}_p=0$ but I don't think that's true....is it?

Please excuse my ignorance!

share|improve this question

3 Answers 3

up vote 7 down vote accepted

1) The best convention is probably this. Identify $\langle E\rangle$ with the class of $X$ for which $E\wedge X\neq 0$. The the "Bousfield class of $E$" is the class $\langle E\rangle$, and we say that "$E$ and $F$ have the same Bousfield class" if $\langle E\rangle = \langle F\rangle$.

With this convention, the partial ordering on Bousfield classes is just class containment: $\langle E\rangle \leq \langle F\rangle$ iff $\langle E\rangle \subseteq \langle F\rangle$.

2) The new ingredient comes from the Kunneth theorem for ordinary homology, which tells you that $$H\mathbb{F}_p \wedge X \wedge Y = 0 \quad\text{iff either}\quad H\mathbb{F}_p\wedge X=0 \quad\text{or}\quad H\mathbb{F}_p\wedge Y=0.$$ If $\langle E\rangle< \langle H\mathbb{F}_p \rangle$, then there is an $X$ such that $H\mathbb{F}_p\wedge X\neq0$ but $E\wedge X=0$. This would satisfy $H\mathbb{F}_p\wedge E\wedge X=0$, and to be consistent with Kunneth, we must have $H\mathbb{F}_p\wedge E=0$.

share|improve this answer
2  
Oh man, these both seem like great answers. I need to think about them both for a bit, to make sure I really do understand the situations. Thanks Charles for this also. I've never gotten so many concise answers to homotopy theory questions in my life since I started asking on MO. –  Jon Beardsley Feb 10 '12 at 23:24

I don't know the preferred notation, so let's be noncommittal and denote the class of $E$-acyclic spectra by $(E)$. Now let's call $E$ and $E'$ equivalent if and only if $(E)=(E')$. And now let's denote by $[E]$ the class of all spectra equivalent to $E$.

You can make a lattice whose elements are the classes $(E)$, ordered by inclusion. Since $(E)=(E')$ if and only if $[E]=[E']$, you get an isomorphic lattice whose elements are the $[E]$.

I think the special thing about $H\mathbb F_p$ that is being used is that the smash product of any spectrum with $H\mathbb F_p$ is (an $H\mathbb F_p$-module and therefore) always a coproduct of copies of $\Sigma^n H\mathbb F_p$ for various integers $n$, so that if $E\wedge H\mathbb F_p$ is not contractible then $E\wedge H\mathbb F_p$ has some $\Sigma^n H\mathbb F_p$ as a retract. This implies that any spectrum $X$ that is not $H\mathbb F_p$-acyclic is not $E$-acyclic, either, since $(X\wedge E)\wedge H\mathbb F_p$ has a suspension of $X\wedge H\mathbb F_p$ as a retract.

share|improve this answer
    
Indeed this makes perfect sense, $H\mathbb{F}_p$ is a field. Thanks so much Tom. You have repeatedly come to my rescue on basic homotopy theory questions that have caused me to linger for hours in the middle of reading papers. –  Jon Beardsley Feb 10 '12 at 23:19
    
My pleasure. Charles's answer looks good, too. –  Tom Goodwillie Feb 10 '12 at 23:58

Charles and Tom have answered question (2) very nicely.

For question (1), for discussing inequalities like $\langle F \rangle \leq \langle E \rangle$, it doesn't matter too much which point of view you take. With Charles's version, $\leq$ means "is contained in", i.e., $\subseteq$; if you take $\langle E \rangle$ to mean $E$-acyclics instead, then $\leq$ means "contains", i.e., $\supseteq$. If you take $\langle E \rangle$ to be the equivalence class of $E$, then you define inequality explicitly: $$ \left(\langle F \rangle \leq \langle E \rangle\right) \Leftrightarrow \left(E \wedge X = 0 \Rightarrow F \wedge X = 0\right). $$ However, if someone wants to use notation like "$F \in \langle E \rangle$", well, I will insist that this is a terrible idea, since $\langle E \rangle$ can mean such three very different classes of spectra, depending on the author. Writing "$F \in \langle E \rangle$" can only lead to confusion. Instead, just say "$F$ is $E$-acyclic" or "$E \wedge F \neq 0$" or "$\langle F \rangle = \langle E \rangle$", depending on which one you mean.

share|improve this answer
1  
Thanks very much for this John. This paper of yours and Mark Hovey's is really fascinating. Do you know if more work has been done on this idea of Jack Morava's concerning a structure sheaf over $DL$? –  Jon Beardsley Feb 11 '12 at 21:01
1  
I'm not aware of any fleshing out of this idea of Morava's. –  John Palmieri Feb 12 '12 at 1:43

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.