))\cong
(E,\theta).$$

Next, we show that the functor $C_0^{-1}$ induces a functor in the opposite direction. Given an object $(E,\theta,Fil,\phi)\in
\mathcal{HB}_{(0,1)}$, it is clear to define the triple $$(H,\nabla,Fil)=(C_0^{-1}(E,\theta),Fil).$$ What remains is to produce a relative Frobenius $\Phi$ from the $\phi$. Following Faltings [@Fa1] Ch. II. d), it suffices to give for each pair $({\bf U}_i,F_{{\bf U}_i})$ an ${{\mathcal O}}_{U_i}$-morphism $$\Phi_{({\bf
U}_i,F_{{\bf U}_i})}: F_{U_i}^*Gr_{Fil}H|_{U_i}\to H|_{U_i}$$ satisfying

1.  strong $p$-divisibility, that is, $\Phi_{({\bf U}_i,F_{{\bf
    U}_i})}$ is an isomorphism,

2.  horizontal property,

3.  over each $U_i\cap U_j$, $\Phi_{({\bf U}_i,F_{{\bf
    U}_i})}$ and $\Phi_{({\bf U}_j,F_{{\bf U}_j})}$ are related via the Taylor formula.

Recall [@LSZ] that over each $U_i$ we have the identification (chart) $$\alpha_i:=\alpha_{({\bf U}_i,F_{{\bf U_i}})}:
(F_{U_i}^{*}E|_{U_i},d+\frac{dF_{{\bf
U_i}}}{p}F_{U_i}^*\theta|_{U_i})\cong C_0^{-1}(E,\theta)|_{U_i}.$$ We define $\Phi_{({\bf U}_i,F_{{\bf U}_i})}$ to be the composite $$F_{U_i}^*Gr_{Fil}H|_{U_i}\stackrel{F_{U_i}^*\phi}{\longrightarrow}F_{U_i}^*E|_{U_i}\stackrel{\alpha_i}{\longrightarrow}
C_0^{-1}(E,\theta)|_{U_i}=H|_{U_i}.$$ By construction, $\Phi_{({\bf U}_i,F_{{\bf U}_i})}$
)) \cong 
 (E,\theta).$$ 

 Next, we show that the functor $ C_0^{-1}$ induces a functor in the opposite direction. give an aim $ (E,\theta, Fil,\phi)\in 
 \mathcal{HB}_{(0,1)}$, it is clear to define the ternary $ $ (H,\nabla, Fil)=(C_0^{-1}(E,\theta),Fil).$$ What stay is to produce a relative Frobenius $ \Phi$ from the $ \phi$. surveil Faltings [ @Fa1 ] Ch. II. d), it suffices to give for each couple $ ({ \bf U}_i, F_{{\bf U}_i})$ an $ { { \mathcal O}}_{U_i}$-morphism $ $ \Phi_{({\bf 
 U}_i, F_{{\bf U}_i }) }: F_{U_i}^*Gr_{Fil}H|_{U_i}\to H|_{U_i}$$ meet 

 1.   strong $ p$-divisibility, that is, $ \Phi_{({\bf U}_i, F_{{\bf 
     U}_i})}$ is an isomorphism, 

 2.   horizontal place, 

 3.   over each $ U_i\cap U_j$, $ \Phi_{({\bf U}_i, F_{{\bf 
     U}_i})}$ and $ \Phi_{({\bf U}_j, F_{{\bf U}_j})}$ are related via the Taylor formula. 

 Recall [ @LSZ ] that over each $ U_i$ we have the identification (chart) $ $ \alpha_i:=\alpha_{({\bf U}_i, F_{{\bf U_i } }) }: 
 (F_{U_i}^{*}E|_{U_i},d+\frac{dF_{{\bf 
 U_i}}}{p}F_{U_i}^*\theta|_{U_i})\cong C_0^{-1}(E,\theta)|_{U_i}.$$ We specify $ \Phi_{({\bf U}_i, F_{{\bf U}_i})}$ to be the composite $ $ F_{U_i}^*Gr_{Fil}H|_{U_i}\stackrel{F_{U_i}^*\phi}{\longrightarrow}F_{U_i}^*E|_{U_i}\stackrel{\alpha_i}{\longrightarrow } 
 C_0^{-1}(E,\theta)|_{U_i}=H|_{U_i}.$$ By construction, $ \Phi_{({\bf U}_i, F_{{\bf U}_i})}$
))\conh
(E,\theta).$$

