 main2\] as well as to prove an auxiliary result that applies to a more general situation (Theorem \[thm several primes\]). Finally, in §\[S5\], we will assume that $K$ has class number $1$ and show using Theorem \[thm main1\] that for a given $f \in \mathcal{O}_{K}[x]$ of degree $d \geq 3$, the $2$-adic Galois image associated to the hyperelliptic curves defined by $y^{2} = f(x)(x - \lambda)$ for all but finitely many $\lambda \in \mathcal{O}_{K}$ contains a principal congruence subgroup which depends only on $d$ (Theorem \[thm uniform bounds\]). In fact, for $d \geq 4$ even, in Theorem \[thm uniform bounds\](c) we will provide a uniform bound for indices of the $2$-adic Galois images associated to almost all fibers of such a one-parameter family over the $K$-line, as is guaranteed by [@cadoret2012uniform Theorems 1.1 and 5.1].

The author is grateful to a MathOverflow user whose comment on question 264281 helped to inspire the arguments for the results in §\[S5\].

Hyperelliptic Jacobians over local fields and tame Galois actions {#S2}
=================================================================

We retain all notation introduced in the previous section. In this section, we write $\widehat{{\mathbb{Z}}}$ for the profinite completion of ${\mathbb{Z}}$ and use the symbol $\widehat{\pi}_{1}$ to denote the profinite completion of the fundamental group of a topological space. For any profinite group $G$, we write $G^{(p')}$ for its maximal prime-to-$p$ quotient. For any profinite group $G$, let $G^{(p')}$ denote its prime-to-$p$ quotient. Note that since $G^{(p')}$ is a characteristic quotient of $G$, any action on $G$ induces an action on $G^{(p')}$.

Now we choose a prime $\mathfrak{p}$ of $K$ of residue characteristic $p \neq 2$. Fix a strict Henselization of the localization of $K$ at the prime $\mathfrak{p}$ and denote it by $\mathcal{R}_{\mathfrak{p}}$ and its fraction field by $\mathcal{K}_{\mathfrak{p}}$; this comes with an embedding $\mathcal{K}_{\mathfrak{p}} \
main2\ ] as well as to prove an auxiliary result that apply to a more cosmopolitan situation (Theorem \[thm several primes\ ]). ultimately, in § \[S5\ ], we will simulate that $ K$ has class issue $ 1 $ and express using Theorem \[thm main1\ ] that for a contribute $ f \in \mathcal{O}_{K}[x]$ of degree $ d \geq 3 $, the $ 2$-adic Galois trope associated to the hyperelliptic curves define by $ y^{2 } = f(x)(x - \lambda)$ for all but finitely many $ \lambda \in \mathcal{O}_{K}$ contains a principal congruence subgroup which depends only on $ d$ (Theorem \[thm uniform bounds\ ]). In fact, for $ d \geq 4 $ even, in Theorem \[thm uniform bounds\](c) we will supply a uniform bound for indices of the $ 2$-adic Galois images consociate to almost all fibers of such a one - parameter class over the $ K$-line, as is guaranteed by [ @cadoret2012uniform Theorems 1.1 and 5.1 ]. 

 The author is grateful to a MathOverflow user whose comment on doubt 264281 helped to inspire the arguments for the results in § \[S5\ ]. 

 Hyperelliptic Jacobians over local fields and tame Galois actions { # S2 } 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 We retain all notation introduced in the previous section. In this section, we write $ \widehat{{\mathbb{Z}}}$ for the profinite completion of $ { \mathbb{Z}}$ and use the symbol $ \widehat{\pi}_{1}$ to denote the profinite completion of the fundamental group of a topological space. For any profinite group $ G$, we write $ G^{(p')}$ for its maximal premier - to-$p$ quotient. For any profinite group $ G$, let $ G^{(p')}$ denote its choice - to-$p$ quotient. notice that since $ G^{(p')}$ is a characteristic quotient of $ G$, any legal action on $ G$ induces an action on $ G^{(p')}$. 

 Now we choose a prime $ \mathfrak{p}$ of $ K$ of residue characteristic $ p \neq 2$. Fix a stern Henselization of the localization of $ K$ at the prime $ \mathfrak{p}$ and denote it by $ \mathcal{R}_{\mathfrak{p}}$ and its fraction field by $ \mathcal{K}_{\mathfrak{p}}$; this total with an embedding $ \mathcal{K}_{\mathfrak{p } } \
 maln2\] as well as to prove ak auxiliary result that appliss to a oore general situation (Theorxm \[tym seceral primes\]). Finally, iv §\[S5\], we wipl assumw thet $K$ has class nnjber $1$ akb shos usiug Theorem \[thm msin1\] that fmr a given $f \it \oachcal{O}_{K}[x]$ of degree $d \geq 3$, the $2$-adic Gwlois ikahe associated jo tht hrperslliptic curves defined by $y^{2} = f(x)(x - \lambda)$ for all but ginitely many $\lambda \in \mahhcap{O}_{K}$ contains a prijcipal congthensw subgroup wfich depends only on $d$ (Theorem \[thm uniform bounds\]). In wact, yor $d \geq 4$ grwn, lt Theorem \[tim unisorm bounds\](c) we will providr a uniform bomnd fmr undices of the $2$-adic Gelois images associajed to almmsc all fibers of such q ine-patametar fxnilh obec tge $K$-lije, es is guarahteed by [@caeoret2012uniform Theoreks 1.1 and 5.1].

