Completed prismatic $F$-crystals and crystalline $\mathbf{Z}_p$-local systems

Abstract

We introduce the notion of completed F -crystals on the absolute prismatic site of a smooth p-adic formal scheme. We define a functor from the category of completed prismatic F -crystals to that of crystalline étale Z p -local systems on the generic fiber of the formal scheme and show that it gives an equivalence of categories. This generalizes the work of Bhatt and Scholze, which treats the case of a complete discrete valuation ring with perfect residue field.

Hodge--Tate crystals on the logarithmic prismatic sites of semi-stable formal schemes

“…If moreover, X is smooth over O K , the ring of integers of a finite extension K of Q p , then one can establish an equivalence between the category of prismatic F -crystals on (X) ∆ and the category of crystalline Z p -local systems on X ét (c.f. [BS21], [DL21] for X = Spf(O K ) and [DLMS22], [GR22] for general X). So it seems that the absolute prismatic theory could shed light on studying p-adic representations.…”