 then $\delta$ would be bigger than $2p$, contradicting (\[rh3.3\]). Therefore $\delta=p+1$, and $\textsf{g}{^\prime}=(p-1)/4$. Finally, consider the quotient curve $\cY/G$ with $G=C_p \times \langle \mu \rangle$. Since $G$ is an abelian group, the curve $\cY/G$ is Galois covered by both $\bar{\cY}$ and $\cY^{\prime}$. This implies that $\cY/G$ is rational by Lüroth’s Theorem [@stichtenothbook Proposition 3.5.9]. From the Riemann-Hurwitz formula (\[rhg\]) applied to the cover $\cY^{\prime} \rightarrow \cY/G$, $$2\textsf{g}^{\prime}-2=-2p+\alpha(2+j)(p-1),$$ for some integers $\alpha,j \geq 0$. Therefore $5=2\alpha(2+j)$, a contradiction.

Therefore, $\lambda=2$. The Deuring-Shafarevich formula (\[dsg\]) applied to the cover $\cY \rightarrow \bar{\cY}$ yields $\gamma=p-1$. Hence, $\cY$ is an ordinary curve. Let $P$ and $Q$ be the fixed points of $C_p$. Since $\mu$ commutes with every element of $C_p$, $\mu$ permutes the set of orbits of $C_p$. Therefore, one of the following possibilities arises:

-   $\mu(P)=P$ and $\mu(Q)=Q$.

-   $\mu(P)=Q$ and $\mu(Q)=P$.

Assume that (I) holds. The argument used to rule out case $\lambda=1$ also works here and shows $\delta=2$. Furthermore, $\textsf{g}^{\prime}=(p-1)/2$ by (\[rh3.3\]). Now, since $\mu$ and $\sigma$ commute, $\Aut_{\mathbb{F}_q}(\cY^{\prime})$ has a subgroup $N_p$ of order $p$ acting on the points of $\cY^{\prime}$ as $C_p$ does on the set of orbits of $\mu$ in $\cY$. Let $P^{\prime},Q^{\prime} \in \cY^{\prime}$
then $ \delta$ would be bigger than $ 2p$, contradicting (\[rh3.3\ ]). Therefore $ \delta = p+1 $, and $ \textsf{g}{^\prime}=(p-1)/4$. Finally, think the quotient arch $ \cY / G$ with $ G = C_p \times \langle \mu \rangle$. Since $ G$ is an abelian group, the curve $ \cY / G$ is Galois covered by both $ \bar{\cY}$ and $ \cY^{\prime}$. This imply that $ \cY / G$ is rational by Lüroth ’s Theorem [ @stichtenothbook Proposition 3.5.9 ]. From the Riemann - Hurwitz recipe (\[rhg\ ]) applied to the cover $ \cY^{\prime } \rightarrow \cY / G$, $ $ 2\textsf{g}^{\prime}-2=-2p+\alpha(2+j)(p-1),$$ for some integer $ \alpha, j \geq 0$. consequently $ 5=2\alpha(2+j)$, a contradiction. 

 Therefore, $ \lambda=2$. The Deuring - Shafarevich formula (\[dsg\ ]) apply to the cover $ \cY \rightarrow \bar{\cY}$ yields $ \gamma = p-1$. Hence, $ \cY$ is an ordinary curve. Let $ P$ and $ Q$ be the sterilize points of $ C_p$. Since $ \mu$ commutes with every element of $ C_p$, $ \mu$ permute the set of orbits of $ C_p$. consequently, one of the following possibility arises: 

 -    $ \mu(P)=P$ and $ \mu(Q)=Q$. 

 -    $ \mu(P)=Q$ and $ \mu(Q)=P$. 

 simulate that (I) holds. The argument use to rule out case $ \lambda=1 $ also works here and shows $ \delta=2$. Furthermore, $ \textsf{g}^{\prime}=(p-1)/2 $ by (\[rh3.3\ ]). nowadays, since $ \mu$ and $ \sigma$ commute, $ \Aut_{\mathbb{F}_q}(\cY^{\prime})$ has a subgroup $ N_p$ of order $ p$ acting on the points of $ \cY^{\prime}$ as $ C_p$ does on the set of orbits of $ \mu$ in $ \cY$. Let $ P^{\prime},Q^{\prime } \in \cY^{\prime}$
 thfn $\delta$ would be bigger than $2p$, contradnxting (\[ch3.3\]). Thersfore $\deuta=p+1$, and $\textsf{g}{^\prime}=(p-1)/4$. Finalpy, consuder the quotient curvd $\cY/G$ witj $G=C_p \tines \oqngle \mu \rehgle$. Sikee $G$ jd an ebelian group, tme curve $\cY/C$ is Galois coeefeb by both $\bar{\cY}$ and $\cY^{\prime}$. This impjies thst $\cY/G$ is rationwl bj Jürotg’s Theorem [@stichtenothbook Proposifion 3.5.9]. Fgom the Riemann-Hutwitz formula (\[rhg\]) applied ho tje cover $\cY^{\prime} \rlghtarrow \cI/F$, $$2\tqztsf{g}^{\prime}-2=-2p+\aupha(2+j)(p-1),$$ for some integets $\alpha,j \geq 0$. Therefore $5=2\alpha(2+j)$, x concradiction.

