_i)=e_{i+1},\ \varphi(f_i)=pe_{i+1}, \text{ for $\tau_i\in {\ensuremath{\mathrm{S}}}_\infty-{\ensuremath{\mathrm{T}}}$}$$ $$\varphi(e_i)=pe_{i+1},\ \varphi(f_i)=pf_{i+1}, \text{ for $\tau_i\in {\ensuremath{\mathrm{T}}}$}$$ where $[u]\in{\ensuremath{\mathcal{O}}}_L$ denotes the Teichmuller lifting.

We now define the universal cyclic isogeny of ${\ensuremath{\mathscr{G}}}$. In the two cases above we fix a basis of ${\ensuremath{\mathbb{D}}}({\ensuremath{\mathscr{G}}})({\ensuremath{\mathcal{O}}}_L)_{\tau_i}$ as in the previous Proposition.

Case (1): In this case we will define a cyclic isogeny of ${\ensuremath{\mathscr{G}}}\times T$ where $T$ is the scheme consisting of two copies of ${\ensuremath{\mathbb{P}}}^1$ intersecting transversally at an $\overline{{\ensuremath{\mathbb{F}}}}_p$-point. To do this we first introduce some notation.

Let $S={\ensuremath{\mathrm{Spec}\ }}R$ be a smooth $\overline{{\ensuremath{\mathbb{F}}}}_p$-scheme.

Let ${\ensuremath{\mathscr{R}}}={\ensuremath{\mathcal{O}}}_L\langle x\rangle$ denote the ring of restricted power series over ${\ensuremath{\mathcal{O}}}_L$ equipped with the lift of Frobenius given by the usual Frobenius on ${\ensuremath{\mathcal{O}}}_L$ and $x\mapsto x^p$. Then ${\ensuremath{\mathscr{R}}}$ is a frame for $R=\overline{{\ensuremath{\mathbb{F}}}}_p[x]$.

We let $M$ be the ${\ensuremath{\mathscr{R}}}$-module ${\ensuremath{\mathbb{D}}}({\ensuremath{\mathscr{G}}})({\ensuremath{\mathcal{O}}}_L)\otimes_{{\ensuremath{\mathcal{O}}}_L}{\ensuremath{\mathscr{R}}}$, equipped with the induced Frobenius, Verschiebung and the trivial connection $$\nabla:=1\otimes \text{d},$$ where $d:\mathscr{R}\rightarrow \Omega^1_{{\ensuremath{\mathscr{R}}}/{\ensuremath{\mathcal{O}}}_L}$ is the universal derivation. Then $(M,
_ i)=e_{i+1},\ \varphi(f_i)=pe_{i+1 }, \text { for $ \tau_i\in { \ensuremath{\mathrm{S}}}_\infty-{\ensuremath{\mathrm{T}}}$}$$ $ $ \varphi(e_i)=pe_{i+1},\ \varphi(f_i)=pf_{i+1 }, \text { for $ \tau_i\in { \ensuremath{\mathrm{T}}}$}$$ where $ [ u]\in{\ensuremath{\mathcal{O}}}_L$ denotes the Teichmuller lifting. 

 We now define the universal cyclic isogeny of $ { \ensuremath{\mathscr{G}}}$. In the two cases above we specify a footing of $ { \ensuremath{\mathbb{D}}}({\ensuremath{\mathscr{G}}})({\ensuremath{\mathcal{O}}}_L)_{\tau_i}$ as in the previous Proposition. 

 Case (1 ): In this case we will specify a cyclic isogeny of $ { \ensuremath{\mathscr{G}}}\times T$ where $ T$ is the system consisting of two copies of $ { \ensuremath{\mathbb{P}}}^1 $ intersect transversally at an $ \overline{{\ensuremath{\mathbb{F}}}}_p$-point. To do this we first insert some notation. 

 Let $ S={\ensuremath{\mathrm{Spec}\ } } R$ be a placid $ \overline{{\ensuremath{\mathbb{F}}}}_p$-scheme. 

 Let $ { \ensuremath{\mathscr{R}}}={\ensuremath{\mathcal{O}}}_L\langle x\rangle$ denote the closed chain of restricted might series over $ { \ensuremath{\mathcal{O}}}_L$ equip with the lift of Frobenius given by the common Frobenius on $ { \ensuremath{\mathcal{O}}}_L$ and $ x\mapsto x^p$. Then $ { \ensuremath{\mathscr{R}}}$ is a frame for $ R=\overline{{\ensuremath{\mathbb{F}}}}_p[x]$. 

 We let $ M$ be the $ { \ensuremath{\mathscr{R}}}$-module $ { \ensuremath{\mathbb{D}}}({\ensuremath{\mathscr{G}}})({\ensuremath{\mathcal{O}}}_L)\otimes_{{\ensuremath{\mathcal{O}}}_L}{\ensuremath{\mathscr{R}}}$, equipped with the induce Frobenius, Verschiebung and the trivial connection $ $ \nabla:=1\otimes \text{d},$$ where $ d:\mathscr{R}\rightarrow \Omega^1_{{\ensuremath{\mathscr{R}}}/{\ensuremath{\mathcal{O}}}_L}$ is the cosmopolitan derivation. Then $ (meter,
_i)=e_{i+1},\ \varphi(f_i)=pe_{i+1}, \text{ for $\tam_i\in {\ensuremath{\mcrhrm{S}}}_\iifty-{\enshremath{\mxthrm{T}}}$}$$ $$\varphi(e_i)=pe_{i+1},\ \varphi(f_i)=ph_{i+1}, \twxt{ fir $\tau_i\in {\ensuremath{\maghrm{T}}}$}$$ whege $[u]\in{\ensyremeth{\mathcal{O}}}_L$ denotes the Teichjmller oifting.

