# Witt vector

In mathematics, a Witt vector is an infinite sequence of elements of a commutative ring. Ernst Witt showed how to put a ring structure on the set of Witt vectors, in such a way that the ring of Witt vectors over the finite field of order p is the ring of p-adic integers.

## Motivation

Any ${\displaystyle p}$-adic integer (an element of ${\displaystyle \mathbb {Z} _{p}}$) can be written as a power series ${\displaystyle a_{0}+a_{1}p^{1}+a_{2}p^{2}+\cdots }$, where the ${\displaystyle a}$'s are usually taken from the set ${\displaystyle \{0,1,2,...,p-1\}}$. However, it is hard to figure out an algebraic expression for addition and multiplication, as one faces the problem of carry. Luckily, this set of representatives is not the only possible choice, and Teichmüller suggested an alternative set consisting of 0 together with the ${\displaystyle p-1}$st roots of ${\displaystyle 1}$: in other words, the ${\displaystyle p}$ roots of

${\displaystyle x^{p}-x=0}$ in ${\displaystyle \mathbb {Z} _{p}}$.

These Teichmüller representatives can be identified with the elements of the finite field ${\displaystyle \mathbb {F} _{p}}$ of order ${\displaystyle p}$ (by taking residues modulo ${\displaystyle p}$), and elements of ${\displaystyle \mathbb {F} _{p}^{\times }}$ are taken to their representatives by the Teichmüller character ${\displaystyle \omega :\mathbb {F} _{p}^{\times }\rightarrow \mathbb {Z} _{p}^{\times }}$. This identifies the set of ${\displaystyle p}$-adic integers with infinite sequences of elements of ${\displaystyle \omega (\mathbb {F} _{p}^{\times })\cup \{0\}}$.

We now have the following problem: given two infinite sequences of elements of ${\displaystyle \omega (\mathbb {F} _{p}^{\times })\cup \{0\}}$, describe their sum and product as ${\displaystyle p}$-adic integers explicitly. This problem was solved by Witt using Witt vectors.

### Details

We basically want to derive the ring ${\displaystyle p}$-adic integers ${\displaystyle \mathbb {Z} _{p}}$ from the finite field with ${\displaystyle p}$ elements, ${\displaystyle \mathbb {F} _{p}}$, by some general construction.

${\displaystyle c_{0}\equiv a_{0}+b_{0}\mod p}$
${\displaystyle c_{0}+c_{1}p\equiv a_{0}+a_{1}p+b_{0}+b_{1}p\mod p^{2}}$
${\displaystyle c_{0}+c_{1}p+c_{2}p^{2}\equiv a_{0}+a_{1}p+a_{2}p^{2}+b_{0}+b_{1}p+b_{2}p^{2}\mod p^{3}}$

But we lack some properties of the coefficients to produce a general formula.

Luckily, there is an alternative subset of ${\displaystyle \mathbb {Z} _{p}}$ which can work as the coefficient set. This is the set of Teichmüller representatives of elements of ${\displaystyle \mathbb {F} _{p}}$. Without ${\displaystyle 0}$ they form a subgroup of ${\displaystyle \mathbb {Z} _{p}^{*}}$, identified with ${\displaystyle \mathbb {F} _{p}^{*}}$ through the Teichmüller character ${\displaystyle \omega :\mathbb {F} _{p}^{*}\rightarrow \mathbb {Z} _{p}^{*}}$. Note that ${\displaystyle \omega }$ is not additive, as the sum need not be a representative. Despite this, if ${\displaystyle \omega (k)=\omega (i)+\omega (j)\mod p}$ in ${\displaystyle \mathbb {Z} _{p}}$, then ${\displaystyle i+j=k}$ in ${\displaystyle \mathbb {F} _{p}}$. This is conceptually justified by ${\displaystyle m\circ \omega =\mathrm {id} _{\mathbb {F} _{p}}}$ if we denote ${\displaystyle m:\mathbb {Z} _{p}\rightarrow \mathbb {Z} _{p}/p\mathbb {Z} _{p}\cong \mathbb {F} _{p}}$.

