Related papers: Relative $(\varphi,\Gamma)$-modules and prismatic …

Let $\Lambda$ be a complete noetherian local ring with finite residue field of characteristic $p$ and $K/\mathbb{Q}_p$ a $p$-adic field. We show that, by deformation of the structure sheaf on the (transversal) prismatic site of a bounded…

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 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…

Let $L/\mathbb{Q}_p$ be a finite extension. We introduce $L$-typical prisms, a mild generalization of prisms. Following ideas of Bhatt, Scholze, and Wu, we show that certain vector bundles, called Laurent $F$-crystals, on the $L$-typical…

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}$.…

For a smooth $p$-adic formal scheme over the ring of integers of a perfectoid field of mixed characteristic $(0,p)$ containing all $p$-power roots of unity, we prove that the prismatic cohomology of a locally finite free prismatic crystal…

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 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,…

We prove that both local Galois representations and $(\varphi,\Gamma)$-modules can be recovered from prismatic F-crystals, from which we obtain a new proof of the equivalence of Galois representations and $(\varphi,\Gamma)$-modules.

Let $\frakX$ be a smooth $p$-adic formal scheme over $\calO_K$ with adic generic fiber $X$. We obtain a global equivalence between the category $\Vect((\frakX)_{\Prism},\overline\calO_{\Prism}[\frac{1}{p}])$ of rational Hodge--Tate crystals…

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…

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 develop the Tannakian theory of (analytic) prismatic $F$-crystals on a smooth formal scheme $\mathfrak{X}$ over the ring of integers of a discretely valued field with perfect residue field. Our main result gives an equivalence between…

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…

Let $p$ be a prime, and let $\mathrm{X}$ be a smooth $p$-adic formal scheme over $\mathrm{Spf} \mathcal{O}_K$ where $K/\mathbf{Q}_p$ is a finite extension. We show that reflexive sheaves on the stack $\mathrm{X}^{\mathrm{Syn}}$ are…

Let $Y/S$ be a $p$-completely smooth morphism of $p$-torsion free $p$-adic formal schemes endowed with a Frobenius lift, and let $\overline Y/\overline S$ denote its reduction modulo $p$. We show that the category of crystals on the…

Building on ideas of Berthelot, we develop a crystalline cohomology formalism over divided power rings $(A, I_0, \eta)$ for any ring $A$, allowing $\mathbf{Z}$-flat $A$. For a smooth $A$-scheme $Y$ and a closed subscheme $X$ of $Y$ for…

For a smooth proper scheme or formal scheme over an unramified, complete DVR of mixed characteristics we prove a comparison isomorphism relating etale cohomology of the generic fiber with values in a crystalline etale sheaf to the…

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…

Let $X$ be an integral model at a prime $p$ of a Shimura variety of PEL type having good reduction, associated to a reductive group $G$. To $\mathbb{Z}_p$ reprsententations of the group $G$ can be associated two kinds of sheaves : crystals…