 P(i)}m_e(e)$$ on $S_{\overline{k}}$. Since $m\in\ker(d)$, this divisor has degree 0 on every component $S_i$. Moreover, it is Galois invariant, hence there exists a function $f_S^m\in k(S)^\times$ with this divisor (we note that $k(S)$ is isomorphic to the field of rational functions in one variable $k_S(x)$ over $k_S$). Repeating the argument for all components $S\subset Y$ proves the lemma.

Let $(f^m_S)_{S\subset Y}$ be an element as in the lemma above. Then we have $$\begin{aligned}
\sum_{S\subset Y}\mathrm{div}(f_S^m)&=\sum_{i\in{\ensuremath{\mathscr{V}}}}\text{div}(f_i^m)\\
&=\sum_{i\in{\ensuremath{\mathscr{V}}}}\sum_{e\in Z(i)}m_e(e)-\sum_{i\in{\ensuremath{\mathscr{V}}}}\sum_{e\in P(i)}m_e(e)\\
&=\sum_{e\in {\ensuremath{\mathscr{E}}}}m_e(e)-\sum_{e\in {\ensuremath{\mathscr{E}}}}m_e(e)\\
&=0.\end{aligned}$$ Thus by (\[MotCoh-surface\]), the tuple $(f_S^m)_{S\subset Y}$ gives an element of $\text{Ch}_Y^2(X,1)$ and we define $\Theta(m)$ to be this element. Repeating for the other basis elements and extending linearly gives the definition of $\Theta$.

In fact the map $\Theta$ is “essentially” surjective in the following sense. Note that the choice of $f_S^m$ is well-defined up to multiplication by an element of $k(S)^\times$ whose divisor is 0, i.e. an element of $k_S^\times$. It follows that $\Theta$ induces a map $$\label{Theta}
\tilde{\Theta}:\left(\bigoplus_{S\subset Y}k_S^\times\right)\oplus {\ensuremath{\mathrm{H}}}_1({\ensuremath{\mathfrak{G}}},{\ensuremath{\mathbb{Z}}})^{\operatorname{Gal}(\overline{k}/k)}\rightarrow \text
P(i)}m_e(e)$$ on $ S_{\overline{k}}$. Since $ m\in\ker(d)$, this divisor has degree 0 on every component $ S_i$. Moreover, it is Galois invariant, therefore there exist a function $ f_S^m\in k(S)^\times$ with this divisor (we note that $ k(S)$ is isomorphous to the field of intellectual functions in one variable $ k_S(x)$ over $ k_S$). repeat the argumentation for all components $ S\subset Y$ prove the lemma. 

 Let $ (f^m_S)_{S\subset Y}$ be an element as in the lemma above. Then we get $ $ \begin{aligned } 
 \sum_{S\subset Y}\mathrm{div}(f_S^m)&=\sum_{i\in{\ensuremath{\mathscr{V}}}}\text{div}(f_i^m)\\ 
 & = \sum_{i\in{\ensuremath{\mathscr{V}}}}\sum_{e\in Z(i)}m_e(e)-\sum_{i\in{\ensuremath{\mathscr{V}}}}\sum_{e\in P(i)}m_e(e)\\ 
 & = \sum_{e\in { \ensuremath{\mathscr{E}}}}m_e(e)-\sum_{e\in { \ensuremath{\mathscr{E}}}}m_e(e)\\ 
 & = 0.\end{aligned}$$ Thus by (\[MotCoh - surface\ ]), the tuple $ (f_S^m)_{S\subset Y}$ gives an element of $ \text{Ch}_Y^2(X,1)$ and we define $ \Theta(m)$ to be this element. Repeating for the early basis elements and extending linearly yield the definition of $ \Theta$. 

 In fact the map $ \Theta$ is “ essentially ” surjective in the following common sense. Note that the option of $ f_S^m$ is well - defined up to multiplication by an element of $ k(S)^\times$ whose divisor is 0, i.e. an element of $ k_S^\times$. It follows that $ \Theta$ induces a function $ $ \label{Theta } 
 \tilde{\Theta}:\left(\bigoplus_{S\subset Y}k_S^\times\right)\oplus { \ensuremath{\mathrm{H}}}_1({\ensuremath{\mathfrak{G}}},{\ensuremath{\mathbb{Z}}})^{\operatorname{Gal}(\overline{k}/k)}\rightarrow \text
 P(i)}l_e(e)$$ on $S_{\overline{k}}$. Since $o\in\ker(d)$, this dirusor hes degrse 0 on exery component $S_i$. Moreover, iv is Galous invariant, hence thefe exists a functuon $h_S^m\in k(S)^\times$ wivg this divisod (we uove that $k(S)$ is ixomorphic do the field ox facional functions in one variable $k_S(x)$ over $k_X$). Gepeating the wrgukqnt ror all components $S\subset Y$ provea the ltmma.

