nLab
Demazure, lectures on p-divisible groups, III.3, the Witt rings over k

This entry is about a section of the text

• Michel Demazure, lectures on p-divisible groups, web

Let $k$ be a file of prime characteristic $p$. Let $W$ denote the Witt ring over Z?

Definition

The Witt ring over $k$ denoted by is defined by the coefficient extension $W_k:=W{\otimes }_{\mathbb{Z}}k$. and $W_{\mathrm{nk}}:=W_n{\otimes }_{\mathbb{Z}}k$

The phantom-components? $W_k\to {\alpha }_k$ reduce now to $(a_i{)}_{0\le i\le n}\mapsto a_0^{p^n}$.

Since $W_k=W_{F_p}{\otimes }_{F_p}k$ we can identify $W_k^{(p)}$, see Definition Frobenius morphism, and $W_k$ and the Frobenius morphism becomes the endomorphism

$$F:\{\begin{array}{l}{W}_k\to W_k\\ (a_0,\dots ,a_n,\dots )\mapsto (a_0^p,\dots ,a_n^p,\dots )\end{array}$$F:\begin{cases}W_k\to W_k\\(a_0,\dots,a_n,\dots)\mapsto (a_0^p,\dots,a_n^p,\dots)\end{cases}

This is a ring morphism since since $F$ commutes with products. Similar statements are true for $W_{\mathrm{nk}}$ and the affine $k$-group ${\Lambda }_k$ defined in Artin-Hasse exponential series?.

Proposition

1. The Verschiebung morphism? of ${\Lambda }_k$ is given by $\varphi (t)\to \varphi (t^p)$.

2. The Verschiebung morphism of $K_k$ is the translation? $T$.

3. The Verschiebung morphism of $W_{\mathrm{nk}}$ is $R\cdot T=T\cdot R$.

4. If $x,y\in W_k(R)$, $R\in M_k$, then $V(Fx\cdot y)=x\cdot Vy$.

Corollary

Corollary

Corollary

Let $k$ be perfect. Then

1. $W(k)$ is a discrete valuation ring.

2. $W(k)$ is complete.

3. $W(k)/pW(k)=k$

Proposition

(Witt) Let $k$ be perfect, let $A$ be compete, noetherian local ring with residue field $k$. Let $\pi :A\to k$ be the canonical projection. There exists a unique ring morphism

$$u:W(k)\to A$$u:W(k)\to A

which is compatible with the projections $W(k)\to k$ and $\pi :A\to k$.

If moreover $A$ is a discrete valuation ring with $p\cdot 1_A\neg 0$, then $A$ is a free finite $W(k)$-module of rank $[A/p:A]$.

In particular if $\mathrm{pA}=A$, then $u$ is an isomorphism.