tilde \tau^+}.\end{aligned}$$ But this follows from the following three facts.

-   By the definition of essential Frobenius \[N:essential frobenius and verschiebung\], one deduces a commutative diagram $$\xymatrix{H_1^{\mathrm{dR}}(A/S)_{\tilde \tau}^{\circ,(p^{n_{\tau^+}})}\ar[rr]^{F_{A,{\mathrm{es}}}^{n_{\tau^+}}}\ar[d]_{\phi_{*,\tilde\tau}} && H^{{\mathrm{dR}}}_1(A/S)_{\tilde\tau^+}\ar[d]^{\phi_{*,\tilde\tau^+}}_{\cong}\\
    H_1^{\mathrm{dR}}(B/S)_{\tilde \tau}^{\circ,(p^{n_{\tau^+}})}\ar[rr]^{F_{B,{\mathrm{es}}}^{n_{\tau^+}}} && H^{{\mathrm{dR}}}_{1}(B/S)^{\circ}_{\tilde\tau^+},
    }$$

-   It follows from condition (v) of the moduli description in Subsection \[S:moduli-Y\_S\] that $$\phi_{*, \tilde\tau}(H_1^{\mathrm{dR}}(A/S)_{\tilde \tau}^\circ) = F_{ B,{\mathrm{es}}}^{n_{\tau^-}+ n_\tau} \big(H_1^{\mathrm{dR}}(B/S)^{\circ, (p^{ n_\tau + n_{\tau^-}})}_{\sigma^{-n_{\tau^-}}\tilde \tau^-}
    \big).$$

-   The condition $\tau^-\neq \tau^+$ implies that the quasi-isogeny $\phi:A{\rightarrow}B$ induces an isomorphism $\phi_{*, \tilde\tau^+}:H^{{\mathrm{dR}}}_{1}(A/S)^{\circ}_{\tilde \tau^+}\cong H^{{\mathrm{dR}}}_1(B/S)^{\circ}_{\tilde \tau^+}$ preserving the Hodge filtrations, in particular identifying the submodules $\phi_{*, \tilde \tau}(\omega^\circ_{A^\vee/S, \tilde \tau^+}) = \omega^\circ_{B^\vee/S, \tilde \tau^+}$.

Compatibility of link morphisms and the description of Goren-Oort stata
-----------------------------------------------------------------------

We first recall that, although the subset $\ttS(\tau
tilde \tau^+}.\end{aligned}$$ But this follows from the following three facts. 

 -    By the definition of essential Frobenius \[N: all-important frobenius and verschiebung\ ], one deduce a commutative diagram $ $ \xymatrix{H_1^{\mathrm{dR}}(A / S)_{\tilde \tau}^{\circ,(p^{n_{\tau^+}})}\ar[rr]^{F_{A,{\mathrm{es}}}^{n_{\tau^+}}}\ar[d]_{\phi_{*,\tilde\tau } } & & H^{{\mathrm{dR}}}_1(A / S)_{\tilde\tau^+}\ar[d]^{\phi_{*,\tilde\tau^+}}_{\cong}\\ 
     H_1^{\mathrm{dR}}(B / S)_{\tilde \tau}^{\circ,(p^{n_{\tau^+}})}\ar[rr]^{F_{B,{\mathrm{es}}}^{n_{\tau^+ } } } & & H^{{\mathrm{dR}}}_{1}(B / S)^{\circ}_{\tilde\tau^+ }, 
     } $ $ 

 -    It follows from condition (v) of the modulus description in Subsection   \[S: moduli - Y\_S\ ] that $ $ \phi _ { *, \tilde\tau}(H_1^{\mathrm{dR}}(A / S)_{\tilde \tau}^\circ) = F _ { B,{\mathrm{es}}}^{n_{\tau^-}+ n_\tau } \big(H_1^{\mathrm{dR}}(B / S)^{\circ, (p^ { n_\tau + n_{\tau^-}})}_{\sigma^{-n_{\tau^-}}\tilde \tau^- } 
     \big).$$ 

 -    The condition $ \tau^-\neq \tau^+$ incriminate that the quasi - isogeny $ \phi: A{\rightarrow}B$ induce an isomorphism $ \phi _ { *, \tilde\tau^+}:H^{{\mathrm{dR}}}_{1}(A / S)^{\circ}_{\tilde \tau^+}\cong H^{{\mathrm{dR}}}_1(B / S)^{\circ}_{\tilde \tau^+}$ preserving the Hodge filtration, in particular identifying the submodules $ \phi _ { *, \tilde \tau}(\omega^\circ_{A^\vee / S, \tilde \tau^+ }) = \omega^\circ_{B^\vee / S, \tilde \tau^+}$. 

 Compatibility of radio link morphisms and the description of Goren - Oort stata 
 ----------------------------------------------------------------------- 

 We first recall that, although the subset $ \ttS(\tau
tilfe \tau^+}.\end{aligned}$$ But thir follows from jhw follmwing fhree fazts.

