In a previous post, we studied the formal group law of in geometric terms: that is, using the interpretation of as the cobordism ring of stably almost-complex manifolds. We found that the *logarithm* for this formal group law was given by the power series

In particular, we saw that the complex projective spaces provided a set of independent generators for the rationalization : that is,

This is analogous to the theorem of Hirzebruch which calculates the oriented cobordism ring , and could also have been established directly by arguing that . The structure of the latter ring can be worked out directly, and in fact was.

We might be interested, though, in a set of honest generators for (not generators mod torsion). Such a set is provided by the *Milnor hypersurfaces* which I would like to discuss in this post. (more…)