{g}^*})$ is compact it is proper, by Lemma \[vanishing\_proposition\] (2), we have that $H^2_{\mathrm{diff}}(G\ltimes \mathbb{S}({\mathfrak{g}^*});E)=0$. The corollary follows from Theorem \[Theorem\_THREE\].

Let $P$ be the Poisson homotopy bundle of $S$, and let $G$ be its structure group. By hypothesis, $P$ is smooth, $1$-connected and has vanishing second de Rham cohomology. Let $\mathcal{G}:=P\times_{G}P$ be the gauge groupoid of $P$. The $s$-fibers of $\mathcal{G}$ are diffeomorphic to $P$; thus, $\mathcal{G}$ satisfies the assumptions of Lemma \[vanishing\_proposition\] (1). Therefore $$H^{2}(A_S;\mathcal{S}^k(\nu_S^*))\cong H^{2}_{\mathrm{diff}}(\mathcal{G};\mathcal{S}^k(\nu_S^*)).$$ Since $\mathcal{G}$ is transitive, by Lemma \[vanishing\_proposition\] (3), we have that $$H^{2}_{\mathrm{diff}}(\mathcal{G};\mathcal{S}^k(\nu_S^*))\cong H^{2}_{\mathrm{diff}}(G;\mathcal{S}^k(\nu_{S,x}^*)).$$ Since $\nu_{S,x}^*\cong \mathfrak{g}$ as $G$ representations, Theorem \[Theorem1\] implies the conclusion.

By Lemma \[vanishing\_proposition\] (2), the differentiable cohomology of compact groups vanishes; thus, Corollary \[Theorem2\] implies the result.

Let $x\in S$ and denote by $\mathfrak{g}_x:=\nu_{S,x}^*$ the isotropy Lie algebra of the transitive algebroid $A_S$. By hypothesis, $\mathfrak{g}_x$ is reductive, i.e. it splits as a direct product of a semisimple Lie algebra and its center $\mathfrak{g}_x=\mathfrak{s}_x\oplus \mathfrak{z}_x$, where $\mathfrak{s}_x=[\mathfrak{g}_x,\mathfrak{g}_x]$ and $\mathfrak{z}_x=Z(\mathfrak{g}_x)$ is the center of $\mathfrak{g}_x$. Since $\mathfrak{g}:=\nu
{ g}^*})$ is compact it is proper, by Lemma \[vanishing\_proposition\ ] (2), we have that $ H^2_{\mathrm{diff}}(G\ltimes \mathbb{S}({\mathfrak{g}^*});E)=0$. The corollary follows from Theorem \[Theorem\_THREE\ ]. 

 Let $ P$ be the Poisson homotopy package of $ S$, and lease $ G$ be its structure group. By hypothesis, $ P$ is smooth, $ 1$-connected and has vanish second de Rham cohomology. Let $ \mathcal{G}:=P\times_{G}P$ be the gauge groupoid of $ P$. The $ s$-fibers of $ \mathcal{G}$ are diffeomorphic to $ P$; therefore, $ \mathcal{G}$ satisfies the assumptions of Lemma \[vanishing\_proposition\ ] (1). Therefore $ $ H^{2}(A_S;\mathcal{S}^k(\nu_S^*))\cong H^{2}_{\mathrm{diff}}(\mathcal{G};\mathcal{S}^k(\nu_S^*)).$$ Since $ \mathcal{G}$ is transitive, by Lemma \[vanishing\_proposition\ ] (3), we suffer that $ $ H^{2}_{\mathrm{diff}}(\mathcal{G};\mathcal{S}^k(\nu_S^*))\cong H^{2}_{\mathrm{diff}}(G;\mathcal{S}^k(\nu_{S, x}^*)).$$ Since $ \nu_{S, x}^*\cong \mathfrak{g}$ as $ G$ representations, Theorem \[Theorem1\ ] implies the termination. 

 By Lemma \[vanishing\_proposition\ ] (2), the differentiable cohomology of compact groups vanishes; therefore, Corollary \[Theorem2\ ] implies the result. 

 Let $ x\in S$ and denote by $ \mathfrak{g}_x:=\nu_{S, x}^*$ the isotropy Lie algebra of the transitive algebroid $ A_S$. By hypothesis, $ \mathfrak{g}_x$ is reductive, i.e.   it splits as a direct product of a semisimple Lie algebra and its center field $ \mathfrak{g}_x=\mathfrak{s}_x\oplus \mathfrak{z}_x$, where $ \mathfrak{s}_x=[\mathfrak{g}_x,\mathfrak{g}_x]$ and $ \mathfrak{z}_x = Z(\mathfrak{g}_x)$ is the center of $ \mathfrak{g}_x$. Since $ \mathfrak{g}:=\nu
{g}^*})$ id compact it is proper, bn Lemma \[vanishiny\_proposmtion\] (2), se have ghat $H^2_{\mathrm{diff}}(G\ltimes \mathub{S}({\mqthfrqk{g}^*});E)=0$. The corollary foluows from Theorem \[Theieem\_THREE\].

