We show that if a generator of a differential Gerstenhaber algebra satisfies certain Cartan-type identities, then the corresponding Lie bracket is formal. Geometric examples include the shifted de Rham complex of a Poisson manifold and the subcomplex of differential forms on a symplectic manifold vanishing on a Lagrangian submanifold, endowed with the Koszul bracket. As a corollary we generalize a recent result by Hitchin on deformations of holomorphic Poisson manifolds.
Homology, Homotopy and Applications, Vol. 14 (2012), No. 2, pp.63-75.