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

We introduce the notions of a differentiable groupoid and a differentiable stratified groupoid, generalizations of Lie groupoids in which the spaces of objects and arrows have the structures of differentiable spaces, respectively…

In this paper we investigate the arithmetic aspects of the theory of $\mathcal{E}_K^\dagger$-valued rigid cohomology introduced and studied in [11,12]. In particular we show that these cohomology groups have compatible connections and…

We compute the Hodge and de Rham cohomology of the classifying space BG (defined as etale cohomology on the algebraic stack BG) for reductive groups G over many fields, including fields of small characteristic. These calculations have a…

We prove a Poincar\'e duality for arithmetic $p$-adic pro-\'etale cohomology of smooth dagger curves over finite extensions of ${\mathbf Q}_p$. We deduce it, via the Hochschild-Serre spectral sequence, from geometric comparison theorems…

In this paper, we study the deformation theory of degenerate algebraic curves on singular varieties which appear as the degenerate limit of families of varieties. For this purpose, we systematically develop a new method to calculate the…

In the present paper we discuss questions concerning the arithmetic resolution for etale cohomology. Namely, consider a smooth quasi-projective variety X over a field k together with the local scheme U at a point x. Let Y be a smooth proper…

In this paper, we construct a comparison map from the topological fundamental group to the pro-\'etale fundamental group for a complex variety.

We prove a vanishing theorem for the twisted de Rham cohomology of a compact manifold.

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.

In this paper we present the notion of de Rham cohomology with compact support for diffeological spaces. Moreover we shall discuss the existence of three long exact sequences. As a concrete example, we show that long exact sequences exist…

We prove an analogue of the de Rham theorem for the extended L^2-cohomology introduced by M. Farber. This is done by establishing that the de Rham complex over a compact closed manifold with coefficients in a flat Hilbert bundle E of…

This article records multiple results coming from interplay between de-completed topological periodic cyclic homology, Segal conjecture, and F-smoothness. We establish completeness of motivic filtration on de-completed topological periodic…

In this paper we introduce and study the basic properties of de Rham cohomology for a certain class of non-Hausdorff manifolds. After a careful discussion of non-Hausdorff differential forms, we provide a description of de Rham cohomology…

We establish a structure theorem on the arc space of a $k$-scheme of finite type. More precisely, we show that the arc space is locally for the pro-smooth toplogy a product of an infinite dimensional affine space and of a non-noetherian…

We establish duality results for the cohomology of the Weil group of a $p$-adic field, analogous to, but more general than, results from Galois cohomology. We prove a duality theorem for discrete Weil modules, which implies Tate-Nakayama…

We introduce a version of the Cartier isomorphism for de Rham cohomology valid for associative, not necessarily commutative algebras over a field of positive characteristic. Using this, we imitate the well-known argument of P. Deligne and…

Consider the cycle class map cl_{r,m} : CH^r(U,m;\Q) \to \Gamma H^{2r-m}(U,\Q(r)), where CH^r(U,m;\Q) is Bloch's higher Chow group (tensored with \Q) of a smooth complex quasi-projective variety U, and H^{2r-m}(U,\Q(r)) is singular…

There is a standard method to calculate the cohomology of torus-invariant sheaves $L$ on a toric variety via the simplicial cohomology of associated subsets $V(L)$ of the space $N_{\mathbb R}$ of 1-parameter subgroups of the torus. For a…

In 1986, Kato set up a framework of conjectures relating (higher) $0$-cycles and \'etale cohomology for smooth projective schemes over finite fields or rings of integers in local fields through the homology of so-called Kato complexes. In…

For varieties over a perfect field of characteristic p, etale cohomology with Q_l-coefficients is a Weil cohomology theory only when l is not equal to p; the corresponding role for l = p is played by Berthelot's rigid cohomology. In that…