Lev $P$ be tmz Poiadon konotopy bundle pf $S$, and lat $G$ be its stsuztbre group. By hypothesis, $P$ is smooth, $1$-sonnectrd and has vanisring fecohd de Rham cohomology. Let $\mathcal{G}:=L\times_{G}K$ be the gauge groipoid of $P$. The $s$-fibers of $\lathfal{G}$ are diffeomorohic to $P$; tyus, $\iqthcal{G}$ satirfies the assumptions kf Lemma \[vanishing\_proposition\] (1). Ghereyore $$H^{2}(A_S;\matycql{S}^n(\tu_S^*))\cong H^{2}_{\mavhrm{disf}}(\mathcal{G};\mabncal{S}^k(\tu_S^*)).$$ Sinve $\mathcal{G}$ is trensirive, by Lemma \[vanishiig\_proposition\] (3), we hade that $$H^{2}_{\kachrm{diff}}(\mathcal{G};\mathcql{W}^k(\nu_S^*))\wong H^{2}_{\magyrm{aifr}}(G;\kafhcal{S}^n(\nu_{A,x}^*)).$$ Since $\nh_{S,x}^*\cong \matyfrak{g}$ as $G$ represemtwnoons, Theorem \[Theorqm1\] implies the conclusion.

By Lemma \[vanishitg\_pdoposition\] (2), the differebtiable cohomology of compact droups vanishes; thus, Corollary \[Theorem2\] implies tha resnlg.

Leu $w\ln S$ qnf denote by $\mathfrak{g}_x:=\nu_{S,x}^*$ the isotropy Lie ajfenrs of the transltive algebroid $A_S$. Bj nipothesis, $\mathwrak{g}_x$ is reductive, i.e. it sppits as a dieect prodtct pf a semisimple Lie algebra and its cenner $\nathfrak{g}_x=\mathfrak{d}_x\oplus \matkfrak{z}_c$, whete $\mathfrak{s}_x=[\mathfrak{g}_x,\oathrrak{g}_x]$ and $\lathfrak{z}_s=X(\mathfrak{g}_x)$ is tfe bentar of $\mauffrak{g}_x$. Since $\matrfrak{g}:=\nu
{g}^*})$ is compact it is proper, by (2), have that \mathbb{S}({\mathfrak{g}^*});E)=0$. The corollary $P$ the Poisson homotopy of $S$, and $G$ be its structure group. By $P$ is smooth, $1$-connected and has vanishing second de Rham cohomology. Let $\mathcal{G}:=P\times_{G}P$ the gauge groupoid of $P$. The $s$-fibers of $\mathcal{G}$ are diffeomorphic to $P$; $\mathcal{G}$ the of \[vanishing\_proposition\] (1). Therefore $$H^{2}(A_S;\mathcal{S}^k(\nu_S^*))\cong H^{2}_{\mathrm{diff}}(\mathcal{G};\mathcal{S}^k(\nu_S^*)).$$ Since $\mathcal{G}$ is transitive, by Lemma \[vanishing\_proposition\] (3), we have that H^{2}_{\mathrm{diff}}(G;\mathcal{S}^k(\nu_{S,x}^*)).$$ Since $\nu_{S,x}^*\cong \mathfrak{g}$ as $G$ representations, Theorem implies the conclusion. By \[vanishing\_proposition\] (2), the differentiable cohomology compact vanishes; thus, \[Theorem2\] the Let $x\in S$ denote by $\mathfrak{g}_x:=\nu_{S,x}^*$ the isotropy Lie algebra of the transitive algebroid $A_S$. By hypothesis, $\mathfrak{g}_x$ is reductive, it splits direct product a Lie and its center where $\mathfrak{s}_x=[\mathfrak{g}_x,\mathfrak{g}_x]$ and $\mathfrak{z}_x=Z(\mathfrak{g}_x)$ is the Since $\mathfrak{g}:=\nu
{g}^*})$ is compact it is proper, by LemMa \[vanishinG\_propOsiTioN\] (2), wE havE thaT $H^2_{\mathrm{diff}}(G\lTImes \Mathbb{S}({\mathfrak{g}^*});E)=0$. The coRollaRy FOlloWS fRom ThEorem \[ThEOrEM\_tHReE\].

