_{\overline{{\ensuremath{\mathfrak{q}}}}})$. Moreover by [@Ham2 Lemma 4.1], there exists a $p$-divisible group ${\mathscr{G}}'$ with ${\ensuremath{\mathcal{O}}}$-structure such that ${\mathscr{G}}_{{\ensuremath{\mathfrak{q}}}}\cong {\mathscr{G}}'^2$. The condition (\[eq:char poly\]) and the Assumption \[ass: tildeS\] implies that ${\mathscr{G}}'$ is a $p$-divisible group with ${\ensuremath{\mathcal{D}}}^\circ$-structure.

The following Proposition follows from the discussion above and [@Ham2 Corollary 4.5 (2)].

\[prop:red-pdiv\] The association ${\mathscr{G}}\mapsto {\mathscr{G}}'$ induces an equivalence of categories $$\label{eq:equiv cat. pdiv gps}\{\text{$p$-divisible groups with ${\ensuremath{\mathcal{D}}}$-structure}\}\xrightarrow\sim\{\text{$p$-divisible groups with ${\ensuremath{\mathcal{D}}}^\circ$-structure}\}$$ preserving isogenies.

Let ${\mathscr{G}}'$ be a $p$-divisible group with ${\ensuremath{\mathcal{D}}}^\circ$-structure over an algebraically closed field $k$ of characteristic $p$. Fixing a trivialization of ${\ensuremath{\mathbb{D}}}({\mathscr{G}})(W(k))$ respecting the ${\ensuremath{\mathcal{O}}}$-structure, we obtain an element $b\in G(L)$ where $G=\mathrm{Res}_{{\ensuremath{\mathcal{O}}}/{\ensuremath{\mathbb{Z}}}_p}GL_2$. Let $T$ be the diagonal maximal torus of $G$, then we may identify $X_*(T)$ (resp. $X_*(T)_{{\ensuremath{\mathbb{Q}}}}$) with $g$ copies of ${\ensuremath{\mathbb{Z}}}^{2}$ (resp. $g$ copies of ${\ensuremath{\mathbb{Q}}}^2$) and $X_*(T)_+$ (resp. $X_*(T)_{{\ensuremath{\mathbb{Q}}},+}$) with the subset such that for each factor of ${\ensuremath{\mathbb{Z}}}^2$, the terms $(a,b)$ are decreasing. The condition \[eq:char poly 2\] implies that the Hodge polygon $\mu$ of ${\mathscr{G}}$ corresponds to $[(a_i,b_i)]_{i=1,\dotsc
_ { \overline{{\ensuremath{\mathfrak{q}}}}})$. Moreover by [ @Ham2 Lemma 4.1 ], there exists a $ p$-divisible group $ { \mathscr{G}}'$ with $ { \ensuremath{\mathcal{O}}}$-structure such that $ { \mathscr{G}}_{{\ensuremath{\mathfrak{q}}}}\cong { \mathscr{G}}'^2$. The condition (\[eq: char poly\ ]) and the Assumption \[ass: tildeS\ ] implies that $ { \mathscr{G}}'$ is a $ p$-divisible group with $ { \ensuremath{\mathcal{D}}}^\circ$-structure. 

 The following Proposition follow from the discussion above and [ @Ham2 Corollary 4.5 (2) ]. 

 \[prop: crimson - pdiv\ ] The association $ { \mathscr{G}}\mapsto { \mathscr{G}}'$ induces an equivalence of category $ $ \label{eq: equiv cat. pdiv gps}\{\text{$p$-divisible groups with $ { \ensuremath{\mathcal{D}}}$-structure}\}\xrightarrow\sim\{\text{$p$-divisible groups with $ { \ensuremath{\mathcal{D}}}^\circ$-structure}\}$$ preserve isogenies. 

 get $ { \mathscr{G}}'$ be a $ p$-divisible group with $ { \ensuremath{\mathcal{D}}}^\circ$-structure over an algebraically closed field $ k$ of characteristic $ p$. Fixing a trivialization of $ { \ensuremath{\mathbb{D}}}({\mathscr{G}})(W(k))$ respecting the $ { \ensuremath{\mathcal{O}}}$-structure, we prevail an element $ b\in G(L)$ where $ G=\mathrm{Res}_{{\ensuremath{\mathcal{O}}}/{\ensuremath{\mathbb{Z}}}_p}GL_2$. Let $ T$ be the aslant maximal torus of $ G$, then we may identify $ X_*(T)$ (resp. $ X_*(T)_{{\ensuremath{\mathbb{Q}}}}$) with $ g$ copies of $ { \ensuremath{\mathbb{Z}}}^{2}$ (resp. $ g$ copies of $ { \ensuremath{\mathbb{Q}}}^2 $) and $ X_*(T)_+$ (resp. $ X_*(T)_{{\ensuremath{\mathbb{Q}}},+}$) with the subset such that for each factor of $ { \ensuremath{\mathbb{Z}}}^2 $, the terms $ (a, b)$ are decreasing. The condition \[eq: char poly 2\ ] imply that the Hodge polygon $ \mu$ of $ { \mathscr{G}}$ corresponds to $ [ (a_i, b_i)]_{i=1,\dotsc
