$ be an embedded symplectic leaf. If the cohomology groups $$H^2(A_S,\mathcal{S}^{k}(\nu_S^*))$$ vanish for all $k\geq 2$, then $\pi$ is formally Poisson diffeomorphic to its first order approximation around $S$.

In many cases, we prove that these cohomological obstructions vanish, and we obtain the following corollaries:

\[Theorem2\] Let $(M,\pi)$ be a Poisson manifold and let $S\subset M$ be an embedded symplectic leaf. Assume that the Poisson homotopy bundle of $S$ is a smooth principal bundle with vanishing second de Rham cohomology group, and that its structure group $G$ satisfies $$H^2_{\mathrm{diff}}(G,\mathcal{S}^k(\mathfrak{g}))=0,\ \ \forall\  k\geq 2,$$ where $\mathfrak{g}$ is the Lie algebra of $G$ and $H^{\bullet}_{\mathrm{diff}}(G,\mathcal{S}^k(\mathfrak{g}))$ denotes the differentiable cohomology of $G$ with coefficients in the $k$-th symmetric power of the adjoint representation. Then $\pi$ is formally Poisson diffeomorphic to its first order approximation around $S$.

Differentiable cohomology of compact groups vanishes, therefore:

\[Corollary\_2\] Let $(M,\pi)$ be a Poisson manifold and let $S\subset M$ be an embedded symplectic leaf. Assume that the Poisson homotopy bundle of $S$ is a smooth principal bundle with vanishing second de Rham cohomology and compact structure group. Then $\pi$ is formally Poisson diffeomorphic to its first order approximation around $S$.

A bit more technical is the following:

\[Theorem3\] Let $(M, \pi)$ be a Poisson manifold and let $S\subset M$ be an embedded symplectic leaf whose isotropy Lie algebra is reductive. If the abelianization algebroid $$A_S^{\mathrm{ab}}:=A_S/[\nu_S^*,\nu_S^*]$$ is integrable by a simply connected principal bundle with vanishing second de Rham cohomology and compact structure group, then $\pi$ is formally Poisson diffeomorphic to its first order approximation around $S$.

\[Corollary\_3\] Let $(M, \pi)$ be a Poisson manifold and let $S\subset M$ be an embedded symplectic leaf through $x\in M$. If the isotropy Lie
$ be an embedded symplectic leaf. If the cohomology groups $ $ H^2(A_S,\mathcal{S}^{k}(\nu_S^*))$$ vanish for all $ k\geq 2 $, then $ \pi$ is formally Poisson diffeomorphic to its first decree estimate around $ S$. 

 In many cases, we prove that these cohomological obstacle fly, and we obtain the following corollary: 

 \[Theorem2\ ] get $ (M,\pi)$ be a Poisson manifold and let $ S\subset M$ be an embedded symplectic leaf. Assume that the Poisson homotopy bundle of $ S$ is a placid principal bundle with fly second de Rham cohomology group, and that its structure group $ G$ satisfies $ $ H^2_{\mathrm{diff}}(G,\mathcal{S}^k(\mathfrak{g}))=0,\ \ \forall\   k\geq 2,$$ where $ \mathfrak{g}$ is the Lie algebra of $ G$ and $ H^{\bullet}_{\mathrm{diff}}(G,\mathcal{S}^k(\mathfrak{g}))$ denotes the differentiable cohomology of $ G$ with coefficients in the $ k$-th symmetric power of the adjoint representation. Then $ \pi$ is formally Poisson diffeomorphic to its inaugural order approximation around $ S$. 

 Differentiable cohomology of compact group vanishes, therefore: 

 \[Corollary\_2\ ] Let $ (M,\pi)$ be a Poisson manifold and let $ S\subset M$ be an implant symplectic leaf. Assume that the Poisson homotopy bundle of $ S$ is a smooth principal bundle with vanish second de Rham cohomology and compact structure group. Then $ \pi$ is formally Poisson diffeomorphic to its first order approximation around $ S$. 

 A morsel more technical is the follow: 

 \[Theorem3\ ] Let $ (M, \pi)$ be a Poisson manifold and let $ S\subset M$ be an embedded symplectic leaf whose isotropy Lie algebra is reductive. If the abelianization algebroid $ $ A_S^{\mathrm{ab}}:=A_S/[\nu_S^*,\nu_S^*]$$ is integrable by a simply connected principal bundle with vanishing second de Rham cohomology and compendious social organization group, then $ \pi$ is formally Poisson diffeomorphic to its first order approximation around $ S$. 

 \[Corollary\_3\ ] lease $ (M, \pi)$ be a Poisson manifold and let $ S\subset M$ be an embedded symplectic leaf through $ x\in M$. If the isotropy Lie