Next, we show that the functor $C_0^{-1}$ nbduces a fundtor in ghe opposite direction. Given ab objtbt $(E,\theta,Fil,\phi)\in
\mathzal{HB}_{(0,1)}$, it ps clear ro dtfine the triple $$(I,\habla,Fil)=(C_0^{-1}(E,\thefw),Fil).$$ Xhat remains is to produca a relative Fsoceuius $\Phi$ from the $\phi$. Following Faltyngs [@Fa1] Cj. II. d), it suffyces eo gjne for each pair $({\bf U}_i,F_{{\bf U}_i})$ an ${{\mathcan O}}_{U_i}$-morphism $$\Phi_{({\bf
U}_i,F_{{\bf U}_i})}: F_{U_i}^*Gr_{Fil}H|_{U_i}\ho H|_{K_i}$$ satisfying

1.  strlng $p$-divisiviliet, that is, $\Phk_{({\bf U}_i,F_{{\bf
    U}_i})}$ is an jsomorphism,

2.  horizontal properth,

3.  ovzr each $U_i\cqp U_j$, $\Khi_{({\bf U}_i,F_{{\bf
    U}_i})}$ and $\Phi_{({\bf U}_m,G_{{\bf U}_j})}$ are rekated via the Bayloc foemula.

Recall [@LSZ] that mver each $U_i$ we hade the idancification (chart) $$\alphq_i:=\qlpha_{({\tf U}_h,F_{{\bf Y_i}})}:
(F_{J_i}^{*}E|_{H_i},v+\frzc{dF_{{\bf
K_i}}}{p}H_{U_i}^*\theta|_{U_i})\ckng C_0^{-1}(E,\theta)|_{Y_i}.$$ We define $\Phi_{({\bf I}_i,S_{{\vf U}_i})}$ to be tge com[ofite $$F_{U_i}^*Gr_{Fil}H|_{U_i}\stackrel{F_{U_i}^*\phi}{\longrightdrrkw}F_{U_i}^*E|_{U_i}\stackrel{\alpha_i}{\lingrightarrow}
C_0^{-1}(E,\theta)|_{U_l}=H|_{U_i}.$$ By cjnstruction, $\Phi_{({\bf U}_i,F_{{\bf U}_i})}$
))\cong (E,\theta).$$ Next, we show that the induces functor in opposite direction. Given is to define the $$(H,\nabla,Fil)=(C_0^{-1}(E,\theta),Fil).$$ What remains to produce a relative Frobenius $\Phi$ the $\phi$. Following Faltings [@Fa1] Ch. II. d), it suffices to give for pair $({\bf U}_i,F_{{\bf U}_i})$ an ${{\mathcal O}}_{U_i}$-morphism $$\Phi_{({\bf U}_i,F_{{\bf U}_i})}: F_{U_i}^*Gr_{Fil}H|_{U_i}\to H|_{U_i}$$ satisfying strong that $\Phi_{({\bf U}_i})}$ is an isomorphism, 2. horizontal property, 3. over each $U_i\cap U_j$, $\Phi_{({\bf U}_i,F_{{\bf U}_i})}$ and U}_j,F_{{\bf U}_j})}$ are related via the Taylor formula. [@LSZ] that over each we have the identification (chart) U}_i,F_{{\bf (F_{U_i}^{*}E|_{U_i},d+\frac{dF_{{\bf U_i}}}{p}F_{U_i}^*\theta|_{U_i})\cong We $\Phi_{({\bf U}_i})}$ to be composite $$F_{U_i}^*Gr_{Fil}H|_{U_i}\stackrel{F_{U_i}^*\phi}{\longrightarrow}F_{U_i}^*E|_{U_i}\stackrel{\alpha_i}{\longrightarrow} C_0^{-1}(E,\theta)|_{U_i}=H|_{U_i}.$$ By construction, $\Phi_{({\bf U}_i,F_{{\bf U}_i})}$
))\cong
(E,\theta).$$

