Last time we checked that our explicit construction of the ring of Witt vectors was a ring, but in the proof we noted that actually was a functor . In fact, since it exists and is the unique functor that has the three properties we listed, we could have just defined the ring of Witt vectors over to be .
We also said that was representable, and this is just because . We can use our to define a (co)commutative Hopf algebra structure on .
For instance, define the comultiplication by .
Since this is a Hopf algebra we get that is an affine group scheme. The -valued points on this group scheme are by construction the elements of . In some sense we have this “universal” group scheme keeping track of all of the rings of Witt vectors.
Another thing we could notice is that , , are polynomials and hence power series. If we go through the tedious (yet straightfoward since it is just Witt addition) details of checking, we will find that they satisfy all the axioms of being an infinite-dimensional formal group law. We will write this formal group law as and as the associated formal group.
Next time we’ll start thinking about the length formal group law of Witt vectors (truncated Witt vectors).