$ be an embedded symplectic ueaf. If the cohomology groupa $$H^2(A_S,\matfcal{S}^{k}(\nu_S^*))$$ vanish for all $k\gee 2$, then $\pi$ is formally Poissov diffeomlrphic ti itw first ordxd apprownmatikk arobnv $S$.

In many casex, we prove that these covooopogical obstructions vanish, and we jbtain yhf following cotollagiqs:

\[Thsorem2\] Let $(M,\pi)$ be a Poisson manifols and ltt $S\subset M$ be an embedded symplectic leaf. Wssule that the Poissoj homotopy vundjw of $S$ is a rmooth principal bundlg with vanishing second de Rham zohomplogy grouk, znf that its svructuge group $G$ sabpsfies $$V^2_{\mathrm{ciff}}(G,\mathcal{S}^k(\katifraj{g}))=0,\ \ \forall\  k\geq 2,$$ whece $\mathfrak{g}$ is the Jie algebsa of $G$ and $H^{\bullet}_{\narhrm{dhff}}(G,\kathzql{S}^y(\mauhfcak{f}))$ denohes the diffedentiable cihomology of $G$ with cjvgficients in the $k$-eh symmetric power of the adjoint represettafion. Then $\pi$ is formallt Poisson diffeomorphlc to its first order approximation around $S$.

Differentiable cohojuloyn ud fompact groups vanishes, therefore:

\[Corollary\_2\] Lee $(M,\ki)$ ne a Poisson manlfold and let $S\subxeh K$ be an embeddgd symplecfic leaf. Assume thwt the Koissob homotopr bumdle of $S$ is a smooth princupal bundle city vanishing second de Rham cokomoloby anc compact structure grobp. Theh $\pi$ is forlally Poiaron diffeomorphiz tp hts firsu order approximatyon arounv $S$.

A yit more tecnnical is the foplowikc:

\[Theorem3\] Let $(M, \pi)$ he a Koissot manifold and let $S\subset M$ be an embeddxv symplectic kedf fhose isjtropn Lie algebra if reductive. If the abzlianixation algvbroid $$A_S^{\kathrm{ab}}:=A_S/[\nt_S^*,\nu_S^*]$$ is intectable by a sikply congectwd peincipau bundle with vsnishing second de Eham cohomology anv coolact structure yxoop, then $\pi$ is fprmxllr Ioixsjt diffeomorpvic go kys fifst ordtx aipruximstion around $S$.

\[Corolldry\_3\] Met $(M, \pi)$ be a Poisxok manifole and lee $S\subset M$ br an embedded symppectir leaf throigh $x\in M$. If the isotropy Lie
$ be an embedded symplectic leaf. If groups vanish for $k\geq 2$, then to first order approximation $S$. In many we prove that these cohomological obstructions and we obtain the following corollaries: \[Theorem2\] Let $(M,\pi)$ be a Poisson manifold let $S\subset M$ be an embedded symplectic leaf. Assume that the Poisson homotopy of is smooth bundle with vanishing second de Rham cohomology group, and that its structure group $G$ satisfies $$H^2_{\mathrm{diff}}(G,\mathcal{S}^k(\mathfrak{g}))=0,\ \forall\ k\geq 2,$$ where $\mathfrak{g}$ is the Lie of $G$ and $H^{\bullet}_{\mathrm{diff}}(G,\mathcal{S}^k(\mathfrak{g}))$ the differentiable cohomology of $G$ coefficients the $k$-th power the representation. Then $\pi$ formally Poisson diffeomorphic to its first order approximation around $S$. Differentiable cohomology of compact groups vanishes, therefore: Let $(M,\pi)$ Poisson manifold let M$ an embedded symplectic that the Poisson homotopy bundle of smooth principal bundle with vanishing second de Rham and compact group. Then $\pi$ is formally Poisson to its first order approximation around $S$. A more technical is the following: \[Theorem3\] Let $(M, \pi)$ be a Poisson manifold and let be an embedded symplectic whose isotropy Lie is If abelianization $$A_S^{\mathrm{ab}}:=A_S/[\nu_S^*,\nu_S^*]$$ is by a simply connected principal bundle with vanishing second de Rham and compact structure group, then $\pi$ is formally Poisson diffeomorphic first approximation around $S$. Let $(M, \pi)$ be Poisson and let $S\subset M$ embedded leaf If isotropy
$ be an embedded symplectic leaF. If the cohoMologY grOupS $$H^2(a_S,\maThcaL{S}^{k}(\nu_S^*))$$ vanish foR All $k\Geq 2$, then $\pi$ is formally PoiSson dIfFEomoRPhIc to iTs first ORdER AppRoXiMatIoN ArOund $S$.

