A new construction of the Witt vectors

In a short article appearing on the arxiv today Cuntz and Deninger seem to give a new simple construction of the ring of Witt vectors. Seems like good news for people like me who use them on a daily basis but would probably need to go looking for a copy of Serre’s “Local Fields” if asked for the details on how to actually construct them. This post represents my processing the definition appearing in their paper.

Firstly, recall that for any perfect -algebra , a strict -ring for is a ring in which is not a zero-divisor, Hausdorff and complete for the -adic topology, and with . The key fact about these rings is the following.

Proposition: For every perfect -algebra , a strict -ring exists, and is unique up to unique isomorphism as a ring over (in fact is a functor).

This is of course well-known. The new construction goes as follows. View as a monoid (remember multiplication and the identity element), and form the free ring thereon. This has elements with addition as a “free -module” and multiplication coming from the monoid structure. For example, this means that weirdly yet (but ). There is also (induced from the identity on as a monoid) a natural ring map . Let be its kernel, and form the -adic completion . It turns out (and the proof in their paper is pretty short) that this is a strict -ring and so canonically isomorphic to .

One interesting feature of this construction is that of course you can run it for not perfect, where the Witt construction also gives you something but which is non-canonical (a `Cohen ring’). Apparently this construction in general gives a different one from the Witt construction (so it is genuinely different: not a clever repackaging).

Advertisement