We now cefine the universal cycniz nsogeny of ${\ensuremath{\mathscr{G}}}$. In the two caxed above we fix a bsfis kf ${\ensuremath{\mathbb{D}}}({\ensuremath{\mathacr{G}}})({\enslremath{\mathcal{O}}}_L)_{\tsu_i}$ as in the previous Prooosihion.

Case (1): In this fase we wilo desune a cyclic isogeny of ${\ensuremath{\jathscr{G}}}\times T$ where $T$ is the rchemz consistint if hfo copies oh ${\ensugemath{\mathbb{P}}}^1$ intersewting ttansversally ab an $\mveeline{{\ensuremath{\mathbb{H}}}}_p$-point. To do this wg first indrkduce some notatiin.

Oet $S={\gnsuramatf{\natfrm{Apxc}\ }}D$ be a smkoth $\overljne{{\ensuremarh{\mathbb{F}}}}_p$-scheme.

Let ${\egwuremath{\mathsdr{R}}}={\enstrqmath{\mathcal{O}}}_L\langle x\rangle$ denote the rihg of restricted power weries over ${\ensurematj{\mathcal{O}}}_J$ equipped with the lift of Frobenius given by tha usuel Fribcniur oj ${\ensuremath{\mathcal{O}}}_L$ and $x\mapsto x^p$. Then ${\enstdekanh{\mathscr{R}}}$ is a fvame for $R=\overline{{\rndutgmath{\mathbb{F}}}}_p[x]$.

De let $M$ ge the ${\ensuremath{\mwthscr{R}}}$-iodulw ${\ensuremwth{\msthbb{D}}}({\ensuremath{\mathscr{G}}})({\ensyremath{\mathccl{O}}}_O)\otimes_{{\ensuremath{\mcthcal{O}}}_L}{\ensuxemath{\kathsvr{R}}}$, equipped with the iuduced Frobenius, Gerschiebhvg and the trivixl bonnaction $$\nabla:=1\otimes \text{d},$$ wrere $d:\matiscr{R}\xightarruw \Okega^1_{{\enfuremath{\mahhscr{V}}}/{\ansuremath{\mathcal{O}}}_P}$ is jhe unhversal degivation. Then $(M,
_i)=e_{i+1},\ \varphi(f_i)=pe_{i+1}, \text{ for $\tau_i\in {\ensuremath{\mathrm{S}}}_\infty-{\ensuremath{\mathrm{T}}}$}$$ $$\varphi(e_i)=pe_{i+1},\ for {\ensuremath{\mathrm{T}}}$}$$ where denotes the Teichmuller universal isogeny of ${\ensuremath{\mathscr{G}}}$. the two cases we fix a basis of ${\ensuremath{\mathbb{D}}}({\ensuremath{\mathscr{G}}})({\ensuremath{\mathcal{O}}}_L)_{\tau_i}$ in the previous Proposition. Case (1): In this case we will define a isogeny of ${\ensuremath{\mathscr{G}}}\times T$ where $T$ is the scheme consisting of two copies ${\ensuremath{\mathbb{P}}}^1$ transversally an To do this we first introduce some notation. Let $S={\ensuremath{\mathrm{Spec}\ }}R$ be a smooth $\overline{{\ensuremath{\mathbb{F}}}}_p$-scheme. Let x\rangle$ denote the ring of restricted power series ${\ensuremath{\mathcal{O}}}_L$ equipped with the of Frobenius given by the Frobenius ${\ensuremath{\mathcal{O}}}_L$ and x^p$. ${\ensuremath{\mathscr{R}}}$ a frame for We let $M$ be the ${\ensuremath{\mathscr{R}}}$-module ${\ensuremath{\mathbb{D}}}({\ensuremath{\mathscr{G}}})({\ensuremath{\mathcal{O}}}_L)\otimes_{{\ensuremath{\mathcal{O}}}_L}{\ensuremath{\mathscr{R}}}$, equipped with the induced Frobenius, Verschiebung and the trivial connection \text{d},$$ where is the derivation. $(M,
_i)=e_{i+1},\ \varphi(f_i)=pe_{i+1}, \text{ for $\tau_i\In {\ensuremaTh{\matHrm{s}}}_\inFtY-{\ensUremAth{\mathrm{T}}}$}$$ $$\varpHI(e_i)=pE_{i+1},\ \varphi(f_i)=pf_{i+1}, \text{ for $\taU_i\in {\eNsURemaTH{\mAthrm{t}}}$}$$ where $[u]\IN{\eNSUreMaTh{\MatHcAL{O}}}_l$ denoTes The TeicHmuller lifTinG.

