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 Zp-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.
We give a new construction of (φ,Ĝ )-modules using the theory of prisms developed by Bhatt and Scholze. As an application, we give a new proof about the equivalence between the category of prismatic F-crystals in finite locally free Δ-modules over (K)Δ and the category of lattices in crystalline representations of GK, where K is a complete discretely valued field of mixed characteristic with perfect residue field. We also generalize this result to semi-stable representations using the absolute logarithmic prismatic site defined by Koshikawa.
Let R be a non-discrete rank one valuation ring of characteristic p and let E be any discrete valuation ring, we prove the ring of E-Witt vectors over R has uncountable Krull dimension without assuming the axiom of existence of prime ideals for general commutative unitary rings.
Li CaiYau Mathematical Sciences Center, Tsinghua UniversityYihua ChenAcademy of Mathematics and Systems Science, Morningside center of Mathematics, Chinese Academy of Sciences刘余Yau Mathematical Sciences Center, Tsinghua University