Relative de Rham Theory on Nash Manifolds

Abstract

For a Nash submersion $ϕ\colon X\to Y$, we study the complex $\mathcal{SDR}(ϕ)$ of Schwartz sections of the relative de Rham complex of $ϕ$. We define the notion of Schwartz sections of constructible sheaves on Nash manifolds and prove that $\mathcal{SDR}(ϕ)$ is homotopy equivalent to the Schwartz sections of the proper push-forward $ϕ_!\mathbb{R}_X$ of the constant sheaf $\mathbb{R}_X$. Using this equivalence, we show that $\mathcal{SDR}(ϕ)$ depends (up to homotopy equivalence) only on the homology type of the map $ϕ$. We also deduce that $\mathcal{SDR}(ϕ)$ has Hausdorff homology spaces.