WE now define thE UnIversal cycLic Isogeny of ${\ensUreMath{\maThScr{g}}}$. in the Two Cases Above wE Fix a baSis of ${\ensuReMAth{\matHBb{D}}}({\ensuREMaTh{\maThscr{G}}})({\ensuremath{\mAThCAl{O}}}_L)_{\tau_i}$ as in thE previOuS prOPOsiTioN.

Case (1): In thiS cAse we WIll defiNE a CYCLic ISogeny of ${\ensurEmath{\mathscR{g}}}\tiMes T$ whErE $T$ iS The schEme coNsIStiNg of two copiEs of ${\EnsurematH{\mathbB{p}}}^1$ intersECting trAnsverSalLy aT an $\oVErLiNe{{\eNsURemATh{\MatHBb{F}}}}_P$-point. To Do ThIs we fIrst INTROducE soMe noTatioN.

Let $S={\ensuremaTh{\mAthrM{speC}\ }}R$ be a SmootH $\oveRlIne{{\enSuremaTh{\matHbB{F}}}}_p$-scheme.

Let ${\ensUremAth{\mathscR{R}}}={\eNsUreMaTh{\matHCal{O}}}_L\lAngLe x\Rangle$ dEnote thE RinG oF REStRicted power series oVeR ${\ENsUremath{\mAthcal{o}}}_l$ eQuIPped with ThE liFt of fRObeniUs giVEn By the usuAl FrobENiUs On ${\ensurEmAth{\matHcAl{O}}}_l$ anD $x\mapSTo x^p$. then ${\enSuremath{\MathsCR{R}}}$ is a frame for $R=\OVerline{{\ensureMAtH{\MAtHBb{F}}}}_p[X]$.

We Let $M$ be the ${\enSureMAth{\mAthsCR{R}}}$-ModULe ${\ensUremaTh{\MAtHBb{D}}}({\ensuremath{\mathscR{G}}})({\EnsureMath{\mAthcal{O}}}_L)\otimeS_{{\ensurematH{\MAThcal{O}}}_L}{\eNsurEMaTH{\mathscr{R}}}$, equipPed wiTh the inducED FrobeniUs, VerSchiebunG and the trIVIal conneCtiOn $$\nAblA:=1\otIMEs \Text{d},$$ where $d:\maTHScr{R}\RiGhtarroW \OmEga^1_{{\ensuRemAth{\MatHscR{R}}}/{\EnsurematH{\mathcal{o}}}_L}$ Is ThE uNivErsal DErivatioN. THen $(m,
_i)=e_{i+1},\ \varphi(f_i) =pe_{i+1},  \tex t{for  $ \tau _i\i n {\ensuremath { \mat hrm{S}}}_\infty-{\ensu remat h{ \ math r m{ T}}}$ }$$ $$\ v ar p h i(e _i )= pe_ {i + 1} ,\ \v arp hi(f_i) =pf_{i+1},  \t ex t{ for $\tau _ i\ in {\ensur ema th{\mathrm{T }}} $}$$ w he re$ [u]\i n{\ ensur emath{ \ mathca l{O}}}_L$  d e notest he Teic h m ul lerlifting.