Teichmüller representatives are explicitly calculated as roots of ${\displaystyle x^{p-1}-1=0}$ through Hensel lifting. For example, in ${\displaystyle \mathbb {Z} _{3}}$, to calculate the representative of ${\displaystyle 2}$, you first find the unique solution of ${\displaystyle x^{2}-1=0}$ in ${\displaystyle \mathbb {Z} /9\mathbb {Z} }$ with ${\displaystyle x\equiv 2\mod 3}$; you get ${\displaystyle 8}$, then repeat it in ${\displaystyle \mathbb {Z} /27\mathbb {Z} }$, with conditions ${\displaystyle x^{2}-1=0}$ and ${\displaystyle x\equiv 2\mod 9}$; this time it is ${\displaystyle 26}$, and so on. The existence of lift in each step is guaranteed by ${\displaystyle (x^{p-1}-1,(p-1)x^{p-2})=1}$ in every ${\displaystyle \mathbb {Z} /p^{n}\mathbb {Z} }$.

We can also write the representatives as ${\displaystyle a_{0}+a_{1}p^{1}+a_{2}p^{2}+...}$. Note for every ${\displaystyle j\in \{0,1,2,...,p-1\}}$, there is exactly one representative, namely ${\displaystyle \omega (j)}$, with ${\displaystyle a_{0}=j}$, so we can also expand every ${\displaystyle p}$-adic integer as a power series in ${\displaystyle p}$, with coefficients from the Teichmüller representatives.

