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
The Milnor-Quillen theorem on determines the structure of the graded ring of stable homotopy groups of the universal complex Thom spectrum MU.
In (Milnor 60) it was shown this is the polynomial ring on generators in degree for all .
Notice that by Thom's theorem, this is also isomorphic to the cobordism ring of smooth manifolds equipped with stable almost complex structure.
Moreover, by Lazard's theorem, this graded ring is also abstractly isomorphic to the Lazard ring .
But the universal complex orientation on MU induces a preferred ring homomorphism
A priori it is not clear whether this particular canonical homomorphism exhibits the isomorphism. But it does, this is the result of (Quillen 69).
Write for the E-∞ ring spectrum of complex cobordism cohomology theory. Since this is a complex oriented cohomology theory, by Lazard's theorem there is associated a commutative 1-dimensional formal group law classified by a ring homomorphism of the form
from the Lazard ring .
This canonical homomorphism is an isomorphism
This is due to (Quillen 69), based on (Milnor 60), reproduced e.g. as (Kochman 96, theorem 3.7.7, theorem 4.4.13).
Proof strategy: (for Milnor’s part)
Apply the Boardman homomorphism to get the statement over the rational numbers. Deduce that is finitely generated so that it is now sufficient to prove it over the p-adic integers for all .
Now use the -Adams spectral sequence, which, on its second page, expresses these homotopy groups by the -homology of MU.
The homology of MU may be computed by reducing, via the Thom isomorphism, to computation of the homology of the classifying space , which in turn is given by Kronecker pairing from the Conner-Floyd Chern classes.
Using this and applying the change of rings theorem, the Adams spectral sequence is seen to collapse right away, and so the result may now be obtained by explicitly computing the relevant comodule Ext-groups of the homology of MU
The dual generalized Steenrod algebra has a structure of commutative Hopf algebroid over the Lazard ring. This is the content of the Landweber-Novikov theorem.
The computation of was first due to
the proof that the canonical morphism is an isomorphism is due to
According to
the best reference as of turn of the millennium was still
But see
Stanley Kochman, section 4.4 of Bordism, Stable Homotopy and Adams Spectral Sequences, AMS 1996
Jacob Lurie, Chromatic Homotopy Theory, Lecture series 2010,
Lecture 7 The homology of MU (pdf)
Lecture 9 The Adams spectral sequence for MU (pdf)
Lecture 10 The proof of Quillen’s theorem (pdf)
Other review includes
Stanley Kochman, theorem 3.7.7 (Milnor’s theorem) of Bordism, Stable Homotopy and Adams Spectral Sequences, AMS 1996
Doug Ravenel, Complex cobordism and stable homotopy groups of spheres, chapter 4 -Theory and the Adams-Novikov spectral sequence, pdf
also
Charmaine Sia, section 2 of Calculating the -term of the Adams spectral sequence (pdf)
Sam Nolen, sections 1 and 2 of The Adams-Novikov spectral sequence (pdf)
Akhil Mathew, Quillen’s theorem on the formal group law of MU
Last revised on March 4, 2024 at 23:06:09. See the history of this page for a list of all contributions to it.