Related papers: De Rham Theory in Derived Differential Geometry

A certain Grothendieck topology assigned to a metric space gives rise to a sheaf cohomology theory which sees the coarse structure of the space. Already constant coefficients produce interesting cohomology groups. In degree 0 they see the…

A singular foliation $\mathcal F$ gives a partition of a manifold $M$ into leaves whose dimension may vary. Associated to a singular foliation are two complexes, that of the diffeological differential forms on the leaf space $M / \mathcal…

Let $(M,\mathcal{F})$ be a foliated manifold. We prove that there is a canonical isomorphism between the complex of base-like forms $\Omega^*_b(M,\mathcal{F})$ of the foliation and the "De Rham complex" of the space of leaves…

We study differential forms on an algebraic compactification of a moduli space of metric graphs. Canonical examples of such forms are obtained by pulling back invariant differentials along a tropical Torelli map. The invariant differential…

While intersection cohomology is stable under small resolutions, both ordinary and intersection cohomology are unstable under smooth deformation of singularities. For complex projective algebraic hypersurfaces with an isolated singularity,…

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…

This paper is devoted to the horizontal (``characteristic'') cohomology of systems of differential equations. Recent results on computing the horizontal cohomology via the compatibility complex are generalized. New results on the Vinogradov…

Based on a recent extension theorem for reflexive differential forms, that is, regular differential forms defined on the smooth locus of a possibly singular variety, we study the geometry and cohomology of sheaves of reflexive…

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.

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 define a simplicial category called the category of derived manifolds. It contains the category of smooth manifolds as a full discrete subcategory, and it is closed under taking arbitrary intersections in a manifold. A derived manifold…

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…

This article reports on the confluence of two streams of research, one emanating from the fields of numerical analysis and scientific computation, the other from topology and geometry. In it we consider the numerical discretization of…

We study the de Rham cohomology and the Hodge to de Rham spectral sequence for supervarieties.

Interpreting the chiral de Rham complex (CDR) as a formal Hamiltonian quantization of the supersymmetric non-linear sigma model, we suggest a setup for the study of CDR on manifolds with special holonomy. We show how to systematically…

We revisit the non-commutative Hodge-to-de Rham Degeneration Theorem of the first author, and present its proof in a somewhat streamlined and improved form that explicitly uses spectral algebraic geometry. We also try to explain why…

We prove an analogue of the de Rham theorem for polar homology; that the polar homology $HP_q(X)$ of a smooth projective variety $X$ is isomorphic to its $H^{n,n-q}$ Dolbeault cohomology group. This analogue can be regarded as a geometric…

Associated to a differential character is an integral cohomology class, referred to as the characteristic class, and a closed differential form, referred to as the curvature. The characteristic class and curvature are equal in de Rham…

We characterize Lie group actions for which there exists, at least locally, an evaluation map that defines a cochain map from the differential complex of invariant forms on a manifold to the De Rham complex for the quotient.

We define the Chern map from the Grothendieck group of a linear category C to the de Rham cohomology of C with coefficients in a DG-category. In order to achieve our goal, we define the notion of connection on a C-module, and we show that…