Complex Cobordism vs. Representing Formal Group Laws
arXiv:1605.09252
Abstract
We attempt to answer a question of D. C. Ravenel's: "Infinite loopspace theorists, where are you?", or more prosaically: Can one start from the notion of Ring Spectrum Representing [Formal Group Laws] (the functor) and arrive at Complex Cobordism? Our answer is a tentative "sort-of".
12 p; minor corrections, new references