Related papers: A log prismatic-crystalline comparison theorem

We develop prismatic and syntomic cohomology relative to a $\delta$-ring. This simultaneously generalizes Bhatt and Scholze's absolute and relative prismatic cohomology and shows that the latter, which was defined relative to a prism, is in…

The main result of this work is a new proof and generalization of Lazard's comparison theorem of locally analytic group cohomology with Lie algebra cohomology for K-Lie groups, where K is a finite extension of the p-adic numbers. We show…

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 prove a comparison theorem between locally analytic group cohomology and Lie algebra cohomology for locally analytic representations of a Lie group over a nonarchimedean field of characteristic 0. The proof is similar to that of…

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…

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…

We show that the abstract equivalence of categories, called Cartier transform, between crystals on the q-crystalline and prismatic sites can be locally identified with the explicit local q-twisted Simpson correspondence. This establishes…

Long ago, Fontaine formulated conjectures (now theorems) relating \'etale and de Rham cohomologies of algebraic varieties over $p$-adic fields. In an earlier work we have shown that pro-\'etale and de Rham cohomologies of analytic varieties…

We construct the relative log de Rham-Witt complex. This is a generalization of the relative de Rham-Witt complex of Langer-Zink to log schemes. We prove the comparison theorem between the hypercohomology of the log de Rham-Witt complex and…

We construct log rigid syntomic cohomology for strictly semistable schemes over the ring of integers of a p-adic field, and prove that it is interpreted as the extension group of the complex of admissible filtered $(\phi,N)$-modules.

In this article, we suggest a categorification procedure in order to capture an analogy between Crystalline Grothendieck-Lefschetz trace formula and the cyclotomic trace map $K\rightarrow TC$ from the algebraic $K$-theory to the topological…

We extend the construction of A$_{\rm inf}$-cohomology by Bhatt-Morrow-Scholze to the context of log $p$-adic formal schemes over a log perfectoid base. In particular, using coordinates, we prove comparison theorems between log A$_{\rm…

We prove the semistable reduction theorem for $\mathcal{E}^{\dag}_K$-valued and $K$-valued overconvergent $F$-isocrystals over $k((t))$-varieties which were introduced by Lazda and P\'{a}l. As an application, we prove the finite…

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 strictly semistable log scheme $Y$ over a perfect field $k$ of characteristic $p$ we investigate the canonical \v{C}ech spectral sequence $(C)_T$ abutting to the Hyodo-Kato (log crystalline) cohomology $H_{crys}^*(Y/T)_{\mathbb{Q}}$…

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…

We study a cohomology theory for rigid-analytic varieties over $\mathbb{C}_p$, without properness or smoothness assumptions, taking values in filtered quasi-coherent complexes over the Fargues-Fontaine curve, which compares to other…

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…

Given a proper, smooth (formal) scheme over the ring of integers of $\mathbb C_p$, we prove that if the crystalline cohomology of its special fibre is torsion-free then the $p$-adic \'etale cohomology of its generic fibre is also…