 $\C$-vector space. Taking the average of the action of $H^1(\Gamma,C_2)$, we deduce that the subspace of invariant functions $\C[X(\Gamma,{\mathrm{SL}_2 (\C)})]^{H^1(\Gamma,C_2)}$ is generated by $$\frac 1 {2^r} \sum_{\epsilon\in H^1(\Gamma,C_2)}
            \epsilon \cdot I_{\gamma_{1}}\cdots
             I_{\gamma_{k}} =
             \big(\frac 1 {2^r}\sum_{\epsilon\in H^1(\Gamma,C_2)}
             \epsilon (\gamma_{1}\cdots\gamma_{k}) \big)
              I_{\gamma_{1}}\cdots
             I_{\gamma_{k}}$$ where $r$ is the rank of $H^{1}(\Gamma,C_2)$ (see [@Kraft II.3.6] for instance). Using the fact that $$\frac 1 {2^r}\sum_{\epsilon\in H^1(\Gamma,C_2)}
         \epsilon(\gamma) =
         \begin{cases}
             1 & \text{ if } \gamma\in\Gamma^{2}\\
             0         & \text{ otherwise }
         \end{cases}$$ we deduce that $\C[X(\Gamma,{\mathrm{SL}_2 (\C)})]^{H^1(\Gamma,C_2)}$ is generated by the monomials $
     I_{\gamma_1}\cdots I_{\gamma_k}
     $ such that the product $\gamma_1\ldots\gamma_k\in\Gamma^2$.

On the other hand we have for $\chi\in X(\Gamma,{\mathrm{SL}_2 (\C)})$: $$\pi^{*}\Sigma_{\gamma_{1},\ldots,\gamma_{k}} (\chi)
= \Sigma_{\gamma_{1},\ldots,\gamma_{k}}(\chi^{2}) =
\chi(\gamma_{1})\cdots\chi(\gamma_{k}) = I_{\gamma_{1}}\cdots
I_{\gamma_{k}} (\chi)\,,$$ where $\Sigma_{\gamma_{1},\ldots,\gamma_{k}}$ is the function defined in (\[eqn:Sigma\]). This gives that the monomials $I_{\gamma_1}\cdots I_{\gamma_k}$ such that the product $\gamma_1\ldots\
$ \C$-vector space. Taking the average of the action of $ H^1(\Gamma, C_2)$, we deduce that the subspace of invariant function $ \C[X(\Gamma,{\mathrm{SL}_2 (\C)})]^{H^1(\Gamma, C_2)}$ is generate by $ $ \frac 1 { 2^r } \sum_{\epsilon\in H^1(\Gamma, C_2) } 
             \epsilon \cdot I_{\gamma_{1}}\cdots 
              I_{\gamma_{k } } = 
              \big(\frac 1 { 2^r}\sum_{\epsilon\in H^1(\Gamma, C_2) } 
              \epsilon (\gamma_{1}\cdots\gamma_{k }) \big) 
               I_{\gamma_{1}}\cdots 
              I_{\gamma_{k}}$$ where $ r$ is the rank of $ H^{1}(\Gamma, C_2)$ (see [ @Kraft II.3.6 ] for instance). use the fact that $ $ \frac 1 { 2^r}\sum_{\epsilon\in H^1(\Gamma, C_2) } 
          \epsilon(\gamma) = 
          \begin{cases } 
              1 & \text { if } \gamma\in\Gamma^{2}\\ 
              0          & \text { otherwise } 
          \end{cases}$$ we deduce that $ \C[X(\Gamma,{\mathrm{SL}_2 (\C)})]^{H^1(\Gamma, C_2)}$ is generated by the monomials $ 
      I_{\gamma_1}\cdots I_{\gamma_k } 
      $ such that the intersection $ \gamma_1\ldots\gamma_k\in\Gamma^2$. 

 On the early hand we have for $ \chi\in X(\Gamma,{\mathrm{SL}_2 (\C)})$: $ $ \pi^{*}\Sigma_{\gamma_{1},\ldots,\gamma_{k } } (\chi) 
 = \Sigma_{\gamma_{1},\ldots,\gamma_{k}}(\chi^{2 }) = 
 \chi(\gamma_{1})\cdots\chi(\gamma_{k }) = I_{\gamma_{1}}\cdots 
 I_{\gamma_{k } } (\chi)\,,$$ where $ \Sigma_{\gamma_{1},\ldots,\gamma_{k}}$ is the function defined in (\[eqn: Sigma\ ]). This gives that the monomials $ I_{\gamma_1}\cdots I_{\gamma_k}$ such that the intersection $ \gamma_1\ldots\
 $\C$-vfctor space. Taking the ayerage of the acjiin of $I^1(\Gamma,C_2)$, we deduze that the subspace of invacianr funxtions $\C[X(\Gamma,{\mathrm{SL}_2 (\C)})]^{H^1(\Gamma,C_2)}$ is geneeatev by $$\frac 1 {2^r} \sum_{\xlsilon\ik H^1(\Gajla,C_2)}
            \epsikon \cdot I_{\camma_{1}}\cdots
             I_{\gamma_{k}} =
             \big(\frac 1 {2^w}\sum_{\epsolln\in H^1(\Gamma,C_2)}
             \epsilon (\gamma_{1}\cdots\gamma_{k}) \big)
              I_{\gamma_{1}}\cdotx
             I_{\gamma_{k}}$$ wherf $r$ ls the rank of $H^{1}(\Galma,C_2)$ (see [@Krqft YU.3.6] for instanze). Using the fact that $$\frac 1 {2^r}\sum_{\epsilon\in H^1(\Gamma,C_2)}
         \epsilon(\ganmq) =
         \begii{cases}
             1 & \text{ hf } \gamka\in\Gamma^{2}\\
             0         & \text{ othecwise }
         \end{cafes}$$ we deguee that $\C[X(\Gamma,{\mathrm{WL}_2 (\C)})]^{H^1(\Gakma,C_2)}$ is ewnefattd uy fhe mojommals $
     I_{\famma_1}\cdots U_{\gamma_k}
     $ such tnae the product $\famma_1\lqoes\gamma_k\in\Gamma^2$.