Explicitly, if ${\displaystyle b=a_{0}+a_{1}p^{1}+a_{2}p^{2}+...}$, then ${\displaystyle b-\omega (a_{0})=a'_{1}p^{1}+a'_{2}p^{2}+...}$. Then you subtract ${\displaystyle \omega (a'_{1})p}$ and proceed similarly. Note the coefficients you get most probably differ from the ${\displaystyle a_{i}}$'s modulo ${\displaystyle p}$, except the first one.

This time we have additional properties of the coefficients like ${\displaystyle a_{i}^{p}=a_{i}}$, so we can make some changes to get a neat formula. Since the Teichmüller character is not additive, we don't have ${\displaystyle c_{0}=a_{0}+b_{0}}$ in ${\displaystyle \mathbb {Z} _{p}}$. But it happens in ${\displaystyle \mathbb {F} _{p}}$, as the first congruence implies. So actually ${\displaystyle c_{0}^{p}\equiv (a_{0}+b_{0})^{p}\mod p^{2}}$, thus ${\displaystyle c_{0}-a_{0}-b_{0}\equiv (a_{0}+b_{0})^{p}-a_{0}-b_{0}\equiv {\binom {p}{1}}a_{0}^{p-1}b_{0}+...+{\binom {p}{1}}a_{0}b_{0}^{p-1}\mod p^{2}}$. Since ${\displaystyle {\binom {p}{i}}}$ is divisible by ${\displaystyle p}$, this resolves the ${\displaystyle p}$-coefficient problem of ${\displaystyle c_{1}}$ and gives ${\displaystyle c_{1}\equiv a_{1}+b_{1}-a_{0}^{p-1}b_{0}-{\frac {p-1}{2}}a_{0}^{p-2}b_{0}^{2}-...-a_{0}b_{0}^{p-1}\mod p}$. Note this completely determines ${\displaystyle c_{1}}$ by the lift. Moreover, the ${\displaystyle \mod p}$ indicates that the calculation can actually be done in ${\displaystyle \mathbb {F} _{p}}$, satisfying our basic aim.

Now for ${\displaystyle c_{2}}$. It is already very cumbersome at this step. ${\displaystyle c_{1}=c_{1}^{p}\equiv (a_{1}+b_{1}-a_{0}^{p-1}b_{0}-{\frac {p-1}{2}}a_{0}^{p-2}b_{0}^{2}-...-a_{0}b_{0}^{p-1})^{p}\mod p}$. As for ${\displaystyle c_{0}}$, a single ${\displaystyle p}$th power is not enough: actually we take ${\displaystyle c_{0}=c_{0}^{p^{2}}\equiv (a_{0}+b_{0})^{p^{2}}}$. ${\displaystyle {\binom {p^{2}}{i}}}$ is not always divisible by ${\displaystyle p^{2}}$, but that only happens when ${\displaystyle i=pd}$, in which case ${\displaystyle a^{i}b^{p^{2}-i}=a^{d}b^{p-d}}$ combined with similar monomials in ${\displaystyle c_{1}^{p}}$ would make a multiple of ${\displaystyle p^{2}}$.

At this step, we see that we are actually working with something like

${\displaystyle c_{0}\equiv a_{0}+b_{0}\mod p}$
${\displaystyle c_{0}^{p}+c_{1}p\equiv a_{0}^{p}+a_{1}p+b_{0}^{p}+b_{1}p\mod p^{2}}$
${\displaystyle c_{0}^{p^{2}}+c_{1}^{p}p+c_{2}p^{2}\equiv a_{0}^{p^{2}}+a_{1}^{p}p+a_{2}p^{2}+b_{0}^{p^{2}}+b_{1}^{p}p+b_{2}p^{2}\mod p^{3}}$

This motivates the definition of Witt vectors.

## Construction of Witt rings

Fix a prime number p. A Witt vector over a commutative ring R is a sequence :${\displaystyle (X_{0},X_{1},X_{2},...)}$ of elements of R. Define the Witt polynomials ${\displaystyle W_{i}}$ by

and in general

${\displaystyle W_{n}=\sum _{i}p^{i}X_{i}^{p^{n-i}}.}$

${\displaystyle (W_{0},W_{1},W_{2},...)}$ is called the ghost components of the Witt vector ${\displaystyle (X_{0},X_{1},X_{2},...)}$, and is usually denoted by ${\displaystyle (X^{(0)},X^{(1)},X^{(2)},...)}$.

Then Witt showed that there is a unique way to make the set of Witt vectors over any commutative ring R into a ring, called the ring of Witt vectors, such that

• the sum and product are given by polynomials with integral coefficients that do not depend on R, and
• Every Witt polynomial is a homomorphism from the ring of Witt vectors over R to R.

In other words, if

The first few polynomials giving the sum and product of Witt vectors can be written down explicitly. For example,

## Examples

• The Witt ring of any commutative ring R in which p is invertible is just isomorphic to RN (the product of a countable number of copies of R). In fact the Witt polynomials always give a homomorphism from the ring of Witt vectors to RN, and if p is invertible this homomorphism is an isomorphism.
• The Witt ring of the finite field of order p is the ring of p-adic integers, as is demonstrated above.
• The Witt ring of a finite field of order pn is the unramified extension of degree n of the ring of p-adic integers.

## Universal Witt vectors

The Witt polynomials for different primes p are special cases of universal Witt polynomials, which can be used to form a universal Witt ring (not depending on a choice of prime p). Define the universal Witt polynomials Wn for n≥1 by

and in general

${\displaystyle W_{n}=\sum _{d|n}dX_{d}^{n/d}.}$

Again, ${\displaystyle (W_{1},W_{2},W_{3},...)}$ is called the ghost components of the Witt vector ${\displaystyle (X_{1},X_{2},X_{3},...)}$, and is usually denoted by ${\displaystyle (X^{(1)},X^{(2)},X^{(3)},...)}$.

We can use these polynomials to define the ring of universal Witt vectors over any commutative ring R in much the same way as above (so the universal Witt polynomials are all homomorphisms to the ring R).

## Generating Functions

Later Witt orally stated another approach using generating functions.[1]

### Definition

Let ${\displaystyle X}$ be a Witt vector and define

${\displaystyle f_{X}(t)=\prod _{n\geq 1}(1-X_{n}t^{n})=\sum _{n\geq 0}A_{n}t^{n}}$

We can get the ghost components by taking the logarithmic derivative:

${\displaystyle {\frac {d}{dt}}\log f_{X}(t)=\sum _{n\geq 1}{\frac {d}{dt}}(1-X_{n}t^{n})=-\sum _{n\geq 1}\sum _{d\geq 1}{\frac {X_{n}^{d}t^{nd}}{d}}=-\sum _{m\geq 1}{\frac {\sum _{d|m}{\frac {m}{d}}X_{\frac {m}{d}}^{d}}{m}}t^{m}=-\sum _{m\geq 1}{\frac {X^{(m)}t^{m}}{m}}}$

### Product

${\displaystyle {\frac {d}{dt}}\log f_{W}(t)=-\sum _{m\geq 1}{\frac {X^{(m)}Y^{(m)}t^{m}}{m}}}$

But

${\displaystyle \sum _{m\geq 1}{\frac {X^{(m)}Y^{(m)}}{m}}t^{m}=\sum _{m\geq 1}{\frac {\sum _{d|m}dX_{d}^{m/d}\sum _{e|m}eY_{e}^{m/e}}{m}}t^{m}}$
${\displaystyle \sum _{d,e\geq 1}{\frac {{\frac {de}{[d,e]}}\sum _{n\geq 1}(X_{d}^{[d,e]/d}Y_{e}^{[d,e]/e}t^{[d,e]})^{n}}{n}}}$

So that

${\displaystyle f_{W}(t)=\prod _{d,e\geq 1}(1-X_{d}^{[d,e]/d}Y_{e}^{[d,e]/e}t^{[d,e]})^{de/[d,e]}=\sum _{n\geq 0}D_{n}t^{n}}$

where ${\displaystyle D_{n}}$s are polynomials of ${\displaystyle X_{1},...,X_{n},Y_{1},...,Y_{n}}$. So by similar induction, suppose ${\displaystyle f_{W}(t)=\prod _{n\geq 1}(1-W_{n}t^{n})}$, then ${\displaystyle W_{n}}$ can be solved as polynomials of ${\displaystyle X_{1},...,X_{n},Y_{1},...,Y_{n}}$.

## Ring schemes

The map taking a commutative ring R to the ring of Witt vectors over R (for a fixed prime p) is a functor from commutative rings to commutative rings, and is also representable, so it can be thought of as a ring scheme, called the Witt scheme, over Spec(Z). The Witt scheme can be canonically identified with the spectrum of the ring of symmetric functions.

Similarly the rings of truncated Witt vectors, and the rings of universal Witt vectors, correspond to ring schemes, called the truncated Witt schemes and the universal Witt scheme .

Moreover, the functor taking the commutative ring ${\displaystyle R}$ to the set ${\displaystyle R^{n}}$ is represented by the affine space ${\displaystyle \mathbb {A} _{\mathbb {Z} }^{n}}$, and the ring structure on Rn makes ${\displaystyle \mathbb {A} _{\mathbb {Z} }^{n}}$ into a ring scheme denoted ${\displaystyle {\underline {\mathcal {O}}}^{n}}$. From the construction of truncated Witt vectors it follows that their associated ring scheme ${\displaystyle \mathbb {W} _{n}}$ is the scheme ${\displaystyle \mathbb {A} _{\mathbb {Z} }^{n}}$ with the unique ring structure such that the morphism ${\displaystyle \mathbb {W} _{n}\rightarrow {\underline {\mathcal {O}}}^{n}}$ given by the Witt polynomials is a morphism of ring schemes.

## Commutative unipotent algebraic groups

Over an algebraically closed field of characteristic 0, any unipotent abelian connected algebraic group is isomorphic to a product of copies of the additive group ${\displaystyle G_{a}}$. The analogue of this for fields of characteristic p is false: the truncated Witt schemes are counterexamples. (We make them into algebraic groups by forgetting the multiplication and just using the additive structure.) However these are essentially the only counterexamples: over an algebraically closed field of characteristic p, any unipotent abelian connected algebraic group is isogenous to a product of truncated Witt group schemes.

## References

1. {{#invoke:citation/CS1|citation |CitationClass=book }}
• {{#invoke:citation/CS1|citation

|CitationClass=citation }}

• {{#invoke:citation/CS1|citation

|CitationClass=citation }}

• {{#invoke:citation/CS1|citation

|CitationClass=citation }}

• {{#invoke:citation/CS1|citation

|CitationClass=citation }}, section II.6

• {{#invoke:citation/CS1|citation

|CitationClass=citation }}

• {{#invoke:citation/CS1|citation

|CitationClass=citation }}

• Greenberg, M. J. (1969), Lectures on Forms in Many Variables, New York and Amsterdam, Benjamin, Template:MathSciNet, ASIN: B0006BX17M