Polyvector fields and polydifferential operators associated with Lie pairs
We prove that the spaces and associated with a Lie pair each carry an algebra structure canonical up to an 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 . Consequently, both and 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).