Related papers: Crystalline cohomology over general bases

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

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…

We develop the formalism of derived divided power algebras, and revisit the theory of derived De Rham and derived crystalline cohomology in this framework. We characterize derived De Rham cohomology of a derived commutative algebra $A$ over…

We construct the crystalline comparison isomorphisms for proper smooth formal schemes over an absolutely unramified base. Such isomorphisms hold for \'etale cohomology with nontrivial coefficients, as well as in the relative setting, i.e.…

We construct a new cohomology theory for proper smooth (formal) schemes over the ring of integers of C_p. It takes values in a mixed-characteristic analogue of Dieudonne modules, which was previously defined by Fargues as a version of…

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

The goal of this paper is to study the absolute prismatic cohomology of $p$-adic formal schemes. We do so by recasting the notion of a prismatic crystal on $\mathrm{Spf}(\mathbf{Z}_p)$ in terms of quasicoherent sheaves on a geometric object…

We prove that algebraic de Rham cohomology as a functor defined on smooth $\mathbb{F}_p$-algebras is formally \'etale in a precise sense. This result shows that given de Rham cohomology, one automatically obtains the theory of crystalline…

The goal of this paper is to offer a new construction of the de Rham-Witt complex of smooth varieties over perfect fields of characteristic $p>0$. We introduce a category of cochain complexes equipped with an endomorphism $F$ of underlying…

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

Let $X\to Y^0$ be an abelian prime-to-$p$ Galois covering of smooth schemes over a perfect field $k$ of characteristic $p>0$. Let $Y$ be a smooth compactification of $Y^0$ such that $Y-Y^0$ is a normal crossings divisor on $Y$. We describe…

We construct the $\Lambda$-adic crystalline and Dieudonn\'e analogues of Hida's ordinary $\Lambda$-adic \'etale cohomology, and employ integral $p$-adic Hodge theory to prove $\Lambda$-adic comparison isomorphisms between these cohomologies…

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 $\mathcal{O}_K$ be a mixed characteristic complete DVR with perfect residue field $k$ and fraction field $K$. It is a celebrated result of Berthelot and Ogus that for a smooth proper formal scheme $X/\mathcal{O}_K$ there exists a…

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…

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…

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…

We construct the $\Lambda$-adic de Rham analogue of Hida's ordinary $\Lambda$-adic \'etale cohomology and of Ohta's $\Lambda$-adic Hodge cohomology, and by exploiting the geometry of integral models of modular curves over the cyclotomic…