leT $P$ bE tHE POissoN hoMotopy bUndle of $S$, anD leT $G$ Be its structuRE gRoup. By hypoTheSis, $P$ is smooth, $1$-ConNected AnD haS VanisHinG secoNd de RhAM cohomOlogy. Let $\mAtHCal{G}:=P\tIMes_{G}P$ be THE gAuge Groupoid of $P$. The $s$-fiBErS Of $\mathcal{G}$ are dIffeomOrPHiC TO $P$; tHus, $\Mathcal{G}$ saTiSfies THe assumPTiONS Of LEMma \[vanishing\_pRoposition\] (1). THEreFore $$H^{2}(A_s;\mAthCAl{S}^k(\nu_s^*))\cong h^{2}_{\mAThrM{diff}}(\mathcaL{G};\maThcal{S}^k(\nu_s^*)).$$ Since $\MAthcal{G}$ IS transiTive, by lemMa \[vAnisHInG\_pRopOsITioN\] (3), We HavE ThaT $$H^{2}_{\mathrm{DiFf}}(\MathcAl{G};\mATHCAl{S}^k(\Nu_S^*))\Cong h^{2}_{\mathRm{diff}}(G;\mathcaL{S}^k(\Nu_{S,x}^*)).$$ sIncE $\nu_{S,x}^*\Cong \mAthfRaK{g}$ as $G$ RepresEntatIoNs, Theorem \[TheoreM1\] impLies the coNclUsIon.

by lemma \[VAnishiNg\_pRopOsition\] (2), The diffERenTiABLE cOhomology of compact GrOUPs Vanishes; Thus, CoROlLaRY \[Theorem2\] ImPliEs thE REsult.

let $x\IN S$ And denotE by $\matHFrAk{G}_x:=\nu_{S,x}^*$ tHe IsotroPy lie AlgEbra oF The tRansitIve algebRoid $A_s$. by hypothesis, $\maTHfrak{g}_x$ is reduCTiVE, I.e. IT splIts As a direct prOducT Of a sEmisIMpLe LIE algeBra anD iTS cENter $\mathfrak{g}_x=\mathfRaK{s}_x\oplUs \matHfrak{z}_x$, where $\mAthfrak{s}_x=[\mATHFrak{g}_x,\maThfrAK{g}_X]$ And $\mathfrak{z}_x=Z(\MathfRak{g}_x)$ is the CEnter of $\mAthfrAk{g}_x$. SincE $\mathfrak{G}:=\NU
{g}^*})$ is compact it isproper, by  Lemm a \ [va ni shin g\_p roposition\] ( 2 ), w e have that $H^2_{\mat hrm{d if f }}(G \ lt imes\mathbb { S} ( { \ma th fr ak{ g} ^ *} );E)= 0$.  The co rollary fo llo ws  from Theore m  \ [Theorem\_ THR EE\].

