i\otimes 1 
            + 1\otimes 1\otimes\alpha_i,     \\
\eta = \beta\otimes 1\otimes1 + 1\otimes\beta\otimes 1 
            + 1\otimes 1\otimes\beta. \end{gathered}$$ Since $q_k^*$ is injective we shall abuse notation and not take care to distinguish between elements of $H^*({\ensuremath{\operatorname{Sym}^{k}\!{\Sigma}}})$ and their images in $H^*(\Sigma^k)$, and will regard the $\zeta_i$ and $\theta$ as generators of $H^*({{\ensuremath{\operatorname{Sym}^{2}\!{\Sigma}}}})$, and the $\xi_i$ and $\eta$ as generators of $H^*({{\ensuremath{\operatorname{Sym}^{3}\!{\Sigma}}}})$.

The cohomology calculation
--------------------------

Returning to the Mayer-Vietoris sequence, letting $$\Phi_i\co H^i({{\ensuremath{\operatorname{Sym}^{3}\!{\Sigma}}}})\oplus H^i({{\ensuremath{\operatorname{Sym}^{2}\!{\Sigma}}}})\rightarrow H^i(\Sigma\times\Sigma)$$ be the map $\iota^*\oplus q_2^*=(q_3\circ\operatorname{id}\times\Delta)^*\oplus q_2^*$ we have the short exact sequence $$0\rightarrow \operatorname{coker}\Phi_{i-1} \rightarrow H^i({\ensuremath{E_3\Sigma}})\rightarrow
\ker\Phi_i\rightarrow 0.$$ Since $H^i({{\ensuremath{\operatorname{Sym}^{3}\!{\Sigma}}}})\oplus H^i({{\ensuremath{\operatorname{Sym}^{2}\!{\Sigma}}}})$ is free the kernel of $\Phi_i$ is too, so the sequence splits and we get $$\label{directsum.eq}
H^i({\ensuremath{E_3\Sigma}})\cong\operatorname{coker}\Phi_{i-1}\oplus\ker\Phi_i.$$ In what follows we calculate the kernel and cokernel of each $\Phi_i$.

### Dimension one {#dimension-one.unnumbered}

