Ring of Witt vectors
- The ring of Witt vectors, by default, refers to infinite sequences, i.e., Witt vectors of infinite length (the detailed definition is given below).
- The ring of Witt vectors of length refers to the quotient of this ring obtained by simply looking at the first coordinates of the vector. The operations are defined in a manner that the first coordinates of the sum and product depend only on the first coordinates of the vectors being added or multiplied. Thus, it is legitimate to pass to quotients in this manner.
Definition of the ring of Witt vectors of infinite length
We first define the Witt polynomials as the following polynomials in (and hence interpretable in ):
The first few Witt polynomials are given below:
We now consider the set of all sequences over . We call the elements of this set Witt vectors, and we define the addition and multiplication as follows:
Addition and multiplication are defined in the unique manner so as to make the set of Witt vectors a commutative unital ring with the following two properties: (a) each Witt polynomial is a ring homomorphism from that ring to , and (b) both addition and multiplication are given by polynomials with integer coefficients that depend on but not on .
Explicitly, the sum and product of the Witt vectors and are given by the following formulas:
|coordinate of sum||coordinate of product|
|1||, which can be thought of as (although the latter notation does not directly make sense unless is invertible in ).|
Some elaboration on why these choices work is provided below:
|, which equals of the Witt sum||, which equals of the Witt product||Comment|
|0||Zeroth Witt polynomial is projection onto zeroth coordinate; pointwise operations mean this is a homomorphism.|
|1||, which is the same as||, which is the same as||Things work out.|
Truncations to finite length
We can also consider the ring of Witt vectors of length . This is obtained by taking the ring of Witt vectors and projecting it to the first coordinates . The operations all have the property that the formula of the coordinate of the sum and product involves only vectors , so the ring operations descend to the quotient and we get a ring structure on the quotient.
Note that is the prime with respect to which we are defining the Witt polynomials.
|Condition on||Conclusion for ring of Witt vectors (infinite)||Conclusion for truncation to length|
|is invertible in||Isomorphic to the external direct product of countably many copies of (i.e., sequences with pointwise sum and product), i.e.,||Isomorphic to|
|is the finite prime field||Isomorphic to the ring of p-adic integers, where a Witt vector is identified with the -adic integer .||Isomorphic to the ring of integers mod , i.e., the ring .|
|is a finite field of order , a natural number||Isomorphic to an unramified degree extension of the ring of p-adic integers. There is only one such extension up to isomorphism.||Isomorphic to the Galois ring, which is an unramified extension of of degree , and can be constructed using any minimal polynomial for over .|