_{\ovegline{{\ensuremath{\mathfrak{q}}}}})$. Moreover by [@Ham2 Lemma 4.1], thers exists a $p$-divisible group ${\mathscr{G}}'$ wuth ${\ebsuremath{\mathcal{O}}}$-strucgure such that ${\marhscc{G}}_{{\ensuremath{\mathhdak{q}}}}\conn {\matgdcr{G}}'^2$. Vhe condition (\[ea:char poly\]) and the Assum[tkou \[ass: tildeS\] implies that ${\mathscr{G}}'$ if a $p$-difidible group wijh ${\enxtremznh{\nathcal{D}}}^\circ$-structure.

The follkwing Pgoposition followx from the discussion abovf anf [@Ham2 Corollary 4.5 (2)].

\[pgop:red-pdiv\] Jge wwsociation ${\mxthscr{G}}\mapsto {\mathscr{G}}'$ induces an equivalence of cateeoriex $$\label{eq:ewuuv fdt. pdiv gps}\{\vext{$p$-dpvisible grouix with ${\ensurekath{\mathcal{D}}}$-stvuctuce}\}\xrughtarrow\sim\{\text{$p$-divivible groups with ${\gnsuremath{\kachcal{D}}}^\circ$-structure}\}$$ peewervitg ivogevues.

Uet ${\methacr{G}}'$ bf a $p$-divisibls group wity ${\ensuremath{\mathcal{C}}}^\cygv$-structure ober an ajgebraically closed field $k$ of charactegistjc $p$. Fixing a trivializqtion of ${\ensuremath{\majhbb{D}}}({\mathssr{G}})(W(k))$ respecting the ${\ensuremath{\mathcal{O}}}$-structure, fe obvakn ck doelent $b\in G(L)$ where $G=\mathrm{Res}_{{\ensuremath{\mathcal{J}}}/{\snxugemath{\mathbb{Z}}}_p}GL_2$. Jet $T$ be thr fisdonal maximal torus of $G$, then we may idejtify $X_*(J)$ (resp. $X_*(T)_{{\ensureiath{\kathbb{Q}}}}$) with $g$ copies of ${\enwuremath{\mathyb{Z}}}^{2}$ (resp. $g$ copies of ${\znsuremath{\machbb{Q}}}^2$) snd $X_*(Y)_+$ (resp. $X_*(T)_{{\ensuremath{\mathyb{Q}}},+}$) wifh the subsft such tgxt for each factur pf ${\ensuremath{\mathbb{Z}}}^2$, the teris $(a,b)$ are decxeasing. Ghe vondityon \[eq:char poly 2\] implies that the Jodge pmlygon $\mu$ lf ${\mathscr{G}}$ corresponds to $[(a_i,b_i)]_{m=1,\votsc
_{\overline{{\ensuremath{\mathfrak{q}}}}})$. Moreover by [@Ham2 Lemma 4.1], there $p$-divisible ${\mathscr{G}}'$ with such that ${\mathscr{G}}_{{\ensuremath{\mathfrak{q}}}}\cong and Assumption \[ass: tildeS\] that ${\mathscr{G}}'$ is $p$-divisible group with ${\ensuremath{\mathcal{D}}}^\circ$-structure. The following follows from the discussion above and [@Ham2 Corollary 4.5 (2)]. \[prop:red-pdiv\] The association {\mathscr{G}}'$ induces an equivalence of categories $$\label{eq:equiv cat. pdiv gps}\{\text{$p$-divisible groups with ${\ensuremath{\mathcal{D}}}$-structure}\}\xrightarrow\sim\{\text{$p$-divisible with preserving Let be a $p$-divisible group with ${\ensuremath{\mathcal{D}}}^\circ$-structure over an algebraically closed field $k$ of characteristic $p$. Fixing trivialization of ${\ensuremath{\mathbb{D}}}({\mathscr{G}})(W(k))$ respecting the ${\ensuremath{\mathcal{O}}}$-structure, we obtain element $b\in G(L)$ where Let $T$ be the diagonal torus $G$, then may $X_*(T)$ $X_*(T)_{{\ensuremath{\mathbb{Q}}}}$) with $g$ of ${\ensuremath{\mathbb{Z}}}^{2}$ (resp. $g$ copies of ${\ensuremath{\mathbb{Q}}}^2$) and $X_*(T)_+$ (resp. $X_*(T)_{{\ensuremath{\mathbb{Q}}},+}$) with the subset such that for factor of terms $(a,b)$ decreasing. condition poly 2\] implies Hodge polygon $\mu$ of ${\mathscr{G}}$ corresponds
_{\overline{{\ensuremath{\mathfraK{q}}}}})$. Moreover By [@Ham2 lemMa 4.1], tHeRe exIsts A $p$-divisible groUP ${\matHscr{G}}'$ with ${\ensuremath{\matHcal{O}}}$-StRUctuRE sUch thAt ${\mathsCR{G}}_{{\ENSurEmAtH{\maThFRaK{q}}}}\conG {\maThscr{G}}'^2$. THe conditioN (\[eq:ChAr poly\]) and the aSsUmption \[ass: TilDeS\] implies thAt ${\mAthscr{g}}'$ iS a $p$-DIvisiBle Group With ${\enSUrematH{\mathcal{D}}}^\CiRC$-strucTUre.

