Related papers: Logarithmic prismatic cohomology II
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…
We characterize the relative prismatic cohomology of Bhatt and Scholze by a universal property by endowing it with the additional structure of a ``derived $\delta$-ring". This involves introducing an analogue of prismatic envelopes in the…
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 provide a new formalism of de Rham--Witt complexes in the logarithmic setting. This construction generalizes a result of Bhatt--Lurie--Mathew, and agrees with those of Hyodo--Kato and Matsuue for log-smooth schemes of log-Cartier type.…
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}$.…
Over any smooth algebraic variety over a $p$-adic local field $k$, we construct the de Rham comparison isomorphisms for the \'etale cohomology with partial compact support of de Rham $\mathbb Z_p$-local systems, and show that they are…
We define and study an integral refinement of the inverse of the Bloch-Kato exponential map which we call the de Rham logarithm. Our main tool to analyze the de Rham logarithm is the syntomic logarithm, a certain limit construction based on…
We compare several different notions of filtered derived commutative ring, discussing HKR-filtered Hochschild homology, Hodge-filtered de Rham cohomology, and the lesser-known Hodge-filtered infinitesimal cohomology. Our main result is that…
Le Stum and Quir\'os proved the formal Poincar\'e lemma in crystalline cohomology of higher level using the jet complex, and applied it to give a de Rham interpretation of this cohomology. In this article, we prove the logarithmic version…
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…
In this note, we prove the logarithmic $p$-adic comparison theorem for open rigid analytic varieties. We prove that a smooth rigid analytic variety with a strict simple normal crossing divisor is locally $K(\pi,1)$ (in a certain sense) with…
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…
We use the stacky approach to $p$-adic cohomology theories recently developed by Drinfeld and Bhatt--Lurie to generalise known comparison theorems in $p$-adic Hodge theory so as to accommodate coefficients. More precisely, we establish a…
Log prismatic cohomology theory developed by Koshikawa-Yao involves coefficient objects, called log prismatic $F$-crystals. In this paper, we construct and study realization functors from the category of log prismatic $F$-crystals to the…
This short note regards an observation about the recent theory of prismatic cohomology developed by Bhatt and Scholze. In particular, by applying a functor of Mandell, we see that the \'etale comparison theorem in the prismatic theory…
We use the Beilinson $t$-structure on filtered complexes and the Hochschild-Kostant-Rosenberg theorem to construct filtrations on the negative cyclic and periodic cyclic homologies of a scheme $X$ with graded pieces given by the…
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.…
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 show that the Poincar\'e lemma we proved elsewhere in the context of crystalline cohomology of higher level behaves well with regard to the Hodge filtration. This allows us to prove the Poincar\'e lemma for transversal crystals of level…
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…