,B,C$. Now consider the case $\gothp'=\gothp$. As in the proof of Lemma \[L:partial Frobenius vs partial Hasse inv\], for $G=A,B,C$, the $p$-divisible group $G'[\gothp^{\infty}]$ is isomorphic to the base change of $G[\gothp^{\infty}]$ via $p^2$-Frobenius on $S$. One deduces thus isomorphisms of de Rham homologies $$\label{E:isom-dR-ABC}
H^{{\mathrm{dR}}}_1(G'/S)^{\circ}_{\tilde\tau}=(H^{{\mathrm{dR}}}_1(G/S)^{\circ}_{\sigma^{-2}\tilde\tau})^{(p^2)},$$ which is compatible with $F$ and $V$ as $\tilde\tau\in \Sigma_{E,\infty/\gothp}$ varies, and compatible with $\phi_{A',*,\tilde\tau}$ and $\phi_{B',*,\tilde\tau}$ by functoriality. Hence, the required properties on $\phi_{A',*,\tilde\tau}$ and $\phi_{B',*,\tilde\tau}$ follow from those on $\phi_{A,*,\sigma^{-2}\tilde\tau}$ and $ \phi_{B,*,\sigma^{-2}\tilde\tau}$. This finishes the construction of $\gothF'_{\gothp^2}$ on $Y'_{\tilde \ttS,\ttT}$. Via the isomorphism $\eta_2:Y'_{\tilde \ttS,\ttT}{\xrightarrow}{\sim}Z'_{\tilde \ttS,\ttT}$ proved in \[P:Y\_T=Z\_T\], $\gothF'_{\gothp^2,\ttS}$ induces a map $\gothF'_{\gothp^2,\ttS}:Z'_{\tilde \ttS,\ttT}{\rightarrow}Z'_{\sigma^2_{\gothp}\tilde \ttS,\sigma^2_{\gothp}\ttT}$. Let $z=(B,\iota_{B},\lambda_{B},\beta_{K'_{\ttT}}, J^{\circ})$ be an $S$-valued point of $Z'_{\tilde \ttS,\ttT}$ as described in \[S:Y\_T=Z\_T\]. Then its image $\gothF
, B, C$. Now consider the case $ \gothp'=\gothp$. As in the proof of Lemma   \[L: fond Frobenius vs fond Hasse inv\ ], for $ gigabyte = A, B, C$, the $ p$-divisible group $ G'[\gothp^{\infty}]$ is isomorphic to the base variety of $ G[\gothp^{\infty}]$ via $ p^2$-Frobenius on $ S$. One deduces thus isomorphisms of de Rham homologies $ $ \label{E: isom - dR - ABC } 
 H^{{\mathrm{dR}}}_1(G'/S)^{\circ}_{\tilde\tau}=(H^{{\mathrm{dR}}}_1(G / S)^{\circ}_{\sigma^{-2}\tilde\tau})^{(p^2)},$$ which is compatible with $ F$ and $ V$ as $ \tilde\tau\in \Sigma_{E,\infty/\gothp}$ change, and compatible with $ \phi_{A',*,\tilde\tau}$ and $ \phi_{B',*,\tilde\tau}$ by functoriality. Hence, the required property on $ \phi_{A',*,\tilde\tau}$ and $ \phi_{B',*,\tilde\tau}$ follow from those on $ \phi_{A,*,\sigma^{-2}\tilde\tau}$ and $ \phi_{B,*,\sigma^{-2}\tilde\tau}$. This finishes the construction of $ \gothF'_{\gothp^2}$ on $ Y'_{\tilde \ttS,\ttT}$. Via the isomorphism $ \eta_2: Y'_{\tilde \ttS,\ttT}{\xrightarrow}{\sim}Z'_{\tilde \ttS,\ttT}$ testify in \[P: Y\_T = Z\_T\ ], $ \gothF'_{\gothp^2,\ttS}$ induces a map $ \gothF'_{\gothp^2,\ttS}:Z'_{\tilde \ttS,\ttT}{\rightarrow}Z'_{\sigma^2_{\gothp}\tilde \ttS,\sigma^2_{\gothp}\ttT}$. Let $ z=(B,\iota_{B},\lambda_{B},\beta_{K'_{\ttT } }, J^{\circ})$ be an $ S$-valued point of $ Z'_{\tilde \ttS,\ttT}$ as described in \[S: Y\_T = Z\_T\ ]. Then its image $ \gothF