The fOLLoWing proposition followS FrOM the discussion Above aNd [@hAm2 cORolLarY 4.5 (2)].

\[prop:red-pdIv\] the asSOciatioN ${\MaTHSCr{G}}\MApsto {\mathscr{G}}'$ Induces an eqUIvaLence oF cAteGOries $$\lAbel{eQ:eQUiv Cat. pdiv gps}\{\tExt{$p$-Divisible Groups WIth ${\ensuREmath{\maThcal{D}}}$-StrUctUre}\}\xRIgHtArrOw\SIm\{\tEXt{$P$-diVIsiBle groupS wItH ${\ensuRemaTH{\MAThcaL{D}}}^\cIrc$-sTructUre}\}$$ preserving IsoGeniES.

LeT ${\mathScr{G}}'$ bE a $p$-dIvIsiblE group With ${\eNsUremath{\mathcal{D}}}^\Circ$-Structure OveR aN alGeBraicALly cloSed FieLd $k$ of chAracterIStiC $p$. fIXInG a trivialization of ${\EnSUReMath{\mathBb{D}}}({\matHScR{G}})(w(K))$ respectInG thE ${\ensUREmath{\MathCAl{o}}}$-structuRe, we obTAiN aN elemenT $b\In G(L)$ whErE $G=\mAthRm{Res}_{{\ENsurEmath{\mAthcal{O}}}/{\eNsureMAth{\mathbb{Z}}}_p}GL_2$. LET $T$ be the diagonAL mAXImAL torUs oF $G$, then we may IdenTIfy $X_*(t)$ (resP. $x_*(T)_{{\EnsURematH{\mathBb{q}}}}$) WiTH $g$ copies of ${\ensurematH{\mAthbb{Z}}}^{2}$ (Resp. $g$ Copies of ${\ensurEmath{\mathbB{q}}}^2$) ANd $X_*(T)_+$ (resp. $x_*(T)_{{\enSUrEMath{\mathbb{Q}}},+}$) witH the sUbset such tHAt for eacH factOr of ${\ensuRemath{\matHBB{Z}}}^2$, the terMs $(a,B)$ arE deCreASInG. The condition \[EQ:Char PoLy 2\] impliEs tHat the HOdgE poLygOn $\mU$ oF ${\mathscr{G}}$ CorrespoNdS tO $[(a_I,b_I)]_{i=1,\dOtsc
_{\overline{{\ensuremath{\ mathfrak{q }}}}} )$.  Mo re over  by[@Ham2 Lemma 4 . 1],there exists a $p$-div isibl eg roup ${ \math scr{G}} ' $w i th${ \e nsu re m at h{\ma thc al{O}}} $-structur e s uc h that ${\ma t hs cr{G}}_{{\ ens uremath{\mat hfr ak{q}} }} \co n g {\m ath scr{G }}'^2$ .  The c ondition(\ [ eq:cha r  poly\] ) an d th e Assumption \[as s :t ildeS\] implie s that  $ { \m a t hsc r{G }}'$ is a$p $-div i sible g r ou p w ith ${\ensuremath {\mathcal{D } }}^ \circ$ -s tru c ture.
Thefo l low ing Proposi tion  followsfrom t h e discu s sion ab ove an d [ @Ha m2 C o ro ll ary  4 . 5 ( 2 )] .
\ [pr op:red-p di v\ ] The  ass o c i a tion  ${ \mat hscr{ G}}\mapsto {\ mat hscr { G}} '$ in duces  aneq uival ence o f cat eg ories $$\label{ eq:e quiv cat.  pd iv  gp s} \{\te x t{$p$- div isi ble gro ups wit h  ${ \e n s u re math{\mathcal{D}}} $- s t ru cture}\} \xrigh t ar ro w \sim\{\t ex t{$ p$-d i v isibl e gr o up s with $ {\ensu r em at h{\math ca l{D}}} ^\ cir c$- struc t ure} \}$$ p reservin g iso g enies.

