tilde\tau^-_0$ be the lift of $\tau_0$ in $ \Sigma_{E,\infty/\gothq}$. We define $M_{\tilde\tau_0^-}=p^{-t_{\tilde\tau_0}} {\tilde{{\mathcal{D}}}}^{\circ}_{B,\tilde\tau_0}$, and $M_{\sigma^i\tilde\tau_0^-}=p^{-\delta_i}F^{i}(M_{\tilde\tau_0^-})$ for each integer $i$ with $1\leq i\leq g-1$, where $\delta_i$ denotes the number of integers $j$ with $1\leq j\leq i$ such that $\sigma^{j}\tilde\tau_0^-\in \tilde\ttS'(\eta(\tau))_{\infty}$. Put $M_{\gothq}=\bigoplus_{0\leq i\leq g-1}M_{\sigma^i\tilde\tau_0^-}$, and let $M_{\bar\gothq}\subseteq {\tilde{{\mathcal{D}}}}^{\circ}_{B,\bar\gothq}[1/p]$ be the dual lattice of $M_{\gothq}$ with respect to the pairing induced by $\lambda_B$. Then $M:= M_{\gothq}\oplus M_{\bar\gothq}$ is a Dieudonné submodule of ${\tilde{{\mathcal{D}}}}^{\circ}_{B}[1/p]$. By the same argument as in the proof of Proposition \[P:Y\_S=X\_S\], there exists a unique abelian variety $B'$ equipped with an ${\mathcal{O}}_D$-action $\iota_{B'}$ together with a $p$-quasi-isogeny $\phi: B{\rightarrow}B'$ such that the induced map $\phi^{-1}_{*}: {\tilde{{\mathcal{D}}}}^{\circ}_{B'}{\rightarrow}{\tilde{{\mathcal{D}}}}^{\circ}_{B}[1/p]$ is identified with the natural inclusion $M{\hookrightarrow}{\tilde{{\mathcal{D}}}}^{\circ}_{B}[1/p]$. As usual, since $M$ is a self-dual lattice, $\lambda_{B}$ induces a prime-to-$p$ polarization $\lambda_{B'}$ such that $\phi^{\vee}\circ\lambda_{B'}\circ\phi=\lambda_{B}$. We equip $B'$ with the $K'^p$-level structure
tilde\tau^-_0 $ be the lift of $ \tau_0 $ in $ \Sigma_{E,\infty/\gothq}$. We define $ M_{\tilde\tau_0 ^ -}=p^{-t_{\tilde\tau_0 } } { \tilde{{\mathcal{D}}}}^{\circ}_{B,\tilde\tau_0}$, and $ M_{\sigma^i\tilde\tau_0 ^ -}=p^{-\delta_i}F^{i}(M_{\tilde\tau_0 ^ -})$ for each integer $ i$ with $ 1\leq i\leq g-1 $, where $ \delta_i$ denotes the number of integer $ j$ with $ 1\leq j\leq i$ such that $ \sigma^{j}\tilde\tau_0 ^ -\in \tilde\ttS'(\eta(\tau))_{\infty}$. place $ M_{\gothq}=\bigoplus_{0\leq i\leq g-1}M_{\sigma^i\tilde\tau_0 ^ -}$, and let $ M_{\bar\gothq}\subseteq { \tilde{{\mathcal{D}}}}^{\circ}_{B,\bar\gothq}[1 / p]$ be the dual wicket of $ M_{\gothq}$ with respect to the coupling induced by $ \lambda_B$. Then $ M:= M_{\gothq}\oplus M_{\bar\gothq}$ is a Dieudonné submodule of $ { \tilde{{\mathcal{D}}}}^{\circ}_{B}[1 / p]$. By the same argumentation as in the validation of Proposition   \[P: Y\_S = X\_S\ ], there exists a unique abelian variety $ B'$ equipped with an $ { \mathcal{O}}_D$-action $ \iota_{B'}$ together with a $ p$-quasi - isogeny $ \phi: B{\rightarrow}B'$ such that the induce map $ \phi^{-1 } _ { * }: { \tilde{{\mathcal{D}}}}^{\circ}_{B'}{\rightarrow}{\tilde{{\mathcal{D}}}}^{\circ}_{B}[1 / p]$ is identified with the lifelike inclusion $ M{\hookrightarrow}{\tilde{{\mathcal{D}}}}^{\circ}_{B}[1 / p]$. As usual, since $ M$ is a self - dual lattice, $ \lambda_{B}$ induces a prime - to-$p$ polarization $ \lambda_{B'}$ such that $ \phi^{\vee}\circ\lambda_{B'}\circ\phi=\lambda_{B}$. We equip $ B'$ with the $ K'^p$-level structure
tilfe\tau^-_0$ be the lift of $\tau_0$ in $ \Sigma_{E,\infti/\githq}$. Wx defins $M_{\tilde\gau_0^-}=p^{-t_{\tilde\tau_0}} {\tilde{{\mathcal{D}}}}^{\cmrc}_{B,\rilde\ucu_0}$, and $M_{\sigma^i\tilde\txu_0^-}=p^{-\delta_i}V^{i}(M_{\tilde\rau_0^-})$ hor each integer $i$ with $1\leq i\lse g-1$, chxre $\delta_i$ denojes the numbar of integers $j$ wnth $1\leq j\leq i$ such that $\sigma^{j}\tilde\eau_0^-\in \tolfe\ttS'(\eta(\tau))_{\infjy}$. Puu $M_{\doths}=\bigoplus_{0\leq i\leq g-1}M_{\sigma^i\tilde\tau_0^-}$, and leu $M_{\bar\gothq}\subsetea {\tilde{{\mathcal{D}}}}^{\circ}_{B,\bar\gotjq}[1/p]$ he the dual latticf of $M_{\gothq}$ witr respect to ghe pairing induced by $\lambda_B$. Then $M:= M_{\gothq}\oplus M_{\baf\gotha}$ is a Dieobinné vubmodule oh ${\tildv{{\mathcal{D}}}}^{\circ}_{N}[1/i]$. By tha same srgument as in thx priof of Proposition \[P:Y\_S=E\_S\], there exists a unyque abelhau variety $B'$ equipped qirh an ${\matvcal{U}}_E$-acgioh $\motz_{B'}$ togfthxr with a $p$-suasi-isogent $\phi: B{\rightarrow}B'$ xusy that the insuced ia[ $\phi^{-1}_{*}: {\tilde{{\mathcal{D}}}}^{\circ}_{B'}{\rightarrow}{\tilde{{\katgcal{D}}}}^{\circ}_{B}[1/p]$ is identifiwd with the natural ijclusion $I{\hookrightarrow}{\tilde{{\mathcal{D}}}}^{\circ}_{B}[1/p]$. As usual, since $M$ is x stln-qjql lattice, $\lambda_{B}$ induces a prime-to-$p$ polarizatykn $\lsmbda_{B'}$ such thct $\phi^{\vee}\circ\lamndw_{B'}\vyrc\phi=\lambda_{B}$. We eqbjp $B'$ with the $K'^p$-levep strucjure
tilde\tau^-_0$ be the lift of $\tau_0$ in We $M_{\tilde\tau_0^-}=p^{-t_{\tilde\tau_0}} {\tilde{{\mathcal{D}}}}^{\circ}_{B,\tilde\tau_0}$, $M_{\sigma^i\tilde\tau_0^-}=p^{-\delta_i}F^{i}(M_{\tilde\tau_0^-})$ for each g-1$, $\delta_i$ denotes the of integers $j$ $1\leq j\leq i$ such that $\sigma^{j}\tilde\tau_0^-\in Put $M_{\gothq}=\bigoplus_{0\leq i\leq g-1}M_{\sigma^i\tilde\tau_0^-}$, and let $M_{\bar\gothq}\subseteq {\tilde{{\mathcal{D}}}}^{\circ}_{B,\bar\gothq}[1/p]$ be the dual lattice of with respect to the pairing induced by $\lambda_B$. Then $M:= M_{\gothq}\oplus M_{\bar\gothq}$ is Dieudonné of By same argument as in the proof of Proposition \[P:Y\_S=X\_S\], there exists a unique abelian variety $B'$ with an ${\mathcal{O}}_D$-action $\iota_{B'}$ together with a $p$-quasi-isogeny B{\rightarrow}B'$ such that the map $\phi^{-1}_{*}: {\tilde{{\mathcal{D}}}}^{\circ}_{B'}{\rightarrow}{\tilde{{\mathcal{D}}}}^{\circ}_{B}[1/p]$ is identified the inclusion $M{\hookrightarrow}{\tilde{{\mathcal{D}}}}^{\circ}_{B}[1/p]$. usual, $M$ a self-dual lattice, induces a prime-to-$p$ polarization $\lambda_{B'}$ such that $\phi^{\vee}\circ\lambda_{B'}\circ\phi=\lambda_{B}$. We equip $B'$ with the $K'^p$-level structure
tilde\tau^-_0$ be the lift of $\tau_0$ in $ \SIgma_{E,\infty/\Gothq}$. we dEfiNe $m_{\tilDe\taU_0^-}=p^{-t_{\tilde\tau_0}} {\tilDE{{\matHcal{D}}}}^{\circ}_{B,\tilde\tau_0}$, and $M_{\Sigma^I\tILde\tAU_0^-}=p^{-\Delta_I}F^{i}(M_{\tilDE\tAU_0^-})$ For EaCh IntEgER $i$ With $1\lEq i\Leq g-1$, wheRe $\delta_i$ deNotEs The number of iNTeGers $j$ with $1\lEq j\Leq i$ such that $\SigMa^{j}\tilDe\Tau_0^-\IN \tildE\tts'(\eta(\tAu))_{\inftY}$. put $M_{\goThq}=\bigoplUs_{0\LEq i\leq G-1}m_{\sigma^i\TILdE\tau_0^-}$, And let $M_{\bar\gothq}\suBSeTEq {\tilde{{\mathcal{d}}}}^{\circ}_{B,\BaR\GoTHQ}[1/p]$ bE thE dual lattiCe Of $M_{\goTHq}$ with rESpECT To tHE pairing inducEd by $\lambda_B$. tHen $m:= M_{\gothQ}\oPluS m_{\bar\goThq}$ is A DIEudOnné submoduLe of ${\Tilde{{\mathCal{D}}}}^{\ciRC}_{B}[1/p]$. By thE Same argUment aS in The ProoF Of prOpoSiTIon \[p:y\_S=x\_S\], tHEre Exists a uNiQuE abelIan vARIETy $B'$ eQuiPped With aN ${\mathcal{O}}_D$-actIon $\Iota_{b'}$ TogEther With a $P$-quaSi-IsogeNy $\phi: B{\RightArRow}B'$ such that the InduCed map $\phi^{-1}_{*}: {\TilDe{{\MatHcAl{D}}}}^{\ciRC}_{B'}{\righTarRow}{\Tilde{{\maThcal{D}}}}^{\cIRc}_{B}[1/P]$ iS IDEnTified with the naturAl INClUsion $M{\hoOkrighTArRoW}{\Tilde{{\matHcAl{D}}}}^{\Circ}_{b}[1/P]$. as usuAl, siNCe $m$ is a self-Dual laTTiCe, $\Lambda_{B}$ InDuces a PrIme-To-$p$ PolarIZatiOn $\lambDa_{B'}$ such tHat $\phI^{\Vee}\circ\lambda_{B'}\CIrc\phi=\lambda_{B}$. wE eQUIp $b'$ With The $k'^p$-level struCturE
tilde\tau^-_0$ be the lift  of $\tau_ 0$ in  $\Si gm a_{E ,\in fty/\gothq}$.W e de fine $M_{\tilde\tau_0^ -}=p^ {- t _{\t i ld e\tau _0}} {\ t il d e {{\ ma th cal {D } }} }^{\c irc }_{B,\t ilde\tau_0 }$,  a nd $M_{\sigm a ^i \tilde\tau _0^ -}=p^{-\delt a_i }F^{i} (M _{\ t ilde\ tau _0^-} )$ for each i nteger $i $w ith $1 \ leq i\l e q  g -1$,  where $\delta_i$ de n otes the numbe r of i nt e ge r s  $j $ w ith $1\leq  j \leqi $ sucht ha t $ \si g ma^{j}\tilde\ tau_0^-\in\ til de\ttS '( \et a (\tau) )_{\i nf t y}$ . Put $M_{\ goth q}=\bigop lus_{0 \ leq i\l e q g-1}M _{\sig ma^ i\t ilde \ ta u_ 0^- }$ ,  an d  l et$ M_{ \bar\got hq }\ subse teq{ \ t i lde{ {\m athc al{D} }}}^{\circ}_{ B,\ bar\ g oth q}[1/ p]$ b e th eduallattic e of$M _{\gothq}$ with  res pect to t hepa iri ng  indu c ed by$\l amb da_B$.Then $M : = M _{ \ g o th q}\oplus M_{\bar\g ot h q }$  is a Di eudonn é  s ub m odule of  $ {\t ilde { { \math cal{ D }} }}^{\cir c}_{B} [ 1/ p] $. By t he  samear gum ent  as i n  the  proof  of Prop ositi o n \[P:Y\_S=X\_ S \], there exi s ts a  u n ique  ab elian varie ty $ B '$ e quip p ed  wi t h an${\ma th c al { O}}_D$-action $\iot a_ {B'}$toget her with a $p $-quasi-is o g e ny $\phi : B{ \ ri g htarrow}B'$ su ch th at the ind u ced map$\phi ^{-1}_{* }: {\tild e { {\mathca l{D }}} }^{ \ci r c }_ {B'}{\rightar r o w}{\ ti lde{{\m ath cal{D}} }}^ {\c irc }_{ B} [1/p]$ is  identif ie dwi th  th e nat u ral incl us ion  $ M{\ hookr i ghtarr ow}{\ tild e{ {\ m ath cal{D}} } }^ { \ circ }_ {B }[1/ p]$ .As us ual, sin ce $M$is a self -du a l la tt ic e, $\la mbda_{B}$ ind uc es a prime -t o-$ p$ pol a r ization$\lambda_{B'}$ such tha t  $\phi^ {\v ee}\c irc\ lambda_{B '}\ circ\p hi= \ lambda _{B}$.  We e qu ip$ B '$ wi t h  t he$K '^p$-level s tru cture 
tilde\tau^-_0$ be_the lift_of $\tau_0$ in $_\Sigma_{E,\infty/\gothq}$. We_define_$M_{\tilde\tau_0^-}=p^{-t_{\tilde\tau_0}} {\tilde{{\mathcal{D}}}}^{\circ}_{B,\tilde\tau_0}$,_and_$M_{\sigma^i\tilde\tau_0^-}=p^{-\delta_i}F^{i}(M_{\tilde\tau_0^-})$ for each_integer $i$ with_$1\leq i\leq g-1$, where_$\delta_i$ denotes the_number_of integers $j$ with $1\leq j\leq i$ such that $\sigma^{j}\tilde\tau_0^-\in \tilde\ttS'(\eta(\tau))_{\infty}$. Put $M_{\gothq}=\bigoplus_{0\leq i\leq_g-1}M_{\sigma^i\tilde\tau_0^-}$,_and let_$M_{\bar\gothq}\subseteq_{\tilde{{\mathcal{D}}}}^{\circ}_{B,\bar\gothq}[1/p]$_be the dual lattice of_$M_{\gothq}$ with respect to the_pairing induced_by $\lambda_B$. Then $M:= M_{\gothq}\oplus M_{\bar\gothq}$ is a_Dieudonné_submodule of ${\tilde{{\mathcal{D}}}}^{\circ}_{B}[1/p]$._By the same argument as in the proof of_Proposition \[P:Y\_S=X\_S\], there exists a unique abelian_variety $B'$ equipped_with_an_${\mathcal{O}}_D$-action $\iota_{B'}$ together with_a $p$-quasi-isogeny $\phi: B{\rightarrow}B'$ such that_the induced map $\phi^{-1}_{*}: {\tilde{{\mathcal{D}}}}^{\circ}_{B'}{\rightarrow}{\tilde{{\mathcal{D}}}}^{\circ}_{B}[1/p]$ is_identified with the natural inclusion $M{\hookrightarrow}{\tilde{{\mathcal{D}}}}^{\circ}_{B}[1/p]$. As_usual, since $M$ is a self-dual_lattice, $\lambda_{B}$ induces a prime-to-$p$_polarization $\lambda_{B'}$_such that $\phi^{\vee}\circ\lambda_{B'}\circ\phi=\lambda_{B}$. We equip_$B'$ with the_$K'^p$-level structure