The Lazard ring is a commutative ring which is
and by Quillen's theorem also
The Lazard ring may be presented by generators $a_{i j}$ with $i,j \in \mathbb{N}$
and relations as follows
$a_{i j} = a_{j i}$
$a_{10} = a_{01} = 1$; $\forall i \neq 1: a_{i 0} = 0$
the obvious associativity relations imposed by $\ell(x, \ell(y, z)) = \ell(\ell(x, y), z)$
where we write
In other words, $\ell(x, y)$ becomes the universal 1-dimensional formal group law as a formal power series in two variables with coefficients in the Lazard ring, Theorem 1 below.
For any ring $S$ with formal group law $g(x,y) \in S[ [x,y] ]$ there is a unique ring homomorphism $L \to S$ that sends $\ell$ to $g$.
review includes (Hopkins 99, theorem 2.3, theorem 2.5)
Passing to formal dual ring spectra, this says that $Spec(L)$ is something like the moduli space for formal groups. By Quillen's theorem on MU, the lift of $L$ to higher algebra is the E-infinity ring MU and the E-infinity ring spectrum $Spec(MU)$ is something like the derived moduli stack for formal group laws.
Lazard's theorem states:
The Lazard ring is isomorphic to a graded polynomial ring
with the variable $t_i$ in degree $2 i$.
review includes (Hopkins 99, theorem 2.5, Lurie 10, lect 2, theorem 4)
By Quillen's theorem on MU the Lazard ring is the cohomology ring of complex cobordism cohomology theory.
Let $M P$ denote the peridodic complex cobordism cohomology theory. Its cohomology ring $M P(*)$ over the point together with its formal group law is naturally isomorphic to the universal Lazard ring with its formal group law $(L,\ell)$.
This can be used to make a cohomology theory out of a formal group law $(R,f(x,y))$. Namely, one can use the classifying map $M P({*}) \to R$ to build the tensor product
for any $n\in\mathbb{Z}$. This construction could however break the left exactness condition. However, $E$ built this way will be left exact if the ring morphism $M P({*}) \to R$ is a flat morphism. This is the Landweber exactness condition (or maybe slightly stronger). See at Landweber exact functor theorem.
for some context see A Survey of Elliptic Cohomology - cohomology theories
Daniel Quillen, On the formal group laws of unoriented and complex cobordism theory, Bull. Amer. Math. Soc. Volume 75, Number 6 (1969), 1293-1298. (Euclid)
John Adams, part II.5 of Stable homotopy and generalised homology, University of Chicago Press, Chicago, Ill., 1974, Chicago Lectures in Mathematics.
Stanley Kochmann, section 4.4 of Bordism, Stable Homotopy and Adams Spectral Sequences, AMS 1996
Mike Hopkins, Complex oriented cohomology theories and the language of stacks, 1999 course notes (pdf)
Jacob Lurie, Chromatic Homotopy Theory, Lecture series 2010, Lecture 2 Lazard’s theorem (pdf)
Jacob Lurie, Chromatic Homotopy Theory, Lecture series 2010, Lecture 3 Lazard’s theorem (continued) (pdf)
Last revised on February 9, 2018 at 16:51:46. See the history of this page for a list of all contributions to it.