 + b_{(i + 1)/2}$ (resp. $a_{i/2 + 1} +... + a_{g} + b_{i/2 + 1}$) if $i$ is odd (resp. even).

We first assume that $d = 2g + 2$. Let $\tilde{\alpha}_{1},..., \tilde{\alpha}_{2g + 2} \in {\mathbb{C}}[x]$ be the elements constructed from the $\alpha_{i}$’s as above, and define the family $\mathcal{F} \to B_{\varepsilon}^{*}$ as above. It is clear from the hypothesis on the roots $\alpha_{j}$ that the set $\mathcal{I}$ in the statement of Theorem \[thm comparison punctured projective line\] consists of only the elements $(\{i, 2g + 1\}, n)$ for $1 \leq n \leq m$. Theorem \[thm comparison punctured projective line\](a) then implies that a topological generator of $\widehat{\pi}_{1}(B_{\varepsilon}^{*}, z_{0})$ acts on $\widehat{\pi}_{1}(\mathcal{F}_{z_{0}}, \infty)$ via the monodromy action $\rho_{{\mathrm{top}}}$ as $D_{[\gamma_{i}]}^{m}$, where $\gamma_{i}$ is a loop on $\mathcal{F}_{z_{0}} \smallsetminus \{\infty\}$ whose image in ${\mathbb{P}}_{{\mathbb{C}}}^{1}$ separates the subset $\{\tilde{\alpha}_{i}(z_{0}), \tilde{\alpha}_{2g + 1}(z_{0})\}$ from its complement in $\{\tilde{\alpha}_{j}(z_{0})\}_{j = 1}^{2g + 2}$. Let $\mathfrak{C}$ be the complex hyperelliptic curve of degree $d = 2g + 2$ ramified over ${\mathbb{P}}_{{\mathbb{C}}}^{1}$ at the points $\tilde{\alpha}_{1}(z_{0}),..., \tilde{\alpha}_{d}(z_{0}) \in {\mathbb{C}}$, which has a symplectic basis $\{a_{1}',..., a_{g}', b_{1}',..., b_{g}'\}$ of $H_{1}(\mathfrak{C}({\mathbb{C}}), {\mathbb{Z}})$. By Lemma \[lemma lifts to Dehn twists\], the automorphism of $\widehat{\pi}_{1}(\mathcal{F}_{z_{0}}, \infty)$
+ b_{(i + 1)/2}$ (resp. $ a_{i/2 + 1 } +... + a_{g } + b_{i/2 + 1}$) if $ i$ is odd (resp. even). 

 We first assume that $ d = 2 deoxyguanosine monophosphate + 2$. lease $ \tilde{\alpha}_{1 }, ..., \tilde{\alpha}_{2 g + 2 } \in { \mathbb{C}}[x]$ be the elements constructed from the $ \alpha_{i}$ ’s as above, and define the kin $ \mathcal{F } \to B_{\varepsilon}^{*}$ as above. It is clear from the guess on the roots $ \alpha_{j}$ that the set $ \mathcal{I}$ in the statement of Theorem \[thm comparison puncture projective line\ ] consists of only the element $ (\{i, 2 g + 1\ }, n)$ for $ 1 \leq n \leq m$. Theorem \[thm comparison deflate projective line\](a) then implies that a topological generator of $ \widehat{\pi}_{1}(B_{\varepsilon}^ { * }, z_{0})$ acts on $ \widehat{\pi}_{1}(\mathcal{F}_{z_{0 } }, \infty)$ via the monodromy action $ \rho_{{\mathrm{top}}}$ as $ D_{[\gamma_{i}]}^{m}$, where $ \gamma_{i}$ is a loop on $ \mathcal{F}_{z_{0 } } \smallsetminus \{\infty\}$ whose image in $ { \mathbb{P}}_{{\mathbb{C}}}^{1}$ separates the subset $ \{\tilde{\alpha}_{i}(z_{0 }), \tilde{\alpha}_{2 gram + 1}(z_{0})\}$ from its complement in $ \{\tilde{\alpha}_{j}(z_{0})\}_{j = 1}^{2 g + 2}$. Let $ \mathfrak{C}$ be the complex hyperelliptic curve of academic degree $ d = 2 g + 2 $ complexify over $ { \mathbb{P}}_{{\mathbb{C}}}^{1}$ at the points $ \tilde{\alpha}_{1}(z_{0 }), ..., \tilde{\alpha}_{d}(z_{0 }) \in { \mathbb{C}}$, which have a symplectic basis $ \{a_{1 }', ..., a_{g }', b_{1 }', ..., b_{g}'\}$ of $ H_{1}(\mathfrak{C}({\mathbb{C } }), { \mathbb{Z}})$. By Lemma \[lemma lifts to Dehn twists\ ], the automorphism of $ \widehat{\pi}_{1}(\mathcal{F}_{z_{0 } }, \infty)$
 + b_{(l + 1)/2}$ (resp. $a_{i/2 + 1} +... + a_{g} + b_{i/2 + 1}$) if $i$ is odd (resp. even).

