Barsotti-Tate groups and \(p\)-adic representations of the fundamental group scheme (Q927270)

Let \({ S}\) be a scheme over a base scheme \(B\). A locally constant Barsotti-Tate group is a group scheme over \({ S}\) that is a twist, in the flat topology, of a Barsotti-Tate group of defined over \(B\). This paper establishes the following result, a generalization of the Katz correspondence between \(p\)-adic representations of the fundamental group and the category of root \(F\)-crystals. If \(k\) is a field of positive characteristic, and \(S\) a \(k\)-scheme over which the Dieudonne functor \({\mathbb D}\) is fully faithful then \({\mathbb D}\) gives an anti-equivalence of categories between locally constant Barsotti-Tate groups over \({ S}\) and locally cloven Dieudonne crystals on \({ S}\). The paper also studies the quotient \(\pi_{BT_+}(S/k;b)\) of the fundamental group scheme acting on locally constant Barsotti-Tate groups and shows that the connected component of \(\pi_{BT_+} (S/k; b)\) is nilpotent and torsion free.