Crystalline boundedness principle

We prove that an $F$-crystal $(M,\vph)$ over an algebraically closed field $k$ of characteristic $p>0$ is determined by $(M,\vph)$ mod $p^n$, where $n\ge 1$ depends only on the rank of $M$ and on the greatest Hodge slope of $(M,\vph)$. We also extend this result to triples $(M,\vph,G)$, where $G$ is a flat, closed subgroup scheme of ${\bf GL}_M$ whose generic fibre is connected and has a Lie algebra normalized by $\vph$. We get two purity results. If ${\got C}$ is an $F$-crystal over a reduced ${\bf F}_p$-scheme $S$, then each stratum of the Newton polygon stratification of $S$ defined by ${\got C}$, is an affine $S$-scheme (a weaker result was known before for $S$ noetherian). The locally closed subscheme of the Mumford scheme ${\Ma_{d,1,N}}_k$ defined by the isomorphism class of a principally quasi-polarized $p$-divisible group over $k$ of height 2d, is an affine ${\Ma_{d,1,N}}_k$-scheme.

Abstract licence: CC0

A person counts once a day per paper. We keep no cookie and no address: a reader is a hash that changes every day. Any month under five reads shows no number.