 takes the image of a loop wrapping around a given $a_{i}(z_{0})$ to the image of a loop wrapping around $\alpha_{i}$.

We now want to relate this to the action of $G_{K, \mathfrak{p}}$ on the prime-to-$p$ étale fundamental group of a smooth hyperelliptic curve over $K_{\mathfrak{p}}$. Let $\mathfrak{C}$ be a smooth, projective hyperelliptic curve over ${\mathbb{C}}$ of degree $d$ and genus $g$ defined by an equation of the form $y^{2} = \prod_{i = 1}^{d} (x - z_{i})$ for distinct roots $z_{i} \in \mathcal{K}_{\mathfrak{p}}$; if $d$ is odd (resp. even), then $d = 2g + 1$ (resp. $d = 2g + 2$). The hyperelliptic curve $\mathfrak{C}$ comes with a surjective degree-$2$ morphism $\mathfrak{C} \to {\mathbb{P}}_{{\mathbb{C}}}^{1}$ defined by projecting onto the $x$-coordinate. It is well known that this projection ramifies at $\infty$ if and only if $d = 2g + 1$; in this case, we write $z_{2g + 2} = \infty$. Then the projection is ramified at exactly the $(2g + 2)$-element set of $z_{i}$’s. Write $\mathfrak{B} \subset \mathfrak{C}({\mathbb{C}})$ for the set of inverse images of these ramification points in ${\mathbb{P}}_{{\mathbb{C}}}^{1}$ ($\mathfrak{B}$ is the set of *branch points* of $\mathfrak{C}$). Clearly the restriction to $\mathfrak{C} \smallsetminus \mathfrak{B}$ of the above projection map yields a finite degree-$2$ étale morphism $\mathfrak{C} \smallsetminus \mathfrak{B} \to {\mathbb{P}}_{{\mathbb{C}}}^{1} \smallsetminus \{z_{1},..., z_{2g + 2}\}$. Choose a basepoint $P$ of the topological space ${\mathbb{P}}_{{\mathbb{C}}}^{1} \smallsetminus \{z_{1},..., z_{d}\}$ and a basepoint $Q$ of the topological space $\mathfrak{C}({\mathbb{C}}) \smallsetminus \mathfrak{B}$ such that
takes the image of a loop wrapping around a give $ a_{i}(z_{0})$ to the prototype of a loop wrapping around $ \alpha_{i}$. 

 We now desire to relate this to the action of $ G_{K, \mathfrak{p}}$ on the prime - to-$p$ étale cardinal group of a placid hyperelliptic curve over $ K_{\mathfrak{p}}$. permit $ \mathfrak{C}$ be a smooth, projective hyperelliptic curve over $ { \mathbb{C}}$ of academic degree $ d$ and genus $ g$ defined by an equation of the form $ y^{2 } = \prod_{i = 1}^{d } (x - z_{i})$ for discrete roots $ z_{i } \in \mathcal{K}_{\mathfrak{p}}$; if $ d$ is odd (resp. even), then $ d = 2 g + 1 $ (resp. $ d = 2 gram + 2 $). The hyperelliptic curve $ \mathfrak{C}$ comes with a surjective degree-$2 $ morphism $ \mathfrak{C } \to { \mathbb{P}}_{{\mathbb{C}}}^{1}$ defined by project onto the $ x$-coordinate. It is well known that this projection ramifies at $ \infty$ if and only if $ d = 2 gram + 1 $; in this case, we write $ z_{2 g + 2 } = \infty$. Then the projection is ramified at precisely the $ (2 g + 2)$-element set of $ z_{i}$ ’s. Write $ \mathfrak{B } \subset \mathfrak{C}({\mathbb{C}})$ for the set of inverse images of these ramification points in $ { \mathbb{P}}_{{\mathbb{C}}}^{1}$ ($ \mathfrak{B}$ is the set of * branch points * of $ \mathfrak{C}$). Clearly the restriction to $ \mathfrak{C } \smallsetminus \mathfrak{B}$ of the above projection map yields a finite degree-$2 $ étale morphism $ \mathfrak{C } \smallsetminus \mathfrak{B } \to { \mathbb{P}}_{{\mathbb{C}}}^{1 } \smallsetminus \{z_{1 }, ..., z_{2 g + 2}\}$. Choose a basepoint $ P$ of the topological space $ { \mathbb{P}}_{{\mathbb{C}}}^{1 } \smallsetminus \{z_{1 }, ..., z_{d}\}$ and a basepoint $ Q$ of the topological space $ \mathfrak{C}({\mathbb{C } }) \smallsetminus \mathfrak{B}$ such that
 tanes the image of a loop drapping around a givei $a_{i}(z_{0})$ tk the imxge of a loop wrapping arounv $\alpha_{i}$.

