GLOBAL FORMALITY AT THE G(infinity)-LEVEL

Abstract

In this paper we prove that the sheaf of L-polydifferential operators for a locally free Lie algebroid L is formal when viewed as a sheaf of G(infinity)-algebras via Tamarkin's morphism of DG-operads G(infinity) -> B-infinity. In an appendix we prove a strengthening of Halbout's globalization result for Tamarkin's local quasi-isomorphism.