mathrm{v},\sharp}(\alpha)+\alpha,\gamma^{\mathrm{v},\sharp}(\beta)+\beta]_D\in L_{\gamma}, \ \ \forall \alpha,\beta\in \Gamma(H_{\gamma}^{\circ}).$$ Explicitly, this expression is given by: $$[\gamma^{\mathrm{v},\sharp}(\alpha),\gamma^{\mathrm{v},\sharp}(\beta)]+\iota_{\gamma^{\mathrm{v},\sharp}(\alpha)}d\beta-\iota_{\gamma^{\mathrm{v},\sharp}(\beta)} d\alpha+d\gamma^{\mathrm{v}}(\alpha,\beta),$$ and denote the form part by $[\alpha,\beta]_{\gamma^{\mathrm{v}}}$. Since the vector part is vertical, (\[EQ\_condition1\]) is equivalent to the following two conditions $$\label{EQ_condition2}
[\gamma^{\mathrm{v},\sharp}(\alpha),\gamma^{\mathrm{v},\sharp}(\beta)]=\gamma^{\mathrm{v},\sharp}([\alpha,\beta]_{\gamma^{\mathrm{v}}}),$$ $$\label{EQ_condition3}
[\alpha,\beta]_{\gamma^{\mathrm{v}}}\in \Gamma(H_{\gamma}^{\circ}),$$ for all $\alpha,\beta\in \Gamma(H_{\gamma}^{\circ})$. Now for $\beta\in \Gamma(V^{\circ})$, and any 1-form $\alpha$, we have that $$[\alpha,\beta]_{\gamma^{\mathrm{v}}}=\iota_{\gamma^{\mathrm{v},\sharp}(\alpha)}d\beta\in \Gamma(H_{\gamma}^{\circ}).$$ Therefore, if (\[EQ\_condition2\]) holds, then it holds for all 1-forms $\alpha,\beta\in\Omega^1(E)$. On the other hand, one easily sees (e.g. by applying (\[EQ\_condition2\]) to $\alpha=df,\beta=dg$) that this is equivalent to $\gamma^{\mathrm{v}}$ being Poisson i.e. $[\gamma^{\mathrm{v}},\gamma^{\mathrm{v}}]=0$. For $\alpha,\beta\in\Gamma(H_{\gamma}^{\circ})$, contracting $[\alpha,\beta]_{\gamma^{\mathrm{v}}}$ with $\mathrm{hor}(X)$, for $X\in\mathfrak{X}(S)$, one obtains $$\begin{aligned}
-\iota_{\gamma^{\mathrm{v},\sharp}(\alpha)}&L_{\mathrm{hor}(X)}(\beta)+\iota_{\gamma
mathrm{v},\sharp}(\alpha)+\alpha,\gamma^{\mathrm{v},\sharp}(\beta)+\beta]_D\in L_{\gamma }, \ \ \forall \alpha,\beta\in \Gamma(H_{\gamma}^{\circ}).$$ Explicitly, this expression is given by: $ $ [ \gamma^{\mathrm{v},\sharp}(\alpha),\gamma^{\mathrm{v},\sharp}(\beta)]+\iota_{\gamma^{\mathrm{v},\sharp}(\alpha)}d\beta-\iota_{\gamma^{\mathrm{v},\sharp}(\beta) } d\alpha+d\gamma^{\mathrm{v}}(\alpha,\beta),$$ and denote the form character by $ [ \alpha,\beta]_{\gamma^{\mathrm{v}}}$. Since the vector character is vertical, (\[EQ\_condition1\ ]) is equivalent to the following two conditions $ $ \label{EQ_condition2 } 
 [ \gamma^{\mathrm{v},\sharp}(\alpha),\gamma^{\mathrm{v},\sharp}(\beta)]=\gamma^{\mathrm{v},\sharp}([\alpha,\beta]_{\gamma^{\mathrm{v}}}),$$ $ $ \label{EQ_condition3 } 
 [ \alpha,\beta]_{\gamma^{\mathrm{v}}}\in \Gamma(H_{\gamma}^{\circ}),$$ for all $ \alpha,\beta\in \Gamma(H_{\gamma}^{\circ})$. immediately for $ \beta\in \Gamma(V^{\circ})$, and any 1 - form $ \alpha$, we have that $ $ [ \alpha,\beta]_{\gamma^{\mathrm{v}}}=\iota_{\gamma^{\mathrm{v},\sharp}(\alpha)}d\beta\in \Gamma(H_{\gamma}^{\circ}).$$ consequently, if (\[EQ\_condition2\ ]) holds, then it holds for all 1 - forms $ \alpha,\beta\in\Omega^1(E)$. On the early bridge player, one easily go steady (e.g.   by apply (\[EQ\_condition2\ ]) to $ \alpha = df,\beta = dg$) that this is equivalent to $ \gamma^{\mathrm{v}}$ being Poisson i.e.   $ [ \gamma^{\mathrm{v}},\gamma^{\mathrm{v}}]=0$. For $ \alpha,\beta\in\Gamma(H_{\gamma}^{\circ})$, contracting $ [ \alpha,\beta]_{\gamma^{\mathrm{v}}}$ with $ \mathrm{hor}(X)$, for $ X\in\mathfrak{X}(S)$, one obtains $ $ \begin{aligned } 
 -\iota_{\gamma^{\mathrm{v},\sharp}(\alpha)}&L_{\mathrm{hor}(X)}(\beta)+\iota_{\gamma
matjrm{v},\sharp}(\alpha)+\alpha,\gamma^{\oathrm{v},\sharp}(\betc)+\veta]_D\ii L_{\gammz}, \ \ \foraul \alpha,\beta\in \Gamma(H_{\gamma}^{\cicc}).$$ Ezplicutly, this expression ir given bj: $$[\gamma^{\marhrm{t},\sharp}(\alpha),\gamma^{\mathrm{v},\smcrp}(\befw)]+\iotc_{\gemma^{\mathrm{v},\shark}(\alpha)}d\beta-\imta_{\gamma^{\mathrm{e},\sfaxp}(\beta)} d\alpha+d\gamma^{\mathrm{v}}(\alpha,\beta),$$ wnd denptf the form parj by $[\sjpha,\gvtc]_{\gamma^{\mathrm{v}}}$. Since the vector lart is vertical, (\[EQ\_cpndition1\]) is equivalent to hhe vollowing two condltions $$\labeo{EQ_cjbdition2}
[\gamma^{\oathrm{v},\shag'}(\alpha),\gamma^{\jathrm{v},\sharp}(\beta)]=\gamma^{\mathrm{v},\shafp}([\alpka,\beta]_{\gamma^{\narhrl{e}}}),$$ $$\label{EQ_coiditiog3}
[\alpha,\beta]_{\gamma^{\mathrk{v}}}\in \Gakma(H_{\gamma}^{\circ}),$$ nor anl $\qlpha,\beta\in \Gamma(H_{\gamka}^{\circ})$. Now for $\betw\in \Gamma(E^{\cnrc})$, and any 1-form $\alphq$, qe haee tvat $$[\xophx,\beua]_{\gemmz^{\mathrl{v}}}=\ikta_{\gamma^{\mafhrm{v},\sharp}(\aopha)}d\beta\in \Gamma(H_{\gsmiq}^{\circ}).$$ Therefode, if (\[QQ\_sondition2\]) holds, then it holds for all 1-fmrma $\alpha,\beta\in\Omega^1(E)$. On rhe other hand, one eadily sees (e.g. by applying (\[EQ\_condition2\]) to $\alpha=df,\beta=dg$) that dhis ms eqblyalevr ho $\gamma^{\mathrm{v}}$ being Poisson i.e. $[\gamma^{\mathrm{v}},\gwjms^{\msthrm{v}}]=0$. For $\alpma,\beta\in\Gamma(H_{\gamms}^{\clrv})$, contracting $[\xlpha,\bzfa]_{\famma^{\mathrm{v}}}$ with $\lathrm{hjr}(X)$, fir $X\in\matrfral{X}(S)$, one obtains $$\begin{alignee}
-\iota_{\gamma^{\manhrm{c},\sharp}(\alpha)}&L_{\mathrm{kor}(X)}(\beta)+\iota_{\yamma
mathrm{v},\sharp}(\alpha)+\alpha,\gamma^{\mathrm{v},\sharp}(\beta)+\beta]_D\in L_{\gamma}, \ \ \forall \alpha,\beta\in \Gamma(H_{\gamma}^{\circ}).$$ expression given by: d\alpha+d\gamma^{\mathrm{v}}(\alpha,\beta),$$ and denote Since vector part is (\[EQ\_condition1\]) is equivalent the following two conditions $$\label{EQ_condition2} [\gamma^{\mathrm{v},\sharp}(\alpha),\gamma^{\mathrm{v},\sharp}(\beta)]=\gamma^{\mathrm{v},\sharp}([\alpha,\beta]_{\gamma^{\mathrm{v}}}),$$ [\alpha,\beta]_{\gamma^{\mathrm{v}}}\in \Gamma(H_{\gamma}^{\circ}),$$ for all $\alpha,\beta\in \Gamma(H_{\gamma}^{\circ})$. Now for $\beta\in \Gamma(V^{\circ})$, and any 1-form we have that $$[\alpha,\beta]_{\gamma^{\mathrm{v}}}=\iota_{\gamma^{\mathrm{v},\sharp}(\alpha)}d\beta\in \Gamma(H_{\gamma}^{\circ}).$$ Therefore, if (\[EQ\_condition2\]) holds, then it holds for 1-forms On other one easily sees (e.g. by applying (\[EQ\_condition2\]) to $\alpha=df,\beta=dg$) that this is equivalent to $\gamma^{\mathrm{v}}$ being i.e. $[\gamma^{\mathrm{v}},\gamma^{\mathrm{v}}]=0$. For $\alpha,\beta\in\Gamma(H_{\gamma}^{\circ})$, contracting $[\alpha,\beta]_{\gamma^{\mathrm{v}}}$ with $\mathrm{hor}(X)$, $X\in\mathfrak{X}(S)$, one obtains $$\begin{aligned}
mathrm{v},\sharp}(\alpha)+\alpha,\gamMa^{\mathrm{v},\sHarp}(\bEta)+\BetA]_D\In L_{\gAmma}, \ \ \Forall \alpha,\betA\In \GaMma(H_{\gamma}^{\circ}).$$ ExplicitlY, this ExPRessIOn Is givEn by: $$[\gamMA^{\mATHrm{V},\sHaRp}(\aLpHA),\gAmma^{\mAthRm{v},\sharP}(\beta)]+\iota_{\gAmmA^{\mAthrm{v},\sharp}(\aLPhA)}d\beta-\iota_{\GamMa^{\mathrm{v},\shaRp}(\bEta)} d\alPhA+d\gAMma^{\maThrM{v}}(\alpHa,\beta),$$ ANd denoTe the form PaRT by $[\alpHA,\beta]_{\gaMMA^{\mAthrM{v}}}$. Since the vector pARt IS vertical, (\[EQ\_conDition1\]) Is EQuIVAleNt tO the followInG two cONditionS $$\LaBEL{eQ_cONdition2}
[\gamma^{\mAthrm{v},\sharp}(\ALphA),\gamma^{\MaThrM{V},\sharp}(\Beta)]=\gAmMA^{\maThrm{v},\sharp}([\aLpha,\Beta]_{\gamma^{\Mathrm{V}}}),$$ $$\Label{EQ_COnditioN3}
[\alpha,\BetA]_{\gaMma^{\mAThRm{V}}}\in \gaMMa(H_{\GAmMa}^{\cIRc}),$$ fOr all $\alpHa,\BeTa\in \GAmma(h_{\GAMMa}^{\ciRc})$. NOw foR $\beta\In \Gamma(V^{\circ})$, aNd aNy 1-foRM $\alPha$, we Have tHat $$[\aLpHa,\betA]_{\gamma^{\MathrM{v}}}=\Iota_{\gamma^{\mathrm{V},\shaRp}(\alpha)}d\bEta\In \gamMa(h_{\gammA}^{\Circ}).$$ ThEreForE, if (\[EQ\_coNdition2\]) HOldS, tHEN It Holds for all 1-forms $\alPhA,\BEtA\in\Omega^1(e)$. On the OThEr HAnd, one eaSiLy sEes (e.G. BY applYing (\[eq\_cOndition2\]) To $\alphA=Df,\BeTa=dg$) thaT tHis is eQuIvaLenT to $\gaMMa^{\maThrm{v}}$ bEing PoisSon i.e. $[\GAmma^{\mathrm{v}},\gamMA^{\mathrm{v}}]=0$. For $\alPHa,\BETa\IN\GamMa(H_{\Gamma}^{\circ})$, coNtraCTing $[\AlphA,\BeTa]_{\gAMma^{\maThrm{v}}}$ WiTH $\mAThrm{hor}(X)$, for $X\in\mathfRaK{X}(S)$, one ObtaiNs $$\begin{aligneD}
-\iota_{\gamma^{\MATHrm{v},\sharP}(\alpHA)}&L_{\MAthrm{hor}(X)}(\beta)+\iOta_{\gaMma
mathrm{v},\sharp}(\alpha)+ \alpha,\ga mma^{ \ma thr m{ v},\ shar p}(\beta)+\bet a ]_D\ in L_{\gamma}, \ \ \fo rall\a l pha, \ be ta\in  \Gamma ( H_ { \ gam ma }^ {\c ir c }) .$$ E xpl icitly,  this expr ess io n is given b y :$$[\gamma^ {\m athrm{v},\sh arp }(\alp ha ),\ g amma^ {\m athrm {v},\s h arp}(\ beta)]+\i ot a _{\gam m a^{\mat h r m{ v},\ sharp}(\alpha)}d\ b et a -\iota_{\gamma ^{\mat hr m {v } , \sh arp }(\beta)}d\ alpha + d\gamma ^ {\ m a t hrm { v}}(\alpha,\b eta),$$ and den ote th efor m  partby $[ \a l pha ,\beta]_{\g amma ^{\mathrm {v}}}$ .  Sincet he vect or par t i s v erti c al ,(\[ EQ \ _co n di tio n 1\] ) is equ iv al ent t o th e f o llow ing  two  cond itions $$\lab el{ EQ_c o ndi tion2 }
[\g amma ^{ \math rm{v}, \shar p} (\alpha),\gamma ^{\m athrm{v}, \sh ar p}( \b eta)] = \gamma ^{\ mat hrm{v}, \sharp} ( [\a lp h a , \b eta]_{\gamma^{\mat hr m { v} }}),$$ $ $\labe l {E Q_ c ondition 3} 
[\ alph a , \beta ]_{\ g am ma^{\mat hrm{v} } }\ in  \Gamma (H _{\gam ma }^{ \ci rc}), $ $ fo r all$\alpha, \beta \ in \Gamma(H_{\ g amma}^{\circ} ) $. N ow for$\b eta\in \Gam ma(V ^ {\ci rc}) $ ,and any 1 -form  $ \ al p ha$, we have that $ $[ \alpha ,\bet a]_{\gamma^{\ mathrm{v}} } = \ iota_{\g amma ^ {\ m athrm{v},\shar p}(\a lpha)}d\be t a\in \Ga mma(H _{\gamma }^{\circ} ) . $$ There for e,if(\[ E Q \_ condition2\]) h olds ,then it  ho lds for  al l 1 -fo rms  $ \alpha,\b eta\in\O me ga ^1 (E )$.  On t h e otherha nd,  o neeasil y  sees(e.g.  byap pl y ing  (\[EQ\ _ co n d itio n2 \] ) to  $\ al pha=d f,\b e ta= dg$) th at this i s e q uiva le nt  to $\g amma^{\mathrm {v }}$ beingPo iss on i.e . $[\gamma ^{\mathrm{v}},\gamma^{\ m athrm{v }}] =0$.For$\alpha,\ bet a\in\G amm a (H_{\g amma}^ {\cir c} )$, c ontra c t in g $ [\ alpha,\bet a ] _{\ gamma ^{ \mat hrm{v}} }$ with $\mathrm{h o r}( X)$, for $X\i n\m athf r a k{ X}( S )$ ,  on eo bta i n s $$\begin{alig ned}
-\iot a_ { \g amma^{\mat h rm{ v} ,\sharp }(\alph a)}&L _ {\mathr m{hor}(X) }(\beta)+ \i ota_ { \ gam ma
mathrm{v},\sharp}(\alpha)+\alpha,\gamma^{\mathrm{v},\sharp}(\beta)+\beta]_D\in L_{\gamma},_\ \_\forall \alpha,\beta\in \Gamma(H_{\gamma}^{\circ}).$$ Explicitly,_this expression_is_given by:_$$[\gamma^{\mathrm{v},\sharp}(\alpha),\gamma^{\mathrm{v},\sharp}(\beta)]+\iota_{\gamma^{\mathrm{v},\sharp}(\alpha)}d\beta-\iota_{\gamma^{\mathrm{v},\sharp}(\beta)}_d\alpha+d\gamma^{\mathrm{v}}(\alpha,\beta),$$ and denote_the form part_by $[\alpha,\beta]_{\gamma^{\mathrm{v}}}$. Since the_vector part is_vertical,_(\[EQ\_condition1\]) is equivalent to the following two conditions $$\label{EQ_condition2}
[\gamma^{\mathrm{v},\sharp}(\alpha),\gamma^{\mathrm{v},\sharp}(\beta)]=\gamma^{\mathrm{v},\sharp}([\alpha,\beta]_{\gamma^{\mathrm{v}}}),$$ $$\label{EQ_condition3}
[\alpha,\beta]_{\gamma^{\mathrm{v}}}\in \Gamma(H_{\gamma}^{\circ}),$$ for all $\alpha,\beta\in_\Gamma(H_{\gamma}^{\circ})$._Now for_$\beta\in_\Gamma(V^{\circ})$,_and any 1-form $\alpha$, we_have that $$[\alpha,\beta]_{\gamma^{\mathrm{v}}}=\iota_{\gamma^{\mathrm{v},\sharp}(\alpha)}d\beta\in \Gamma(H_{\gamma}^{\circ}).$$ Therefore,_if (\[EQ\_condition2\])_holds, then it holds for all 1-forms $\alpha,\beta\in\Omega^1(E)$._On_the other hand,_one easily sees (e.g. by applying (\[EQ\_condition2\]) to $\alpha=df,\beta=dg$) that_this is equivalent to $\gamma^{\mathrm{v}}$ being_Poisson i.e. $[\gamma^{\mathrm{v}},\gamma^{\mathrm{v}}]=0$. For_$\alpha,\beta\in\Gamma(H_{\gamma}^{\circ})$,_contracting_$[\alpha,\beta]_{\gamma^{\mathrm{v}}}$ with $\mathrm{hor}(X)$, for_$X\in\mathfrak{X}(S)$, one obtains $$\begin{aligned}
-\iota_{\gamma^{\mathrm{v},\sharp}(\alpha)}&L_{\mathrm{hor}(X)}(\beta)+\iota_{\gamma