Both $H^1({{\ensuremath{\operatorname{Sym}^{3}\!{\Sigma}}}})\oplus H^1({{\ensuremath{\operatorname{Sym}^{2}\!{\Sigma}}}})$ and $H^1(\Sigma\times\Sigma)$ have rank $4g$, with bases $\{\xi_i\}\cup\{\zeta_
i\otimes 1 
             + 1\otimes 1\otimes\alpha_i,      \\ 
 \eta = \beta\otimes 1\otimes1 + 1\otimes\beta\otimes 1 
             + 1\otimes 1\otimes\beta. \end{gathered}$$ Since $ q_k^*$ is injective we shall abuse notation and not take care to identify between chemical element of $ H^*({\ensuremath{\operatorname{Sym}^{k}\!{\Sigma}}})$ and their images in $ H^*(\Sigma^k)$, and will regard the $ \zeta_i$ and $ \theta$ as generators of $ H^*({{\ensuremath{\operatorname{Sym}^{2}\!{\Sigma}}}})$, and the $ \xi_i$ and $ \eta$ as generator of $ H^*({{\ensuremath{\operatorname{Sym}^{3}\!{\Sigma}}}})$. 

 The cohomology calculation 
 -------------------------- 

 Returning to the Mayer - Vietoris sequence, get $ $ \Phi_i\co H^i({{\ensuremath{\operatorname{Sym}^{3}\!{\Sigma}}}})\oplus H^i({{\ensuremath{\operatorname{Sym}^{2}\!{\Sigma}}}})\rightarrow H^i(\Sigma\times\Sigma)$$ embody the map $ \iota^*\oplus q_2^*=(q_3\circ\operatorname{id}\times\Delta)^*\oplus q_2^*$ we suffer the short exact succession $ $ 0\rightarrow \operatorname{coker}\Phi_{i-1 } \rightarrow H^i({\ensuremath{E_3\Sigma}})\rightarrow 
 \ker\Phi_i\rightarrow 0.$$ Since $ H^i({{\ensuremath{\operatorname{Sym}^{3}\!{\Sigma}}}})\oplus H^i({{\ensuremath{\operatorname{Sym}^{2}\!{\Sigma}}}})$ is free the kernel of $ \Phi_i$ is too, so the sequence separate and we get $ $ \label{directsum.eq } 
 H^i({\ensuremath{E_3\Sigma}})\cong\operatorname{coker}\Phi_{i-1}\oplus\ker\Phi_i.$$ In what follow we calculate the kernel and cokernel of each $ \Phi_i$. 

 # # # Dimension one { # dimension-one.unnumbered } 

 Both $ H^1({{\ensuremath{\operatorname{Sym}^{3}\!{\Sigma}}}})\oplus H^1({{\ensuremath{\operatorname{Sym}^{2}\!{\Sigma}}}})$ and $ H^1(\Sigma\times\Sigma)$ have rate $ 4g$, with bases $ \{\xi_i\}\cup\{\zeta _
i\otlmes 1 
            + 1\otimer 1\otimes\alpha_i,     \\
\eta = \beta\ktimes 1\ogimes1 + 1\otimes\beta\otimes 1 
            + 1\otimes 1\otimes\beta. \evd{gatheref}$$ Since $w_k^*$ iw injective we shall abuss notctmon and not takg care to divtinguish betwaev zlements of $H^*({\ensuremath{\operatorname{Srm}^{k}\!{\Sigms}}})$ wnd their imaggs in $R^*(\Sigja^k)$, and will regard the $\zeta_i$ and $\fheta$ av generators pf $H^*({{\ensuremath{\operatorname{Dym}^{2}\!{\Slgma}}}})$, and the $\xi_i$ ajd $\eta$ as ggherwrors of $H^*({{\ensjremath{\opegctorname{Sym}^{3}\!{\Aigma}}}})$.

The cohomology calculation
--------------------------

Feturuing to the Mqyeg-Eietoris sewuencv, letting $$\Phi_l\bo H^i({{\envurematn{\operatorname{Snm}^{3}\!{\Sigka}}}})\oplus H^i({{\ensuremath{\operetorname{Sym}^{2}\!{\Sigma}}}})\righjarrow H^i(\Shgja\times\Sigma)$$ be tye map $\hota^*\mplur q_2^*=(q_3\zird\o'erztornale{iv}\times\Delta)^*\kplus q_2^*$ we yave the short exacu sqwuence $$0\rightadrow \o[ewatorname{coker}\Phi_{i-1} \rightarrow H^i({\ensuremdth{S_3\Sigma}})\rightarrow
\ker\Phi_i\eightarrow 0.$$ Since $H^i({{\ejsuremath{\jperatorname{Sym}^{3}\!{\Sigma}}}})\oplus H^i({{\ensuremath{\operatornama{Sym}^{2}\!{\Smgoa}}}})$ nw fred tje kernel of $\Phi_i$ is too, so the sequence spliea snc we get $$\label{birectsum.eq}
H^i({\ensirfmsjh{E_3\Sigma}})\cong\opgratorncje{doker}\Phi_{i-1}\oplus\ker\Pji_i.$$ In rhat dollows wt calvulate the kernel and cokerbel of each $\Ihi_i$.

### Dimension one {#dimznsion-one.unnbmberec}

Both $H^1({{\ensuremath{\operatornamz{Sym}^{3}\!{\Sifma}}}})\oplus H^1({{\ejsuremath{\koeratorname{Sym}^{2}\!{\Siema}}}})$ atd $H^1(\Sigma\times\Sigma)$ have rwnk $4g$, witi baszs $\{\xi_i\}\cuo\{\zets_
i\otimes 1 + 1\otimes 1\otimes\alpha_i, \\ \eta 1\otimes1 1\otimes\beta\otimes 1 1\otimes 1\otimes\beta. \end{gathered}$$ shall notation and not care to distinguish elements of $H^*({\ensuremath{\operatorname{Sym}^{k}\!{\Sigma}}})$ and their images $H^*(\Sigma^k)$, and will regard the $\zeta_i$ and $\theta$ as generators of $H^*({{\ensuremath{\operatorname{Sym}^{2}\!{\Sigma}}}})$, and $\xi_i$ and $\eta$ as generators of $H^*({{\ensuremath{\operatorname{Sym}^{3}\!{\Sigma}}}})$. The cohomology calculation -------------------------- Returning to Mayer-Vietoris letting H^i({{\ensuremath{\operatorname{Sym}^{3}\!{\Sigma}}}})\oplus H^i(\Sigma\times\Sigma)$$ be the map $\iota^*\oplus q_2^*=(q_3\circ\operatorname{id}\times\Delta)^*\oplus q_2^*$ we have the short exact sequence $$0\rightarrow \operatorname{coker}\Phi_{i-1} \rightarrow \ker\Phi_i\rightarrow 0.$$ Since $H^i({{\ensuremath{\operatorname{Sym}^{3}\!{\Sigma}}}})\oplus H^i({{\ensuremath{\operatorname{Sym}^{2}\!{\Sigma}}}})$ is free the of $\Phi_i$ is too, the sequence splits and we $$\label{directsum.eq} In what we the and cokernel of $\Phi_i$. ### Dimension one {#dimension-one.unnumbered} Both $H^1({{\ensuremath{\operatorname{Sym}^{3}\!{\Sigma}}}})\oplus H^1({{\ensuremath{\operatorname{Sym}^{2}\!{\Sigma}}}})$ and $H^1(\Sigma\times\Sigma)$ have rank $4g$, with bases $\{\xi_i\}\cup\{\zeta_
i\otimes 1 
            + 1\otimes 1\otimes\alpha_i,     \\
\Eta = \beta\otiMes 1\otImeS1 + 1\otImEs\beTa\otImes 1 
            + 1\otimes 1\otimES\betA. \end{gathered}$$ Since $q_k^*$ is iNjectIvE We shALl Abuse NotatioN AnD NOt tAkE cAre To DIsTinguIsh Between Elements of $h^*({\enSuRemath{\operatORnAme{Sym}^{k}\!{\SigMa}}})$ aNd their imageS in $h^*(\Sigma^K)$, aNd wILl regArd The $\zeTa_i$ and $\THeta$ as GeneratorS oF $h^*({{\ensurEMath{\opeRAToRnamE{Sym}^{2}\!{\Sigma}}}})$, and the $\xi_I$ AnD $\Eta$ as generatorS of $H^*({{\enSuREmATH{\opEraTorname{Sym}^{3}\!{\siGma}}}})$.

ThE CohomolOGy CALCulATion
--------------------------

Returning To the Mayer-VIEtoRis seqUeNce, LEtting $$\phi_i\cO H^I({{\EnsUremath{\operAtorName{Sym}^{3}\!{\SiGma}}}})\oplUS H^i({{\ensuREmath{\opEratorNamE{SyM}^{2}\!{\SigMA}}}})\rIgHtaRrOW H^i(\sIgMa\tIMes\sigma)$$ be tHe MaP $\iota^*\OpluS Q_2^*=(Q_3\CIrc\oPerAtorName{iD}\times\Delta)^*\opLus Q_2^*$ we hAVe tHe shoRt exaCt seQuEnce $$0\rIghtarRow \opErAtorname{coker}\PhI_{i-1} \riGhtarrow H^I({\enSuRemAtH{E_3\SigMA}})\rightArrOw
\kEr\Phi_i\rIghtarrOW 0.$$ SiNcE $h^I({{\EnSuremath{\operatornaMe{sYM}^{3}\!{\SIgma}}}})\opluS H^i({{\ensUReMaTH{\operatoRnAme{sym}^{2}\!{\SIGMa}}}})$ is fRee tHE kErnel of $\PHi_i$ is tOO, sO tHe sequeNcE splitS aNd wE geT $$\labeL{DireCtsum.eQ}
H^i({\ensurEmath{e_3\sigma}})\cong\operaTOrname{coker}\PhI_{I-1}\oPLUs\KEr\PhI_i.$$ IN what followS we cALculAte tHE kErnEL and cOkernEl OF eACh $\Phi_i$.

### Dimension one {#dImEnsion-One.unNumbered}

Both $H^1({{\Ensuremath{\OPERatornamE{Sym}^{3}\!{\sIgMA}}}})\oplus H^1({{\ensuremAth{\opEratorname{sYm}^{2}\!{\Sigma}}}})$ aNd $H^1(\SiGma\times\sigma)$ have RANk $4g$, with bAseS $\{\xi_I\}\cuP\{\zeTA_
i\otimes 1 
            +1\otimes 1 \otim es\ alp ha _i,   \\
\eta = \bet a \oti mes 1\otimes1 + 1\otim es\be ta \ otim e s1 
        + 1\o ti me s 1 \o t im es\be ta.  \end{g athered}$$  Si nc e $q_k^*$ is in jective we  sh all abuse no tat ion an dnot takecar e todistin g uish b etween el em e nts of $H^*({\ e n su rema th{\operatorname{ S ym } ^{k}\!{\Sigma} }})$ a nd th e i r i mag es in $H^* (\ Sigma ^ k)$, an d  w i l l  re g ard the $\zet a_i$ and $\ t het a$ asge ner a tors o f $H^ *( { {\e nsuremath{\ oper atorname{ Sym}^{ 2 }\!{\Si g ma}}}}) $, and  th e $ \xi_ i $an d $ \e t a$a sgen e rat ors of $ H^ *( {{\en sure m a t h {\op era torn ame{S ym}^{3}\!{\Si gma }}}} ) $.
Thecohom olog ycalcu lation 
---- -- --------------- ---- -

Return ing  t o t he  Maye r -Vieto ris  se quence,  lettin g  $$ \P h i _ i\ co H^i({{\ensurema th { \ op eratorna me{Sym } ^{ 3} \ !{\Sigma }} }}) \opl u s  H^i( {{\e n su remath{\ operat o rn am e{Sym}^ {2 }\!{\S ig ma} }}} )\rig h tarr ow H^i (\Sigma\ times \ Sigma)$$ be th e  map $\iota^* \ op l u sq _2^* =(q _3\circ\ope rato r name {id} \ ti mes \ Delta )^*\o pl u sq _2^*$ we have the s ho rt exa ct se quence $$0\ri ghtarrow \ o p e ratornam e{co k er } \Phi_{i-1} \ri ghtar row H^i({\ e nsuremat h{E_3 \Sigma}} )\rightar r o w
\ker\P hi_ i\r igh tar r o w0.$$ Since $H ^ i ({{\ en suremat h{\ operato rna me{ Sym }^{ 3} \!{\Sigma }}}})\op lu sH^ i( {{\ ensur e math{\op er ato rn ame {Sym} ^ {2}\!{ \Sigm a}}} }) $i s f ree the ke r n el o f$\ Phi_ i$is  too,  sot hesequenc e splitsand we g et  $ $\label {directsum.eq }H^i({\ensu re mat h{E_3\ S i gma}})\c ong\operatorname{coker} \ Phi_{i- 1}\ oplus \ker \Phi_i.$$  In  whatfol l ows we  calcu lateth e k e r nel a n d  c oke rn el of each $ \Ph i_i$. 
###Dimensi on one {#dimension - one .unnumbered}
Bo th $ H ^ 1( {{\ e ns u rem at h {\o p e ratorname{Sym}^ {3}\!{\Sig ma } }} })\oplus H ^ 1({ {\ ensurem ath{\op erato r name{Sy m}^{2}\!{ \Sigma}}} }) $ an d $H^ 1(\Sigma\t imes\Sig ma)$ have rank$ 4g $, wi thbases$\ {\x i_i\} \cup\{ \ zet a_
i\otimes 1_
 _   _ __ __+ 1\otimes 1\otimes\alpha_i,_  _ \\
\eta = \beta\otimes_1\otimes1 + 1\otimes\beta\otimes_1_
            + 1\otimes_1\otimes\beta._\end{gathered}$$ Since_$q_k^*$_is_injective we shall abuse notation_and not take care to_distinguish between_elements of $H^*({\ensuremath{\operatorname{Sym}^{k}\!{\Sigma}}})$ and their images in $H^*(\Sigma^k)$,_and_will regard the_$\zeta_i$ and $\theta$ as generators of $H^*({{\ensuremath{\operatorname{Sym}^{2}\!{\Sigma}}}})$, and the_$\xi_i$ and $\eta$ as generators of_$H^*({{\ensuremath{\operatorname{Sym}^{3}\!{\Sigma}}}})$.

The cohomology calculation
--------------------------

Returning_to_the_Mayer-Vietoris sequence, letting $$\Phi_i\co_H^i({{\ensuremath{\operatorname{Sym}^{3}\!{\Sigma}}}})\oplus H^i({{\ensuremath{\operatorname{Sym}^{2}\!{\Sigma}}}})\rightarrow H^i(\Sigma\times\Sigma)$$ be the map_$\iota^*\oplus q_2^*=(q_3\circ\operatorname{id}\times\Delta)^*\oplus q_2^*$ we have the_short exact sequence $$0\rightarrow \operatorname{coker}\Phi_{i-1} \rightarrow H^i({\ensuremath{E_3\Sigma}})\rightarrow
\ker\Phi_i\rightarrow_0.$$ Since $H^i({{\ensuremath{\operatorname{Sym}^{3}\!{\Sigma}}}})\oplus H^i({{\ensuremath{\operatorname{Sym}^{2}\!{\Sigma}}}})$ is free_the kernel of $\Phi_i$ is_too, so_the sequence splits and we_get $$\label{directsum.eq}
H^i({\ensuremath{E_3\Sigma}})\cong\operatorname{coker}\Phi_{i-1}\oplus\ker\Phi_i.$$ In_what follows_we calculate the_kernel and cokernel of each $\Phi_i$.

###_Dimension one {#dimension-one.unnumbered}

Both_$H^1({{\ensuremath{\operatorname{Sym}^{3}\!{\Sigma}}}})\oplus H^1({{\ensuremath{\operatorname{Sym}^{2}\!{\Sigma}}}})$ and $H^1(\Sigma\times\Sigma)$ have rank_$4g$,_with bases $\{\xi_i\}\cup\{\zeta_