Polyvector fields and polydifferential operators associated with Lie pairs (Q2073793)

A Lie pair \((L,A)\) is a pair of a Lie algebroid \(L\) together with a Lie subalgebroid \(A\). Such structures arise in Lie theory, complex geometry, foliation theory and Poisson geometry. The study of the relation between formal polyvector fields and formal polydifferential operators on such a pair encompasses a great deal representation theory. It plays a central role in Kontsevich's formality theorem. The paper under review lays the foundations for the generalization of this theorem to Lie pairs, given in [\textit{H.-Y. Liao} et al., C. R., Math., Acad. Sci. Paris 355, No. 5, 582--589 (2017; Zbl 1383.53060)]. The results are described very well in the abstract: ``We prove that the spaces \(\text{tot}(\Gamma(\Lambda^{\bullet}A^{\vee}) \otimes_{R}\mathcal{T}_{\mathrm{poly}})\) '' and \(\text{tot}(\Gamma(\Lambda^{\bullet}A^{\vee}) \otimes_{R}\mathcal{D}_{\mathrm{poly}})\) associated with a Lie pair \((L,A)\) each carry an \(L_{\infty}\) algebra structure canonical up to an \(L_{\infty}\) isomorphism with the identity map as linear part. These two spaces serve, respectively, as replacements for the spaces of formal polyvector fields and formal polydifferential operators on the Lie pair \((L,A)\). Consequently, both \(\mathbb{H}^{\bullet}_{CE}(A,\mathcal{T}_{\mathrm{poly}})\) and \(\mathbb{H}^{\bullet}_{CE}(A,\mathcal{D}_{\mathrm{poly}})\) admit unique Gerstenhaber algebra structures. Our approach is based on homotopy transfer and the construction of a Fedosov dg Lie algebroid (i.e., a dg foliation on a Fedosov dg manifold).'' A crucial ingredient for the seeked formality theorem, is the following: The generalization of Hochschild-Kostant-Rosenberg map to the above cohomologies must preserve the Gerstenhaber bracket. As the authors mention, for this to happen, one must twist the HKR morphism. This procedure is given by \textit{H.-Y. Liao} et al. [loc. cit.], where the formality theorem is proven.