Xe firsf assume that $d = 2g + 2$. Let $\tilde{\alpha}_{1},..., \vildw{\alphq}_{2g + 2} \in {\mathbb{C}}[x]$ be thd elementd constryctev from the $\alpha_{m}$’a as above, ans defnnx the family $\majhcal{F} \to B_{\vdrepsilon}^{*}$ as atoxe. It is clear from the hypothesis on the roptd $\alpha_{j}$ that jhe stt $\iathdal{I}$ in the statement of Theorem \[tgm comperison puncturec projective line\] consists of lnly the elements $(\{l, 2g + 1\}, n)$ for $1 \lez n \leq m$. Theurem \[thm comparison puhctured projective line\](a) then iopliex that a tipilohhcal generavor of $\widehat{\pi}_{1}(B_{\varepsilot}^{*}, z_{0})$ actx on $\widehat{\pi}_{1}(\katical{D}_{z_{0}}, \infty)$ via the monovromy action $\rho_{{\mathtm{top}}}$ as $D_{[\cajma_{i}]}^{m}$, where $\gamma_{u}$ us a noop on $\oqthzal{R}_{z_{0}} \sjallsehmiius \{\infty\}$ wgose image un ${\mathbb{P}}_{{\mathbb{C}}}^{1}$ stpawqtes the subsst $\{\tilqe{\wlpha}_{i}(z_{0}), \tilde{\alpha}_{2g + 1}(z_{0})\}$ from its complemtnt ih $\{\tilde{\alpha}_{j}(z_{0})\}_{j = 1}^{2g + 2}$. Ler $\mathfrak{C}$ be the colplex hypqrelliptic curve of degree $d = 2g + 2$ ramified over ${\mdthbb{'}}_{{\mxthyn{G}}}^{1}$ at rhf points $\tilde{\alpha}_{1}(z_{0}),..., \tilde{\alpha}_{d}(z_{0}) \in {\mathbb{C}}$, rgivh has a symplecbic basis $\{a_{1}',..., a_{g}', b_{1}',..., b_{b}'\}$ lf $R_{1}(\mathfrak{C}({\matfbb{C}}), {\mcfhgb{Z}})$. By Lemma \[lemma lifts jo Dehb twists\], uhe aitomorphism of $\widehat{\pi}_{1}(\matycal{F}_{z_{0}}, \infty)$
+ b_{(i + 1)/2}$ (resp. $a_{i/2 + + + b_{i/2 1}$) if $i$ first that $d = + 2$. Let \tilde{\alpha}_{2g + 2} \in {\mathbb{C}}[x]$ be elements constructed from the $\alpha_{i}$’s as above, and define the family $\mathcal{F} \to as above. It is clear from the hypothesis on the roots $\alpha_{j}$ that set in statement Theorem \[thm comparison punctured projective line\] consists of only the elements $(\{i, 2g + 1\}, n)$ $1 \leq n \leq m$. Theorem \[thm comparison projective line\](a) then implies a topological generator of $\widehat{\pi}_{1}(B_{\varepsilon}^{*}, acts $\widehat{\pi}_{1}(\mathcal{F}_{z_{0}}, \infty)$ the action as $D_{[\gamma_{i}]}^{m}$, where is a loop on $\mathcal{F}_{z_{0}} \smallsetminus \{\infty\}$ whose image in ${\mathbb{P}}_{{\mathbb{C}}}^{1}$ separates the subset $\{\tilde{\alpha}_{i}(z_{0}), \tilde{\alpha}_{2g + from its $\{\tilde{\alpha}_{j}(z_{0})\}_{j = + Let be the complex of degree $d = 2g + ${\mathbb{P}}_{{\mathbb{C}}}^{1}$ at the points $\tilde{\alpha}_{1}(z_{0}),..., \tilde{\alpha}_{d}(z_{0}) \in {\mathbb{C}}$, has a basis $\{a_{1}',..., a_{g}', b_{1}',..., b_{g}'\}$ of {\mathbb{Z}})$. By Lemma \[lemma lifts to Dehn twists\], automorphism of $\widehat{\pi}_{1}(\mathcal{F}_{z_{0}}, \infty)$
 + b_{(i + 1)/2}$ (resp. $a_{i/2 + 1} +... + a_{g} + b_{i/2 + 1}$) if $i$ is odd (resp. eVen).

We first AssumE thAt $d = 2G + 2$. LEt $\tiLde{\aLpha}_{1},..., \tilde{\alpha}_{2G + 2} \In {\maThbb{C}}[x]$ be the elements conStrucTeD From THe $\Alpha_{I}$’s as aboVE, aND DefInE tHe fAmILy $\MathcAl{F} \To B_{\varePsilon}^{*}$ as abOve. it Is clear from tHE hYpothesis oN thE roots $\alpha_{j}$ ThaT the seT $\mAthCAl{I}$ in The StateMent of tHeorem \[Thm comparIsON punctURed projECTiVe liNe\] consists of only tHE eLEments $(\{i, 2g + 1\}, n)$ for $1 \leQ n \leq m$. thEOrEM \[Thm ComParison punCtUred pROjectivE LiNE\](A) TheN Implies that a tOpological gENerAtor of $\WiDehAT{\pi}_{1}(B_{\vaRepsiLoN}^{*}, Z_{0})$ acTs on $\widehat{\Pi}_{1}(\maThcal{F}_{z_{0}}, \inFty)$ via THe monodROmy actiOn $\rho_{{\mAthRm{tOp}}}$ as $d_{[\GaMmA_{i}]}^{m}$, WhERe $\gAMmA_{i}$ iS A loOp on $\mathCaL{F}_{Z_{0}} \smalLsetMINUS \{\infTy\}$ wHose Image In ${\mathbb{P}}_{{\mathBb{C}}}^{1}$ SepaRAteS the sUbset $\{\TildE{\aLpha}_{i}(Z_{0}), \tilde{\Alpha}_{2G + 1}(z_{0})\}$ From its complemeNt in $\{\Tilde{\alphA}_{j}(z_{0})\}_{J = 1}^{2g + 2}$. let $\MaThfraK{c}$ be the ComPleX hypereLliptic CUrvE oF DEGrEe $d = 2g + 2$ ramified over ${\maThBB{p}}_{{\mAthbb{C}}}^{1}$ at The poiNTs $\TiLDe{\alpha}_{1}(z_{0}),..., \TiLde{\AlphA}_{D}(Z_{0}) \in {\maThbb{c}}$, WhIch has a sYmplecTIc BaSis $\{a_{1}',..., a_{g}', b_{1}',..., B_{g}'\}$ Of $H_{1}(\matHfRak{c}({\maThbb{C}}), {\MAthbB{Z}})$. By LeMma \[lemma Lifts TO Dehn twists\], the AUtomorphism of $\WIdEHAt{\PI}_{1}(\matHcaL{F}_{z_{0}}, \infty)$
 + b_{(i + 1)/2}$ (resp. $ a_{i/2 + 1 } +.. . +  a_ {g } +b_{i /2 + 1}$) if $ i $ is  odd (resp. even).

We  firs ta ssum e  t hat $ d = 2g+  2 $ .  Le t$\ til de { \a lpha} _{1 },...,\tilde{\al pha }_ {2g + 2} \in {\ mathbb{C}} [x] $ be the ele men ts con st ruc t ed fr omthe $ \alpha _ {i}$’s  as above ,a nd def i ne thef a mi ly $ \mathcal{F} \to B _ {\ v arepsilon}^{*} $ as a bo v e. I t i s c lear fromth e hyp o thesiso nt h e  ro o ts $\alpha_{j }$ that the set  $\mat hc al{ I }$ inthe s ta t eme nt of Theor em \ [thm comp arison punctur e d proje ctivelin e\]  con s is ts  of  o n lyt he  el e men ts $(\{i ,2g  + 1\ }, n ) $ f or $ 1 \ leqn \le q m$. Theorem  \[ thmc omp ariso n pun ctur ed  proj ective  line \] (a) then implie s th at a topo log ic alge nerat o r of $ \wi deh at{\pi} _{1}(B_ { \va re p s i lo n}^{*}, z_{0})$ ac ts o n$\wideha t{\pi} _ {1 }( \ mathcal{ F} _{z _{0} } ,  \inf ty)$ vi a the mo nodrom y  a ct ion $\r ho _{{\ma th rm{ top }}}$a s $D _{[\ga mma_{i}] }^{m} $ , where $\gamm a _{i}$ is a lo o po n  $ \ math cal {F}_{z_{0}}  \sm a llse tmin u s\{\ i nfty\ }$ wh os e  i m age in ${\mathbb{P} }_ {{\mat hbb{C }}}^{1}$ sepa rates thes u b set $\{\ tild e {\ a lpha}_{i}(z_{0 }), \ tilde{\alp h a}_{2g +  1}(z _{0})\}$  from its c omplemen t i n $ \{\ til d e {\ alpha}_{j}(z_ { 0 })\} _{ j = 1}^ {2g  + 2}$.  Le t $ \ma thf ra k{C}$ bethe comp le xhy pe rel lipti c  curve o fdeg re e $ d = 2 g  + 2$ramif iedov er ${\ mathbb{ P }} _ { {\ma th bb {C}} }^{ 1} $ atthep oin ts $\ti lde{\alph a}_ { 1}(z _{ 0} ),...,\tilde{\alpha }_ {d}(z_{0})  \ in{\math b b {C}}$, w hich has a symplectic b a sis $\{ a_{ 1}',. ..,a_{g}', b _{1 }',... , b _ {g}'\} $ of $ H_{1} (\ mat h f rak{C } ( {\ mat hb b{C}}), {\ m a thb b{Z}} )$ . By  Lemma\[lemma lifts to D e hntwists\], the  au tomo r p hi smo f$ \wi de h at{ \ p i}_{1}(\mathcal {F}_{z_{0} }, \i nfty)$
 +_b_{(i +_1)/2}$ (resp. $a_{i/2 +_1} +..._+_a_{g} +_b_{i/2_+ 1}$) if_$i$ is odd_(resp. even).

We first assume_that $d =_2g_+ 2$. Let $\tilde{\alpha}_{1},..., \tilde{\alpha}_{2g + 2} \in {\mathbb{C}}[x]$ be the elements constructed from_the_$\alpha_{i}$’s as_above,_and_define the family $\mathcal{F} \to_B_{\varepsilon}^{*}$ as above. It is_clear from_the hypothesis on the roots $\alpha_{j}$ that the_set_$\mathcal{I}$ in the_statement of Theorem \[thm comparison punctured projective line\] consists_of only the elements $(\{i, 2g_+ 1\}, n)$_for_$1_\leq n \leq m$._Theorem \[thm comparison punctured projective line\](a)_then implies that a topological generator_of $\widehat{\pi}_{1}(B_{\varepsilon}^{*}, z_{0})$ acts on $\widehat{\pi}_{1}(\mathcal{F}_{z_{0}}, \infty)$_via the monodromy action $\rho_{{\mathrm{top}}}$ as_$D_{[\gamma_{i}]}^{m}$, where $\gamma_{i}$ is a_loop on_$\mathcal{F}_{z_{0}} \smallsetminus \{\infty\}$ whose image_in ${\mathbb{P}}_{{\mathbb{C}}}^{1}$ separates_the subset_$\{\tilde{\alpha}_{i}(z_{0}), \tilde{\alpha}_{2g +_1}(z_{0})\}$ from its complement in $\{\tilde{\alpha}_{j}(z_{0})\}_{j_= 1}^{2g +_2}$. Let $\mathfrak{C}$ be the complex_hyperelliptic_curve of degree_$d_=_2g +_2$ ramified over_${\mathbb{P}}_{{\mathbb{C}}}^{1}$_at the_points_$\tilde{\alpha}_{1}(z_{0}),..., \tilde{\alpha}_{d}(z_{0}) \in {\mathbb{C}}$, which has_a_symplectic basis $\{a_{1}',..., a_{g}', b_{1}',..., b_{g}'\}$ of_$H_{1}(\mathfrak{C}({\mathbb{C}}), {\mathbb{Z}})$. By Lemma_\[lemma_lifts to Dehn twists\],_the automorphism of $\widehat{\pi}_{1}(\mathcal{F}_{z_{0}}, \infty)$