2
$\begingroup$

Is there a classification of the compact MU or BP modules in any category of spectra? Can the periodicity theorem be finagled to give a MU-module structure on finite spectra?

$\endgroup$
2
  • 1
    $\begingroup$ What does the second sentence mean? $\endgroup$ Dec 14, 2012 at 21:53
  • 1
    $\begingroup$ My suspicion is that there are almost no finite spectra which admit MU-module structures. $\endgroup$ Dec 14, 2012 at 23:47

1 Answer 1

11
$\begingroup$

No nonzero finite spectrum admits an $MU$-module structure. Indeed, suppose $F$ is a finite spectrum with an $MU$-module structure. Then for all $n$, $F$ has a map $v_n:\Sigma^{2p^n-2}F\to F$, which induces an isomorphism on $K(n)_*F$ (there's a subtlety here in that it's not obvious that the $v_n$ map on $F$ and the $v_n$ map on $K(n)$ give rise to the same map on $K(n)\wedge F$; see eg the end of the proof of Lemma 7 of http://math.harvard.edu/~lurie/252xnotes/Lecture33.pdf). Thus for each $n$, $F/v_n$ is $K(n)$-acyclic. But $F/v_n$ is finite, so this implies it is also $K(m)$-acyclic for all $m<n$, and so $v_n$ is also an isomorphism on $K(m)_*F$. But by finiteness of $F$, for any $m$ sufficiently large we can find $n>m$ for which $v_n$ must be $0$ on $K(m)_*F$ just for reasons of degree (by the AHSS for $K(m)_*F$). Thus $K(m)_*F=0$ for all sufficiently large $m$, which implies $F=0$.

I would also add that even if you did have a finite spectrum with an $MU$-module structure, it could not possibly be compact as an $MU$-module. Indeed, if it were, after smashing with $H\mathbb{Z}$ it would be a compact $H\mathbb{Z}\wedge MU$-module. But $\pi_*(H\mathbb{Z}\wedge MU)$ is a polynomial ring on infinitely many generators, and so all but finitely many of those generators have to act non-nilpotently on any compact module (basically, any "finite presentation" of a compact module can only involve finitely many of the polynomial generators). Since $\pi_*(H\mathbb{Z}\wedge F)=H_*(F)$ vanishes in all but finitely many degrees for $F$ finite, this is impossible.

$\endgroup$
2
  • $\begingroup$ Eric, having trouble fully understanding this proof, will have to look at it again later. Do you think there are no compact objects at all in the homotopy category of MU-modules though? Or just no modules which are finite spectra? $\endgroup$ Dec 17, 2012 at 0:32
  • $\begingroup$ For any $A_\infty$ ring spectrum $R$, $R$ itself is compact as an $R$-module. More generally, for instance, for any finite spectrum $F$, $R\wedge F$ is a compact $R$-module. You should think of "compact" as meaning something like "finitely presented". Just as there's no reason to expect a finitely generated module over a ring to be finitely generated as an abelian group, there's no reason to expect a compact $R$-module to be a finite spectrum (=compact $S$-module). $\endgroup$ Dec 17, 2012 at 1:20

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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