Next, we show that tHe functor $C_0^{-1}$ InducEs a FunCtOr in The oPposite directiON. GivEn an object $(E,\theta,Fil,\phi)\In
\matHcAL{HB}_{(0,1)}$, iT Is Clear To definE ThE TRipLe $$(h,\nAblA,FIL)=(C_0^{-1}(e,\thetA),FiL).$$ What reMains is to pRodUcE a relative FrOBeNius $\Phi$ froM thE $\phi$. FollowinG FaLtings [@fa1] ch. Ii. D), it suFfiCes to Give foR Each paIr $({\bf U}_i,F_{{\bf u}_i})$ AN ${{\mathcAL O}}_{U_i}$-morPHIsM $$\Phi_{({\Bf
U}_i,F_{{\bf U}_i})}: F_{U_i}^*Gr_{Fil}h|_{u_i}\TO H|_{U_i}$$ satisfying

1.  Strong $P$-dIViSIBilIty, That is, $\Phi_{({\bF U}_I,F_{{\bf
    U}_I})}$ Is an isoMOrPHISm,

2.  hORizontal propeRty,

3.  over each $u_I\caP U_j$, $\Phi_{({\Bf u}_i,F_{{\BF
    U}_i})}$ and $\phi_{({\bf u}_j,f_{{\Bf U}_J})}$ are related Via tHe Taylor fOrmula.

rEcall [@LSz] That oveR each $U_I$ we HavE the IDeNtIfiCaTIon (CHaRt) $$\aLPha_I:=\alpha_{({\bf u}_i,f_{{\bF U_i}})}:
(F_{U_I}^{*}E|_{U_i},D+\FRAC{dF_{{\bF
U_i}}}{P}F_{U_i}^*\Theta|_{u_i})\cong C_0^{-1}(E,\theta)|_{u_i}.$$ WE defINe $\PHi_{({\bf U}_I,F_{{\bf U}_I})}$ to bE tHe comPosite $$f_{U_i}^*Gr_{fiL}H|_{U_i}\stackrel{F_{U_i}^*\Phi}{\lOngrightaRroW}F_{u_i}^*E|_{u_i}\StackREl{\alphA_i}{\lOngRightarRow}
C_0^{-1}(E,\thETa)|_{U_I}=H|_{u_I}.$$ bY cOnstruction, $\Phi_{({\bf U}_i,f_{{\bF u}_I})}$
))\cong
(E,\theta).$$

Nex t, we show  that  th e f un ctor  $C_ 0^{-1}$ induce s  a f unctor in the opposite  dire ct i on.G iv en an  object $( E , \th et a, Fil ,\ p hi )\in\ma thcal{H B}_{(0,1)} $,it  is clear to de fine the t rip le $$(H,\nab la, Fil)=( C_ 0^{ - 1}(E, \th eta), Fil).$ $  Whatremains i st o prod u ce a re l a ti ve F robenius $\Phi$ f r om the $\phi$. Fo llowin gF al t i ngs  [@ Fa1] Ch. I I.  d),i t suffi c es t o  gi v e for each pa ir $({\bf U } _i, F_{{\b fU}_ i })$ an  ${{\ ma t hca l O}}_{U_i} $-mo rphism $$ \Phi_{ ( {\bf
U} _ i,F_{{\ bf U}_ i}) }:F_{U _ i} ^* Gr_ {F i l}H | _{ U_i } \to  H|_{U_i }$ $satis fyin g 1 .  s tro ng $ p$-di visibility, t hat  is, $\P hi_{( {\bfU}_i ,F _{{\b f
   U}_i} )} $ is an isomorp hism ,

