No Arabic abstract
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. We then apply our formalism to obtain a more direct proof of the log crystalline comparison of A_inf-cohomology in the case of semistable reduction, which is established by Cesnavicius--Koshiwara.
We establish a positive characteristic analogue of intersection cohomology for polarized variations of Hodge structure. This includes: a) the decomposition theorem for the intersection de Rham complex; b) the $E_1$-degeneration theorem for the intersection de Rham complex of a periodic de Rham bundle: c) the Kodaira vanishing theorem for the intersection cohomology groups of a periodic Higgs bundle.
Let X be a complex analytic manifold and D subset X a free divisor. Integrable logarithmic connections along D can be seen as locally free {cal O}_X-modules endowed with a (left) module structure over the ring of logarithmic differential operators {cal D}_X(log D). In this paper we study two related results: the relationship between the duals of any integrable logarithmic connection over the base rings {cal D}_X and {cal D}_X(log D), and a differential criterion for the logarithmic comparison theorem. We also generalize a formula of Esnault-Viehweg in the normal crossing case for the Verdier dual of a logarithmic de Rham complex.
We introduce a notion of the De Rham complex of a Gerstenhaber algebra which produces a notion of a quasi-BV structure, and allows to classify these structures, generalizing the classical results for polyvector fields.
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 Hodge-completion of the derived de Rham cohomology of $X$. Such filtrations have previously been constructed by Loday in characteristic zero and by Bhatt-Morrow-Scholze for $p$-complete negative cyclic and periodic cyclic homology in the quasisyntomic case.
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 compatible with Poincare duality and with the canonical morphisms among such cohomology. We deduce these results from their analogues for rigid analytic varieties that are Zariski open in some proper smooth rigid analytic varieties over $k$. In particular, we prove finiteness of etale cohomology with partial compact support of any $mathbb Z_p$-local systems, and establish the Poincare duality for such cohomology after inverting $p$.