Wt now want to relatd this to the actuon id $G_{K, \mathfczk{p}}$ on bke prjle-to-$'$ évale fundamentak group of a smooth hypeseulnptic curve over $K_{\mathfrak{p}}$. Let $\mathsrak{C}$ br w smooth, projestivt hrperslliptic curve over ${\mathbb{C}}$ of degdee $d$ aid genus $g$ defimed by an equation of the vorm $y^{2} = \prod_{i = 1}^{d} (x - z_{i})$ for distinxt rjits $z_{i} \in \maghcal{K}_{\mathfrak{p}}$; if $d$ ia odd (resp. even), then $d = 2g + 1$ (reso. $d = 2y + 2$). The hypgxwlllktic curve $\methfrah{C}$ comes witm a surbective degree-$2$ morphixm $\katyfrak{C} \to {\mathbb{P}}_{{\mathub{C}}}^{1}$ defined by projesting ontm che $x$-coordinate. It is wwll ktown thag thks krooecfion rwmihies at $\inffy$ if and obly if $d = 2g + 1$; in thos bsse, we write $z_{2g + 2} = \igfty$. Then the projection is ramified at exzctly the $(2g + 2)$-element ser of $z_{i}$’s. Write $\mathfrwk{B} \subsee \mathfrak{C}({\mathbb{C}})$ for the set of inverse images mf thxsd rcnificxriln points in ${\mathbb{P}}_{{\mathbb{C}}}^{1}$ ($\mathfrak{B}$ is the fst on *branch points* jf $\mathfrak{V}$). Flrwrly the resttiction to $\mathfrak{C} \smallsehminus \iathfeak{B}$ of tre anove projection map yields q finite deggee-$2$ érale morphism $\mathyrak{C} \smallsztminux \matnfrak{B} \to {\mathbb{P}}_{{\mathbb{E}}}^{1} \smalmsetminus \{z_{1},..., z_{2g + 2}\}$. Chokre a basepoint $P$ of tve topological space ${\mathbf{P}}_{{\mathbb{C}}}^{1} \smaklsetmivus \{e_{1},..., z_{d}\}$ anq a basepolnt $Q$ of the topological spacg $\mathxrak{C}({\mathbh{C}}) \smallsetminus \mathfrak{B}$ such that
takes the image of a loop wrapping given to the of a loop want relate this to action of $G_{K, on the prime-to-$p$ étale fundamental group a smooth hyperelliptic curve over $K_{\mathfrak{p}}$. Let $\mathfrak{C}$ be a smooth, projective hyperelliptic over ${\mathbb{C}}$ of degree $d$ and genus $g$ defined by an equation of form = = (x - z_{i})$ for distinct roots $z_{i} \in \mathcal{K}_{\mathfrak{p}}$; if $d$ is odd (resp. even), then = 2g + 1$ (resp. $d = 2g 2$). The hyperelliptic curve comes with a surjective degree-$2$ $\mathfrak{C} {\mathbb{P}}_{{\mathbb{C}}}^{1}$ defined projecting the It is well that this projection ramifies at $\infty$ if and only if $d = 2g + 1$; in this we write 2} = Then projection ramified at exactly + 2)$-element set of $z_{i}$’s. Write for the set of inverse images of these points in ($\mathfrak{B}$ is the set of *branch of $\mathfrak{C}$). Clearly the restriction to $\mathfrak{C} \smallsetminus of the above projection map yields a finite degree-$2$ étale morphism $\mathfrak{C} \smallsetminus \mathfrak{B} \to \{z_{1},..., z_{2g + 2}\}$. a basepoint $P$ the space \smallsetminus z_{d}\}$ and basepoint $Q$ of the topological space $\mathfrak{C}({\mathbb{C}}) \smallsetminus \mathfrak{B}$ such that
 takes the image of a loop wrappIng around a Given $A_{i}(z_{0})$ To tHe ImagE of a Loop wrapping arOUnd $\aLpha_{i}$.

