algebraic topology – application of higher algebra and higher category theory to the study of (stable) homotopy theory
group cohomology, nonabelian group cohomology, Lie group cohomology
cohomology with constant coefficients / with a local system of coefficients
differential cohomology
symmetric monoidal (∞,1)-category of spectra
Every complex oriented cohomology theory induces a formal group law from its first Conner-Floyd Chern class. Moreover, Quillen's theorem on MU together with Lazard's theorem say that the cohomology ring $\pi_\bullet(M U)$ of complex cobordism cohomology MU is the classifying ring for formal group laws.
The Landweber exact functor theorem (Landweber 76) says that, conversely, forming the tensor product of complex cobordism cohomology theory (MU) with a Landweber exact ring via some formal group law yields a cohomology theory.
By the Brown representability theorem this defines a spectrum and the spectra arising this way are called Landweber exact spectra. (e.g. Lurie lect 17, p.2).
There is an analogue of the statement also for even 2-periodic cohomology theories, with MU replaced by MP (Lurie lecture 18, prop. 11).
By evaluation on $X = B U(1)$, the classifying space for complex line bundles (the circle 2-group), every multiplicative complex oriented cohomology theory $E$ gives rise to a formal group over the graded ring $\pi_\bullet(E)$ (see there).
Conversely, given a formal group $F$ over a graded ring $R$, one can ask whether this arises from some $E$ in this way.
Now since the Lazard ring $L$ classifies formal groups, in that any formal group law $F$ over a ground ring $R$ is equivalently a ring homomorphism $L \longrightarrow R$, and since moreover Quillen's theorem on MU identifies $L$ with the cohomology ring of complex oriented cohomology theory $L \simeq MU_\bullet(\ast)$, one may consider the functor
By construction this is such that $E_\bullet(\ast) \simeq R$. But this functor may fail to satisfy the axioms of a generalized homology theory, hence may fail to be Brown represented by an actual spectrum $E$.
Landweber exactness is a sufficient condition on $R$ for $E \coloneqq MU_\bullet(-)\otimes_L R$ to be indeed a generalized homology theory (e. g. Lurie, lect 15, theorem 9).
Notice that if it is, then the canonical map
is an equivalence. (For $E =$ KU this was originally proven in Conner-Floyd 66.) In this form the statement has generalizations beyond complex orientation. See at cobordism theory determining homology theory.
Between Landweber exact spectra, every phantom map is already null-homotopic. (e.g. Lurie lect 17, corollary 7).
For the special case of $E =$KU the statement (Conner-Floyd isomorphism) is originally due to:
The general result for complex oriented cohomology is due to:
Textbook accounts:
Lecture notes:
Jacob Lurie, Chromatic Homotopy Theory, Lecture series 2010, Lecture 15 Flat modules over $\mathcal{M}_{FG}$ (pdf)
Jacob Lurie, Chromatic Homotopy Theory, Lecture series 2010, Lecture 16 The Landweber exact functor theorem (pdf)
Jacob Lurie, Chromatic Homotopy Theory, Lecture series 2010, Lecture 17 Phantom maps (pdf)
See also
For the even 2-periodic case:
Last revised on February 18, 2021 at 16:43:46. See the history of this page for a list of all contributions to it.