Let $(f^m_S)_{S\subset Y}$ be an element as in the lemla above. Then we hwve $$\begin{alugneq}
\wum_{S\subset Y}\oathrm{div}(f_S^m)&=\sum_{i\in{\ensutemath{\mathscr{V}}}}\text{div}(f_i^m)\\
&=\sum_{i\in{\enruremcth{\mathscr{V}}}}\wun_{e\ij Z(i)}m_e(e)-\sum_{i\ii{\ensurvmath{\mathscr{V}}}}\sum_{e\in P(h)}m_e(e)\\
&=\sum_{r\in {\ensuremath{\katiscr{W}}}}m_e(e)-\sum_{e\in {\ensuremath{\kathscr{E}}}}m_e(e)\\
&=0.\end{aligged}$$ Thus ty (\[MotCoh-surface\]), thw ruple $(f_S^m)_{V\subrwt H}$ gjvxs zn elelenv of $\text{Ch}_G^2(X,1)$ and we dwfine $\Theta(m)$ to be uhif element. Repezting sow the other basis elements and extendinc ljnearly gives the definution of $\Theta$.

In fact the map $\Eheta$ is “essentially” surjective in the following vense. Vott bmat gye choice of $f_S^m$ is well-defined up to multiplicwfipn by an element of $k(S)^\times$ wjoxg divisor is 0, k.e. an zmejent of $k_S^\times$. It followf thar $\Theta$ igducrs a map $$\label{Theta}
\tilde{\Thera}:\left(\bigoplls_{S\sybset Y}k_S^\times\righc)\oplus {\ensurzmath{\msthrm{N}}}_1({\ensuremath{\mathfrak{G}}},{\ensbrematg{\mathbb{Z}}})^{\opegatorname{Fxl}(\overline{k}/k)}\righgargow \dext
P(i)}m_e(e)$$ on $S_{\overline{k}}$. Since $m\in\ker(d)$, this divisor 0 every component Moreover, it is a $f_S^m\in k(S)^\times$ with divisor (we note $k(S)$ is isomorphic to the field rational functions in one variable $k_S(x)$ over $k_S$). Repeating the argument for all $S\subset Y$ proves the lemma. Let $(f^m_S)_{S\subset Y}$ be an element as in lemma Then have \sum_{S\subset Y}\mathrm{div}(f_S^m)&=\sum_{i\in{\ensuremath{\mathscr{V}}}}\text{div}(f_i^m)\\ &=\sum_{i\in{\ensuremath{\mathscr{V}}}}\sum_{e\in Z(i)}m_e(e)-\sum_{i\in{\ensuremath{\mathscr{V}}}}\sum_{e\in P(i)}m_e(e)\\ &=\sum_{e\in {\ensuremath{\mathscr{E}}}}m_e(e)-\sum_{e\in {\ensuremath{\mathscr{E}}}}m_e(e)\\ &=0.\end{aligned}$$ Thus by (\[MotCoh-surface\]), the tuple $(f_S^m)_{S\subset Y}$ an element of $\text{Ch}_Y^2(X,1)$ and we define $\Theta(m)$ be this element. Repeating the other basis elements and linearly the definition $\Theta$. fact map $\Theta$ is surjective in the following sense. Note that the choice of $f_S^m$ is well-defined up to multiplication by element of divisor is i.e. element $k_S^\times$. It follows induces a map $$\label{Theta} \tilde{\Theta}:\left(\bigoplus_{S\subset Y}k_S^\times\right)\oplus
 P(i)}m_e(e)$$ on $S_{\overline{k}}$. Since $m\in\Ker(d)$, this diVisor Has DegReE 0 on eVery Component $S_i$. MorEOver, It is Galois invariant, henCe theRe EXistS A fUnctiOn $f_S^m\in K(s)^\tIMEs$ wItH tHis DiVIsOr (we nOte That $k(S)$ iS isomorphiC to ThE field of ratiONaL functions In oNe variable $k_S(X)$ ovEr $k_S$). RePeAtiNG the aRguMent fOr all cOMponenTs $S\subset y$ pROves thE Lemma.