We now want to relate This tO tHE actIOn Of $G_{K, \mAthfrak{P}}$ On THE prImE-tO-$p$ éTaLE fUndamEntAl group Of a smooth hYpeReLliptic curve OVeR $K_{\mathfrak{P}}$. LeT $\mathfrak{C}$ be A smOoth, prOjEctIVe hypEreLliptIc curvE Over ${\maThbb{C}}$ of deGrEE $d$ and gENus $g$ defINEd By an Equation of the form $Y^{2} = \PrOD_{i = 1}^{d} (x - z_{i})$ for distiNct rooTs $Z_{I} \iN \MAthCal{k}_{\mathfrak{p}}$; If $D$ is odD (Resp. eveN), ThEN $D = 2G + 1$ (reSP. $d = 2g + 2$). The hyperelLiptic curve $\MAthFrak{C}$ cOmEs wITh a surJectiVe DEgrEe-$2$ morphism $\mAthfRak{C} \to {\matHbb{P}}_{{\maTHbb{C}}}^{1}$ defINed by prOjectiNg oNto The $x$-COoRdInaTe. iT is WElL knOWn tHat this pRoJeCtion RamiFIES At $\inFty$ If anD only If $d = 2g + 1$; in this casE, we WritE $Z_{2g + 2} = \iNfty$. THen thE proJeCtion Is ramiFied aT eXactly the $(2g + 2)$-elemeNt seT of $z_{i}$’s. WriTe $\mAtHfrAk{b} \subsET \mathfRak{c}({\maThbb{C}})$ foR the set OF inVeRSE ImAges of these ramificAtION pOints in ${\mAthbb{P}}_{{\MAtHbB{c}}}^{1}$ ($\mathfraK{B}$ Is tHe seT OF *branCh poINtS* of $\mathfRak{C}$). ClEArLy The restRiCtion tO $\mAthFraK{C} \smaLLsetMinus \mAthfrak{B}$ Of the ABove projection MAp yields a finiTE dEGReE-$2$ ÉtalE moRphism $\mathfRak{C} \SMallSetmINuS \maTHfrak{b} \to {\maThBB{P}}_{{\MAthbb{C}}}^{1} \smallsetminus \{Z_{1},..., z_{2G + 2}\}$. ChoosE a basEpoint $P$ of the tOpological SPACe ${\mathbb{p}}_{{\matHBb{c}}}^{1} \Smallsetminus \{z_{1},..., Z_{d}\}$ and A basepoint $q$ Of the topOlogiCal space $\Mathfrak{C}({\MAThbb{C}}) \smaLlsEtmInuS \maTHFrAk{B}$ such that
 takes the image of a loop  wrappingaroun d a  gi ve n $a _{i} (z_{0})$ to th e  ima ge of a loop wrappingaroun d$ \alp h a_ {i}$. 

