Related papers: Logarithmic prismatic cohomology II
In this paper, we develop the theory of relative log convergent cohomology. We prove the coherence of relative log convergent cohomology in certain case by using the comparison theorem between relative log convergent cohomlogy and relative…
We give an account of the construction of the Bhatt--Morrow--Scholze motivic filtration on topological cyclic homology and related invariants, focusing on the case of equal characteristic $p$ and the connections to crystalline and de…
By the theory of Colmez and Fontaine, a de Rham representation of the Galois group of a local field roughly corresponds to a representation of the Weil-Deligne group equipped with an admissible filtration on the underlying vector space.…
We reformulate Fourier-space crystallography in the language of cohomology of groups. Once the problem is understood as a classification of linear functions on the lattice, restricted by a particular group relation, and identified by gauge…
We construct a relative version of the $A_{\rm inf}$-cohomology theory developed by Bhatt-Morrow-Scholze and relate it to the prismatic theory of Bhatt-Scholze. The construction relies on the fiber product of topoi. As an application we…
In this paper we study the comparison between the logarithmic and the meromorphic de Rham complexes along a divisor in a complex manifold. We focus on the case of free divisors, starting with the case of locally quasihomogeneous divisors,…
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 discuss filtrations arising from de Rham-type cohomology theories for $E_\infty$ rings and $E_n$ rings. Examples include the HKR filtration on relative topological Hochschild homology, the Hodge filtration on $E_\infty$ infinitesimal…
We introduce the notion of a regular integrable connection on a smooth log scheme over $\mathbf{C}$ and construct an equivalence between the category of such connections and the category of integrable connections on its analytification,…
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…
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…
This paper provides the technical tools needed in ongoing work of the authors to compute p-adic \'etale Abel-Jacobi maps in order to obtain explicit reciprocity laws for GSp4. In particular, we define and study syntomic polynomial…
We give the geometric version of a construction of Colmez-Niziol which establishes a comparison theorem between arithmetic p-adic nearby cycles and syntomic sheaves. The local construction of the period isomorphism uses…
In this article, we construct two kinds of de Rham-like complexes which compute the cohomology of complete crystals on the higher-level $q$-crystalline site, which was introduced in a previous article of the author. One complex is the…
Let $k$ be a perfect field of characteristic $p > 0$, $W_n = W_n(k)$. For separated $k$-schemes of finite type, we explain how rigid cohomology with compact supports can be computed as the cohomology of certain de Rham-Witt complexes with…
The notions Hodge-Newton decomposition and Hodge-Newton filtration for F-crystals are due to Katz and generalize Messing's result on the existence of the local-\'etale filtration for p-divisible groups. Recently, some of Katz's classical…
Given an animated ring $S$, we define a filtration on its absolute prismatic cohomology $\mathcal{N}_r^{\geq i} \mathbb{\Delta}_S$, which we call the $r$-Nygaard filtration and study some of its main properties using a mixture of algebraic…
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 define, for each quasi-syntomic ring $R$ (in the sense of Bhatt-Morrow-Scholze), a category $\mathrm{DM}^{\rm adm}(R)$ of \textit{admissible prismatic Dieudonn\'e crystals over $R$} and a natural functor from $p$-divisible groups over…
We show an equivalence between the two categories in the title, thus establishing a link between Frobenius-linear objects of formal (schematic) and analytic (adic) nature. We will do this for arbitrary p-complete rings, arbitrary…