,B,C$. Jow consider the case $\gouhp'=\gothp$. As in thg proof mf Lemja \[L:partixl Frobenius vs partial Hassx inc\], for $G=A,B,C$, the $p$-divisible gfoup $G'[\gotjp^{\infty}]$ us iwimorphic to the base chahne of $J[\gothp^{\infty}]$ via $p^2$-Frobeniuv on $S$. One dedgcds thus isomorphisms of de Rham homoljgies $$\lsbfl{E:isom-dR-ABC}
H^{{\mwthrk{qR}}}_1(G'/S)^{\dprg}_{\tilde\tau}=(H^{{\mathrm{dR}}}_1(G/S)^{\circ}_{\sigma^{-2}\tilse\tau})^{(p^2)},$$ xhich is compatoble with $F$ and $V$ as $\tilde\hau\ij \Sigma_{E,\infty/\gothp}$ varies, and com[qtible with $\ohi_{A',*,\tilde\tau}$ and $\phi_{B',*,\tjlde\tau}$ by functoriality. Hence, ghe rzquired prokzetifv on $\phi_{A',*,\tiode\tal}$ and $\phi_{B',*,\tilde\tau}$ fonlow frpm those on $\phl_{A,*,\sigka^{-2}\tulde\tau}$ and $ \phi_{B,*,\sigme^{-2}\tilde\tau}$. This finisres the cmnatruction of $\gothD'_{\githp^2}$ mn $Y'_{\dildd \ttR,\ttU}$. Vma fhe islmocphism $\eta_2:Y'_{\filde \ttS,\ttR}{\xrightarrow}{\sim}Z'_{\tilce \nyS,\ttT}$ proved in \[P:Y\_E=Z\_E\], $\gothF'_{\gothp^2,\ttS}$ induces a map $\gothF'_{\gothk^2,\ttS}:Z'_{\filde \ttS,\ttT}{\rightarrow}Z'_{\wigma^2_{\gothp}\tilde \ttS,\sihma^2_{\gothp}\teT}$. Let $z=(B,\iota_{B},\lambda_{B},\beta_{K'_{\ttT}}, J^{\circ})$ be an $S$-valued poinv uf $E'_{\tljaw \htS,\ttT}$ as described in \[S:Y\_T=Z\_T\]. Then its image $\gjfhG
,B,C$. Now consider the case $\gothp'=\gothp$. As proof Lemma \[L:partial vs partial Hasse group is isomorphic to base change of via $p^2$-Frobenius on $S$. One deduces isomorphisms of de Rham homologies $$\label{E:isom-dR-ABC} H^{{\mathrm{dR}}}_1(G'/S)^{\circ}_{\tilde\tau}=(H^{{\mathrm{dR}}}_1(G/S)^{\circ}_{\sigma^{-2}\tilde\tau})^{(p^2)},$$ which is compatible with $F$ and as $\tilde\tau\in \Sigma_{E,\infty/\gothp}$ varies, and compatible with $\phi_{A',*,\tilde\tau}$ and $\phi_{B',*,\tilde\tau}$ by functoriality. Hence, required on and follow from those on $\phi_{A,*,\sigma^{-2}\tilde\tau}$ and $ \phi_{B,*,\sigma^{-2}\tilde\tau}$. This finishes the construction of $\gothF'_{\gothp^2}$ on $Y'_{\tilde Via the isomorphism $\eta_2:Y'_{\tilde \ttS,\ttT}{\xrightarrow}{\sim}Z'_{\tilde \ttS,\ttT}$ proved in $\gothF'_{\gothp^2,\ttS}$ induces a map \ttS,\ttT}{\rightarrow}Z'_{\sigma^2_{\gothp}\tilde \ttS,\sigma^2_{\gothp}\ttT}$. Let $z=(B,\iota_{B},\lambda_{B},\beta_{K'_{\ttT}}, J^{\circ})$ an point of \ttS,\ttT}$ described \[S:Y\_T=Z\_T\]. Then its $\gothF
,B,C$. Now consider the case $\gothp'=\Gothp$. As in tHe proOf oF LeMmA \[L:paRtiaL Frobenius vs paRTial hasse inv\], for $G=A,B,C$, the $p$-divIsiblE gROup $G'[\GOtHp^{\infTy}]$ is isoMOrPHIc tO tHe BasE cHAnGe of $G[\GotHp^{\infty}]$ Via $p^2$-FrobenIus On $s$. One deduces tHUs IsomorphisMs oF de Rham homolOgiEs $$\labeL{E:IsoM-DR-ABC}
h^{{\maThrm{dr}}}_1(G'/S)^{\cirC}_{\Tilde\tAu}=(H^{{\mathrm{DR}}}_1(g/s)^{\circ}_{\sIGma^{-2}\tildE\TAu})^{(P^2)},$$ whiCh is compatible witH $f$ aND $V$ as $\tilde\tau\in \sigma_{E,\InFTy/\GOThp}$ VarIes, and compAtIble wITh $\phi_{A',*,\tILdE\TAU}$ anD $\Phi_{B',*,\tilde\tau}$ bY functorialITy. HEnce, thE rEquIRed proPertiEs ON $\phI_{A',*,\tilde\tau}$ aNd $\phI_{B',*,\tilde\taU}$ folloW From thoSE on $\phi_{A,*,\Sigma^{-2}\tIldE\taU}$ and $ \PHi_{b,*,\sIgmA^{-2}\tILde\TAu}$. thiS FinIshes the CoNsTructIon oF $\GOTHF'_{\goThp^2}$ On $Y'_{\tIlde \tTS,\ttT}$. Via the isOmoRphiSM $\etA_2:Y'_{\tilDe \ttS,\TtT}{\xRiGhtarRow}{\sim}z'_{\tildE \tTS,\ttT}$ proved in \[P:Y\_t=Z\_T\], $\gOthF'_{\gothp^2,\TtS}$ InDucEs A map $\gOThF'_{\gotHp^2,\tTS}:Z'_{\Tilde \tts,\ttT}{\rigHTarRoW}z'_{\SIgMa^2_{\gothp}\tilde \ttS,\sigMa^2_{\GOThP}\ttT}$. Let $z=(b,\iota_{B},\LAmBdA_{b},\beta_{K'_{\ttt}}, J^{\CirC})$ be aN $s$-ValueD poiNT oF $Z'_{\tilde \tTS,\ttT}$ aS DeScRibed in \[s:Y\_t=Z\_T\]. TheN iTs iMagE $\gothf
,B,C$. Now consider the ca se $\gothp '=\go thp $.As  intheproof of Lemma \[L: partial Frobenius vs p artia lH asse in v\],for $G= A ,B , C $,th e$p$ -d i vi sible  gr oup $G' [\gothp^{\ inf ty }]$ is isomo r ph ic to thebas e change of$G[ \gothp ^{ \in f ty}]$  vi a $p^ 2$-Fro b eniuson $S$. O ne deduce s  thus i s o mo rphi sms of de Rham ho m ol o gies $$\label{ E:isom -d R -A B C }
H ^{{ \mathrm{dR }} }_1(G ' /S)^{\c i rc } _ { \ti l de\tau}=(H^{{ \mathrm{dR} } }_1 (G/S)^ {\ cir c }_{\si gma^{ -2 } \ti lde\tau})^{ (p^2 )},$$ whi ch isc ompatib l e with$F$ an d $ V$as $ \ ti ld e\t au \ in\ Si gma _ {E, \infty/\ go th p}$ v arie s , a nd c omp atib le wi th $\phi_{A', *,\ tild e \ta u}$ a nd $\ phi_ {B ',*,\ tilde\ tau}$  b y functoriality . He nce, thereq ui red  p roper t ies on  $\ phi _{A',*, \tilde\ t au} $a n d  $ \phi_{B',*,\tilde\ ta u } $follow f rom th o se  o n  $\phi_{ A, *,\ sigm a ^ {-2}\ tild e \t au}$ and  $ \ph i _{ B, *,\sigm a^ {-2}\t il de\ tau }$. T h is f inishe s the co nstru c tion of $\goth F '_{\gothp^2}$ on $ Y' _ {\ti lde  \ttS,\ttT} $. V i a th e is o mo rph i sm $\ eta_2 :Y ' _{ \ tilde \ttS,\ttT}{\x ri ghtarr ow}{\ sim}Z'_{\tild e \ttS,\tt T } $  provedin \ [ P: Y \_T=Z\_T\], $\ gothF '_{\gothp^ 2 ,\ttS}$induc es a map  $\gothF' _ { \gothp^2 ,\t tS} :Z' _{\ t i ld e \ttS,\ttT}{ \ r ight ar row}Z'_ {\s igma^2_ {\g oth p}\ til de  \ttS,\si gma^2_{\ go th p} \t tT} $. Le t  $z=(B,\ io ta_ {B },\ lambd a _{B},\ beta_ {K'_ {\ tt T }},  J^{\ci r c} ) $  bean  $ S$-v alu ed  poin t of $Z' _{\tild e \ttS,\t tT} $  asde sc ribed i n \[S:Y\_T=Z\ _T \]. Then i ts  im age $\ g o thF
,B,C$. Now_consider the_case $\gothp'=\gothp$. As in_the proof_of_Lemma \[L:partial Frobenius_vs_partial Hasse inv\],_for $G=A,B,C$, the_$p$-divisible group $G'[\gothp^{\infty}]$ is_isomorphic to the_base_change of $G[\gothp^{\infty}]$ via $p^2$-Frobenius on $S$. One deduces thus isomorphisms of de Rham_homologies_$$\label{E:isom-dR-ABC}
H^{{\mathrm{dR}}}_1(G'/S)^{\circ}_{\tilde\tau}=(H^{{\mathrm{dR}}}_1(G/S)^{\circ}_{\sigma^{-2}\tilde\tau})^{(p^2)},$$ which_is_compatible_with $F$ and $V$ as_$\tilde\tau\in \Sigma_{E,\infty/\gothp}$ varies, and compatible_with $\phi_{A',*,\tilde\tau}$_and $\phi_{B',*,\tilde\tau}$ by functoriality. Hence, the required properties_on_$\phi_{A',*,\tilde\tau}$ and $\phi_{B',*,\tilde\tau}$_follow from those on $\phi_{A,*,\sigma^{-2}\tilde\tau}$ and $ \phi_{B,*,\sigma^{-2}\tilde\tau}$. This_finishes the construction of $\gothF'_{\gothp^2}$ on_$Y'_{\tilde \ttS,\ttT}$. Via_the_isomorphism_$\eta_2:Y'_{\tilde \ttS,\ttT}{\xrightarrow}{\sim}Z'_{\tilde \ttS,\ttT}$ proved_in \[P:Y\_T=Z\_T\], $\gothF'_{\gothp^2,\ttS}$ induces a map_$\gothF'_{\gothp^2,\ttS}:Z'_{\tilde \ttS,\ttT}{\rightarrow}Z'_{\sigma^2_{\gothp}\tilde \ttS,\sigma^2_{\gothp}\ttT}$. Let $z=(B,\iota_{B},\lambda_{B},\beta_{K'_{\ttT}}, J^{\circ})$_be an $S$-valued point of $Z'_{\tilde \ttS,\ttT}$_as described in \[S:Y\_T=Z\_T\]. Then its_image $\gothF