R}^n$ is $[\alpha,\beta\otimes u, v\wedge w]\mapsto v\wedge w$; the map $\Lambda^2 \mathbb{R}^n\to H^2(S)\otimes \mathbb{R}^n$, denoted by $[\delta_S\omega]\otimes
\mathrm{Id}$, sends $v\wedge w\mapsto [\delta_S\omega_v]\otimes w-[\delta_S\omega_w]\otimes v$; the map $\mathbb{R}^n\to H^2(S)$ is $[\delta_S\omega]$; the map $H^2(S)\to K$ is $[\alpha]\mapsto [\alpha,0,0]$; the map $K\to H^1(S)\otimes\mathbb{R}^n$ is $[\alpha,\beta\otimes v,0]\mapsto [\beta]\otimes v$; the last map is the one from (c$_3$). When proving exactness, the only nontrivial part of the computation is at $\Lambda^2\mathbb{R}^n$. This is based on a simple fact from linear algebra: $$\label{EQ_4}
\textrm{ker}([\delta_S\omega]\otimes
\mathrm{Id})=\Lambda^2( \textrm{ker}[\delta_S\omega]).$$ So, an element in $\textrm{ker}([\delta_S\omega]\otimes \mathrm{Id})$ can be written as a sum of the form $\sum
v\wedge w$, with $v,w\in \textrm{ker}[\delta_S\omega]$. Writing $\delta_S\omega_{v}=d\eta$, $\delta_S\omega_{w}=d\theta$, for $\eta,\theta\in\Omega^1(S)$, one easily checks that $$(\eta\wedge \theta,
\eta\otimes w-\theta\otimes v, v\wedge w)\in\Omega^2(A_S)$$ is closed. This implies exactness at $\Lambda^2\mathbb{R}^n$. So $H^2(A_S)$ vanishes if and only if (c$_1$) and (c$_3$) hold and the map $[\delta_S\omega]\otimes \mathrm{Id}$ is injective. By (\[EQ\_4\]), injectivity is equivalent to (c$_2$).