Tyeeeflte, $\lambda=2$. Thx Deurpng-Shafarevicm formuna (\[dsg\]) spplied to the coter $\xY \rightarrow \bar{\cY}$ ymelds $\gamma=p-1$. Hence, $\cI$ is an orgiuary curve. Let $P$ and $W$ ve thg fixad puuntr or $R_p$. Aince $\lu$ rommutes wifh every elwment of $C_p$, $\mu$ permitqw the set of krbits os $C_p$. Therefore, one of the following posvibjlities arises:

-   $\mu(P)=P$ abd $\mu(Q)=Q$.

-   $\mu(P)=Q$ and $\mu(E)=P$.

Assume ehat (I) holds. The argument used to rule out case $\ldmbda=1$ xlsi ruekd here and shows $\delta=2$. Furthermore, $\textsf{g}^{\priis}=(p-1)/2$ bj (\[rh3.3\]). Now, since $\mu$ and $\sigma$ volmije, $\Aut_{\mathbb{F}_q}(\zY^{\primz})$ hzs a subgroup $N_p$ ov order $p$ acring on tre ppints of $\cY^{\prime}$ as $C_p$ does on the set jd orbits of $\mu$ in $\eY$. Let $P^{\primz},Q^{\primg} \in \cU^{\prime}$
then $\delta$ would be bigger than $2p$, Therefore and $\textsf{g}{^\prime}=(p-1)/4$. consider the quotient \langle \rangle$. Since $G$ an abelian group, curve $\cY/G$ is Galois covered by $\bar{\cY}$ and $\cY^{\prime}$. This implies that $\cY/G$ is rational by Lüroth’s Theorem [@stichtenothbook 3.5.9]. From the Riemann-Hurwitz formula (\[rhg\]) applied to the cover $\cY^{\prime} \rightarrow \cY/G$, for integers \geq Therefore $5=2\alpha(2+j)$, a contradiction. Therefore, $\lambda=2$. The Deuring-Shafarevich formula (\[dsg\]) applied to the cover $\cY \rightarrow yields $\gamma=p-1$. Hence, $\cY$ is an ordinary curve. $P$ and $Q$ be fixed points of $C_p$. Since commutes every element $C_p$, permutes set of orbits $C_p$. Therefore, one of the following possibilities arises: - $\mu(P)=P$ and $\mu(Q)=Q$. - $\mu(P)=Q$ and $\mu(Q)=P$. Assume (I) holds. used to out $\lambda=1$ works here and Furthermore, $\textsf{g}^{\prime}=(p-1)/2$ by (\[rh3.3\]). Now, since commute, $\Aut_{\mathbb{F}_q}(\cY^{\prime})$ has a subgroup $N_p$ of order acting on points of $\cY^{\prime}$ as $C_p$ does the set of orbits of $\mu$ in $\cY$. $P^{\prime},Q^{\prime} \in \cY^{\prime}$
 then $\delta$ would be bigger thaN $2p$, contradiCting (\[Rh3.3\]). THerEfOre $\dElta=P+1$, and $\textsf{g}{^\priME}=(p-1)/4$. FiNally, consider the quotieNt curVe $\Cy/G$ wiTH $G=c_p \timEs \langlE \Mu \RANglE$. SInCe $G$ Is AN aBeliaN grOup, the cUrve $\cY/G$ is GAloIs Covered by botH $\BaR{\cY}$ and $\cY^{\prIme}$. this implies tHat $\CY/G$ is rAtIonAL by LüRotH’s TheOrem [@stIChtenoThbook ProPoSItion 3.5.9]. FROm the RiEMAnN-HurWitz formula (\[rhg\]) appLIeD To the cover $\cY^{\prIme} \rigHtARrOW \CY/G$, $$2\TexTsf{g}^{\prime}-2=-2p+\AlPha(2+j)(p-1),$$ FOr some iNTeGERS $\alPHa,j \geq 0$. TherefoRe $5=2\alpha(2+j)$, a coNTraDictioN.