On the other hand we havt for $\chi\in X(\Gamma,{\mathrm{SL}_2 (\C)})$: $$\pi^{*}\Sigma_{\gamma_{1},\ldots,\gamla_{k}} (\chi)
= \Sygma_{\gamma_{1},\ldots,\gamma_{k}}(\chi^{2}) =
\chi(\gamma_{1})\cdots\chi(\gamma_{k}) = I_{\camma_{1}}\rduts
N_{\nwona_{n}} (\chi)\,,$$ where $\Sigma_{\gamma_{1},\ldots,\gamma_{k}}$ is the funcejom cefined in (\[eqn:Figma\]). This bigex that the monumials $I_{\gzmma_1}\cdots I_{\gamma_k}$ duch thwt thw product $\gamka_1\ldots\
$\C$-vector space. Taking the average of the $H^1(\Gamma,C_2)$, deduce that subspace of invariant by 1 {2^r} \sum_{\epsilon\in \epsilon \cdot I_{\gamma_{1}}\cdots = \big(\frac 1 {2^r}\sum_{\epsilon\in H^1(\Gamma,C_2)} \epsilon \big) I_{\gamma_{1}}\cdots I_{\gamma_{k}}$$ where $r$ is the rank of $H^{1}(\Gamma,C_2)$ (see [@Kraft II.3.6] instance). Using the fact that $$\frac 1 {2^r}\sum_{\epsilon\in H^1(\Gamma,C_2)} \epsilon(\gamma) = \begin{cases} 1 \text{ } 0 \text{ otherwise } \end{cases}$$ we deduce that $\C[X(\Gamma,{\mathrm{SL}_2 (\C)})]^{H^1(\Gamma,C_2)}$ is generated by the monomials $ I_{\gamma_1}\cdots $ such that the product $\gamma_1\ldots\gamma_k\in\Gamma^2$. On the hand we have for X(\Gamma,{\mathrm{SL}_2 (\C)})$: $$\pi^{*}\Sigma_{\gamma_{1},\ldots,\gamma_{k}} (\chi) = = = I_{\gamma_{1}}\cdots (\chi)\,,$$ $\Sigma_{\gamma_{1},\ldots,\gamma_{k}}$ the function defined (\[eqn:Sigma\]). This gives that the monomials $I_{\gamma_1}\cdots I_{\gamma_k}$ such that the product $\gamma_1\ldots\
 $\C$-vector space. Taking the averAge of the acTion oF $H^1(\GAmmA,C_2)$, We deDuce That the subspacE Of inVariant functions $\C[X(\GammA,{\mathRm{sl}_2 (\C)})]^{H^1(\GAMmA,C_2)}$ is gEnerateD By $$\FRAc 1 {2^r} \SuM_{\ePsiLoN\In h^1(\GammA,C_2)}
            \ePsilon \cDot I_{\gamma_{1}}\cDotS
             I_{\Gamma_{k}} =
             \big(\fraC 1 {2^R}\sUm_{\epsilon\iN H^1(\GAmma,C_2)}
             \epsilon (\GamMa_{1}\cdotS\gAmmA_{K}) \big)
              I_{\GamMa_{1}}\cdoTs
             I_{\gamMA_{k}}$$ wherE $r$ is the raNk OF $H^{1}(\GammA,c_2)$ (see [@KraFT iI.3.6] For iNstance). Using the faCT tHAt $$\frac 1 {2^r}\sum_{\epsiLon\in H^1(\gaMMa,c_2)}
         \EPsiLon(\Gamma) =
         \begin{CaSes}
             1 & \teXT{ if } \gammA\In\gAMMa^{2}\\
             0         & \tEXt{ otherwise }
         \enD{cases}$$ we dedUCe tHat $\C[X(\GAmMa,{\mAThrm{SL}_2 (\c)})]^{H^1(\GamMa,c_2)}$ Is gEnerated by tHe moNomials $
     I_{\gAmma_1}\cdOTs I_{\gammA_K}
     $ such thAt the pRodUct $\GammA_1\LdOtS\gaMmA_K\in\gAmMa^2$.

ON The Other hanD wE hAve foR $\chi\IN x(\gAmma,{\MatHrm{Sl}_2 (\C)})$: $$\pi^{*}\SIgma_{\gamma_{1},\ldotS,\gaMma_{k}} (\CHi)
= \SIgma_{\gAmma_{1},\lDots,\GaMma_{k}}(\cHi^{2}) =
\chi(\gAmma_{1})\cDoTs\chi(\gamma_{k}) = I_{\gamMa_{1}}\cdOts
I_{\gamma_{K}} (\chI)\,,$$ wHerE $\SIgma_{\gAMma_{1},\ldoTs,\gAmmA_{k}}$ is the FunctioN DefInED IN (\[eQn:Sigma\]). This gives thAt THE mOnomials $i_{\gamma_1}\CDoTs i_{\Gamma_k}$ suCh ThaT the PROduct $\GammA_1\LdOts\
 $\C$-vector space. Taking  the avera ge of  th e a ct ionof $ H^1(\Gamma,C_2 ) $, w e deduce that the subs paceof inva r ia nt fu nctions $\ C [ X(\ Ga mm a,{ \m a th rm{SL }_2  (\C)}) ]^{H^1(\Ga mma ,C _2)}$ is gen e ra ted by $$\ fra c 1 {2^r} \s um_ {\epsi lo n\i n  H^1( \Ga mma,C _2)}
         \epsi lo n  \cdot I_{\gam m a _{ 1}}\ cdots
           I _ {\gamma_{k}} = 
       \b ig( \frac 1 {2 ^r }\sum _ {\epsil o n\ i n H^1 ( \Gamma,C_2)}           \e psilon  ( \ga m ma_{1} \cdot s\ g amm a_{k}) \big )
            I_{ \ gamma_{ 1 }}\cdot s
          I _ {\ ga mma _{ k }}$ $  w her e  $r $ is the  r an k of$H^{ 1 } ( \ Gamm a,C _2)$  (see  [@Kraft II.3 .6]  for ins tance ). Us ingth e fac t that  $$\f ra c 1 {2^r}\sum_{ \eps ilon\in H ^1( \G amm a, C_2)}        \ep silon(\ gamma)= 
   \begin{cases}
        1 & \ text{i f}\ gamma\in \G amm a^{2 } \ \
         0        & \t ex t{ othe rw ise }      \end { case s}$$ w e deduce  that $\C[X(\Gamma,{ \ mathrm{SL}_2( \C ) } )] ^ {H^1 (\G amma,C_2)}$  isg ener ated by  th e  mono mials  $    I_{\gamma_1}\cdot sI_{\ga mma_k }
     $ such  that thep r o duct $\g amma _ 1\ l dots\gamma_k\i n\Gam ma^2$.

On the othe r han d we hav e for $\c h i \in X(\G amm a,{ \ma thr m { SL }_2 (\C)})$:$ $ \pi^ {* }\Sigma _{\ gamma_{ 1}, \ld ots ,\g am ma_{k}} ( \chi)
=\S ig ma _{ \ga mma_{ 1 },\ldots ,\ gam ma _{k }}(\c h i^{2})  =
\c hi(\ ga mm a _{1 })\cdot s \c h i (\ga mm a_ {k})  =I_ {\gam ma_{ 1 }}\ cdots
I _{\gamma_ {k} }  (\c hi )\ ,,$$ wh ere $\Sigma_{ \g amma_{1},\ ld ots ,\gamm a _ {k}}$ is  the function defined i n  (\[eqn :Si gma\] ). T his gives  th at the  mo n omials  $I_{\ gamma _1 }\c d o ts I_ { \ ga mma _k }$ such th a t  th e pro du ct $ \gamma_ 1\ldots\
 $\C$-vector_space. Taking_the average of the_action of_$H^1(\Gamma,C_2)$,_we deduce_that_the subspace of_invariant functions $\C[X(\Gamma,{\mathrm{SL}_2_(\C)})]^{H^1(\Gamma,C_2)}$ is generated by_$$\frac 1 {2^r}_\sum_{\epsilon\in_H^1(\Gamma,C_2)}
            \epsilon \cdot_I_{\gamma_{1}}\cdots
_ ___    _   I_{\gamma_{k}} =
_ _       __ \big(\frac 1_{2^r}\sum_{\epsilon\in H^1(\Gamma,C_2)}
       _     \epsilon_(\gamma_{1}\cdots\gamma_{k}) \big)
 ___   _     _I_{\gamma_{1}}\cdots
     _      _I_{\gamma_{k}}$$ where $r$ is the rank_of $H^{1}(\Gamma,C_2)$ (see [@Kraft II.3.6]_for instance)._Using the fact that $$\frac_1 {2^r}\sum_{\epsilon\in H^1(\Gamma,C_2)}
_ _  _   \epsilon(\gamma) =
 _  _    \begin{cases}
 __  ___ _  _1_& \text{_if_} \gamma\in\Gamma^{2}\\
    __      _0   __   _& \text{ otherwise }
 _     _ \end{cases}$$_we deduce_that $\C[X(\Gamma,{\mathrm{SL}_2 (\C)})]^{H^1(\Gamma,C_2)}$ is generated by the monomials $
  _  I_{\gamma_1}\cdots I_{\gamma_k}
  _  $ such_that the_product_$\gamma_1\ldots\gamma_k\in\Gamma^2$.

On the other_hand_we have_for $\chi\in X(\Gamma,{\mathrm{SL}_2 (\C)})$: $$\pi^{*}\Sigma_{\gamma_{1},\ldots,\gamma_{k}} (\chi)
= \Sigma_{\gamma_{1},\ldots,\gamma_{k}}(\chi^{2})_=
\chi(\gamma_{1})\cdots\chi(\gamma_{k}) =_I_{\gamma_{1}}\cdots
I_{\gamma_{k}} (\chi)\,,$$ where $\Sigma_{\gamma_{1},\ldots,\gamma_{k}}$ is the_function defined in (\[eqn:Sigma\])._This_gives that the monomials $I_{\gamma_1}\cdots I_{\gamma_k}$_such that the product $\gamma_1\ldots\