Related papers: A pro-\'etale-to-de Rham comparison theorem for cu…

In this paper, we develop the theory of relative log convergent cohomology. We prove the coherence of relative log convergent cohomology in certain case by using the comparison theorem between relative log convergent cohomlogy and relative…

This paper addresses the question: What is the de Rham theory for general differentiable spaces? We identify two potential answers and study them. In the first part, we show that the de Rham cohomology calculated using (the completion of)…

We construct an explicit de Rham isomorphism relating the cohomology rings of Banagl's de Rham and spatial approach to intersection space cohomology for stratified pseudomanifolds with isolated singularities. Intersection space…

For a big class of smooth dagger spaces --- dagger spaces are 'rigid spaces with overconvergent structure sheaf' --- we prove finite dimensionality of de Rham cohomology. This is enough to obtain finiteness of Berthelot's rigid cohomology…

The goal of this short paper is to give a slightly different perspective on the comparison between crystalline cohomology and de Rham cohomology. Most notably, we reprove Berthelot's comparison result without using pd-stratifications,…

We prove that $p$-adic geometric pro-\'etale cohomology of smooth partially proper rigid analytic varieties over $p$-adic fields seen in the category of Topological Vector Spaces satisfies a Poincar\'e duality as we have conjectured. This…

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…

This paper studies the derived de Rham cohomology of F_p and p-adic schemes, and is inspired by Beilinson's recent work. Generalising work of Illusie, we construct a natural isomorphism between derived de Rham cohomology and crystalline…

We extend the definition of the unramified curve-tame cohomology groups to $\mathbb{A}^1$-invariant \'etale sheaves under some additional hypotheses. We define a pairing of this group with the Suslin homology satisfying desirable properties…

The purpose of this paper is to lay the foundations of a theory of invariants in \'etale cohomology for smooth Artin stacks. We compute the invariants in the case of the stack of elliptic curves, and we use the theory we developed to get…

In this article, we prove the comparison theorem between the relative log de Rham-Witt cohomology and the relative log crystalline cohomology for a log smooth saturated morphism of fs log schemes satisfying certain condition. Our result…

Let $K$ and $L$ be algebraic extensions of the rational numbers inside the field of complex numbers. An $L$-de Rham-Betti class on a smooth projective variety $X$ over $K$ is a class in the Betti cohomology with $L$-coefficients of the…

We prove that, for adic \'{e}tale motives over $\mathbb{C}_p$, the vector bundles on the Fargues-Fontaine curve arising from their Hyodo-Kato cohomology coincide with their de Rham-Fargues-Fontaine cohomologies, where the latter provides an…

In this expository article we give a categorical definition of the integral cohomology ring of a stack. We show that for quotient stacks the categorical cohomology may be identified with equivariant cohomology. Via this identification we…

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 study properties of compactly supported $p$-adic pro-\'etale cohomology of smooth partially proper rigid analytic varieties. In particular, we prove a comparison theorem, in a stable range, with compactly supported syntomic cohomology,…

In this paper, we develop the theory of relative log convergent cohomology of radius $\lambda$ ($0 < \lambda \leq 1$), which is a generalization of the notion of relative log convergent cohomology in the previous paper. By comparing this…

We prove that algebraic de Rham cohomology as a functor defined on smooth $\mathbb{F}_p$-algebras is formally \'etale in a precise sense. This result shows that given de Rham cohomology, one automatically obtains the theory of crystalline…

We define and initiate the study of analytic de Rham stacks of relative Fargues-Fontaine curves. To this end, we develop a theory of analytic de Rham stacks with sufficiently strong descent and approximation properties. Specializing to the…

We prove a version of de Rham and Hyodo-Kato flip-flopping for dual towers of rigid analytic spaces including those coming from dual basic local Shimura varieties. The main tool are comparison theorems expressing the two cohomologies as…