in mAny caseS, we prove thAt tHeSe cohomologiCAl ObstructioNs vAnish, and we obTaiN the foLlOwiNG coroLlaRies:

\[THeorem2\] lEt $(M,\pi)$ bE a Poisson MaNIfold aND let $S\suBSEt m$ be aN embedded symplectIC lEAf. Assume that thE PoissOn HOmOTOpy BunDle of $S$ is a sMoOth prINcipal bUNdLE WIth VAnishing seconD de Rham cohoMOloGy grouP, aNd tHAt its sTructUrE GroUp $G$ satisfieS $$H^2_{\maThrm{diff}}(G,\MathcaL{s}^k(\mathfRAk{g}))=0,\ \ \foraLl\  k\geq 2,$$ WheRe $\mAthfRAk{G}$ iS thE LIE alGEbRa oF $g$ anD $H^{\bullet}_{\MaThRm{difF}}(G,\maTHCAL{S}^k(\mAthFrak{G}))$ denoTes the differeNtiAble COhoMologY of $G$ wIth cOeFficiEnts in The $k$-tH sYmmetric power of The aDjoint repResEnTatIoN. Then $\PI$ is forMalLy POisson dIffeomoRPhiC tO ITS fIrst order approximaTiON ArOund $S$.

DifFerentIAbLe COhomologY oF coMpacT GRoups VaniSHeS, therefoRe:

\[CoroLLaRy\_2\] let $(M,\pi)$ bE a poissoN mAniFolD and lET $S\suBset M$ bE an embedDed syMPlectic leaf. AssUMe that the PoisSOn HOMoTOpy bUndLe of $S$ is a smoOth pRInciPal bUNdLe wITh vanIshinG sECoND de Rham cohomology anD cOmpact StrucTure group. Then $\Pi$ is formalLY pOisson diFfeoMOrPHic to its first oRder aPproximatiON around $S$.

a bit mOre technIcal is the FOLlowing:

\[THeoRem3\] let $(m, \pi)$ BE A POisson manifolD ANd leT $S\Subset M$ Be aN embeddEd sYmpLecTic LeAf whose isOtropy LiE aLgEbRa Is rEductIVe. If the aBeLiaNiZatIon alGEbroid $$a_S^{\matHrm{aB}}:=A_s/[\nU_s^*,\nu_s^*]$$ is inteGRaBLE by a SiMpLy coNneCtEd priNcipAL buNdle witH vanishinG seCOnd dE RHaM cohomoLogy and compacT sTructure grOuP, thEn $\pi$ is FORmally PoIsson diffeomorphic to its FIrst ordEr aPproxImatIon around $s$.

\[CoRollarY\_3\] LeT $(m, \pi)$ be a poissoN maniFoLd aND Let $S\sUBSeT M$ bE aN embedded sYMPleCtic lEaF thrOugh $x\in m$. If the isotropy Lie
$ be an embedded symplecti c leaf. If  thecoh omo lo gy g roup s $$H^2(A_S,\m a thca l{S}^{k}(\nu_S^*))$$ v anish  f o r al l  $ k\geq  2$, th e n$ \ pi$  i sfor ma l ly  Pois son  diffeo morphic to  it sfirst ordera pp roximation  ar ound $S$.

I n m any ca se s,w e pro vethatthesec ohomol ogical ob st r uction s  vanish , an d we  obtain the follo w in g  corollaries:
\[The or e m2 \ ]  Le t $ (M,\pi)$ b ea Poi s son man i fo l d and let $S\subset  M$ be an e m bed ded sy mp lec t ic lea f. As su m e t hat the Poi sson  homotopy  bundl e  of $S$ is a sm ooth p rin cip al b u nd le  wi th van i sh ing sec ond de R ha mcohom olog y g r oup,  an d th at it s structure g rou p $G $  sa tisfi es $$ H^2_ {\ mathr m{diff }}(G, \m athcal{S}^k(\ma thfr ak{g}))=0 ,\\\fo ra ll\ k \geq 2 ,$$  wh ere $\m athfrak { g}$  i s t he  Lie algebra of $G $a n d$H^{\bul let}_{ \ ma th r m{diff}} (G ,\m athc a l {S}^k (\ma t hf rak{g})) $ deno t es  t he diff er entiab le  co hom ology of $ G$ wit h coeffi cient s  in the $k$-th symmetric pow e ro f  t h e ad joi nt represen tati o n. T hen$ \p i$i s for mally  P o is s on diffeomorphic to  i ts fir st or der approxima tion aroun d $ S$.