We nowd ef i ne the univers al cyc li c  i s o gen y o f ${\ensur em ath{\ m athscr{ G }} } $ .  In the two cases  above we f i x a  basis  o f $ { \ensur emath {\ m ath bb{D}}}({\e nsur emath{\ma thscr{ G }}})({\ e nsurema th{\ma thc al{ O}}} _ L) _{ \ta u_ i }$a sint heprevious  P ro posit ion. C a se ( 1):  Inthiscase we willdef inea  cy clicisoge ny o f${\en surema th{\m at hscr{G}}}\times  T$where $T$  is  t hesc hemec onsist ing  of  two co pies of ${\ en s u r em ath{\mathbb{P}}}^1 $i n te rsecting  trans v er sa l ly at an  $ \ov erli n e {{\en sure m at h{\mathb b{F}}} } _p $- point.To  do th is  we  fi rst i n trod uce so me notat ion.Let $S={\ensur e math{\mathrm{ S pe c } \} }R$bea smooth $\ over l ine{ {\en s ur ema t h{\ma thbb{ F} } }} _ p$-scheme.

Let ${\ en surema th{\m athscr{R}}}={ \ensuremat h { \ mathcal{ O}}} _ L\ l angle x\rangle $ den ote the ri n g of res trict ed power  series o v e r ${\ens ure mat h{\ mat h c al {O}}}_L$ equi p p ed w it h the l ift  of Fro ben ius  gi ven  b y the usu al Frobe ni us  o n${\ ensur e math{\ma th cal {O }}} _L$ a n d $x\m apsto  x^p $.  T h en${\ensu r em a t h{\m at hs cr{R }}} $is afram e  fo r $R=\o verline{{ \en s urem at h{ \mathbb {F}}}}_p[x]$. 
We let $M$  b e t he ${\ e n suremath {\mathscr{R}}}$-module$ {\ensur ema th{\m athb b{D}}}({\ ens uremat h{\ m athscr {G}}}) ({\en su rem a t h{\ma t h ca l{O }} }_L)\otime s _ {{\ ensur em ath{ \mathca l{O}}}_L}{\ensurem a th{ \mathscr{R}}} $,equi p p ed  wi t ht hein d uce d Frobenius, Vers chiebung a nd th e trivialc onn ec tion $$ \nabla: =1\ot i mes \te xt{d},$$where $d: \m aths c r {R} \rightarro w \Omega ^1_{{\ens u remat h {\ maths cr{ R}}}/{ \e nsu remat h{\mat h cal {O}}} _L}$ i sthe un ivers al  derivat ion. Then $(M,
_i)=e_{i+1},\ \varphi(f_i)=pe_{i+1},_\text{ for_$\tau_i\in {\ensuremath{\mathrm{S}}}_\infty-{\ensuremath{\mathrm{T}}}$}$$ $$\varphi(e_i)=pe_{i+1},\ \varphi(f_i)=pf_{i+1},_\text{ for_$\tau_i\in_{\ensuremath{\mathrm{T}}}$}$$ where_$[u]\in{\ensuremath{\mathcal{O}}}_L$_denotes the Teichmuller_lifting.

We now define_the universal cyclic isogeny_of ${\ensuremath{\mathscr{G}}}$. In_the_two cases above we fix a basis of ${\ensuremath{\mathbb{D}}}({\ensuremath{\mathscr{G}}})({\ensuremath{\mathcal{O}}}_L)_{\tau_i}$ as in the previous Proposition.

Case_(1):_In this_case_we_will define a cyclic isogeny_of ${\ensuremath{\mathscr{G}}}\times T$ where $T$_is the_scheme consisting of two copies of ${\ensuremath{\mathbb{P}}}^1$ intersecting_transversally_at an $\overline{{\ensuremath{\mathbb{F}}}}_p$-point._To do this we first introduce some notation.

Let $S={\ensuremath{\mathrm{Spec}\_}}R$ be a smooth $\overline{{\ensuremath{\mathbb{F}}}}_p$-scheme.

Let ${\ensuremath{\mathscr{R}}}={\ensuremath{\mathcal{O}}}_L\langle_x\rangle$ denote the_ring_of_restricted power series over_${\ensuremath{\mathcal{O}}}_L$ equipped with the lift of_Frobenius given by the usual Frobenius_on ${\ensuremath{\mathcal{O}}}_L$ and $x\mapsto x^p$. Then ${\ensuremath{\mathscr{R}}}$_is a frame for $R=\overline{{\ensuremath{\mathbb{F}}}}_p[x]$.

We let_$M$ be the ${\ensuremath{\mathscr{R}}}$-module ${\ensuremath{\mathbb{D}}}({\ensuremath{\mathscr{G}}})({\ensuremath{\mathcal{O}}}_L)\otimes_{{\ensuremath{\mathcal{O}}}_L}{\ensuremath{\mathscr{R}}}$,_equipped with_the induced Frobenius, Verschiebung and_the trivial connection_$$\nabla:=1\otimes \text{d},$$_where $d:\mathscr{R}\rightarrow \Omega^1_{{\ensuremath{\mathscr{R}}}/{\ensuremath{\mathcal{O}}}_L}$_is the universal derivation. Then $(M,