-   By the definition of edswntiao Frobenius \[N:essential frobeniud and veeschmebung\], one deducxa a commutatibc diayrem $$\xymatrix{H_1^{\matmrm{dR}}(A/S)_{\tilda \tau}^{\circ,(p^{n_{\tau^+}})}\dr[fr]^{Y_{A,{\mathrm{es}}}^{n_{\tau^+}}}\ar[d]_{\phi_{*,\tilde\tau}} && H^{{\mathri{dR}}}_1(A/S)_{\tikdf\tau^+}\ar[d]^{\phi_{*,\tildg\tau^+}}_{\cpgg}\\
    H_1^{\mathrm{dR}}(B/S)_{\tilde \tau}^{\circ,(p^{n_{\tau^+}})}\ar[rd]^{F_{B,{\mathgm{es}}}^{n_{\tau^+}}} && H^{{\mathrm{cR}}}_{1}(B/S)^{\circ}_{\tilde\tau^+},
    }$$

-   It volllws from condition (v) of the miduly description in Subsecuimn \[S:moduli-Y\_A\] that $$\phi_{*, \tilde\tau}(H_1^{\mathrm{dR}}(A/S)_{\tklde \cau}^\circ) = F_{ V,{\mqthgk{es}}}^{n_{\tau^-}+ n_\tan} \big(H_1^{\iathrm{dR}}(B/S)^{\civb, (p^{ n_\tag + n_{\tau^-}})}_{\xigma^{-n_{\tau^-}}\tilde \tan^-}
    \big).$$

-   The condition $\vau^-\neq \tau^+$ implies trat the qgaai-isogeny $\phi:A{\rigytqrrow}T$ ingucer an iskmprlhism $\ohi_{*, \tilde\tau^+}:H^{{\jathrm{dR}}}_{1}(A/S)^{\curc}_{\tilde \tau^+}\cong H^{{\mstrgk{dR}}}_1(B/S)^{\circ}_{\tilse \tau^+}$ pweserving the Hodge filtrations, in partpculzr identifying the submidules $\phi_{*, \tilde \tau}(\olega^\circ_{A^\dee/S, \tilde \tau^+}) = \omega^\circ_{B^\vee/S, \tilde \tau^+}$.

Compatibinity kw lnkh nogphisms and the description of Goren-Oort statw
-----------------------------------------------------------------------

