Related papers: Prismatic cohomology and de Rham-Witt forms

Grothendieck has proved that each class in the de Rham cohomology of a smooth complex affine variety can be represented by a differential form with polynomial coefficients. After having proved a single exponential bound for the degrees of…

We study the algebraic $K$-theory of rings of the form $R[x]/x^e$. We do this via trace methods and filtrations on topological Hochschild homology and related theories by quasisyntomic sheaves. We produce computations for $R$ a perfectoid…

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…

We give a general description of the structure of the relative de Rham-Witt complex on a polynomial ring, seen as an algebra over its integral part. After giving a control of the overconvergence of Lazard's morphism, we similarly give the…

We present a detailed overview of the construction of the A_inf-cohomology theory from the preprint "Integral p-adic Hodge theory", joint with B. Bhatt and P. Scholze. We focus particularly on the p-adic analogue of the Cartier isomorphism…

The purpose of this paper is to prove a basic $p$-adic comparison theorem for smooth rigid analytic and dagger varieties over the algebraic closure $C$ of a $p$-adic field: $p$-adic pro-\'etale cohomology, in a stable range, can be…

Let X be a smooth p-adic formal scheme. We show that integral crystalline local systems on the generic fiber of X are equivalent to prismatic F-crystals over the analytic locus of the prismatic site of X. As an application, we give a…

In recent work with Bhatt and Morrow, we defined a new integral p-adic cohomology theory interpolating between etale and de Rham cohomology. An unexpected feature of this cohomology is that in coordinates, it can be computed by a…

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 develop prismatic and syntomic cohomology relative to a $\delta$-ring. This simultaneously generalizes Bhatt and Scholze's absolute and relative prismatic cohomology and shows that the latter, which was defined relative to a prism, is in…

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…

For any type of fundamental groupoid scheme, we construct an algebraic cohomology theory for varieties with coefficients in the base field. This is a minor variant of \'etale cohomology, involving neither de Rham complexes nor…

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…

A perfect prismatoid is a convex polytope $P$ such that for every its facet $F$ the set $vert(P) \setminus vert(F)$ belongs to a supporting hyperplane $\alpha \parallel F$. We prove that every perfect prismatoid is affinely equivalent to…

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 introduce the "sharp" (universal) extension of a 1-motive (with additive factors and torsion) over a field of characteristic zero. We define the "sharp de Rham realization" by passing to the Lie-algebra. Over the complex numbers we then…

In the 1960s, Dwork developed a p-adic cohomology theory of de Rham type for varieties over finite fields, based on a trace formula for the action of a Frobenius operator on certain spaces of p-adic analytic functions. One can consider a…

Inspired by Bhatt-Scholze, we introduce prismatic cohomology for rigid analytic spaces with l.c.i singularities, with coefficients over Fontaine's de Rham period ring.

The aim of this article is to given an extension of the prismatization functor for $p$-adic formal schemes (whose construction was first sketched by Drinfeld and then given by Bhatt-Lurie) to all schemes over $\mathrm{Spec}(\mathbf{Z})$. We…

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…