Polyvector fields and polydifferential operators associated with Lie pairs

Ruggero Bandiera, Mathieu Stiénon, Ping Xu

We prove that the spaces $\mathrm{tot}(\Gamma ({\Lambda }^{\bullet }{A}^{\vee }{\otimes }_R{\mathcal{T}}_{\mathrm{poly}}^{\bullet })$ and $\operatorname{tot}\big(Γ(Λ^\bullet A^\vee)\otime…