Related papers: Crystalline prisms: Reflections and diffractions, …

Let $(A,(p))$ be a crystalline prism with $A_n = A/p^{n+1}A$ for all $n\geq 0$. Let $\frakX_0$ be a smooth scheme over $A_0$. Suppose that $\frakX_0$ admits a lifting $\frakX_n$ over $A_n$ and the absolute Frobenius…

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…

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…

Let $Y$ be a locally complete intersection over $\mathcal{O}_K$ containing a $p$-power root of unity $\zeta_p$. We classify the derived category of prismatic crystals on the absolute prismatic site of $Y$ by studying quasi-coherent…

For a smooth projective scheme $X$ over a ring $R$ on which $p$ is nilpotent that meets some general assumptions we prove that the crystalline cohomology is equipped with the structure of a higher display which is a relative version of…

Consider a bounded prism $(A,I)$ and a bounded quasi-l.c.i algebra $R$ over $\overline{A}$. In this paper, for any prism $S/A$ with a surjection $S\to R$ such that $\widehat{\mathbb L}_{\overline{S}/\overline{A}}$ is a $p$-completely flat…

Given a perfect field $k$ of characteristic $p>0$, a smooth proper $k$-scheme $Y$, a crystal $E$ on $Y$ relative to $W(k)$ and a finite group $G$ acting on $Y$ and $E$, we show that, viewed as virtual $k[G]$-module, the reduction modulo $p$…

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…

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 extend the results of Deligne and Illusie on liftings modulo $p^2$ and decompositions of the de Rham complex in several ways. We show that for a smooth scheme $X$ over a perfect field $k$ of characteristic $p>0$, the truncations of the…

We systematically study relative and absolute ${\Delta}_{\mathrm{dR}}^+$-crystals on the (log-) prismatic site of a smooth (resp.~ semi-stable) formal scheme. Using explicit computation of stratifications, we classify (local) relative…

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…

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…

Similarly to the theory of crystalline cohomology, we give a local description of a prismatic crystal and its cohomology in terms of a $q$-Higgs module and the associated $q$-Higgs complex on the bounded prismatic envelope of an embedding…

We describe the obstruction to decomposing in degrees $\leq p$ the de Rham complex of a smooth variety over a perfect field $k$ of characteristic $p$ that lifts over $W_2(k)$, and show that there exist liftable smooth projective varieties…

This is the second in a sequence of three articles exploring the relationship between commutative algebras and $E_\infty$-algebras in characteristic $p$ and mixed characteristic. Given a topological space $X,$ we construct, in a manner…

Let $\mathcal{O}_K$ be a mixed characteristic complete discrete valuation ring with perfect residue field. We study $\mathbb{B}_\mathrm{dR}^+$-crystals on the (log-) prismatic site of $\mathcal{O}_K$, which are crystals defined over the de…

We generalize Illusie's result to prove the decomposition of the de Rham complex with smooth horizontal coefficients for a semistable $S$-morphism $f:X\ra Y$ which is liftable over $\Z/p^2\Z$. As an application, we prove the Koll\'ar…

We introduce the general notions of an overconvergent site and a constructible crystal on an overconvergent site. We show that if $V$ is a geometric materialization of a locally noetherian formal scheme $X$ over an analytic space $O$…

We study de Rham prismatic crystals on $(\mathcal{O}_K)_{\bbold{\Delta}}$. We show that a de Rham crystal is controlled by a sequence of matrices $\{A_{m,1}\}_{m \geq 0}$ with $A_{0,1}$ "nilpotent". Using this, we prove that the natural…