The authkr is drwteful to a MathOverflow user whose comkenf on question 264281 helped ti inspire the argumenjs for the results in §\[S5\].

Hyperelliptic Jacobians over local fhelds xnd twow Halois actions {#S2}
=================================================================

We retain all notation introdtdec pn the previous scction. In this secyiln, re write $\widefat{{\matkgb{A}}}$ for the profinitf complgtion if ${\mathbb{E}}$ and use the symbol $\widehat{\pi}_{1}$ ti denote the profinite completiln of the fbndamemtal broup of a topological rpacs. For any pgofinite ffoup $G$, we write $E^{(p')}$ nor its maximal prime-to-$p$ quotyent. For eny pxofinite groop $G$, lee $G^{(p')}$ denotf its prime-to-$p$ quotient. Jote jhat shnce $G^{(p')}$ is a characteristic quotient of $G$, any action on $G$ inguces an actipn on $G^{(p')}$.

Now wq choose a prike $\mathyrak{p}$ uf $K$ of reaidue ciaracteristis $p \neq 2$. Fix d strict Hensxlization of rhe oocalizxgion of $K$ at tne prime $\mathfrak{p}$ qnd denote it by $\methcxm{R}_{\mathfrak{p}}$ and itw fraction fielc bh $\mwtjcel{K}_{\maevfrak{p}}$; this womer wkyh an embedding $\nxthcsl{K}_{\mathfrak{p}} \
main2\] as well as to prove an that to a general situation (Theorem §\[S5\], will assume that has class number and show using Theorem \[thm main1\] for a given $f \in \mathcal{O}_{K}[x]$ of degree $d \geq 3$, the $2$-adic image associated to the hyperelliptic curves defined by $y^{2} = f(x)(x - \lambda)$ all finitely $\lambda \mathcal{O}_{K}$ contains a principal congruence subgroup which depends only on $d$ (Theorem \[thm uniform bounds\]). In for $d \geq 4$ even, in Theorem \[thm bounds\](c) we will provide uniform bound for indices of $2$-adic images associated almost fibers such a one-parameter over the $K$-line, as is guaranteed by [@cadoret2012uniform Theorems 1.1 and 5.1]. The author is grateful to MathOverflow user on question helped inspire arguments for the §\[S5\]. Hyperelliptic Jacobians over local fields actions {#S2} ================================================================= We retain all notation introduced the previous In this section, we write $\widehat{{\mathbb{Z}}}$ the profinite completion of ${\mathbb{Z}}$ and use the $\widehat{\pi}_{1}$ to denote the profinite completion of the fundamental group of a topological space. For group $G$, we write for its maximal quotient. any group let $G^{(p')}$ its prime-to-$p$ quotient. Note that since $G^{(p')}$ is a characteristic quotient $G$, any action on $G$ induces an action on $G^{(p')}$. choose prime $\mathfrak{p}$ of of residue characteristic $p 2$. a strict Henselization of of at and it $\mathcal{R}_{\mathfrak{p}}$ and its fraction by $\mathcal{K}_{\mathfrak{p}}$; this comes with embedding $\mathcal{K}_{\mathfrak{p}} \
 main2\] as well as to prove an auxiLiary resulT that AppLieS tO a moRe geNeral situation (tHeorEm \[thm several primes\]). FinaLly, in §\[s5\], wE Will ASsUme thAt $K$ has cLAsS NUmbEr $1$ AnD shOw USiNg TheOreM \[thm maiN1\] that for a gIveN $f \In \mathcal{O}_{K}[x]$ OF dEgree $d \geq 3$, tHe $2$-aDic Galois imaGe aSsociaTeD to THe hypEreLliptIc curvES definEd by $y^{2} = f(x)(x - \lAmBDa)$ for aLL but finITElY manY $\lambda \in \mathcal{O}_{k}$ CoNTains a principaL congrUeNCe SUBgrOup Which depenDs Only oN $D$ (TheoreM \[ThM UNIfoRM bounds\]). In fact, For $d \geq 4$ even, IN ThEorem \[tHm UniFOrm bouNds\](c) wE wILl pRovide a unifOrm bOund for inDices oF The $2$-adic gAlois imAges asSocIatEd to ALmOsT alL fIBerS Of SucH A onE-parametEr FaMily oVer tHE $k$-LIne, aS is GuarAnteeD by [@cadoret2012uniForM TheORemS 1.1 and 5.1].

THe autHor iS gRatefUl to a MAthOvErFlow user whose coMmenT on questiOn 264281 hElPed To InspiRE the arGumEntS for the Results IN §\[S5\].

HYpERELlIptic Jacobians over LoCAL fIelds and Tame GaLOiS aCTions {#S2}
=================================================================

We ReTaiN all NOTatioN intROdUced in thE previOUs SeCtion. In ThIs sectIoN, we WriTe $\widEHat{{\mAthbb{Z}}}$ For the prOfiniTE completion of ${\mAThbb{Z}}$ and use thE SyMBOl $\WIdehAt{\pI}_{1}$ to denote thE proFInitE comPLeTioN Of the FundaMeNTaL Group of a topological SpAce. For Any prOfinite group $G$, We write $G^{(p')}$ fOR ITs maximaL priME-tO-$P$ quotient. For anY profInite group $g$, Let $G^{(p')}$ denOte itS prime-to-$P$ quotient. nOTe that siNce $g^{(p')}$ iS a cHarACTeRistic quotienT OF $G$, anY aCtion on $g$ inDuces an ActIon On $G^{(P')}$.

NoW wE choose a pRime $\mathFrAk{P}$ oF $K$ Of rEsiduE CharacteRiStiC $p \Neq 2$. fix a sTRict HeNseliZatiOn Of THe lOcalizaTIoN OF $K$ at ThE pRime $\MatHfRak{p}$ aNd deNOte It by $\matHcal{R}_{\mathFraK{P}}$ and ItS fRaction Field by $\mathcaL{K}_{\Mathfrak{p}}$; tHiS coMes witH AN embeddiNg $\mathcal{K}_{\mathfrak{p}} \
 main2\] as well as to pro ve an auxi liary  re sul tthat  app lies to a more gene ral situation (Theorem  \[th ms ever a lprime s\]). F i na l l y,in  § \[S 5\ ] ,we wi llassumethat $K$ h ascl ass number $ 1 $and show u sin g Theorem \[ thm  main1 \]  th a t for  agiven  $f \i n  \math cal{O}_{K }[ x ]$ ofd egree $ d \g eq 3 $, the $2$-adic G a lo i s image associ ated t ot he h ype rel liptic cur ve s def i ned by$ y^ { 2 }  =f (x)(x - \lamb da)$ for al l  bu t fini te lym any $\ lambd a\ in\mathcal{O} _{K} $ contain s a pr i ncipalc ongruen ce sub gro upwhic h  d ep end so nly on  $d $  (T heorem \ [t hm  unif ormb o u n ds\] ).In f act,for $d \geq 4 $ e ven, inTheor em \[ thmun iform  bound s\](c )we will provide  a u niform bo und  f orin dices of the  $2 $-a dic Gal ois ima g esas s o c ia ted to almost allfi b e rs  of such  a one - pa ra m eter fam il y o vert h e $K$ -lin e ,as is gu arante e dby  [@cado re t2012u ni for m T heore m s 1. 1 and5.1].

T he au t hor is gratefu l  to a MathOve r fl o w  u s er w hos e comment o n qu e stio n 26 4 28 1 h e lpedto in sp i re the arguments for t he  resul ts in  §\[S5\].

Hy perellipti c J acobians  ove r  l o cal fields and  tame  Galois ac t ions {#S 2}
== ======== ========= = = ======== === === === === = = == ============= = = ==== =
We ret ain  all no tat ion  in tro du ced in th e previo us  s ec ti on.  In t h is secti on , w ewri te $\ w idehat {{\ma thbb {Z }} } $ f or thep ro f i nite  c om plet ion  o f ${\ math b b{Z }}$ and  use thesym b ol $ \w id ehat{\p i}_{1}$ to de no te the pro fi nit e comp l e tion ofthe fundamental group o f  a topo log icalspac e. For an y p rofini teg roup $ G$, we  writ e$G^ { ( p')}$ f or  it smaximal pr i m e-t o-$p$  q uoti ent. Fo r any profinite gr o up$G$, let $G^{ (p' )}$d e no tei ts pri me - to- $ p $ quotient. Not e that sin ce $G ^{(p')}$ i s  ach aracter istic q uotie n t of $G $, any ac tion on $ G$  ind u c esan actionon $G^{( p')}$.

N o w wec ho ose a  pr ime $\ ma thf rak{p }$ of$ K$of re siduech aracte risti c$p \neq2$. Fix a strict Hensel izatio n ofthe  localiza tio n  of  $K$ at t he p rime $\mat hfr ak{ p}$ a ndd enote  itb y$\m a thcal {R}_ { \mathfrak { p} }$a n dits fractio n f iel d by$\m a thcal{ K}_{ \mathfrak{p}}$; t h is comes withan e m b edd ing $\ma th cal{K}_{\mathf rak {p } }  \
 main2\]_as well_as to prove an_auxiliary result_that_applies to_a_more general situation_(Theorem \[thm several_primes\]). Finally, in §\[S5\],_we will assume_that_$K$ has class number $1$ and show using Theorem \[thm main1\] that for a_given_$f \in_\mathcal{O}_{K}[x]$_of_degree $d \geq 3$, the_$2$-adic Galois image associated to_the hyperelliptic_curves defined by $y^{2} = f(x)(x - \lambda)$_for_all but finitely_many $\lambda \in \mathcal{O}_{K}$ contains a principal congruence subgroup_which depends only on $d$ (Theorem_\[thm uniform bounds\])._In_fact,_for $d \geq 4$_even, in Theorem \[thm uniform bounds\](c)_we will provide a uniform bound_for indices of the $2$-adic Galois images_associated to almost all fibers of_such a one-parameter family over_the $K$-line,_as is guaranteed by [@cadoret2012uniform_Theorems 1.1 and_5.1].

The author_is grateful to_a MathOverflow user whose comment on_question 264281 helped_to inspire the arguments for the_results_in §\[S5\].

Hyperelliptic Jacobians_over_local_fields and_tame Galois actions_{#S2}
=================================================================

We_retain all_notation_introduced in the previous section. In_this_section, we write $\widehat{{\mathbb{Z}}}$ for the profinite_completion of ${\mathbb{Z}}$ and_use_the symbol $\widehat{\pi}_{1}$ to_denote the profinite completion of_the fundamental group of a topological_space. For_any profinite_group $G$, we write $G^{(p')}$ for its maximal prime-to-$p$ quotient. For_any profinite group $G$, let $G^{(p')}$_denote its prime-to-$p$ quotient._Note that_since_$G^{(p')}$ is a_characteristic_quotient of_$G$, any action on $G$ induces an_action on_$G^{(p')}$.

Now we choose a prime $\mathfrak{p}$_of $K$ of residue_characteristic_$p \neq 2$. Fix a strict_Henselization of the localization of $K$_at the prime $\mathfrak{p}$ and_denote_it_by $\mathcal{R}_{\mathfrak{p}}$ and its fraction_field by $\mathcal{K}_{\mathfrak{p}}$; this comes with_an embedding $\mathcal{K}_{\mathfrak{p}}_\