Related papers: Filtrations and cohomology I: crystallization
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…
Hodge-filtered derived de Rham cohomology of a ring $R$ can be described (up to completion and shift) as the graded pieces of the even filtration on $\mathrm{HC}^-(R)$. In this paper we show a deformation of this result: If $R$ admits a…
We characterize two objects by universal property: the derived de Rham complex and Hochschild homology together with its Hochschild-Kostant-Rosenberg (HKR) filtration. This involves endowing these objects with extra structure, built on…
We use derived methods to study the Gauss-Manin connection in Hochschild homology, infinitesimal cohomology, and derived de Rham cohomology. As applications, we give new approaches to nilinvariance, the Quillen spectral sequence, and the…
We develop the formalism of derived divided power algebras, and revisit the theory of derived De Rham and derived crystalline cohomology in this framework. We characterize derived De Rham cohomology of a derived commutative algebra $A$ over…
We give a definition and study the basic properties of the irregular Hodge filtration on the exponentially twisted de Rham cohomology of a smooth quasi-projective complex variety.
The goal of this short paper is to give a slightly different perspective on the comparison between crystalline cohomology and de Rham cohomology. Most notably, we reprove Berthelot's comparison result without using pd-stratifications,…
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…
We establish a comparison isomorphism between prismatic cohomology and derived de Rham cohomology respecting various structures, such as their Frobenius actions and filtrations. As an application, when $X$ is a proper smooth formal scheme…
We prove the finiteness of crystalline cohomology of higher level. An important ingredient is a "higher de Rham complex" and a kind of Poincar\'e lemma for it.
We study the relation between the Hodge filtration of the de Rham cohomology of a proper smooth supervariety $X$ and the usual Hodge filtration of the corresponding reduced variety $X_0$.
Inspired by Bhatt-Morrow-Scholze's work on ${\rm THH}$, we define Nygaard-completed log prismatic cohomology based on log topological Hochschild homology via filtrations on log ${\rm THH}$ and its variants. Moreover, of independent…
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…
Let $X$ be a derived scheme over an animated commutative ring of characteristic 0. We give a complete description of the periodic cyclic homology of $X$ in terms of the Hodge completed derived de Rham complex of $X$. In particular this…
In this paper, we introduce a notion of derived involutive algebras in $ C_2 $-Mackey functors which simultaneously generalize commutative rings with involution and the (non-equivariant) derived algebras of Bhatt--Mathew and Raksit. We show…
This is a review article discussing the de Rham cohomology of period domains of Hodge structures. We explain it as the de Rham cohomology of differentiable stacks as of a moduli space. We also discuss the cohomology of the partial toroidal…
We define the Hochschild complex and cohomology of a ring object in a monoidal category enriched over abelian groups. We interpret the cohomology groups and prove that the cohomology ring is graded-commutative.
We construct Hodge filtered cohomology groups for complex manifolds that combine the topological information of generalized cohomology theories with geometric data of Hodge filtered holomorphic forms. This theory provides a natural…
Let $\mathcal{O}_K$ be a mixed characteristic complete DVR with perfect residue field $k$ and fraction field $K$. It is a celebrated result of Berthelot and Ogus that for a smooth proper formal scheme $X/\mathcal{O}_K$ there exists a…
We construct a polarization on the relative log de Rham cohomology groups of a projective log deformation. To this end, we study the behavior of weight and Hodge filtrations under the cup product and construct a trace morphism for a log…