Let $\mathfrak{ X}$ be a smooth connected $p$-adic formal scheme. Based on the prismatic description of crystalline local systems, we prove an analogue of Fontaine's conjecture for torsion crystalline local systems on the generic fiber of $\mathfrak{ X}$. As an application, we show that the locus of crystalline local systems whose Hodge-Tate weights lie in a fixed interval cuts out a closed subscheme of the universal deformation ring.
Categories: math.NT math.AG