Related papers: $q$-de Rham complexes of higher level
There are two de Rham complexes in diffeology. The original one is due to Souriau and the other one is the singular de Rham complex defined by a simplicial differential graded algebra. We compare the first de Rham cohomology groups of the…
We prove the finiteness of crystalline cohomology of higher level. An important ingredient is a "higher de Rham complex" and a kind of Poincar\'e lemma for it.
Inspired by Rumin's work on a subcomplex in sub-Riemannian manifolds which is cohomologically equivalent to the de Rham complex, we present a more general construction that produces subcomplexes from any filtered cochain complex of finite…
We introduce the general notions of an overconvergent site and a constructible crystal on an overconvergent site. We show that if $V$ is a geometric materialization of a locally noetherian formal scheme $X$ over an analytic space $O$…
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…
Let $k$ be a perfect field of characteristic $p > 0$, $W_n = W_n(k)$. For separated $k$-schemes of finite type, we explain how rigid cohomology with compact supports can be computed as the cohomology of certain de Rham-Witt complexes with…
The goal of this paper is to offer a new construction of the de Rham-Witt complex of smooth varieties over perfect fields of characteristic $p>0$. We introduce a category of cochain complexes equipped with an endomorphism $F$ of underlying…
Let $\mathcal{O}_K$ be a mixed characteristic complete DVR with perfect residue field $k$ and fraction field $K$. It is a celebrated result of Berthelot and Ogus that for a smooth proper formal scheme $X/\mathcal{O}_K$ there exists a…
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 introduce the notion of a conformal de Rham complex of a Riemannian manifold. This is a graded differential Banach algebra and it is invariant under quasiconformal maps, in particular the associated cohomology is a new quasiconformal…
In this work we prove that, for a general polyhedral domain of $\mathbb{R}^3$, the cohomology spaces of the discrete de Rham complex of [Di Pietro and Droniou, An arbitrary-order discrete de Rham complex on polyhedral meshes: Exactness,…
For globally subanalytic manifolds we define de Rham complexes of globally subanalytic differential forms and of constructible differential forms. Whereas the de Rham theorem does not hold for the former in the non-compact case, it does…
The saturated de Rham-Witt complex, introduced by Bhatt-Lurie-Mathew, is a variant of the classical de Rham-Witt complex which provides a conceptual simplification of the construction and which is expected to produce better results for…
We reproduce the quantum cohomology of toric varieties (and of some hypersurfaces in projective spaces) as the cohomology of certain vertex algebras with differential. The deformation technique allows us to compute the cohomology of the…
The complexes of integral forms on the quantum Euclidean group $E_q(2)$ and the quantum plane are defined and their isomorphisms with the corresponding de Rham complexes are established.
We show that the Poincar\'e lemma we proved elsewhere in the context of crystalline cohomology of higher level behaves well with regard to the Hodge filtration. This allows us to prove the Poincar\'e lemma for transversal crystals of level…
We provide a new formalism of de Rham--Witt complexes in the logarithmic setting. This construction generalizes a result of Bhatt--Lurie--Mathew, and agrees with those of Hyodo--Kato and Matsuue for log-smooth schemes of log-Cartier type.…
We consider the de Rham complex over scales of weighted isotropic and anisotropic H\"older spaces with prescribed asymptotic behaviour at the infinity. Starting from theorems on the solvability of the system of operator equations generated…
We compute the double complex of smooth complex-valued differential forms on projective bundles over and blow-ups of compact complex manifolds up to a suitable notion of quasi-isomorphism. This simultaneously yields formulas for 'all'…
Building on ideas of Berthelot, we develop a crystalline cohomology formalism over divided power rings $(A, I_0, \eta)$ for any ring $A$, allowing $\mathbf{Z}$-flat $A$. For a smooth $A$-scheme $Y$ and a closed subscheme $X$ of $Y$ for…