Related papers: TR with logarithmic poles and the de Rham-Witt com…
We give algorithms for the computation of the algebraic de Rham cohomology of open and closed algebraic sets inside projective space or other smooth complex toric varieties. The methods, which are based on Gr\"obner basis computations in…
In this paper, we investigate equivalent characterizations of the condition that every acyclic complex of projective, injective, or flat modules is totally acyclic over a general ring R. We provide examples to illustrate relationships among…
Peter Scholze has raised the question whether some variant of the $q$-de Rham complex is already defined over the Habiro ring $\mathcal H = \lim_{m\in\mathbb N}\mathbb Z[q]_{(q^m-1)}^\wedge$. We show that such a variant exists whenever the…
The goal of this paper is to study a $p$-adic analog of the joint of the conjectures of Andr\'e--Oort and Andr\'e--Pink. More precisely, on a product of ordinary Siegel formal moduli schemes, we study the distribution of points whose…
We investigate for families of smooth projective varieties over a localized polynomial ring Z[x_1,...,x_r][D^{-1}] the conjugate filtration on De Rham cohomology tensored with Z/NZ. As N tends to infinity this leads to the concept of the…
We show that de Rham--Witt forms are naturally isomorphic to $p$-typical curves on $p$-adic Tate twists, which answers a question of Artin--Mazur from 1977 pursued in the earlier work of Bloch and Kato. We show this by more generally…
Let $V=Spec(R)$ and $R$ be a complete discrete valuation ring of mixed characteristic $(0,p)$. For any flat $R$-scheme $X$ we prove the compatibility of the de Rham fundamental class of the generic fiber and the rigid fundamental class of…
In this paper and its sequel we consider locally-free $\mathscr{O}_X$-modules together with a connection over a quasi-smooth Berkovich curve $X$. We obtain necessary and sufficient conditions for the finite dimensionality of their de Rham…
By a theorem of Bernhard Keller the de Rham cohomology of a smooth variety is isomorphic to the periodic cyclic homology of the differential graded category of perfect complexes on the variety. Both the de Rham cohomology and the cyclic…
We construct log rigid syntomic cohomology for strictly semistable schemes over the ring of integers of a p-adic field, and prove that it is interpreted as the extension group of the complex of admissible filtered $(\phi,N)$-modules.
We generalize the functorial quasi-isomorphism in \cite{Davis2011} from overconvergent Witt de-Rham cohomology to rigid cohomology on smooth varieties over a finite field $k$, dropping the quasi-projectiveness condition. We do so by…
We investigate $p$-adic cohomologies of log rigid analytic varieties over a $p$-adic field. For a log rigid analytic variety $X$ defined over a discretely valued field, we compute the Kummer pro-\'etale cohomology of…
We describe the obstruction to decomposing in degrees $\leq p$ the de Rham complex of a smooth variety over a perfect field $k$ of characteristic $p$ that lifts over $W_2(k)$, and show that there exist liftable smooth projective varieties…
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 order to have cohomological operations for de Rham p-adic cohomology with coefficients as manageable as possible, the main purpose of this paper is to solve intrinsically and from a cohomological point of view the lifting problem of…
Let $\mathcal{O}_K$ be a complete discrete valuation ring of mixed characteristic $(0,p)$ with perfect residue field. We prove the existence of the Hodge-Newton filtration for $p$-divisible groups over $\mathcal{O}_K$ with additional…
In this article, we introduce the logarithmic de Rham stack of a pair (X, D), for a smooth variety X over a field k of positive characteristic p, and D a strict normal crossings divisor on X. Using this stack, we prove a new version of…
We consider the problem of smoothing algebraic cycles with rational coefficients on smooth projective complex varieties up to homological equivalence. We show that a solution to this problem would be incompatible with the validity of the…
We introduce the definition of De Rham logarithmic classes. We show that the De Rham class of an algebraic cycle of a smooth algebraic variety over a field of characteristic zero is logarithmic and conversely that a logarithmic class of…
Let $\Pi$ be the fundamental group of a smooth variety X over $F_p$. Given a non-Archimedean place $\lambda$ of the field of algebraic numbers which is prime to p, consider the $\lambda$-adic pro-semisimple completion of $\Pi$ as an object…