Global Homotopies for Differential Hochschild Cohomologies

We construct explicit global homotopies for differential Hochschild cochains in differential geometry, thereby upgrading the classical Hochschild-Kostant-Rosenberg map to a deformation retract. Our approach combines two key techniques: a symbol calculus from differential geometry and a coalgebraic version of the van Est theorem. To demonstrate its effectiveness, we develop deformation retracts in several related settings, including principal bundles and invariant contexts. As a byproduct, we recover the classical Hochschild-Kostant-Rosenberg theorem and compute previously inaccessible Hochschild cohomologies.