Related papers: p-adic derived de Rham cohomology

We show the coherence of the direct images of the De Rham complex relative to a flat holomorphic map with suitable boundary conditions. For this purpose, a notion of bi-dg-algbera called the Koszul-De Rham algbera is dveloped.

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…

For a smooth $p$-adic formal scheme over the ring of integers of a perfectoid field of mixed characteristic $(0,p)$ containing all $p$-power roots of unity, we prove that the prismatic cohomology of a locally finite free prismatic crystal…

In this paper, We develop the stratified de Rham theory on singular spaces using modern tools including derived geometry and stratified structures. This work unifies and extends the de Rham theory, Hodge theory, and deformation theory of…

If $X$ is a smooth projective variety over ${\mathbb R}$, the Hodge ${\mathcal D}$-conjecture of Beilinson asserts the surjectivity of the regulator map to Deligne cohomology with real coefficients. It is known to be false in general but is…

We compute syntomic cohomology of semistable affinoids in terms of cohomology of $(\varphi,\Gamma)$-modules which, thanks to work of Fontaine-Herr, Andreatta-Iovita, and Kedlaya-Liu, is known to compute Galois cohomology of these affinoids.…

We prove that (logarithmic) prismatic and (logarithmic) syntomic cohomology are representable in the category of logarithmic motives. As an application, we obtain Gysin maps for prismatic and syntomic cohomology, and we explicitly identify…

Nous proposons dans ce texte une th\'eorie des p\'eriodes $p$-adiques pour des sch\'emas en groupes finis et plats. Nous utilisons pour ce faire la th\'eorie de Dieudonn\'e cristalline de Berthelot, Breen et Messing, ainsi que…

We prove equality of the various $p$-adic period morphisms for smooth, not necessarily proper, schemes. We start with showing that the $K$-theoretical uniqueness criterium we had found for proper smooth schemes extends to proper finite…

We describe a new approach to relative p-adic Hodge theory based on systematic use of Witt vector constructions and nonarchimedean analytic geometry in the style of both Berkovich and Huber. We give a thorough development of phi-modules…

We prove that any geometrically irreducible $\overline{\mathbb{Q}}_p$-local system on a smooth algebraic variety over a $p$-adic field $K$ becomes de Rham after a twist by a character of the Galois group of $K$. In particular, for any…

Using the language and terminology of relative homological algebra, in particular that of derived functors, we introduce equivariant cohomology over a general Lie-Rinehart algebra and equivariant de Rham cohomology over a locally trivial…

Le Stum and Quir\'os proved the formal Poincar\'e lemma in crystalline cohomology of higher level using the jet complex, and applied it to give a de Rham interpretation of this cohomology. In this article, we prove the logarithmic version…

Over any smooth algebraic variety over a $p$-adic local field $k$, we construct the de Rham comparison isomorphisms for the \'etale cohomology with partial compact support of de Rham $\mathbb Z_p$-local systems, and show that they are…

The original de Rham cohomology due to Souriau and the singular cohomology in diffeology are not isomorphic to each other in general. This manuscript introduces a singular de Rham complex endowed with an integration map into the singular…

We provide a simple approach for the crystalline comparison of Ainf-cohomology, and reprove the comparison between crystalline and p-adic etale cohomology for formal schemes in the case of good reduction.

We compute the first cohomology group of the symmetric algebra of the universal \'etale $p$-adic local system on the tower of coverings of Drinfeld's $p$-adic half-plane. The result takes a factorized form, using the $p$-adic Langlands…

Let $k$ be a field of characteristic $p,$ and $f : X \to S$ a smooth proper morphism of smooth $k$-schemes. Katz's formula gives a relationship between the Kodaira--Spencer map of $f,$ and an invariant called the $p$-curvature of the…

We consider cohomology of diagrams of algebras by Beck's approach, using comonads. We then apply this theory to computing the cohomology of $\Psi$-rings. Our main result is that there is a spectral sequence connecting the cohomology of the…

In the previous paper of the author, motivated by the categorical $p$-adic local Langlands correspondence, the author studied families of $G_K$-equivariant vector bundles over the Fargues-Fontaine curve parametrized by algebraic-affinoid…