Whitney functions determine the real homotopy type of a semi-analytic set

arXiv1403.1627MaRDI QIDQ6249596FDOQ6249596

Markus J. Pflaum, Bryce Chriestenson

Publication date: 6 March 2014

Abstract: In this paper, we investigate the Whitney--de Rham complex $$ associated to a semi-analytic subset $X$ of an analytic manifold $M$. This complex is a commutative differential graded algebra, that is defined to be the quotient of the de Rham complex of smooth differential forms on $M$ by the differential graded ideal generated by all smooth functions which are flat on $X$. We use Hironaka's desingularization theorem to prove a Poincar'e Lemma for $$ holds true, which entails that its cohomology is isomorphic to the real cohomology of $X$. Furthermore, we show that this isomorphism is induced by a quasi-isomorphism of differential graded algebras. Thus it preserves the product structure, and is therefore an isomorphism of commutative differential graded algebras. As a consequence we show, when $X$ is simply connected, that the Whitney--de Rham complex determines the real homotopy type of $X$. This allows one further to conclude that the Hochschild homology of the differential graded algebra $$ is isomorphic to the cohomology of the free loop space $mathcalLX$.

This page was built for publication: Whitney functions determine the real homotopy type of a semi-analytic set

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6249596)