Formality theorem for differential graded manifolds

We establish a formality theorem for smooth dg manifolds. More precisely, we prove that, for any finite-dimensional dg manifold (M,Q), there exists an L_∞ quasi-isomorphism of dglas from (Tpoly•⊕(M),[Q,−],[−,−]) to (Dpoly•⊕(M),〚m+Q,−〛,〚−,−〛) whose first Taylor coefficient (1) is equal to the composition hkr∘(td_(M,Q) ^∇)^1/2:Tpoly•⊕(M)→Dpoly•⊕(M) of the action of (td_(M,Q) ^∇)^1/2∈∏_k≥0(Ω^k(M))^k on Tpoly•⊕(M) (by contraction) with the Hochschild–Kostant–Rosenberg map and (2) preserves the associative algebra structures on the level of cohomology. As an application, we prove the Kontsevich–Shoikhet conjecture: a Kontsevich–Duflo-type theorem holds for all finite-dimensional smooth dg manifolds.