Related papers: Logarithmic de Rham--Witt complexes via the D\'eca…
\v{C}esnavi\v{c}ius-Koshikawa constructed the A_inf-cohomology theory for semistable formal schemes over the ring of integers of C_p. We prove the p-adic Cartier isomorphism between the A_inf-cohomology and de Rham-Witt complexes for…
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,…
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…
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 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…
In this article, we prove the comparison theorem between the relative log de Rham-Witt cohomology and the relative log crystalline cohomology for a log smooth saturated morphism of fs log schemes satisfying certain condition. Our result…
The saturated de Rham-Witt complex, introduced by Bhatt-Lurie-Mathew, is a variant of the classical de Rham-Witt complex which provides a conceptual simplification of the construction and which is expected to produce better results for…
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 compute the moduli of endomorphisms of the de Rham and crystalline cohomology functors, viewed as a cohomology theory on smooth schemes over truncated Witt vectors. As applications of our result, we deduce Drinfeld's refinement of the…
In this article, we analyze the connection between the Log De Rham Cohomology of an fs (not necessary log smooth) log scheme $Y$ over $\mathbb C$ (for $Y$ admitting an exact closed immersion into an fs log smooth log scheme over $\mathbb…
The saturated de Rham-Witt complex, introduced by Bhatt-Lurie-Mathew in arXiv:1805.05501, is a variant of the classical de Rham-Witt complex which is expected to behave better for singular schemes. We provide partial justification for this…
We construct the crystalline fundamental group of a semi-stable variety over a field of positive characteristic using the log De Rham-Witt complex and Navarro-Aznar's derived Thom-Whitney functor. This approach gives a relatively direct…
In the first part we deepen the six-functor theory of (holonomic) logarithmic D-modules, in particular with respect to duality and pushforward along projective morphisms. Then, inspired by work of Ogus, we define a logarithmic analogue of…
We show that the direct image of the filtered logarithmic de Rham complex is a direct sum of filtered logarithmic complexes with coefficients in variations of Hodge structures, using a generalization of the decomposition theorem of…
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 $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…
We show a comparison theorem between log prismatic cohomology and log crystalline cohomology for a $p$-adic formal scheme with semistable reduction. Combined with the prismatic-\'etale comparison theorem recently proved by Tian, this…
We introduce a logarithmic variant of the notion of $\delta$-rings, which we call $\delta_{\log}$-rings, and use it to define a logarithmic version of the prismatic site introduced by Bhatt and Scholze. In particular, this enables us to…
In this paper, we prove a $\partial\bar{\partial}$-type lemma on compact K\"ahler manifolds for logarithmic differential forms valued in the dual of a certain pseudo-effective line bundle, thereby confirming a conjecture proposed by X. Wan.…
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…