Se fprst recall that, clthough the subxeh $\yjS(\tau
tilde \tau^+}.\end{aligned}$$ But this follows from the facts. By the of essential Frobenius deduces commutative diagram $$\xymatrix{H_1^{\mathrm{dR}}(A/S)_{\tilde && H^{{\mathrm{dR}}}_1(A/S)_{\tilde\tau^+}\ar[d]^{\phi_{*,\tilde\tau^+}}_{\cong}\\ H_1^{\mathrm{dR}}(B/S)_{\tilde && H^{{\mathrm{dR}}}_{1}(B/S)^{\circ}_{\tilde\tau^+}, }$$ - It follows condition (v) of the moduli description in Subsection \[S:moduli-Y\_S\] that $$\phi_{*, \tilde\tau}(H_1^{\mathrm{dR}}(A/S)_{\tilde \tau}^\circ) F_{ B,{\mathrm{es}}}^{n_{\tau^-}+ n_\tau} \big(H_1^{\mathrm{dR}}(B/S)^{\circ, (p^{ n_\tau + n_{\tau^-}})}_{\sigma^{-n_{\tau^-}}\tilde \tau^-} \big).$$ - The condition \tau^+$ that quasi-isogeny induces an isomorphism $\phi_{*, \tilde\tau^+}:H^{{\mathrm{dR}}}_{1}(A/S)^{\circ}_{\tilde \tau^+}\cong H^{{\mathrm{dR}}}_1(B/S)^{\circ}_{\tilde \tau^+}$ preserving the Hodge filtrations, in particular identifying the $\phi_{*, \tilde \tau}(\omega^\circ_{A^\vee/S, \tilde \tau^+}) = \omega^\circ_{B^\vee/S, \tilde Compatibility of link morphisms the description of Goren-Oort stata We recall that, the $\ttS(\tau
tilde \tau^+}.\end{aligned}$$ But this Follows froM the fOllOwiNg ThreE facTs.

-   By the definitIOn of Essential Frobenius \[N:essEntiaL fRObenIUs And veRschiebUNg\], ONE deDuCeS a cOmMUtAtive DiaGram $$\xymAtrix{H_1^{\mathRm{dr}}(A/s)_{\tilde \tau}^{\cirC,(P^{n_{\Tau^+}})}\ar[rr]^{F_{A,{\mAthRm{es}}}^{n_{\tau^+}}}\ar[d]_{\pHi_{*,\tIlde\taU}} && H^{{\MatHRm{dR}}}_1(A/s)_{\tiLde\taU^+}\ar[d]^{\phI_{*,\Tilde\tAu^+}}_{\cong}\\
    H_1^{\maThRM{dR}}(B/S)_{\tILde \tau}^{\cIRC,(p^{N_{\tau^+}})}\Ar[rr]^{F_{B,{\mathrm{es}}}^{n_{\taU^+}}} && h^{{\mAThrm{dR}}}_{1}(B/S)^{\circ}_{\tiLde\tau^+},
    }$$

-   it FOlLOWs fRom Condition (v) Of The moDUli descRIpTION in sUbsection \[S:modUli-Y\_S\] that $$\phI_{*, \TilDe\tau}(H_1^{\MaThrM{DR}}(A/S)_{\tiLde \taU}^\cIRc) = F_{ b,{\mathrm{es}}}^{n_{\tAu^-}+ n_\tAu} \big(H_1^{\matHrm{dR}}(B/s)^{\Circ, (p^{ n_\tAU + n_{\tau^-}})}_{\siGma^{-n_{\taU^-}}\tiLde \Tau^-}
    \bIG).$$

-   THe ConDiTIon $\TAu^-\Neq \TAu^+$ iMplies thAt ThE quasI-isoGENY $\Phi:A{\RigHtarRow}B$ iNduces an isomoRphIsm $\pHI_{*, \tiLde\taU^+}:H^{{\matHrm{dr}}}_{1}(A/s)^{\circ}_{\Tilde \tAu^+}\conG H^{{\Mathrm{dR}}}_1(B/S)^{\circ}_{\tIlde \Tau^+}$ preserVinG tHe HOdGe filTRationS, in ParTicular IdentifYIng ThE SUBmOdules $\phi_{*, \tilde \tau}(\oMeGA^\CiRc_{A^\vee/S, \tIlde \taU^+}) = \OmEgA^\Circ_{B^\vee/s, \tIldE \tau^+}$.

cOMpatiBiliTY oF link morPhisms ANd ThE descriPtIon of GOrEn-OOrt Stata
-----------------------------------------------------------------------

wE firSt recaLl that, alThougH The subset $\ttS(\taU
tilde \tau^+}.\end{aligned }$$ But th is fo llo wsfr om t he f ollowing three fact s.

-   By the definit ion o fe ssen t ia l Fro benius\ [N : e sse nt ia l f ro b en ius a ndverschi ebung\], o nede duces a comm u ta tive diagr am$$\xymatrix{ H_1 ^{\mat hr m{d R }}(A/ S)_ {\til de \ta u }^{\ci rc,(p^{n_ {\ t au^+}} ) }\ar[rr ] ^ {F _{A, {\mathrm{es}}}^{n _ {\ t au^+}}}\ar[d]_ {\phi_ {* , \t i l de\ tau }} && H^{{ \m athrm { dR}}}_1 ( A/ S ) _ {\t i lde\tau^+}\ar [d]^{\phi_{ * ,\t ilde\t au ^+} } _{\con g}\\  H_ 1^{\mathrm{ dR}} (B/S)_{\t ilde \ t au}^{\c i rc,(p^{ n_{\ta u^+ }}) }\ar [ rr ]^ {F_ {B , {\m a th rm{ e s}} }^{n_{\t au ^+ }}} & & H^ { { \ m athr m{d R}}} _{1}( B/S)^{\circ}_ {\t ilde \ tau ^+},    } $$
-  Itfollow s fro mcondition (v) o f th e modulides cr ipt io n inS ubsect ion  \[ S:modul i-Y\_S\ ]  th at $ $ \p hi_{*, \tilde\tau} (H _ 1 ^{ \mathrm{ dR}}(A / S) _{ \ tilde \t au }^\ circ ) = F_{  B,{ \ ma thrm{es} }}^{n_ { \t au ^-}+ n_ \t au} \b ig (H_ 1^{ \math r m{dR }}(B/S )^{\circ , (p^ {  n_\tau + n_{\ t au^-}})}_{\si g ma ^ { -n _ {\ta u^- }}\tilde \t au^- } 
   \bi g ). $$-   T he co nd i ti o n $\tau^-\neq \tau^ +$  impli es th at the quasi- isogeny $\ p h i :A{\righ tarr o w} B $ induces an i somor phism $\ph i _{*, \ti lde\t au^+}:H^ {{\mathrm { d R}}}_{1} (A/ S)^ {\c irc } _ {\ tilde \tau^+} \ c ongH^ {{\math rm{ dR}}}_1 (B/ S)^ {\c irc }_ {\tilde \ tau^+}$pr es er vi ngthe H o dge filt ra tio ns , i n par t icular  iden tify in gt hesubmodu l es $ \phi _{ *,  \ti lde  \ tau}( \ome g a^\ circ_{A ^\vee/S,\ti l de \ ta u^ +}) = \ omega^\circ_{ B^ \vee/S, \t il de\tau^+ } $ .

Compa tibility of link morphi s ms andthe  desc ript ion of Go ren -Oortsta t a
---- ------ ----- -- --- - - ----- - - -- --- -- ---------- - - --- ----- -- ---- ------- --

We first recal l  th at, althoughthe  sub s e t$\t t S( \ tau 
tilde \tau^+}.\end{aligned}$$_But this_follows from the following_three facts.

-__ By_the_definition of essential_Frobenius \[N:essential frobenius_and verschiebung\], one deduces_a commutative diagram_$$\xymatrix{H_1^{\mathrm{dR}}(A/S)_{\tilde_\tau}^{\circ,(p^{n_{\tau^+}})}\ar[rr]^{F_{A,{\mathrm{es}}}^{n_{\tau^+}}}\ar[d]_{\phi_{*,\tilde\tau}} && H^{{\mathrm{dR}}}_1(A/S)_{\tilde\tau^+}\ar[d]^{\phi_{*,\tilde\tau^+}}_{\cong}\\
    H_1^{\mathrm{dR}}(B/S)_{\tilde \tau}^{\circ,(p^{n_{\tau^+}})}\ar[rr]^{F_{B,{\mathrm{es}}}^{n_{\tau^+}}} && H^{{\mathrm{dR}}}_{1}(B/S)^{\circ}_{\tilde\tau^+},
    }$$

-__ It_follows_from_condition (v) of the moduli_description in Subsection \[S:moduli-Y\_S\] that $$\phi_{*,_\tilde\tau}(H_1^{\mathrm{dR}}(A/S)_{\tilde \tau}^\circ)_= F_{ B,{\mathrm{es}}}^{n_{\tau^-}+ n_\tau} \big(H_1^{\mathrm{dR}}(B/S)^{\circ, (p^{ n_\tau +_n_{\tau^-}})}_{\sigma^{-n_{\tau^-}}\tilde_\tau^-}
  _ \big).$$

-   The condition $\tau^-\neq \tau^+$ implies_that the quasi-isogeny $\phi:A{\rightarrow}B$ induces an_isomorphism $\phi_{*, \tilde\tau^+}:H^{{\mathrm{dR}}}_{1}(A/S)^{\circ}_{\tilde_\tau^+}\cong_H^{{\mathrm{dR}}}_1(B/S)^{\circ}_{\tilde_\tau^+}$ preserving the Hodge_filtrations, in particular identifying the submodules_$\phi_{*, \tilde \tau}(\omega^\circ_{A^\vee/S, \tilde \tau^+}) =_\omega^\circ_{B^\vee/S, \tilde \tau^+}$.

Compatibility of link morphisms and_the description of Goren-Oort stata
-----------------------------------------------------------------------

We first_recall that, although the subset_$\ttS(\tau