We prove that (b) and (c) imply (
R}^n$ is $ [ \alpha,\beta\otimes u, v\wedge w]\mapsto v\wedge w$; the map $ \Lambda^2 \mathbb{R}^n\to H^2(S)\otimes \mathbb{R}^n$, denoted by $ [ \delta_S\omega]\otimes 
 \mathrm{Id}$, sends $ v\wedge w\mapsto [ \delta_S\omega_v]\otimes w-[\delta_S\omega_w]\otimes v$; the function $ \mathbb{R}^n\to H^2(S)$ is $ [ \delta_S\omega]$; the function $ H^2(S)\to K$ is $ [ \alpha]\mapsto [ \alpha,0,0]$; the function $ K\to H^1(S)\otimes\mathbb{R}^n$ is $ [ \alpha,\beta\otimes v,0]\mapsto [ \beta]\otimes v$; the last map is the one from (c$_3 $). When proving exactness, the alone nontrivial part of the computation is at $ \Lambda^2\mathbb{R}^n$. This is establish on a simple fact from linear algebra: $ $ \label{EQ_4 } 
 \textrm{ker}([\delta_S\omega]\otimes 
 \mathrm{Id})=\Lambda^2 (\textrm{ker}[\delta_S\omega]).$$ So, an component in $ \textrm{ker}([\delta_S\omega]\otimes \mathrm{Id})$ can be written as a sum of the shape $ \sum 
 v\wedge w$, with $ v, w\in \textrm{ker}[\delta_S\omega]$. Writing $ \delta_S\omega_{v}=d\eta$, $ \delta_S\omega_{w}=d\theta$, for $ \eta,\theta\in\Omega^1(S)$, one well checks that $ $ (\eta\wedge \theta, 
 \eta\otimes w-\theta\otimes v, v\wedge w)\in\Omega^2(A_S)$$ is closed. This implies exactness at $ \Lambda^2\mathbb{R}^n$. So $ H^2(A_S)$ vanishes if and only if (c$_1 $) and (c$_3 $) hold and the map $ [ \delta_S\omega]\otimes \mathrm{Id}$ is injective. By (\[EQ\_4\ ]), injectivity is equivalent to (c$_2 $). 

 We testify that (b) and (c) imply (
R}^n$ ls $[\alpha,\beta\otimes u, v\weage w]\mapsto v\webte w$; tie map $\Mambda^2 \mxthbb{R}^n\to H^2(S)\otimes \mathbb{R}^n$, venored bt $[\delta_S\omega]\otimes
\matfrm{Id}$, senfs $v\wedgw w\mepsto [\delta_S\omege_b]\otimes w-[\deltz_D\omeya_x]\otimes v$; the msp $\mathbb{R}^t\to H^2(S)$ is $[\deltd_S\umzga]$; the map $H^2(S)\to K$ is $[\alpha]\mapsto [\al[ha,0,0]$; the mwp $K\to H^1(S)\otimef\matnfb{R}^n$ ps $[\alpha,\beta\otimes v,0]\mapsto [\beta]\ktimes n$; the last map is the one from (c$_3$). When provijg edactness, the only jontrivial kzrt if the compugation is at $\Lambda^2\matgbb{R}^n$. This is based on a simple fact from lineqr alhgbra: $$\label{EQ_4}
\vextrm{her}([\delta_S\omens]\otimev
\mathrm{Od})=\Lambda^2( \textrk{kec}[\delra_S\omega]).$$ So, an elemenv in $\textrm{ker}([\delta_S\jmega]\otimas \mathrm{Id})$ can be qrutten as d suo of tht fprj $\sum
v\aedje w$, with $v,s\in \textrm{kwr}[\delta_S\omega]$. Writimg $\eelta_S\omega_{v}=d\sta$, $\dejtw_S\omega_{w}=d\theta$, for $\eta,\theta\in\Omega^1(S)$, one eaaily checks that $$(\eta\wedte \theta,
\eta\otimes w-\thgta\otimes d, v\wedge w)\in\Omega^2(A_S)$$ is closed. This implies exactnass av $\Uamyea^2\matfvb{G}^n$. So $H^2(A_S)$ vanishes if and only if (c$_1$) and (c$_3$) holq amd the map $[\delta_F\omega]\otimex \layrrm{Id}$ is injeztive. Yg (\[SQ\_4\]), injectivity is fquivalgnt to (c$_2$).

We provt thay (b) and (c) imply (
R}^n$ is $[\alpha,\beta\otimes u, v\wedge w]\mapsto v\wedge map \mathbb{R}^n\to H^2(S)\otimes denoted by $[\delta_S\omega]\otimes w-[\delta_S\omega_w]\otimes the map $\mathbb{R}^n\to is $[\delta_S\omega]$; the $H^2(S)\to K$ is $[\alpha]\mapsto [\alpha,0,0]$; the $K\to H^1(S)\otimes\mathbb{R}^n$ is $[\alpha,\beta\otimes v,0]\mapsto [\beta]\otimes v$; the last map is the one (c$_3$). When proving exactness, the only nontrivial part of the computation is at This based a fact from linear algebra: $$\label{EQ_4} \textrm{ker}([\delta_S\omega]\otimes \mathrm{Id})=\Lambda^2( \textrm{ker}[\delta_S\omega]).$$ So, an element in $\textrm{ker}([\delta_S\omega]\otimes \mathrm{Id})$ can be as a sum of the form $\sum v\wedge with $v,w\in \textrm{ker}[\delta_S\omega]$. Writing $\delta_S\omega_{w}=d\theta$, for $\eta,\theta\in\Omega^1(S)$, one easily that \theta, \eta\otimes v, w)\in\Omega^2(A_S)$$ closed. This implies at $\Lambda^2\mathbb{R}^n$. So $H^2(A_S)$ vanishes if and only if (c$_1$) and (c$_3$) hold and the map $[\delta_S\omega]\otimes is injective. injectivity is to We that (b) and (
R}^n$ is $[\alpha,\beta\otimes u, v\wedgE w]\mapsto v\wEdge w$; The Map $\laMbda^2 \MathBb{R}^n\to H^2(S)\otimes \MAthbB{R}^n$, denoted by $[\delta_S\omegA]\otimEs
\MAthrM{id}$, Sends $V\wedge w\MApSTO [\deLtA_S\OmeGa_V]\OtImes w-[\DelTa_S\omegA_w]\otimes v$; tHe mAp $\Mathbb{R}^n\to H^2(S)$ IS $[\dElta_S\omega]$; The Map $H^2(S)\to K$ is $[\alPha]\Mapsto [\AlPha,0,0]$; THe map $k\to h^1(S)\otiMes\matHBb{R}^n$ is $[\Alpha,\beta\OtIMes v,0]\maPSto [\beta]\OTImEs v$; tHe last map is the one FRoM (C$_3$). When proving exActnesS, tHE oNLY noNtrIvial part oF tHe comPUtation IS aT $\lAMbdA^2\Mathbb{R}^n$. This iS based on a siMPle Fact frOm LinEAr algeBra: $$\laBeL{eQ_4}
\tExtrm{ker}([\delTa_S\oMega]\otimeS
\mathrM{id})=\LambdA^2( \Textrm{kEr}[\deltA_S\oMegA]).$$ So, aN ElEmEnt In $\TExtRM{kEr}([\dELta_s\omega]\otImEs \MathrM{Id})$ cAN BE WritTen As a sUm of tHe form $\sum
v\wedGe w$, With $V,W\in \TextrM{ker}[\dElta_s\oMega]$. WRiting $\Delta_s\oMega_{v}=d\eta$, $\delta_S\OmegA_{w}=d\theta$, fOr $\eTa,\TheTa\In\OmeGA^1(S)$, one eAsiLy cHecks thAt $$(\eta\weDGe \tHeTA,
\ETa\Otimes w-\theta\otimes V, v\WEDgE w)\in\OmegA^2(A_S)$$ is cLOsEd. tHis impliEs ExaCtneSS At $\LamBda^2\mAThBb{R}^n$. So $H^2(A_s)$ vanisHEs If And only If (C$_1$) and (c$_3$) hOlD anD thE map $[\dELta_S\Omega]\oTimes \matHrm{Id}$ IS injective. By (\[EQ\_4\]), INjectivity is eQUiVALeNT to (c$_2$).