Let $ P$be the  P ois s on ho mot opy b undleo f $S$,  and let$G $  be it s  struct u r egrou p. By hypothesis, $P $  is smooth, $1 $-conn ec t ed a ndhas  vanishing  s econd de Rham co h o m olo g y. Let $\math cal{G}:=P\t i mes _{G}P$  b e t h e gaug e gro up o idof $P$. The  $s$ -fibers o f $\ma t hcal{G} $  are di ffeomo rph icto $ P $;  t hus ,$ \ma t hc al{ G }$satisfie sth e ass umpt i o n s  ofLem ma \ [vani shing\_propos iti on\] (1) . The refor e $$ H^ {2}(A _S;\ma thcal {S }^k(\nu_S^*))\c ongH^{2}_{\m ath rm {di ff }}(\m a thcal{ G}; \ma thcal{S }^k(\nu _ S^* )) . $ $  S ince $\mathcal{G}$  i s tr ansitive , by L e mm a\ [vanishi ng \_p ropo s i tion\ ] (3 ) ,we havethat $ $ H^ {2 }_{\mat hr m{diff }} (\m ath cal{G } ;\ma thcal{ S}^k(\nu _S^*) ) \cong H^{2}_{\ m athrm{diff}}( G ;\ m a th c al{S }^k (\nu_{S,x}^ *)). $ $ Si nce$ \n u_{ S ,x}^* \cong  \ m at h frak{g}$ as $G$ rep re sentat ions,  Theorem \[Th eorem1\] i m p l ies theconc l us i on.

By Lemma\[van ishing\_pr o position \] (2 ), the d ifferenti a b le cohom olo gyofcom p a ct  groups vanis h e s; t hu s, Coro lla ry \[Th eor em2 \]imp li es the re sult.

L et  $ x\ in  S$  andd enote by  $ \ma th fra k{g}_ x :=\nu_ {S,x} ^*$th ei sot ropy Li e  a l g ebra  o fthetra ns itive  alg e bro id $A_S $. By hyp oth e sis,  $ \m athfrak {g}_x$ is red uc tive, i.e.  i t s plitsa s  a direc t product of a semisimp l e Lie a lge bra a nd i ts center  $\ mathfr ak{ g }_x=\m athfra k{s}_ x\ opl u s  \mat h f ra k{z }_ x$, where$ \ mat hfrak {s }_x= [\mathf rak{g}_x,\mathfrak { g}_ x]$ and $\mat hfr ak{z } _ x= Z(\ m at h fra k{ g }_x ) $  is the centerof $\mathf ra k {g }_x$. Sinc e  $\ ma thfrak{ g}:=\nu 
{g}^*})$ is_compact it_is proper, by Lemma_\[vanishing\_proposition\] (2),_we_have that_$H^2_{\mathrm{diff}}(G\ltimes_\mathbb{S}({\mathfrak{g}^*});E)=0$. The corollary_follows from Theorem_\[Theorem\_THREE\].

Let $P$ be the_Poisson homotopy bundle_of_$S$, and let $G$ be its structure group. By hypothesis, $P$ is smooth, $1$-connected_and_has vanishing_second_de_Rham cohomology. Let $\mathcal{G}:=P\times_{G}P$ be_the gauge groupoid of $P$._The $s$-fibers_of $\mathcal{G}$ are diffeomorphic to $P$; thus, $\mathcal{G}$_satisfies_the assumptions of_Lemma \[vanishing\_proposition\] (1). Therefore $$H^{2}(A_S;\mathcal{S}^k(\nu_S^*))\cong H^{2}_{\mathrm{diff}}(\mathcal{G};\mathcal{S}^k(\nu_S^*)).$$ Since $\mathcal{G}$ is_transitive, by Lemma \[vanishing\_proposition\] (3), we_have that $$H^{2}_{\mathrm{diff}}(\mathcal{G};\mathcal{S}^k(\nu_S^*))\cong_H^{2}_{\mathrm{diff}}(G;\mathcal{S}^k(\nu_{S,x}^*)).$$_Since_$\nu_{S,x}^*\cong \mathfrak{g}$ as $G$_representations, Theorem \[Theorem1\] implies the conclusion.

By_Lemma \[vanishing\_proposition\] (2), the differentiable cohomology_of compact groups vanishes; thus, Corollary \[Theorem2\]_implies the result.

Let $x\in S$ and_denote by $\mathfrak{g}_x:=\nu_{S,x}^*$ the isotropy_Lie algebra_of the transitive algebroid $A_S$._By hypothesis, $\mathfrak{g}_x$_is reductive,_i.e. it splits as_a direct product of a semisimple_Lie algebra and_its center $\mathfrak{g}_x=\mathfrak{s}_x\oplus \mathfrak{z}_x$, where $\mathfrak{s}_x=[\mathfrak{g}_x,\mathfrak{g}_x]$_and_$\mathfrak{z}_x=Z(\mathfrak{g}_x)$ is the_center_of_$\mathfrak{g}_x$. Since_$\mathfrak{g}:=\nu