No abstract uploaded!

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.

We introduce the notion of pseudo-N´eron model and give new examples of varieties admitting pseudo-N´eron models other than Abelian varieties. As an application of pseudo-N´eron models, given a scheme admitting a finite morphism to an Abelian scheme over a positive-dimensional base, we prove that for a very general genus-0, degree-d curve in the base with d sufficiently large, every section of the scheme over the curve is contained in a unique section over the entire base.