Demazure, lectures on p-divisible groups, II.5, the Frobenius and the Verschiebung morphism

This entry is about a section of the text

Let $k$ be a field with prime characteristic $p$.

The Frobenius morphism $F_G: G\to G^{(p)}$ commutes with finite products and hence if $G$ is a k-group-functor $G^{(p)}$ is a $k$-group functor, too, and $F_G$ is a $k$-group morphism.

We abbreviate $F_G^n:G\to G^{(p^n)}$.

The same is true for $k$-formal groups.

Let $G$ be a commutative affine $k$-group. Then for the Cartier dual $D(-)$ we have

$D(G^{(p)})=D(G)^{(p)}$

By Cartier duality we obtain the Verschiebung morphism $V_G:G^{(p)}\to G$ for which holds $\hat D(V_G)=F_{\hat D(G)}$. We abbreviate $V_G^n:G^{(p^n)}\to G$.

Let $f:G\to H$ be a morphism of commutative affine $k$-groups. The the following diagram is commutative

$\array{
G^{(p)}
&\stackrel{V_G}{\to}&
G
&\stackrel{F_G}{\to}&
G^{(p)}
\\
\downarrow^{f^{(p)}}&&\downarrow^f&&\downarrow^{f^{(p)}}
\\
F^{(p)}
&\stackrel{V_H}{\to}&
H
&\stackrel{F_H}{\to}&
H^{(p)}
}$

Moreover we have

$V_G\circ F_G=p id_G$

and

$F_G\circ V_G=p id_{G^{(p)}}$

$V_{\mu_k}$ is the identity and $V_{\alpha_k}$ is zero.

This follows since $F$ is an epimorphism and $p id_{\mu_k}=F_{\mu_k}$ and $p id_{\alpha_k}=0$

Revised on May 27, 2012 13:31:30
by Stephan Alexander Spahn
(79.227.168.80)