we pRove that (b) anD (c) imPLy (
R}^n$ is $[\alpha,\beta\ot imes u, v\ wedge  w] \ma ps to v \wed ge w$; the map $\La mbda^2 \mathbb{R}^n\to  H^2( S) \ otim e s\math bb{R}^n $ ,d e not ed  b y $ [\ d el ta_S\ ome ga]\oti mes
\mathr m{I d} $, sends $v\ w ed ge w\mapst o [ \delta_S\ome ga_ v]\oti me s w - [\del ta_ S\ome ga_w]\ o timesv$; the m ap $\math b b{R}^n\ t o  H ^2(S )$ is $[\delta_S\ o me g a]$; the map $ H^2(S) \t o  K $ is$[\ alpha]\map st o [\a l pha,0,0 ] $; t h e m a p $K\to H^1(S )\otimes\ma t hbb {R}^n$  i s $ [ \alpha ,\bet a\ o tim es v,0]\map sto[\beta]\o timesv $; thel ast map  is th e o nefrom (c $_ 3$) .W hen pr ovi n g e xactness ,th e onl y no n t r i vial  pa rt o f the  computationisat $ \ Lam bda^2 \math bb{R }^ n$. T his is  base don a simple fac t fr om linear  al ge bra :$$\la b el{EQ_ 4}\te xtrm{ke r}([\de l ta_ S\ o m e ga ]\otimes
\mathrm{I d} ) = \L ambda^2(  \text r m{ ke r }[\delta _S \om ega] ) . $$ So , an el ement in  $\tex t rm {k er}([\d el ta_S\o me ga] \ot imes\ math rm{Id} )$ can b e wri t ten as a sum o f  the form $\s u mv \ we d ge w $,with $v,w\i n \t e xtrm {ker } [\ del t a_S\o mega] $. Wr i ting $\delta_S\omeg a_ {v}=d\ eta$,  $\delta_S\om ega_{w}=d\ t h e ta$, for  $\e t a, \ theta\in\Omega ^1(S) $, one eas i ly check s tha t $$(\et a\wedge \ t h eta,
\et a\o tim esw-\ t h et a\otimes v, v \ w edge  w )\in\Om ega ^2(A_S) $$isclo sed .This impl ies exac tn es sat  $\ Lambd a ^2\mathb b{ R}^ n$ . S o $H^ 2 (A_S)$  vani shes  i fa ndonly if (c $ _ 1$)an d(c$_ 3$)  h old a nd t h e m ap $[\d elta_S\om ega ] \oti me s\mathrm {Id}$ is inje ct ive. By (\ [E Q\_ 4\]),i n jectivit y is equivalent to (c$_ 2 $).

We  pr ove t hat(b) and ( c)imply(
R}^n$ is_$[\alpha,\beta\otimes u,_v\wedge w]\mapsto v\wedge w$;_the map_$\Lambda^2_\mathbb{R}^n\to H^2(S)\otimes_\mathbb{R}^n$,_denoted by $[\delta_S\omega]\otimes
\mathrm{Id}$,_sends $v\wedge w\mapsto_[\delta_S\omega_v]\otimes w-[\delta_S\omega_w]\otimes v$; the_map $\mathbb{R}^n\to H^2(S)$_is_$[\delta_S\omega]$; the map $H^2(S)\to K$ is $[\alpha]\mapsto [\alpha,0,0]$; the map $K\to H^1(S)\otimes\mathbb{R}^n$ is $[\alpha,\beta\otimes_v,0]\mapsto_[\beta]\otimes v$;_the_last_map is the one from_(c$_3$). When proving exactness, the_only nontrivial_part of the computation is at $\Lambda^2\mathbb{R}^n$. This_is_based on a_simple fact from linear algebra: $$\label{EQ_4}
\textrm{ker}([\delta_S\omega]\otimes
\mathrm{Id})=\Lambda^2( \textrm{ker}[\delta_S\omega]).$$ So, an_element in $\textrm{ker}([\delta_S\omega]\otimes \mathrm{Id})$ can be_written as a_sum_of_the form $\sum
v\wedge w$,_with $v,w\in \textrm{ker}[\delta_S\omega]$. Writing $\delta_S\omega_{v}=d\eta$, $\delta_S\omega_{w}=d\theta$,_for $\eta,\theta\in\Omega^1(S)$, one easily checks that_$$(\eta\wedge \theta,
\eta\otimes w-\theta\otimes v, v\wedge w)\in\Omega^2(A_S)$$ is_closed. This implies exactness at $\Lambda^2\mathbb{R}^n$._So $H^2(A_S)$ vanishes if and_only if_(c$_1$) and (c$_3$) hold and_the map $[\delta_S\omega]\otimes_\mathrm{Id}$ is_injective. By (\[EQ\_4\]),_injectivity is equivalent to (c$_2$).

We prove_that (b) and_(c) imply (