Related papers: Prismatic Crystals for schemes in characteristic $…

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…

The goal of this short paper is to give a slightly different perspective on the comparison between crystalline cohomology and de Rham cohomology. Most notably, we reprove Berthelot's comparison result without using pd-stratifications,…

We introduce the notion of a prism, which may be regarded as a "deperfection" of the notion of a perfectoid ring. Using prisms, we attach a ringed site -- the prismatic site -- to a $p$-adic formal scheme. The resulting cohomology theory…

Gasharov introduced the combinatorial objects known as $P$-arrays to prove $s$-positivity for the chromatic symmetric functions of incomparability graphs of (3+1)-free posets. We define a crystal, a directed colored graph with some…

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…

Let $\mathcal{O}_{K}$ be a complete discrete valuation ring of mixed characteristic with perfect residue field, endowed with its canonical log-structure. We prove that log $p$-divisible groups over $\mathcal{O}_{K}$ correspond to…

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…

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…

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…

For any prism $(A, d)$, we construct an analogue of Fontaine's map $W_r(A/d) \to A/d\phi(d)\cdots\phi^{r-1}(d)$. Subsequently, we define a canonical map from de Rham-Witt forms to prismatic cohomology in the perfect case and prove that it…

We use the stacky approach to $p$-adic cohomology theories recently developed by Drinfeld and Bhatt--Lurie to generalise a comparison theorem between the rational crystalline cohomology of the special fibre and the rational $p$-adic \'etale…

We continue to study the logarithmic prismatic cohomology defined by the first author, and complete the proof of the de Rham comparison and \'etale comparison generalizing those of Bhatt and Scholze. We prove these comparisons for a derived…

We provide a simple approach for the crystalline comparison of Ainf-cohomology, and reprove the comparison between crystalline and p-adic etale cohomology for formal schemes in the case of good reduction.

We prove that if $G$ is a finite flat group scheme of $p$ power rank over a perfect field of characteristic $p$, then the second crystalline cohomology of its classifying stack $H^2_{crys}(BG)$ recovers the Dieudonn\'e module of $G$. We…

We compute the cohomology of crystallographic groups with holonomy of prime order. As an application we compute the group of gerbes associated to many six--dimensional toroidal orbifolds arising in string theory.

This paper studies the derived de Rham cohomology of F_p and p-adic schemes, and is inspired by Beilinson's recent work. Generalising work of Illusie, we construct a natural isomorphism between derived de Rham cohomology and crystalline…

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 compare flat cohomology with crystalline syntomic complexes in two cases: 1) $p$-divisible groups over a separated $\mathbb F_p$-scheme with local finite $p$-bases, 2) semi-abelian schemes over a separated irreducible smooth curve.

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…

The goal is to construct three related "prismatization" functors from the category of p-adic formal schemes to that of formal stacks. This should provide a good category of coefficients for prismatic cohomology in the spirit of F-gauges. In…