A Poincaré lemma for Whitney–de Rham complex

Abstract

Let $M$ be a real analytic manifold, $Z$ a closed subanalytic subset of $M$. We show that the Whitney–de Rham complex over $Z$ is quasi-isomorphic to the constant sheaf ${\mathbb{C}}_Z$.