Dif fere n ti a ble cohomology  of c ompact gro u ps vanis hes,therefor e:

\[Cor o l lary\_2\ ] L et$(M ,\p i ) $be a Poissonm a nifo ld  and le t $ S\subse t M $ b e a n e mb edded sym plecticle af .As sum e tha t  the Poi ss onho mot opy b u ndle o f $S$  isasm o oth  princi p al b undl ewi th v ani sh ing s econ d  de  Rham c ohomology  an d  com pa ct  struct ure group. Th en  $\pi$ isfo rma lly Po i s son diff eomorphic to its firsto rder ap pro ximat ionaround $S $.
A bit  mo r e tech nicalis th efol l o wing: \[ The or em3\] Let$ ( M,\pi)$  b e aPoisson  manifold and let$ S\s ubset M$ be a n e mbed d e dsym p le c tic  l e afw h ose isotropy Li e algebrais re ductive. I f  th eabelian ization  alge b roid $$ A_S^{\mat hrm{ab}}: =A _S/[ \ n u_S ^*,\nu_S^* ]$$ is i ntegrable by as im ply c onn ectedpr inc ipalbundle wit h van ishing  s econdde Rh am  cohomol ogy and compact structu re gro up, t hen  $\pi$ is  fo r mal ly Poisso n di ffeomorphi c t o i ts fi rst order  app r ox ima t ion a roun d  $S$.

\[ C or oll a r y\ _3\] Let $( M , \pi )$ be  aP oisson  man ifold and let $S\ s ubset M$ be an  emb e d ded  sy m plec ti c leaf through  $x \i n M$. If t he  isotropy L ie
$ be_an embedded_symplectic leaf. If the_cohomology groups_$$H^2(A_S,\mathcal{S}^{k}(\nu_S^*))$$_vanish for_all_$k\geq 2$, then_$\pi$ is formally_Poisson diffeomorphic to its_first order approximation_around_$S$.

In many cases, we prove that these cohomological obstructions vanish, and we obtain the_following_corollaries:

\[Theorem2\] Let_$(M,\pi)$_be_a Poisson manifold and let_$S\subset M$ be an embedded_symplectic leaf._Assume that the Poisson homotopy bundle of $S$_is_a smooth principal_bundle with vanishing second de Rham cohomology group, and_that its structure group $G$ satisfies_$$H^2_{\mathrm{diff}}(G,\mathcal{S}^k(\mathfrak{g}))=0,\ \ \forall\__k\geq_2,$$ where $\mathfrak{g}$ is_the Lie algebra of $G$ and_$H^{\bullet}_{\mathrm{diff}}(G,\mathcal{S}^k(\mathfrak{g}))$ denotes the differentiable cohomology of_$G$ with coefficients in the $k$-th symmetric_power of the adjoint representation. Then_$\pi$ is formally Poisson diffeomorphic_to its_first order approximation around $S$.

Differentiable_cohomology of compact_groups vanishes,_therefore:

\[Corollary\_2\] Let $(M,\pi)$_be a Poisson manifold and let_$S\subset M$ be_an embedded symplectic leaf. Assume that_the_Poisson homotopy bundle_of_$S$_is a_smooth principal bundle_with_vanishing second_de_Rham cohomology and compact structure group._Then_$\pi$ is formally Poisson diffeomorphic to its_first order approximation around_$S$.

A_bit more technical is_the following:

\[Theorem3\] Let $(M, \pi)$_be a Poisson manifold and let_$S\subset M$_be an_embedded symplectic leaf whose isotropy Lie algebra is reductive. If the_abelianization algebroid $$A_S^{\mathrm{ab}}:=A_S/[\nu_S^*,\nu_S^*]$$ is integrable by_a simply connected principal_bundle with_vanishing_second de Rham_cohomology_and compact_structure group, then $\pi$ is formally Poisson_diffeomorphic to_its first order approximation around $S$.

\[Corollary\_3\]_Let $(M, \pi)$ be_a_Poisson manifold and let $S\subset M$_be an embedded symplectic leaf through_$x\in M$. If the isotropy_Lie