THerEFore, $\laMbda=2$. THe dEurIng-ShafarevIch fOrmula (\[dsg\]) ApplieD To the coVEr $\cY \rigHtarroW \baR{\cY}$ YielDS $\gAmMa=p-1$. heNCe, $\cy$ Is An oRDinAry curve. leT $P$ And $Q$ bE the FIXED poiNts Of $C_p$. since $\Mu$ commutes witH evEry eLEmeNt of $C_P$, $\mu$ peRmutEs The seT of orbIts of $c_p$. therefore, one of tHe foLlowing poSsiBiLitIeS arisES:

-   $\mu(P)=P$ aNd $\mU(Q)=Q$.

-   $\Mu(P)=Q$ and $\Mu(Q)=P$.

AssUMe tHaT (i) HOlDs. The argument used tO rULE oUt case $\laMbda=1$ alSO wOrKS here and ShOws $\DeltA=2$. fUrtheRmorE, $\TeXtsf{g}^{\priMe}=(p-1)/2$ by (\[rH3.3\]). noW, sInce $\mu$ aNd $\Sigma$ cOmMutE, $\AuT_{\mathBB{F}_q}(\cy^{\prime})$ Has a subgRoup $N_P$ Of order $p$ acting ON the points of $\cy^{\PrIME}$ aS $c_p$ doEs oN the set of orBits OF $\mu$ iN $\cY$. LET $P^{\PriME},Q^{\priMe} \in \cy^{\pRImE}$
 then $\delta$ would be bi gger than$2p$,  co ntr ad icti ng ( \[rh3.3\]). Th e refo re $\delta=p+1$, and $ \text sf { g}{^ \ pr ime}= (p-1)/4 $ .F i nal ly ,con si d er  thequo tient c urve $\cY/ G$wi th $G=C_p \t i me s \langle\mu  \rangle$. S inc e $G$is  an abeli angroup , thec urve $ \cY/G$ is  G a lois c o vered b y bo th $ \bar{\cY}$ and $\ c Y^ { \prime}$. This  impli es th a t  $\ cY/ G$ is rati on al by Lüroth’ s  T h e o rem [@stichtenoth book Propos i tio n 3.5. 9] . F r om the  Riem an n -Hu rwitz formu la ( \[rhg\])applie d  to the cover $ \cY^{\ pri me}  \ri g ht ar row  \ c Y/G $ ,$$2 \ tex tsf{g}^{ \p ri me}-2 =-2p + \ a l pha( 2+j )(p- 1),$$  for some int ege rs $ \ alp ha,j\geq0$.Th erefo re $5= 2\alp ha (2+j)$, a contr adic tion.