Let ${ \ mathscr{G}}'$ be a  $ p $-di vis ible groupwith ${\e nsur e ma th{ \ mathc al{D} }} ^ \c i rc$-structure overan  algeb raica lly closed fi eld $k$ of c h aracteri stic $p $ . Fixing a tri viali zation of$ {\ensure math{ \mathbb{ D}}}({\ma t h scr{G}}) (W( k)) $ r esp e c ti ng the ${\ens u r emat h{ \mathca l{O }}}$-st ruc tur e,weob tain an e lement $ b\ in  G (L )$where $G=\math rm {Re s} _{{ \ensu r emath{ \math cal{ O} }} / {\e nsurema t h{ \ m athb b{ Z} }}_p }GL _2 $. Le t $T $  be  the di agonal ma xim a l to ru sof $G$,  then we mayid entify $X_ *( T)$  (resp . $X_*(T)_ {{\ensuremath{\mathbb{Q } }}}$) w ith  $g$copi es of ${\ ens uremat h{\ m athbb{ Z}}}^{ 2}$ ( re sp. $ g$ co p i es  of  $ {\ensurema t h {\m athbb {Q }}}^ 2$) and  $X_*(T)_+$ (resp. $X_ *(T)_{{\ensur ema th{\ m a th bb{ Q }} } ,+} $) wit h the subset such  that forea c hfactor of$ {\e ns uremath {\mathb b{Z}} } ^2$, th e terms $ (a,b)$ ar edecr e a sin g. The con dition \ [eq:charp oly 2 \ ]impli esthat t he  Ho dge p olygon $\m u$ of  ${\ma th scr{G} }$ co rr espondsto $[(a_i,b_i)]_{i=1,\d otsc
_{\overline{{\ensuremath{\mathfrak{q}}}}})$. Moreover_by [@Ham2_Lemma 4.1], there exists_a $p$-divisible_group_${\mathscr{G}}'$ with_${\ensuremath{\mathcal{O}}}$-structure_such that ${\mathscr{G}}_{{\ensuremath{\mathfrak{q}}}}\cong_{\mathscr{G}}'^2$. The condition_(\[eq:char poly\]) and the_Assumption \[ass: tildeS\]_implies_that ${\mathscr{G}}'$ is a $p$-divisible group with ${\ensuremath{\mathcal{D}}}^\circ$-structure.

The following Proposition follows from the discussion_above_and [@Ham2_Corollary_4.5_(2)].

\[prop:red-pdiv\] The association ${\mathscr{G}}\mapsto {\mathscr{G}}'$_induces an equivalence of categories_$$\label{eq:equiv cat._pdiv gps}\{\text{$p$-divisible groups with ${\ensuremath{\mathcal{D}}}$-structure}\}\xrightarrow\sim\{\text{$p$-divisible groups with ${\ensuremath{\mathcal{D}}}^\circ$-structure}\}$$_preserving_isogenies.

Let ${\mathscr{G}}'$ be_a $p$-divisible group with ${\ensuremath{\mathcal{D}}}^\circ$-structure over an algebraically closed_field $k$ of characteristic $p$. Fixing_a trivialization of_${\ensuremath{\mathbb{D}}}({\mathscr{G}})(W(k))$_respecting_the ${\ensuremath{\mathcal{O}}}$-structure, we obtain_an element $b\in G(L)$ where $G=\mathrm{Res}_{{\ensuremath{\mathcal{O}}}/{\ensuremath{\mathbb{Z}}}_p}GL_2$._Let $T$ be the diagonal maximal_torus of $G$, then we may identify_$X_*(T)$ (resp. $X_*(T)_{{\ensuremath{\mathbb{Q}}}}$) with $g$ copies_of ${\ensuremath{\mathbb{Z}}}^{2}$ (resp. $g$ copies_of ${\ensuremath{\mathbb{Q}}}^2$)_and $X_*(T)_+$ (resp. $X_*(T)_{{\ensuremath{\mathbb{Q}}},+}$) with_the subset such_that for_each factor of_${\ensuremath{\mathbb{Z}}}^2$, the terms $(a,b)$ are decreasing._The condition \[eq:char_poly 2\] implies that the Hodge_polygon_$\mu$ of ${\mathscr{G}}$_corresponds_to_$[(a_i,b_i)]_{i=1,\dotsc