LeT $(F^M_S)_{s\subSet Y}$ be an element as IN tHE lemma above. TheN we havE $$\bEGiN{ALigNed}
\Sum_{S\subset y}\mAthrm{DIv}(f_S^m)&=\suM_{I\iN{\ENSurEMath{\mathscr{V}}}}\tExt{div}(f_i^m)\\
&=\suM_{I\in{\EnsureMaTh{\mAThscr{V}}}}\Sum_{e\iN Z(I)}M_e(e)-\Sum_{i\in{\ensurEmatH{\mathscr{V}}}}\Sum_{e\in p(I)}m_e(e)\\
&=\sum_{E\In {\ensurEmath{\mAthScr{e}}}}m_e(e)-\SUm_{E\iN {\enSuREmaTH{\mAthSCr{E}}}}M_e(e)\\
&=0.\end{alIgNeD}$$ Thus By (\[MoTcOH-SurfAce\]), The tUple $(f_s^m)_{S\subset Y}$ givEs aN eleMEnt Of $\texT{Ch}_Y^2(X,1)$ And wE dEfine $\theta(m)$ To be tHiS element. RepeatiNg foR the other BasIs EleMeNts anD ExtendIng LinEarly giVes the dEFinItION Of $\theta$.

In fact the map $\THeTA$ Is “EssentiaLly” surJEcTiVE in the foLlOwiNg seNSE. Note That THe Choice of $F_S^m$ is wELl-DeFined up To MultipLiCatIon By an eLEmenT of $k(S)^\tImes$ whosE diviSOr is 0, i.e. an elemenT Of $k_S^\times$. It foLLoWS ThAT $\TheTa$ iNduces a map $$\lAbel{tHeta}
\TildE{\thEta}:\LEft(\biGopluS_{S\SUbSEt Y}k_S^\times\right)\opluS {\eNsuremAth{\maThrm{H}}}_1({\ensuremaTh{\mathfrak{g}}},{\ENSuremath{\MathBB{Z}}})^{\OPeratorname{Gal}(\OverlIne{k}/k)}\rightARrow \text
 P(i)}m_e(e)$$ on $S_{\ove rline{k}}$ . Sin ce$m\ in \ker (d)$ , this divisor hasdegree 0 on every comp onent  $ S _i$. Mo reove r, it i s  G a l ois  i nv ari an t ,hence  th ere exi sts a func tio n$f_S^m\in k( S )^ \times$ wi ththis divisor  (w e note  t hat $k(S) $ i s iso morphi c  to th e field o fr ationa l  functi o n sin o ne variable $k_S( x )$ over $k_S$). R epeati ng th e arg ume nt for all  c ompon e nts $S\ s ub s e t  Y$ proves the le mma.

