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?
-
1$\begingroup$ What does the second sentence mean? $\endgroup$– Dylan WilsonCommented Dec 14, 2012 at 21:53
-
1$\begingroup$ My suspicion is that there are almost no finite spectra which admit MU-module structures. $\endgroup$– Tyler LawsonCommented Dec 14, 2012 at 23:47
1 Answer
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.
-
$\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$ Commented 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$ Commented Dec 17, 2012 at 1:20