We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
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 
$\mathbf {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 mixed characteristic complete discrete valuation ring with perfect residue field.