We no w  w a n t t ore lat et hi s tothe  action  of $G_{K,  \m at hfrak{p}}$ o n  t he prime-t o-$ p$ étale fun dam entalgr oup of asmo oth h yperel l ipticcurve ove r$ K_{\ma t hfrak{p } } $.  Let  $\mathfrak{C}$ b e  a smooth, projec tive h yp e re l l ipt iccurve over  $ {\mat h bb{C}}$ of d e gre e  $d$ and genu s $g$ defin e d b y an e qu ati o n of t he fo rm $y^ {2} = \prod _{i= 1}^{d}(x - z _ {i})$ f o r disti nct ro ots  $z _{i} \i n\ma th c al{ K }_ {\m a thf rak{p}}$ ;if  $d$is o d d ( resp . e ven) , the n $d = 2g + 1 $ ( resp .  $d  = 2g  + 2$ ). T he  hype rellip tic c ur ve $\mathfrak{C }$ c omes with  asu rje ct ive d e gree-$ 2$mor phism $ \mathfr a k{C }\ t o  { \mathbb{P}}_{{\mat hb b { C} }}^{1}$define d  b yp rojectin gont o th e $x$-c oord i na te. It i s well kn ow n thatth is pro je cti onramif i es a t $\in fty$ ifand o n ly if $d = 2g+  1$; in thisc as e ,  w e  wri te$z_{2g + 2}  = \ i nfty $. T h en  th e  proj ectio ni sr amified at exactlyth e $(2g  + 2) $-element set  of $z_{i} $ ’ s . Write$\ma t hf r ak{B} \subset\math frak{C}({\ m athbb{C} })$ f or the s et of inv e r se image s o f t hes e r a m if ication point s in $ {\ mathbb{ P}} _{{\mat hbb {C} }}^ {1} $($\mathfr ak{B}$ i sth ese t o f *br a nch poin ts * o f$\m athfr a k{C}$) . Cle arly  t he res trictio n  t o $\ma th fr ak{C } \ sm allse tmin u s \ mathfra k{B}$ ofthe abov epr ojectio n map yieldsafinite deg re e-$ 2$ éta l e  morphis m $\mathfrak{C} \smalls e tminus\ma thfra k{B}  \to {\ma thb b{P}}_ {{\ m athbb{ C}}}^{ 1} \s ma lls e t minus \ {z _{1 }, ..., z_{2g +  2} \}$.Ch oose  a base point $P$ of the t o pol ogical space${\ math b b {P }}_ { {\ m ath bb { C}} } ^ {1} \smallsetmi nus \{z_{1 }, . .. , z_{d}\}$ and  a  basepo int $Q$  of t h e topol ogical sp ace $\mat hf rak{ C } ({\ mathbb{C}} ) \small setminus\ mathf r ak {B}$suc h that 
 takes_the image_of a loop wrapping_around a_given_$a_{i}(z_{0})$ to_the_image of a_loop wrapping around_$\alpha_{i}$.

We now want to_relate this to_the_action of $G_{K, \mathfrak{p}}$ on the prime-to-$p$ étale fundamental group of a smooth hyperelliptic_curve_over $K_{\mathfrak{p}}$._Let_$\mathfrak{C}$_be a smooth, projective hyperelliptic_curve over ${\mathbb{C}}$ of degree_$d$ and_genus $g$ defined by an equation of the_form_$y^{2} = \prod_{i_= 1}^{d} (x - z_{i})$ for distinct roots $z_{i}_\in \mathcal{K}_{\mathfrak{p}}$; if $d$ is odd_(resp. even), then_$d_=_2g + 1$ (resp._$d = 2g + 2$). The_hyperelliptic curve $\mathfrak{C}$ comes with a_surjective degree-$2$ morphism $\mathfrak{C} \to {\mathbb{P}}_{{\mathbb{C}}}^{1}$ defined_by projecting onto the $x$-coordinate. It_is well known that this_projection ramifies_at $\infty$ if and only_if $d =_2g +_1$; in this_case, we write $z_{2g + 2}_= \infty$. Then_the projection is ramified at exactly_the_$(2g + 2)$-element_set_of_$z_{i}$’s. Write_$\mathfrak{B} \subset \mathfrak{C}({\mathbb{C}})$_for_the set_of_inverse images of these ramification points_in_${\mathbb{P}}_{{\mathbb{C}}}^{1}$ ($\mathfrak{B}$ is the set of *branch_points* of $\mathfrak{C}$). Clearly_the_restriction to $\mathfrak{C} \smallsetminus_\mathfrak{B}$ of the above projection_map yields a finite degree-$2$ étale_morphism $\mathfrak{C}_\smallsetminus \mathfrak{B}_\to {\mathbb{P}}_{{\mathbb{C}}}^{1} \smallsetminus \{z_{1},..., z_{2g + 2}\}$. Choose a basepoint $P$_of the topological space ${\mathbb{P}}_{{\mathbb{C}}}^{1} \smallsetminus_\{z_{1},..., z_{d}\}$ and a_basepoint $Q$_of_the topological space_$\mathfrak{C}({\mathbb{C}})_\smallsetminus \mathfrak{B}$_such that