Formal equivalence of Poisson structures around Poisson submanifolds

Let (M, π ) be a Poisson manifold.A Poisson submanifold P ⊂ M gives rise to a Lie algebroid A P → P. Formal deformations of π around P are controlled by certain cohomology groups associated to A P .Assuming that these groups vanish, we prove that π is formally rigid around P; that is, any other Poisson structure on M, with the same first-order jet along P, is formally Poisson diffeomorphic to π.When P is a symplectic leaf, we find a list of criteria that are sufficient for these cohomological obstructions to vanish.In particular, we obtain a formal version of the normal form theorem for Poisson manifolds around symplectic leaves.