Related papers: A Tannakian framework for prismatic $F$-crystals

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 \'etale…

We show an equivalence between the two categories in the title, thus establishing a link between Frobenius-linear objects of formal (schematic) and analytic (adic) nature. We will do this for arbitrary p-complete rings, arbitrary…

We give a new construction of $(\varphi, \hat G)$-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…

For a smooth formal scheme $\mathfrak{X}$ over the Witt vectors $W$ of a perfect field $k$, we construct a functor $\mathbb{D}_\mathrm{crys}$ from the category of prismatic $F$-crystals $(\mathcal{E},\varphi_\mathcal{E})$ (or prismatic…

In this paper, we prove that for any $p$-adic smooth separated formal scheme $\mathfrak X$, the category of prismatic $F$-crystals with $I$ inverted is equivalent to the category of \'etale $\mathbb Z_p$-local systems on the generic fiber…

Let X be a smooth p-adic formal scheme. We show that integral crystalline local systems on the generic fiber of X are equivalent to prismatic F-crystals over the analytic locus of the prismatic site of X. As an application, we give a…

We show that the category of analytic/completed prismatic $F$-crystals on the absolute prismatic site of a small (unramified at $p$) base ring is naturally equivalent to the category of relative Wach modules from the theory of $(\varphi,…

Let $K|\mathbb{Q}_p$ be a complete discrete valuation field with perfect residue field, $O_K$ be its ring of integers. Consider a semistable $p$-adic formal scheme $X$ over $\mathrm{Spf}(O_K)$ with smooth generic fiber $X_{\eta}$.…

Let $K$ be a complete discretely valued field of mixed characteristic $(0,p)$ with perfect residue field. We prove that the category of prismatic $F$-crystals on $\mathcal O_K$ is equivalent to the category of lattices in crystalline…

Let $(A, I)$ be a bounded prism, and $X$ be a smooth $p$-adic formal scheme over $\Spf(A/I)$. We consider the notion of crystals on Bhatt--Scholze's prismatic site $(X/A)_{\prism}$ of $X$ relative to $A$. We prove that if $X$ is proper over…

Log prismatic cohomology theory developed by Koshikawa-Yao involves coefficient objects, called log prismatic $F$-crystals. In this paper, we construct and study realization functors from the category of log prismatic $F$-crystals to the…

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…

Let $\calO_K$ be a complete discrete valuation ring of mixed characteristic $(0,p)$ with a perfect residue field. In this paper, for a semi-stable $p$-adic formal scheme $\frakX$ over $\calO_K$ with rigid generic fibre $X$ and canonical log…

Let $\mathcal{V}$ be a mixed characteristic complete discrete valuation ring, $k$ its residual field, $\mathcal{P}$ a proper smooth formal scheme over $\mathcal{V}$, $P$ its special fiber, $T$ a divisor of $P$, $U:=P\setminus T$, $Y$ a…

Let $\mathcal{X}$ be a smooth $p$-adic formal scheme over a mixed characteristic complete discrete valuation ring $\mathcal{O}_{K}$ with perfect residue field. We introduce a general category $\mathcal{M}\mathcal{F}_{[0,…

We develop a Tannakian framework for group-theoretic analogs of displays, originally introduced by B\"ultel and Pappas, and further studied by Lau. We use this framework to define Rapoport-Zink functors associated to triples…

For a smooth affine group scheme $G$ over the ring of $p$-adic integers and a cocharacter $\mu$ of $G$, we develop the deformation theory for $G$-$\mu$-displays over the prismatic site of Bhatt-Scholze, and discuss how our deformation…

In this paper, we consider the (crystalline) prismatic crystals on a scheme $\mathfrak{X}$. We classify the crystals by $p$-connections on a certain ring and prove a cohomological comparison theorem. This equivalence is more general than…

We review the analog of Fontaine's theory of crystalline $p$-adic Galois representations and their classification by weakly admissible filtered isocrystals in the arithmetic of function fields over a finite field. There crystalline Galois…

We show that unit $\mathcal{O}_{F,X}^\Lambda$-modules of Emerton and Kisin provide an analogue of locally constant sheaves in the context of B\"ockle-Pink $\Lambda$-crystals. For example they form a tannakian category if the coefficient…