Let $K$ be a complete discretely valued field of mixed characteristic $(0,p)$ with perfect residue field, and let $E$ be a finite extension of $\mathbf{ Q}_p$ contained in $K$. We show that the category of prismatic $F$-crystals on $\mathcal{ O}_K$ (relative to $E$ in a suitable sense) is equivalent to the category of $\mathcal{ O}_E$-lattices in $E$-crystalline representations defined by Kisin--Ren, extending the main result of \cite{ arxiv:2106.14735} in the case $E=\mathbf{ Q}_p$. As a key ingredient in the proof, by adapting a lemma of Du--Liu, we prove a general full faithfulness result for certain vector bundles on the prismatic site, which simplifies and refines the key descent step in the approach of Bhatt--Scholze without invoking the Beilinson fibre sequence.
Categories: math.NT