What are Witt vectors?

The ring of Witt vectors has shown up at multiple points in my reading, and I’ve been pretty dissatisfied with the descriptions of this object. Looking into things more seriously, I’ve found that this is such an immensely complicated construction that no single description is going to do it justice (Hazewinkel tries for 300ish pages!), but I’d like to share a couple viewpoints that I find important and/or enlightening.

Let’s first figure out a starting point with global Witt vectors. Fix your favorite ring , and let denote the multiplicative semigroup of power series with maximal subgroup

The group is already understood as , so let’s focus attention on the other factor.

Definition: Write . The functor is called the “(global / big) Witt scheme”.

Our first goal should be to understand the product structure on . Of course one has the usual formulas for the product of series, but these are unsatisfyingly complicated; what we really want is to try to unknot the product of power series with something like a logarithm: a homomorphism . Let’s start by restricting to the case where is a -algebra, where we have an actual analytic logarithm to work with, and see what happens.

We should first rewrite our power series in a form amenable to this property. By successive divisions and induction on bottom nonzero degree, it’s seen that we can write a power series in the form for a unique sequence of coefficients . Now, let’s fuss around with our logarithm:

Write for the parenthesized coefficient of , a polynomial in the s. By performing these same steps for the product , we find that these polynomials are homomorphic in the sense that , and so all together they give a homomorphism called the “Witt map”:

The image of a point of under this map is called its “ghost components”. Now, what good is this map? Here’s an important lemma:

Lemma: Write for the endomorphism of determined by . The sequence is in the image of the Witt map if and only if for all indices and primes , , where is the maximal power of dividing .

This is proven one prime at a time, where the Witt polynomials simplify drastically, allowing an induction on . I won’t go into the details of the proof, but I do want to note two things about the setup: this case of is the universal case, and in this universal case the Witt map is injective. Hence, if a preimage exists, it is unique, and we have in this sense completely embedded power series multiplication into ring addition.

There are several other incarnations of the Witt vectors worth mentioning. First, we can truncate our coefficient sequence after some fixed ; this gives a truncated Witt scheme, written , and there’s an isomorphism . Musing about the Witt polynomials and the proof of the Lemma causes one to notice that the polynomials depend only upon the sequence of coefficients with . The p-typical Witt scheme is defined as the quotient of the global Witt scheme which forgets all but these coefficients. By restricting to -algebras, the Lemma shows that the quotient map admits a unique section inducing the action

on ghost components for any natural prime to . This demonstrates a splitting

Finally, the finite schemes have formal completions at the identity , defined on an -algebra by . The Witt formal scheme is defined as or as above through kernels.

This last object is actually rather exceptional:

Theorem: The Witt formal group is the free formal group on the formal affine line .

Let’s explore that statement now.

One idea for trying to study the structure of formal groups is to make use of the analogy between schemes and manifnews and construct, as one would attach a Lie algebra to a Lie group, some module of curves passing through the origin of the formal group. Write for the Cartier module of the commutative formal -group , defined as . To rigidify this object, we introduce some operations on it, i.e., collections of natural transformations .

These operations satisfy a whole mess of identities, including if and are coprime, , , , , and . None of these is difficult to prove.

The curve in the example is what induces the natural isomorphism

I’ll demonstrate that this map is a set-theoretic isomorphism, but is also a homomorphism and it also respects the Frobenius and Verschiebung maps which can be independently defined on . These facts are much harder and are not, as near as I can tell, worth regurgitating for you in the space of a blog post.

To show that this induced map is injective, let denote the projection acting by . Using our example computation of the Frobenius in the Witt formal group, we can write the identity as the sum . If has , then we check

To show that it’s surjective, for a curve , we define a map by , which restricts to as required. Hence, is the free formal group on the formal affine line.

This barely scratches the surface of the geometry of Witt vectors, which can be gestured at by saying that the representing Hopf algebra for is the Hopf algebra of symmetric functions. This algebra is self-dual, plethysm gives it a ring structure (and hence, by self-duality, a coring structure), it represents a ring scheme and a coring scheme. It occurs as the homology and cohomology of the classifying space for complex K-theory , and makes many other appearances in representation theory through its interpretation as controlling symmetric functions. It also occurs in the context of deformation theory; for a finite field , is initial for complete local rings with residue field . It really is a hole with no bottom.

- Using this lemma, one can show that the product of two sequences in the image of the Witt map (using pointwise ring multiplication) is itself in the image of the Witt map, and hence ring multiplication lifts to some complicated operation “above” multiplication of power series, satisfying distributivity and so forth. This is what’s called “plethysm”, and it turns into a ring scheme.

- The Witt ring described in the previous footnote is also involved in the Cartier functor. Namely, for a group -scheme , is a -module, where the map is described by . This takes quite a bit of work to prove.