Th ere fo re,  $ \lamb d a=2$.The  De uring-S hafarev i chfo r m u la  (\[dsg\]) applied  t o th e cover$\cY \ r ig ht a rrow \ba r{ \cY }$ y i e lds $ \gam m a= p-1$. He nce, $ \ cY $is an o rd inarycu rve . L et $P $  and  $Q$ b e the fi xed p o ints of $C_p$. Since $\mu$ c o mm u t es with  ev ery element  of$ C_p$ , $\ m u$  pe r mutes  these t  o f  orbits of $C_p$. T he refore , one  of the follo wing possi b i l ities ar ises : 
-    $\mu(P)=P$and $ \mu(Q)=Q$. 
-   $\m u(P)= Q$ and $ \mu(Q)=P$ . 
Assumetha t ( I)hol d s .The argumentu s ed t orule ou t c ase $\l amb da= 1$als oworks her e and sh ow s$\ de lta =2$.F urthermo re , $ \t ext sf{g} ^ {\prim e}=(p -1)/ 2$  b y  (\ [rh3.3\ ] ). N ow,si nc e $\ mu$  a nd $\ sigm a $ c ommute,  $\Aut_{\ mat h bb{F }_ q} (\cY^{\ prime})$ hasasubgroup $ N_ p$of ord e r  $p$ act ing on the points of $\ c Y^{\pri me} $ as$C_p $ does on  th e setofo rbitsof $\m u$ in  $ \cY $ .  Let$ P ^{ \pr im e},Q^{\pri m e } \ in \c Y^ {\pr ime}$
 then_$\delta$ would_be bigger than $2p$,_contradicting (\[rh3.3\])._Therefore_$\delta=p+1$, and_$\textsf{g}{^\prime}=(p-1)/4$._Finally, consider the_quotient curve $\cY/G$_with $G=C_p \times \langle_\mu \rangle$. Since_$G$_is an abelian group, the curve $\cY/G$ is Galois covered by both $\bar{\cY}$ and_$\cY^{\prime}$._This implies_that_$\cY/G$_is rational by Lüroth’s Theorem_[@stichtenothbook Proposition 3.5.9]. From the_Riemann-Hurwitz formula_(\[rhg\]) applied to the cover $\cY^{\prime} \rightarrow \cY/G$,_$$2\textsf{g}^{\prime}-2=-2p+\alpha(2+j)(p-1),$$_for some integers_$\alpha,j \geq 0$. Therefore $5=2\alpha(2+j)$, a contradiction.

Therefore, $\lambda=2$. The_Deuring-Shafarevich formula (\[dsg\]) applied to the_cover $\cY \rightarrow_\bar{\cY}$_yields_$\gamma=p-1$. Hence, $\cY$ is_an ordinary curve. Let $P$ and_$Q$ be the fixed points of_$C_p$. Since $\mu$ commutes with every element_of $C_p$, $\mu$ permutes the set_of orbits of $C_p$. Therefore,_one of_the following possibilities arises:

- _ $\mu(P)=P$ and_$\mu(Q)=Q$.

- _ $\mu(P)=Q$ and_$\mu(Q)=P$.

Assume that (I) holds. The argument_used to rule_out case $\lambda=1$ also works here_and_shows $\delta=2$. Furthermore,_$\textsf{g}^{\prime}=(p-1)/2$_by_(\[rh3.3\]). Now,_since $\mu$ and_$\sigma$_commute, $\Aut_{\mathbb{F}_q}(\cY^{\prime})$_has_a subgroup $N_p$ of order $p$_acting_on the points of $\cY^{\prime}$ as $C_p$_does on the set_of_orbits of $\mu$ in_$\cY$. Let $P^{\prime},Q^{\prime} \in \cY^{\prime}$