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.

Contents

Motivation

Construction of Witt rings

Examples

Universal Witt vectors

Commutative unipotent algebraic groups

Ring schemes

See also

References

Motivation

Any ''p''-adic integer can be written as a power series
''a''₀ + ''a''₁''p''¹ + ''a''₂''p''² + ... where the ''a's are usually taken from the set {0, 1, 2, ..., ''p'' − 1}. This set of representatives is rather artificial, and Teichmüller suggested the more canonical set consisting of 0 together with the ''p'' − 1-th roots of 1: in other words, the ''p'' roots of
:''x''^''p'' − ''x'' = 0.
These 'Teichmüller representatives' can be identified with the elements of the finite field 'F'_''p'' of order ''p'' (by taking residues mod ''p''), so this identifies the set of ''p''-adic numbers with infinite sequences of elements of 'F'_''p''.
We now have the following problem: given two infinite sequences of elements of 'F'_''p'', identified with ''p''-adic numbers using Teichmüller's representatives, describe their sum and product as ''p''-adic numbers explicitly. This problem was solved by Witt using Witt vectors.

Construction of Witt rings

Fix a prime number ''p''. A 'Witt vector' over a commutative ring ''R'' is a sequence (''X''₀, ''X''₁,''X''₂,...) of elements of ''R''. Define the 'Witt polynomials' ''W''_''i'' by
:$W\_0=X\_0,$
:$W\_1=X\_0^p+pX\_1$
:$W\_2=X\_0^\{p^2\}+pX\_1^p+p^2X\_2$
and in general
:$W\_n=sum\_ip^iX\_i^\{p^\{n-i\}\}.$
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''.
The first few polynomials giving the sum and product of Witt vectors can be written down explicitly. For example,
:(''X''₀, ''X''₁,...) + (''Y''₀, ''Y''₁,...) = (''X''₀+''Y''₀, ''X''₁ + ''Y''₁ + (''X''₀^''p'' + ''Y''₀^''p'' − (''X''₀ + ''Y''₀)^''p'')/''p'', ...)
:(''X''₀, ''X''₁,...) × (''Y''₀, ''Y''₁,...) = (''X''₀''Y''₀, ''X''₀^''p''''Y''₁ + ''Y''₀^''p''''X''₁ + ''p'' ''X''₁''Y''₁, ...)

Examples

★ The Witt ring of any commutative ring ''R'' in which ''p'' is invertible is just isomorphic to ''R''^'N' (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 ''R''^'N', 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.

★ The Witt ring of a finite field of order ''p''^''n'' is an unramified extension 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 ''W''_''n'' for ''n''≥1 by
:$W\_1=X\_1,$
:$W\_2=X\_1^2+2X\_2$
:$W\_3=X\_1^3+3X\_3$
:$W\_4=X\_1^\{4\}+2X\_2^2+4X\_4$
and in general
:$W\_n=sum\_\{d|n\}dX\_d^\{n/d\}$
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'').

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 '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.

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').
Similarly the rings of truncated Witt vectors, and the rings of
universal Witt vectors, correspond to ring schemes, called the 'universal Witt scheme' and the 'truncated Witt schemes'.

See also

★ Formal group

★ Artin-Hasse exponential

References

★ Witt vector in the Springer encyclopedia of mathematics.

★ J.-P. Serre, ''Local fields'', ISBN 0-387-90424-7

★ J.-P. Serre, ''Algebraic groups and class fields'', ISBN 0-387-96648-X

★ D. Mumford, ''Lectures on curves on an algebraic surface'', chapter 26, ISBN 0-691-07993-5

★ Ernst Witt, ''Zyklische Körper und Algebren der Characteristik p vom Grad pⁿ. Struktur diskret bewerteter perfekter Körper mit vollkommenem Restklassenkörper der Charakteristik pⁿ'' J. Reine Angew. Math., 176 (1936) pp. 126–140