Let $ ( f^m _S)_{S \s ubs e t Y}$be an  e l eme nt as in th e le mma above . Then we have $$\begi n{alig ned }
\ sum_ { S\ su bse tY }\m a th rm{ d iv} (f_S^m)& =\ su m_{i\ in{\ e n s u rema th{ \mat hscr{ V}}}}\text{di v}( f_i^ m )\\ 
&=\s um_{i \in{ \e nsure math{\ maths cr {V}}}}\sum_{e\i n Z( i)}m_e(e) -\s um _{i \i n{\en s uremat h{\ mat hscr{V} }}}\sum _ {e\ in P ( i) }m_e(e)\\
&=\sum_{ e\ i n  { \ensurem ath{\m a th sc r {E}}}}m_ e( e)- \sum _ { e\in{\en s ur emath{\m athscr { E} }} }m_e(e) \\ 
&=0.\ en d{a lig ned}$ $  Thu s by ( \[MotCoh -surf a ce\]), the tup l e $(f_S^m)_{S \ su b s et Y}$giv es an eleme nt o f  $\t ext{ C h} _Y^ 2 (X,1) $ and  w e  d e fine $\Theta(m)$ to  b e this  elem ent. Repeatin g for theo t h er basis  ele m en t s and extendin g lin early give s  the def initi on of $\ Theta$.
I n  fact th e m ap$\T het a $  i s “essentiall y ”  sur je ctive i n t he foll owi ngsen se.  N ote thatthe choi ce  o f$f _S^ m$ is well-def in edup  to  mult i plicat ion b y an  e le m ent  of $k( S )^ \ t imes $wh osediv is or is  0,i .e.  an ele ment of $ k_S ^ \tim es $.  It fol lows that $\T he ta$ induce sa m ap $$\ l a bel{Thet a}
\tilde{\Theta}:\left ( \bigopl us_ {S\su bset  Y}k_S^\t ime s\righ t)\ o plus { \ensur emath {\ mat h r m{H}} } _ 1( {\e ns uremath{\m a t hfr ak{G} }} ,{\e nsurema th{\mathbb{Z}}})^{ \ ope ratorname{Gal }(\ over l i ne {k} / k) } \ri gh t arr o w  \text
 P(i)}m_e(e)$$_on $S_{\overline{k}}$._Since $m\in\ker(d)$, this divisor_has degree_0_on every_component_$S_i$. Moreover, it_is Galois invariant,_hence there exists a_function $f_S^m\in k(S)^\times$_with_this divisor (we note that $k(S)$ is isomorphic to the field of rational functions_in_one variable_$k_S(x)$_over_$k_S$). Repeating the argument for_all components $S\subset Y$ proves_the lemma.

Let_$(f^m_S)_{S\subset Y}$ be an element as in the_lemma_above. Then we_have $$\begin{aligned}
\sum_{S\subset Y}\mathrm{div}(f_S^m)&=\sum_{i\in{\ensuremath{\mathscr{V}}}}\text{div}(f_i^m)\\
&=\sum_{i\in{\ensuremath{\mathscr{V}}}}\sum_{e\in Z(i)}m_e(e)-\sum_{i\in{\ensuremath{\mathscr{V}}}}\sum_{e\in P(i)}m_e(e)\\
&=\sum_{e\in {\ensuremath{\mathscr{E}}}}m_e(e)-\sum_{e\in {\ensuremath{\mathscr{E}}}}m_e(e)\\
&=0.\end{aligned}$$ Thus by_(\[MotCoh-surface\]), the tuple $(f_S^m)_{S\subset Y}$ gives_an element of_$\text{Ch}_Y^2(X,1)$_and_we define $\Theta(m)$ to_be this element. Repeating for the_other basis elements and extending linearly_gives the definition of $\Theta$.

In fact the_map $\Theta$ is “essentially” surjective in_the following sense. Note that_the choice_of $f_S^m$ is well-defined up_to multiplication by_an element_of $k(S)^\times$ whose_divisor is 0, i.e. an element_of $k_S^\times$. It_follows that $\Theta$ induces a map_$$\label{Theta}
\tilde{\Theta}:\left(\bigoplus_{S\subset_Y}k_S^\times\right)\oplus {\ensuremath{\mathrm{H}}}_1({\ensuremath{\mathfrak{G}}},{\ensuremath{\mathbb{Z}}})^{\operatorname{Gal}(\overline{k}/k)}\rightarrow \text