Our goal is now to return to topology, and in particular to study the formal group law of the universal complex-oriented theory {MU} (complex cobordism). As we computed using the Adams spectral sequence,

\displaystyle \pi_* MU \simeq \mathbb{Z}[x_1, x_2, \dots ] , \quad \deg x_i = 2i.

This is the Lazard ring, by the computations of the previous couple of posts. On the other hand, it is not at all clear that the map

\displaystyle L \rightarrow \pi_* MU

classifying the formal group law over {\pi_* MU} (arising from the complex orientation) is actually an isomorphism: in other words, that the formal group law of {MU} is the universal one. The fact that it is in fact an isomorphism is the content of Quillen’s theorem, which will be proved in this post. (more…)

This is the third in the series of posts intended to work through the proof of Lazard’s theorem, that the Lazard ring classifying the universal formal group law is actually a polynomial ring on a countable set of generators. In the first post, we reduced the result to an elementary but tricky “symmetric 2-cocycle lemma.” In the previous post, we proved most of the symmetric 2-cocycle lemma, except in characteristic zero. The case of characteristic zero is not harder than the cases we handled (it’s easier), but in this post we’ll complete the proof of that case by exhibiting a very direct construction of logarithms in characteristic zero. Next, I’ll describe an application in Lazard’s original paper, on “approximate” formal group laws.

After this, I’m going to try to move back to topology, and describe the proof of Quillen’s theorem on the formal group law of complex cobordism. The purely algebraic calculations of the past couple of posts will be necessary, though.

1. Formal group laws in characteristic zero

The last step missing in the proof of Lazard’s theorem was the claim that the map

\displaystyle L \rightarrow \mathbb{Z}[b_1, b_2, \dots ]

classifying the formal group law obtained from the additive one by “change-of-coordinates” by the exponential series {\exp(x) = \sum b_i x^{i+1}} is an isomorphism mod torsion. In other words, we have an isomorphism

\displaystyle L \otimes \mathbb{Q} \simeq \mathbb{Z}[b_1, b_2, \dots ] \otimes \mathbb{Q}.

In fact, we didn’t really need this: we could have proved the homological 2-cocycle lemma in all cases, instead of just the finite field case, and it would have been easier. But I’d like to emphasize that the result is really something elementary here. In fact, what it is saying is that to give a formal group law over a {\mathbb{Q}}-algebra is equivalent to giving a choice of series {\sum b_i x^{i+1}}.

Definition 1 An exponential for a formal group law {f(x,y) } is a power series {\exp(x) = x + b_1 x^2 + \dots} such that

\displaystyle f(x,y) = \exp( \exp^{-1}(x) + \exp^{-1}(y)).

The inverse power series {\exp^{-1}(x)} is called the logarithm.

That is, a logarithm is an isomorphism of {f} with the additive formal group law.

So another way of phrasing this result is that:

Proposition 2 A formal group law over a {\mathbb{Q}}-algebra has a unique logarithm (i.e., is uniquely isomorphic to the additive one). (more…)

We are in the middle of proving an important result of Lazard:

Theorem 1 The Lazard ring {L} over which the universal formal group law is defined is a polynomial ring in variables {x_1, x_2, \dots, } of degree {2i}.

The fact that the Lazard ring is polynomial implies a number of results which are not a priori obvious: for instance, it shows that given a surjection of rings { A \twoheadrightarrow B}, then any formal group law on {B} can be lifted to one over {A}.

We began the proof of Lazard’s theorem last time: we produced a map

\displaystyle L \rightarrow \mathbb{Z}[b_1, b_2, \dots ], \quad \deg b_i = 2i,

classifying the formal group law obtained from the additive one {x+y} by the “change of coordinates” { \exp(x) = \sum b_i x^{i+1}}. We claimed that the map on indecomposables was injective, and that, in fact the image in the indecomposables of {\mathbb{Z}[b_1, b_2, \dots ]} could be determined completely. I won’t get into the details of this (it was all in the previous post), because the purpose of this post is to prove a result to which we reduced last time.

Let {A} be an abelian group. A symmetric 2-cocycle is a “polynomial” {P(x,y) \in A[x, y] = A \otimes_{\mathbb{Z}} \mathbb{Z}[x, y]} with the properties:

\displaystyle P(x, y) = P(y,x)


\displaystyle P(x, y+z) + P(y, z) = P(x,y) + P(x+y, z).

These symmetric 2-cocycles come up when one tries to classify formal group laws over the ring {\mathbb{Z} \oplus A}, as we saw last time: in fact, we can think of them as “deformations” of the additive formal group law.

The main lemma which we stated last time was the following:

Theorem 2 (Symmetric 2-cocycle lemma) A homogeneous symmetric 2-cocycle of degree {n} is a multiple of {\frac{1}{d} ( ( x+y)^n - x^n - y^n )} where {d =1} if {n} is not a power of a prime, and {d = p} if {n = p^k}.

For a direct combinatorial proof of this theorem, see Lurie’s notes. I want to describe a longer homological proof, which is apparently due to Mike Hopkins and which appears in the COCTALOS notes. The strategy is to interpret these symmetric 2-cocycles as actual cocycles in a cobar complex computing an {\mathrm{Ext}} group. Then, the strategy is to compute this {\mathrm{Ext}} group independently.

This argument is somewhat longer than the combinatorial one, but it has the benefit (for me) of engaging with some homological algebra (which I need to learn more about), as well as potentially generalizing in other directions.  (more…)

After describing the computation of {\pi_* MU}, I’d now like to handle the remaining half of the machinery that goes into Quillen’s theorem: the structure of the universal formal group law.

Let {R} be a (commutative) ring. Recall that a formal group law (commutative and one-dimensional) is a power series {f(x,y) \in R[[x,y]]} such that

  1. {f(x,y) = f(y,x)}.
  2. {f(x, f(y,z)) = f(f(x,y), z)}.
  3. {f(x,0) = f(0,x) = x}.

It is automatic from this by a successive approximation argument that there exists an inverse power series {i(x) \in R[[x]]} such that {f(x, i(x)) = 0}.

In particular, {f} has the property that for any {R}-algebra {S}, the nilpotent elements of {S} become an abelian group with addition given by {f}.

A key observation is that, given {R}, to specify a formal group law amounts to specifying a countable collection of elements {c_{i,j}} to define the power series {f(x,y) = \sum c_{i,j} x^i y^j}. These {c_{i,j}} are required to satisfy various polynomial constraints to ensure that the formal group identities hold. Consequently:

Theorem 1 There exists a universal ring {L} together with a formal group law {f_{univ}(x,y)} on {L}, such that any FGL {f} on another ring {R} determines a unique map {L \rightarrow R} carrying {f_{univ} \mapsto f}. (more…)