This entry is about a section of the text
Let $k$ be a field of prime characteristic $p\gt 0$.
($p$-divisible group)
(pdg1) $p\cdot id_G\to G$ is an epimorphism.
(pdg2) $G$ is a $p$-torsion group in that $G=\cup_j ker(p^j \cdot id_G)$
(pdg3) $ker(p\cdot id_G)$ is finite.
We have $rk(ker \,p \cdot id_G)=p^h$, $h\in \mathbb{N}$. This $h$ is called the height $ht(G)$ of $G$.
(alternative definition of $p$-divisible group)
Let
be a codirected diagram of finite k-groups? such that
$rk(G_j)=p^{h j}$, $h$ a fixed integer,
all sequences $0\stackrel{}{\to}G_j\stackrel{i_j}{\to}G_{j+1}\stackrel{p^j}{\to}G^{j+1}$ are exact.
Then $colim_n G_n$ is a $p$-divisible group of height $h$ and $ker(p^n id_G:G\to G)\simeq G_n$.
If $G$ is a p-divisible group in the sense of the first definition, from (pdg1) follows $rk(ker p^j \cdot id_G)0p^{j\cdot ht (G)}$. Since $rk$ is multiplicative
is exact.
(Serre dual? of a $p$-divisible group)
Let $G$ be a $p$-divisible group $G$. The Serre dual $G^\prime$ of $G$ is defined by: let $G_j:=ker(p^j id_G)$ and let $p_j:G_{j+1}\to G_j$ is the map induced by $p id_G$. Then we define
This is a $p$-divisible formal group with $ht(G^\prime)=ht(G)$ and we have $p_j^\prime=D(i_j)$ and $(G^\prime)^\prime\simeq G$.
Let $\mathbb{Z}_p$ denote the ring of p-adic integers, let $\mathbb{Q}_p$ denote the field of p-adic numbers. The constant formal group $(\mathbb{Q}_p /\mathbb{Z}_p)_k$ is a $p$-divisible group of height $1$.
Conversely any $p$-divisible group of height $h$ is isomorphic to $(\mathbb{Q}_p /\mathbb{Z}_p)^h_k$.
Let $A$ be a commutative algebraic k-group, such that $p id_G:A\to A$ is an epimorphism. Then
$ker(p\cdot id_A)$ is finite.
$A(p):=\cup_j ker(p^j id_A)$ is a $p$-divisible group containing $\hat A^\circ=\cup_j ker(F^j G)$.
If $A=\mu_k$ we have $A(p)=\cup_j p^j \mu_k=(\mathbb{Q}_p /\mathbb{Z}_p)^\prime_k$.
If $A$ is an abelian variety of dimension $g$ $p id_A$ is an epimorphism with $rk(her p id_G)=p^{2g}$ and consequently $A(p)$ is a $p$-divisible group of height $2g$. This example is further described in chapter V, p-adic cohomology of abelian varieties?, particularly in V.3, structure of the p-divisible group A(p)?.
Let $G$ be a $k$-formal group. Then $G$ is $p$-divisible iff the following conditions hold:
$\pi_\circ(G)(\overline k)\simeq (\mathbb{Q}_p /\mathbb{Z}_p)^r$, $r$ finite.
$G^\circ$ is of finite type, smooth, and $ker(V:G^{\circ (p)}\to G^\circ)$ is finite.
Let $A$ be an algebraic unipotent $k$-group, then $\hat A^\circ$ is never $p$-divisible unless $A$ is finite.
Let $G$ be $p$-divisible. Then we have $height(G)=dim(G)+dim(G^\prime)$
Let $G$ be a connected, finite type, smooth formal group. There exist two subgroups $H$,K\subseteq G$with$H$is$p$-divisible,$p^n K = 0$for large$n$,$H\cap K$is finite, and$G=H+ K$.
Last revised on June 3, 2012 at 16:37:59. See the history of this page for a list of all contributions to it.