Related papers: De Rham theorem for Whitney functions

We show that, for a pseudo-proper smooth noetherian formal scheme $\mathfrak{X}$ over a positive characteristic $p$ field, its truncated De Rham complex up to the characteristic $p$ is decomposable. Moreover, if the dimension of…

We use Kiehl-Verdier's and Houzel's finiteness theorems in the setting of local analytic geometry, and the Whitney-Thom theory of stratified spaces, to prove that fibrewise constructible complex of sheaves have coherent direct images. We…

We show that, given a projective regular function f on a smooth quasi-projective variety over C, the corresponding cohomology groups of the algebraic de Rham complex with twisted differential d-df and of the complex of algebraic forms with…

Suppose that a finite group $G$ acts on a smooth complex variety $X$. Then this action lifts to the Chiral de Rham Complex of $X$ and to its cohomology by automorphisms of the vertex algebra structure. We define twisted sectors for the…

The main purpose of this paper is to introduce a new smooth version of a CW complex named a fat CW complex, and to show that it includes all closed manifolds, because existing smooth versions of CW complexes (e.g. [Iwa22]) do not have such…

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 introduce a notion of the De Rham complex of a Gerstenhaber algebra which produces a notion of a "quasi-BV structure", and allows to classify these structures, generalizing the classical results for polyvector fields.

We study approximately differentiable functions on metric measure spaces admitting a Cheeger differentiable structure. The main result is a Whitney-type characterization of approximately differentiable functions in this setting. As an…

We show that, if a closed, connected, and oriented Riemannian $n$-manifold $N$ admits a non-constant quasiregular mapping from the Euclidean $n$-space $\mathbb R^n$, then the de Rham cohomology algebra $H_{\mathrm{dR}}^*(N)$ of $N$ embeds…

Let $X$ be a smooth projective and geometrically irreducible curve over the finite field $\mathbb{F}_q$ with $q$ elements and $K$ be its function field. Let $\infty$ be a fixed closed point on $X$ and $A$ be the ring of functions regular…

We generalize Illusie's result to prove the decomposition of the de Rham complex with smooth horizontal coefficients for a semistable $S$-morphism $f:X\ra Y$ which is liftable over $\Z/p^2\Z$. As an application, we prove the Koll\'ar…

On any Calabi-Yau manifold X one can define a certain sheaf of chiral N=2 superconformal field theories, known as the chiral de Rham complex of X. It depends only on the complex structure of X, and its local structure is described by a…

A similarity structure on a connected manifold M is a Riemannian metric on its universal cover such that the fundamental group of M acts by similarities. If the manifold M is compact, we show that the universal cover admits a de Rham…

We study the compactness of sequences of diffeomorphisms in almost complex manifolds in terms of the direct images of the standard integrable structure.

We define a version of a derived chiral De Rham complex over a locally complete intersection, thereby "chiralizing" a result by Illusie and Bhatt. A similar construction attaches to a graded ring a dg vertex algebra, which we prove to be…

We show how to attach to any rigid analytic variety $V$ over a perfectoid space $P$ a rigid analytic motive over the Fargues-Fontaine curve $\mathcal{X}(P)$ functorially in $V$ and $P$. We combine this construction with the overconvergent…

Let X be a smooth complex algebraic variety with the Zariski topology, and let Y be the underlying complex manifold with the complex topology. Grothendieck's algebraic de Rham theorem asserts that the singular cohomology of Y with complex…

We show that when a simplicial Lie group acts on a simplicial manifold $\{X_*\}$, we can construct a bisimplicial manifold and the de Rham complex on it. This complex is quasi-isomorphic to the equivariant simplicial de Rham complex on…

We introduce the notion of integrable connections for a sheaf of differential graded algebras on a topological space. We then describe them in the finite locally projective setting, when the sheaf is either the de Rham complex of a formal…

In this article, we construct Chern classes in rational Deligne cohomology for coherent sheaves on a smooth complex compact manifold. We prove that these classes verify the functoriality property under pullbacks, the Whitney formula and the…