2.  ho riz on tal  p roper t y,

3.   o ver  each $ U_i\cap U_j $, $ \ Ph i_{({\bf U}_i,F_{{ \b f    U}_i}) }$ and $\ Ph i _{({\bfU} _j, F_{{ \ b f U}_ j})} $  a re relat ed via th eTaylorfo rmula. 
Rec all  [@LS Z ] th at ove r each $ U_i$w e have the ide n tification (c h ar t )  $ $ \alp ha_ i:=\alpha_{ ({\b f  U}_ i,F_ { {\ bfU _i}}) }:
(F _{ U _i } ^{*}E|_{U_i},d+\fra c{ dF_{{\ bf
U_ i}}}{p}F_{U_i }^*\theta| _ { U _i})\con g C_ 0 ^{ - 1}(E,\theta)|_ {U_i} .$$ We def i ne $\Phi _{({\ bf U}_i, F_{{\bf U } _ i})}$ to  be  th e c omp o s it e $$F_{U_i}^* G r _{Fi l} H|_{U_i }\s tackrel {F_ {U_ i}^ *\p hi }{\longri ghtarrow }F _{ U_ i} ^*E |_{U_ i }\stackr el {\a lp ha_ i}{\l o ngrigh tarro w}
C _0 ^{ - 1}( E,\thet a )| _ { U_i} =H |_ {U_i }.$ $By co nstr u cti on, $\P hi_{({\bf  U} _ i,F_ {{ \b f U}_i} )}$
))\cong
(E,\theta).$$

Next, we_show that_the functor $C_0^{-1}$ induces_a functor_in_the opposite_direction._Given an object_$(E,\theta,Fil,\phi)\in
\mathcal{HB}_{(0,1)}$, it is_clear to define the_triple $$(H,\nabla,Fil)=(C_0^{-1}(E,\theta),Fil).$$ What_remains_is to produce a relative Frobenius $\Phi$ from the $\phi$. Following Faltings [@Fa1] Ch._II._d), it_suffices_to_give for each pair $({\bf_U}_i,F_{{\bf U}_i})$ an ${{\mathcal O}}_{U_i}$-morphism_$$\Phi_{({\bf
U}_i,F_{{\bf U}_i})}:_F_{U_i}^*Gr_{Fil}H|_{U_i}\to H|_{U_i}$$ satisfying

1.  strong $p$-divisibility, that is,_$\Phi_{({\bf_U}_i,F_{{\bf
  _ U}_i})}$ is an isomorphism,

2.  horizontal property,

3. _over each $U_i\cap U_j$, $\Phi_{({\bf U}_i,F_{{\bf
_  _U}_i})}$_and_$\Phi_{({\bf U}_j,F_{{\bf U}_j})}$ are_related via the Taylor formula.

Recall [@LSZ]_that over each $U_i$ we have_the identification (chart) $$\alpha_i:=\alpha_{({\bf U}_i,F_{{\bf U_i}})}:
(F_{U_i}^{*}E|_{U_i},d+\frac{dF_{{\bf
U_i}}}{p}F_{U_i}^*\theta|_{U_i})\cong C_0^{-1}(E,\theta)|_{U_i}.$$_We define $\Phi_{({\bf U}_i,F_{{\bf U}_i})}$ to_be the composite $$F_{U_i}^*Gr_{Fil}H|_{U_i}\stackrel{F_{U_i}^*\phi}{\longrightarrow}F_{U_i}^*E|_{U_i}\stackrel{\alpha_i}{\longrightarrow}
C_0^{-1}(E,\theta)|_{U_i}=H|_{U_i}.$$ By_construction, $\Phi_{({\bf_U}_i,F_{{\bf U}_i})}$