# Formal Group Laws on Ring Spectra?

Given a (graded) ring $R$, to define a formal group law it is equivalent to define a ring homomorphism $\phi:L\to R$ where $L$ is Lazard's ring. Is there any notion of defining a formal group law on ring spectrum $E$, i.e. a map $f:\mathbb{H}L\to E$? Would this in any way extend the notion of formal group laws on algebraic rings or the Landweber Exact Functor Theorem?

-
Classically, the analog would be where you replace $L$ by $MU$ and ask for a map $MU \rightarrow E$. This is equivalent to having a complex oriented ring spectrum. I'm not exactly sure what the "Landweber Exact Functor Theorem" would say here: as far as I know the Landweber exact functor theorem is already a statement involving spectra, so to have an "analog" you would need to fill in the analogy "(rings):(ring spectra):: (ring spectra): (???)"... and I don't know how to do that. –  Dylan Wilson Dec 31 '11 at 16:37
I agree with Dylan here, from what I've heard, the analog of a formal group law on ring spectra is $f:MU\rightarrow E$, i.e. a complex orientation. I think the Landweber Exact Functor Theorem is used to prove this is the right'' analog. Have you looked at Jacob Lurie's notes on Chromatic Homotopy Theory? math.harvard.edu/~lurie/252x.html –  David White Dec 31 '11 at 19:19
Yeah I guess you're right. The analogy already exists as MU. But I wonder about HL nonetheless. –  Jon Beardsley Dec 31 '11 at 19:21
Yeah actually I think what I'm asking is significantly different from the correspondence you mention, though it may not be of any relevance anyway. –  Jon Beardsley Dec 31 '11 at 19:37
I think the right correspondence is the one mentioned in the comments. The main reason is that if you have a map of ring spectra $HL \to E$ then $E$ is an Eilenberg-Maclane spectrum. So in particular, you are only getting information about formal group laws over EM spectra and not any other kinds of spectra. However, it might be interesting to compute this. It is easy not easy to do or it is trivial. The main sources for computing this type of mapping space (maps of commutative ring spectra) that I know of is the obstruction theory of Goerss and Hopkins. There could be others though.