Related papers: De Rham comparison and Poincar\'e duality for rigi…
We introduce a notion of Poincar\'e duality for pairs of $\infty$-categories, extending Poincar\'e-Lefschetz duality for pairs of spaces. This categorical extension yields an efficient book-keeping device that affords, among other things, a…
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 introduce a notion of duality for a Lie-Rinehart algebra giving certain bilinear pairings in its cohomology generalizing the usual notions of Poincar\'e duality in Lie algebra cohomology and de Rham cohomology. We show that the duality…
We show that that classical rational homotopy theory in the sense of Sullivan [6] can be extended compactly supported setting. This presents a simplicial version of the compactly supported de Rham complex in characteristic zero, and proving…
We study $F$-gauges for de Rham cohomology of smooth algebraic varieties in characteristic $p$. Applying to good reductions of Shimura varieties of Hodge type, we recover the Ekedahl-Oort stratifications by constructing universal de Rham…
This is the first in a series of papers in which we construct and study a new $p$-adic cohomology theory for varieties over Laurent series fields $k(\!(t)\!)$ in characteristic $p$. This will be a version of rigid cohomology, taking values…
Let $\mathfrak{g}$ be a reductive Lie algebra over $\mathbb{C}$. For any simple weight module of $\mathfrak{g}$ with finite-dimensional weight spaces, we show that its Dirac cohomology is vanished unless it is a highest weight module. This…
In this expository article, we outline the theory of harmonic differential forms and its consequences. We provide self-contained proofs of the following important results in differential geometry: (1) Hodge theorem, which states that for a…
We study relative differential and integral forms on families of supermanifolds and their cohomology. We prove a relative Poincar\'e--Verdier duality and show that it relates the cohomology of differential and integral forms, admitting a…
This is a companion paper our previous submission "\infty-categories monoidales rigides et caracteres de Chern", in which we give a comparison between functions on the derived loop space of a smooth scheme of caracteristic zero, and its…
The goal of this article is to prove a comparison theorem between rigid cohomology and cohomology computed using the theory of arithmetic $\mathscr{D}$-modules. To do this, we construct a specialisation functor from Le Stum's category of…
We define two different versions of the relative De Rham cohomology groups of a diffeological space. Additionally, we study a variant of the Mayer-Vietoris sequence and discuss the existence of a relative cup product. Our approach is…
In this article, we establish results concerning the cohomology of Zariski dense subgroups of solvable linear algebraic groups. We show that for an irreducible solvable $\mathbb{Q}$-defined linear algebraic group $\mathbf{G}$, there exists…
We prove some de Rham theorems on bounded subanalytic submanifolds of $\R^n$ (not necessarily compact). We show that the $L^1$ cohomology of such a submanifold is isomorphic to its singular homology. In the case where the closure of the…
We introduce a formalism of Hochschild (co)-homology for $\mathcal{D}$-cap modules on smooth rigid analytic spaces based on the homological tools of Ind-Banach $\mathcal{D}$-cap modules. We introduce several categories of $\mathcal{D}$-cap…
We use the stacky approach to $p$-adic cohomology theories recently developed by Drinfeld and Bhatt--Lurie to generalise a comparison theorem between the rational crystalline cohomology of the special fibre and the rational $p$-adic \'etale…
With the help of Lusztig's canonical basis, we study local intersection cohomology of the Zariski closures of orbits of representations of a quiver of type A, D or E. In particular, we characterize the rationally smooth orbits and prove…
We show how the Z_p(r)-cohomologies of a smooth projective algebraic variety can be obtained via its de Rham-Witt complex.
This paper is a generalization of arXiv:0810.0808. We develop the de Rham homotopy theory of not necessarily nilpotent spaces, using closed dg-categories and equivariant dg-algebras. We see these two algebraic objects correspond in a…
By exploring the geometric properties of Hyodo-Kato cohomology in rigid geometry, we establish several foundational results, including the semistable conjecture for \'etale cohomology of almost proper rigid analytic varieties, and GAGA…