Related papers: On relative and overconvergent de Rham-Witt cohomo…
Let D be a divisor in a complex analytic manifold X. A natural problem is to determine when the de Rham complex of meromorphic forms on X with poles along D is quasi-isomorphic to its subcomplex of logarithmic forms. In this mostly…
In this note I define an overconvergent version of prisms and prismatic cohomology as introduced by Bhatt and Scholze and show that overconvergent prismatic cohomology specialises to $p$-adic cohomologies, like Monsky-Washnitzer resp. rigid…
We introduce the notion of a regular integrable connection on a smooth log scheme over $\mathbf{C}$ and construct an equivalence between the category of such connections and the category of integrable connections on its analytification,…
In this paper, we prove that, when an abelian scheme has semi-abelian degeneration along normal crossings divisor in a regular base scheme, a finite flat group scheme of torsion points of the abelian scheme degenerates to a log finite group…
We show how the Z_p(r)-cohomologies of a smooth projective algebraic variety can be obtained via its de Rham-Witt complex.
We answer negatively an open problem of Illusie on the DR-decomposability of the log de Rham complex of the special fiber of a semi-stable reduction over the Witt ring. We also show that $E_1$ degeneration of the Hodge to log de Rham…
We introduce a cohomology theory of grading-restricted vertex algebras. To construct the {\it correct} cohomologies, we consider linear maps from tensor powers of a grading-restricted vertex algebra to "rational functions valued in the…
In order to look for a well-behaved counterpart to Dolbeault cohomology in D-complex geometry, we study the de Rham cohomology of an almost D-complex manifold and its subgroups made up of the classes admitting invariant, respectively…
We introduce rigid syntomic cohomology for strictly semistable log schemes over a complete discrete valuation ring of mixed characteristic (0,p). In case a good compactification exists, we compare this cohomology theory to…
We prove mixed-characteristic analogues of the Connes and Feigin--Tsygan degeneration theorem. Let $W=W(k)$ be the Witt vectors of a perfect field of characteristic $p>0$. For a smooth proper variety $X$ over $W$, the de Rham-to-$\HP$…
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…
Fix an odd prime $p$. The results in this paper are modeled after work of Hesselholt and Hesselholt-Madsen on the $p$-typical absolute de Rham-Witt complex in mixed characteristic. We have two primary results. The first is an exact sequence…
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…
In this paper, we study the cohomology of semisimple local systems in the spirit of classical Hodge theory. On the one hand, we establish a generalization of Hodge-Riemann bilinear relations. For a semisimple local system on a smooth…
In order to study $p$-adic \'etale cohomology of an open subvariety $U$ of a smooth proper variety $X$ over a perfect field of characteristic $p>0$, we introduce new $p$-primary torsion sheaves. It is a modification of the logarithmic de…
Let X be a smooth variety over a perfect field of characteristic p>0. In this small note we define overconvergent F-de Rham-Witt connections as an analogue for F-crystals over proper schemes. We prove that the forgetful functor from the…
We explain how to construct a cohomology theory on the category of separated quasi-compact smooth rigid spaces over $\mathbf{C}_p$ (or more general base fields), taking values in the category of vector bundles on the Fargues-Fontaine curve,…
Let $k$ be a perfect field of characteristic $p>2$, $R := W(k)[\![t_1, \dots, t_d]\!]$ be the power series ring over the Witt vectors, and $X$ be a smooth proper scheme over $R$. The main goal of this article is to extend classical…
We show that a particular subfunctor of the relative logarithmic Picard functor for families of aligned, log semistable curves over a regular base scheme and smooth over an open dense subscheme of the base is representable by a smooth…
Let $k$ be a perfect field of characteristic $p>0$, $\mathcal{V}$ a complete discrete valuation ring with residue field $k$ and field of fractions $K$ of characteristic 0, and $S$ a separated $k$-scheme of finite type. When $S$ is smooth…