Spahn p-divisible simplicial group scheme (Rev #2, changes)

Showing changes from revision #1 to #2: Added | Removed | Changed

Recall that a p-divisible group scheme? of height $h$ is a codirected diagram $(G_{\mathrm{<span><del\; class="diffmod">\; l</del><ins\; class="diffmod">\; v</ins></span>}},i_{\mathrm{<span><del\; class="diffmod">\; l</del><ins\; class="diffmod">\; v</ins></span>}})$ (G_l,i_l) (G_v,i_v) where $G_l$ is a group scheme of height $p^{\mathrm{<span><del\; class="diffmod">\; h</del><ins\; class="diffmod">\; hv</ins></span>}}l$ p^{h}l p^{hv} and the $i_{\mathrm{<span><del\; class="diffmod">\; l</del><ins\; class="diffmod">\; v</ins></span>}}::G_v{G}_l\to G_{\mathrm{<span><del\; class="diffmod">\; l</del><ins\; class="diffmod">\; v</ins></span>}+1}$ i_l::G_l\to i_v:G_v\to G_{l+1} G_{v+1} are morphisms of group schemes such that

is exact.

References

• the references at simplicial scheme