Related papers: A De Rham-Witt approach to crystalline rational ho…
We prove a comparison isomorphism between the De Rham rational homotopy type of a smooth proper log variety defined over a p-adic field and the crystalline rational homotopy type of a semi-stable reduction mod p.
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…
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…
In this paper, we prove compatibilities of various definitions of relatively unipotent log de Rham fundamental groups for certain proper log smooth integral morphisms of fine log schemes of characteristic zero. Our proofs are purely…
Let $K/\mathbb{Q}_p$ be a finite extension. For all irreducible representations $\bar\rho: G_K \to G(\bar{\mathbb{F}}_p)$ valued in a general reductive group $G$, we construct crystalline lifts of $\bar\rho$ which are Hodge-Tate regular. We…
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 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, 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 construct log-motivic cohomology groups for semistable varieties and study the $p$-adic deformation theory of log-motivic cohomology classes. Our main result is the deformational part of a $p$-adic variational Hodge conjecture for…
We show that the Poincar\'e lemma we proved elsewhere in the context of crystalline cohomology of higher level behaves well with regard to the Hodge filtration. This allows us to prove the Poincar\'e lemma for transversal crystals of level…
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 introduce the notion of integrable connections for a sheaf of differential graded algebras on a topological space. We then describe them in the finite locally projective setting, when the sheaf is either the de Rham complex of a formal…
Let $X\to Y^0$ be an abelian prime-to-$p$ Galois covering of smooth schemes over a perfect field $k$ of characteristic $p>0$. Let $Y$ be a smooth compactification of $Y^0$ such that $Y-Y^0$ is a normal crossings divisor on $Y$. We describe…
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 consider the crystalline realization of Deligne's 1-motives in positive characteristics and prove a comparison theorem with the De Rham realization of liftings to zero characteristic. We then show that one dimensional crystalline…
This paper constructs polynomial bases that capture the structure of the de Rham complex with boundary conditions in disks and cylinders (both periodic and finite) in a way that respects rotational symmetry. The starting point is explicit…
In this paper, we investigate the Whitney--de Rham complex $\Omega^\bullet_\text{W} (X)$ associated to a semi-analytic subset $X$ of an analytic manifold $M$. This complex is a commutative differential graded algebra, that is defined to be…
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.…
For a smooth formal scheme $\mathfrak{X}$ over the Witt vectors $W$ of a perfect field $k$, we construct a functor $\mathbb{D}_\mathrm{crys}$ from the category of prismatic $F$-crystals $(\mathcal{E},\varphi_\mathcal{E})$ (or prismatic…
We study the structure of the rational motivic stable homotopy category over general base schemes. Our first class of results concerns the six operations: we prove absolute purity, stability of constructible objects, and…