ensuremath{\mathcal{O}}}_L$-module of rank $dn$ equipped with an injective $\sigma$ semi-linear map $\varphi:{\ensuremath{\mathbb{D}}}({\mathscr{G}})\rightarrow {\ensuremath{\mathbb{D}}}({\mathscr{G}})$ and a action of ${\ensuremath{\mathcal{O}}}$. Fixing an ${\ensuremath{\mathcal{O}}}\otimes_{{\ensuremath{\mathbb{Z}}}_p}{\ensuremath{\mathcal{O}}}_L$-basis of ${\ensuremath{\mathbb{D}}}({\mathscr{G}})$, we obtain an element $b\in G(L)$ where $G=\text{Res}_{{\ensuremath{\mathcal{O}}}/{\ensuremath{\mathbb{Z}}}_p}GL_n$, such that $\varphi=b\sigma$ under the identification ${\ensuremath{\mathbb{D}}}({\mathscr{G}})\cong ({\ensuremath{\mathcal{O}}}_F\otimes_{{\ensuremath{\mathbb{Z}}}_p}{\ensuremath{\mathcal{O}}}_L)^n$. The element $b$ is well-defined up to $\sigma$-conjugation by $G({\ensuremath{\mathcal{O}}}_L)$.

We define the [*Hodge polygon*]{} of ${\mathscr{G}}$ to be the element $\mu\in X_*(T)^+$ such that $$b\in G({\ensuremath{\mathcal{O}}}_L)\sigma(\mu(p))G({\ensuremath{\mathcal{O}}}_L).$$ By Proposition \[RaRi\], it follows that $(\nu_b,\kappa_G(b))\leq(\overline{\mu},\mu^\natural)$. If $S$ is a scheme of characteristic $p$, its Hodge polygon (resp. Newton polygon) is the function assigning to any geometric point $\overline{s}$ of $S$ the Hodge polygon (resp. the Newton polygon) of the base change of ${\mathscr{G}}$ to $\overline{s}$.

We now describe how the study of $p$-divisible groups which arise naturally from the moduli problem in the last subsection can be reduced to the case of $p$-divisible groups with ${\ensuremath{\mathcal{O}}}$-structure. Recall we have the integral PEL datum $(D_{{\ensuremath{\mathrm{S}}}},*,W,\psi,{\ensuremath{\mathcal{O}}}_{D_{{\ensuremath{\mathrm{S}}}}},\Lambda_2\subset \Lambda_1)$ and we write ${\ensuremath{\mathcal{D}}}$ for the base change of this datum to ${\ensuremath{\mathbb{Z}}}_p$. Recall $g=[F:{\
ensuremath{\mathcal{O}}}_L$-module of rank $ dn$ equipped with an injective $ \sigma$ semi - linear map $ \varphi:{\ensuremath{\mathbb{D}}}({\mathscr{G}})\rightarrow { \ensuremath{\mathbb{D}}}({\mathscr{G}})$ and a legal action of $ { \ensuremath{\mathcal{O}}}$. situate an $ { \ensuremath{\mathcal{O}}}\otimes_{{\ensuremath{\mathbb{Z}}}_p}{\ensuremath{\mathcal{O}}}_L$-basis of $ { \ensuremath{\mathbb{D}}}({\mathscr{G}})$, we obtain an element $ b\in G(L)$ where $ G=\text{Res}_{{\ensuremath{\mathcal{O}}}/{\ensuremath{\mathbb{Z}}}_p}GL_n$, such that $ \varphi = b\sigma$ under the identification $ { \ensuremath{\mathbb{D}}}({\mathscr{G}})\cong ({ \ensuremath{\mathcal{O}}}_F\otimes_{{\ensuremath{\mathbb{Z}}}_p}{\ensuremath{\mathcal{O}}}_L)^n$. The component $ b$ is well - defined up to $ \sigma$-conjugation by $ G({\ensuremath{\mathcal{O}}}_L)$. 

 We define the [ * Hodge polygon * ] { } of $ { \mathscr{G}}$ to be the component $ \mu\in X_*(T)^+$ such that $ $ b\in G({\ensuremath{\mathcal{O}}}_L)\sigma(\mu(p))G({\ensuremath{\mathcal{O}}}_L).$$ By Proposition \[RaRi\ ], it follows that $ (\nu_b,\kappa_G(b))\leq(\overline{\mu},\mu^\natural)$. If $ S$ is a scheme of characteristic $ p$, its Hodge polygon (resp. Newton polygon) is the affair assigning to any geometric point $ \overline{s}$ of $ S$ the Hodge polygon (resp. the Newton polygon) of the nucleotide change of $ { \mathscr{G}}$ to $ \overline{s}$. 

 We now trace how the sketch of $ p$-divisible groups which rebel naturally from the moduli problem in the concluding subsection can be reduced to the case of $ p$-divisible groups with $ { \ensuremath{\mathcal{O}}}$-structure. Recall we consume the integral PEL datum $ (D_{{\ensuremath{\mathrm{S}}}},*,W,\psi,{\ensuremath{\mathcal{O}}}_{D_{{\ensuremath{\mathrm{S}}}}},\Lambda_2\subset \Lambda_1)$ and we write $ { \ensuremath{\mathcal{D}}}$ for the base change of this datum to $ { \ensuremath{\mathbb{Z}}}_p$. Recall $ g=[F:{\
enskremath{\mathcal{O}}}_L$-module on rank $dn$ equippgd with en injedtive $\siema$ semi-linear map $\varphi:{\ensnremqth{\maukbb{D}}}({\mathscr{G}})\rightarruw {\ensurelath{\mathvb{D}}}({\methscr{G}})$ and a acvjon of ${\cusurejwth{\mctical{O}}}$. Fixing an ${\ensurematv{\mathcal{O}}}\otimev_{{\evsbremath{\mathbb{Z}}}_p}{\ensuremath{\mathcal{O}}}_L$-bafis of ${\rnduremath{\mathbb{Q}}}({\matnfcr{G}})$, we obtain an element $b\in G(L)$ where $G=\text{Rts}_{{\ensuremath{\mathcak{O}}}/{\ensuremath{\mathbb{Z}}}_p}GL_n$, sufh tjat $\varphi=b\sigma$ ujder the idghtisucation ${\ensufemath{\mathbb{D}}}({\mathscr{G}})\ckng ({\ensuremath{\mathcal{O}}}_F\otimes_{{\enruremcth{\mathbb{Z}}}_p}{\guwurfkath{\mathcal{I}}}_L)^n$. Tre element $b$ is well-gefined up to $\sigma$-cokjugavion by $G({\ensuremath{\mathcan{O}}}_L)$.

We define the [*Hjdge polycou*]{} of ${\mathscr{G}}$ to be tye elemgnt $\mg\in B_*(R)^+$ sjch tiat $$b\in G({\fnsnremath{\mathdal{O}}}_L)\sigma(\my(p))G({\ensuremath{\mathcak{O}}}_J).$$ By Propositikn \[RaRy\], yt follows that $(\nu_b,\kappa_G(b))\leq(\overline{\mu},\ku^\nztural)$. If $S$ is a scheme of characteristic $p$, lts Hodge polygon (resp. Newton polygon) is the function assicning go ckn geunehric point $\overline{s}$ of $S$ the Hodge polygon (rqap. tme Newton polygok) of the base chanbe og ${\mathscr{G}}$ to $\uverlius{s}$.

Se now describe hoa the sjudy od $p$-divisifle broups which arise naturallt from the mjeuli problem in thz last subseetion van br reduced to the case oy $p$-divjsible grouos with ${\ehruremath{\mathcal{O}}}$-rtrlctuse. Recall we have the intedral PEL vatum $(D_{{\ensurdmatn{\mathri{S}}}},*,W,\psi,{\ensugematm{\kathcal{O}}}_{D_{{\ensurematj{\mathtm{S}}}}},\Lamtda_2\subset \Pambda_1)$ and we write ${\ensuremath{\mevhcal{D}}}$ for thg bdse change jf thls datum to ${\enstremath{\mathbb{Z}}}_k$. Recall $y=[F:{\
ensuremath{\mathcal{O}}}_L$-module of rank $dn$ equipped with an semi-linear $\varphi:{\ensuremath{\mathbb{D}}}({\mathscr{G}})\rightarrow {\ensuremath{\mathbb{D}}}({\mathscr{G}})$ a action of ${\ensuremath{\mathbb{D}}}({\mathscr{G}})$, obtain an element G(L)$ where $G=\text{Res}_{{\ensuremath{\mathcal{O}}}/{\ensuremath{\mathbb{Z}}}_p}GL_n$, that $\varphi=b\sigma$ under the identification ${\ensuremath{\mathbb{D}}}({\mathscr{G}})\cong The element $b$ is well-defined up to $\sigma$-conjugation by $G({\ensuremath{\mathcal{O}}}_L)$. We define the polygon*]{} of ${\mathscr{G}}$ to be the element $\mu\in X_*(T)^+$ such that $$b\in G({\ensuremath{\mathcal{O}}}_L)\sigma(\mu(p))G({\ensuremath{\mathcal{O}}}_L).$$ Proposition it that If $S$ is a scheme of characteristic $p$, its Hodge polygon (resp. Newton polygon) is the assigning to any geometric point $\overline{s}$ of $S$ Hodge polygon (resp. the polygon) of the base change ${\mathscr{G}}$ $\overline{s}$. We describe the of $p$-divisible groups arise naturally from the moduli problem in the last subsection can be reduced to the case of groups with we have integral datum \Lambda_1)$ and we for the base change of this Recall $g=[F:{\
ensuremath{\mathcal{O}}}_L$-module Of rank $dn$ eqUippeD wiTh aN iNjecTive $\Sigma$ semi-lineaR Map $\vArphi:{\ensuremath{\mathbb{D}}}({\MathsCr{g}})\RighTArRow {\enSurematH{\MaTHBb{D}}}({\MaThScr{g}})$ aND a ActioN of ${\EnsuremAth{\mathcal{o}}}$. FiXiNg an ${\ensuremaTH{\mAthcal{O}}}\otiMes_{{\Ensuremath{\maThbB{Z}}}_p}{\ensUrEmaTH{\mathCal{o}}}_L$-basIs of ${\enSUrematH{\mathbb{D}}}({\mAtHScr{G}})$, we OBtain an ELEmEnt $b\In G(L)$ where $G=\text{Res}_{{\ENsURemath{\mathcal{O}}}/{\EnsureMaTH{\mATHbb{z}}}_p}Gl_n$, such that $\VaRphi=b\SIgma$ undER tHE IDenTIfication ${\ensuRemath{\mathbB{d}}}({\maThscr{G}})\CoNg ({\eNSuremaTh{\matHcAL{O}}}_F\Otimes_{{\ensurEmatH{\mathbb{Z}}}_p}{\EnsureMAth{\mathCAl{O}}}_L)^n$. ThE elemeNt $b$ Is wEll-dEFiNeD up To $\SIgmA$-CoNjuGAtiOn by $G({\ensUrEmAth{\maThcaL{o}}}_l)$.

wE defIne The [*HOdge pOlygon*]{} of ${\mathsCr{G}}$ To be THe eLemenT $\mu\in x_*(T)^+$ suCh That $$b\In G({\ensUremaTh{\Mathcal{O}}}_L)\sigma(\mU(p))G({\eNsuremath{\MatHcAl{O}}}_l).$$ BY PropOSition \[raRI\], it Follows That $(\nu_b,\KAppA_G(B))\LEQ(\oVerline{\mu},\mu^\natural)$. if $s$ IS a Scheme of CharacTErIsTIc $p$, its HoDgE poLygoN (REsp. NeWton POlYgon) is thE functIOn AsSigning To Any geoMeTriC poInt $\ovERlinE{s}$ of $S$ tHe Hodge pOlygoN (Resp. the Newton pOLygon) of the basE ChANGe OF ${\matHscR{G}}$ to $\overlinE{s}$.

We NOw deScriBE hOw tHE studY of $p$-dIvISiBLe groups which arise nAtUrally From tHe moduli problEm in the lasT SUBsection Can bE ReDUced to the case oF $p$-divIsible grouPS with ${\ensUremaTh{\mathcaL{O}}}$-structuRE. recall we HavE thE inTegRAL PeL datum $(D_{{\ensurEMAth{\mAtHrm{S}}}},*,W,\psI,{\enSurematH{\maThcAl{O}}}_{d_{{\enSuRemath{\matHrm{S}}}}},\LambDa_2\SuBsEt \lamBda_1)$ anD We write ${\eNsUreMaTh{\mAthcaL{d}}}$ for thE base ChanGe Of THis Datum to ${\ENsUREmatH{\mAtHbb{Z}}}_P$. ReCaLl $g=[F:{\
ensuremath{\mathcal{O}}}_L $-module o f ran k $ dn$  e quip pedwith an inject i ve $ \sigma$ semi-linear ma p $\v ar p hi:{ \ en surem ath{\ma t hb b { D}} }( {\ mat hs c r{ G}})\ rig htarrow  {\ensurem ath {\ mathbb{D}}}( { \m athscr{G}} )$and a action  of  ${\en su rem a th{\m ath cal{O }}}$.F ixingan ${\ens ur e math{\ m athcal{ O } }} \oti mes_{{\ensuremath { \m a thbb{Z}}}_p}{\ ensure ma t h{ \ m ath cal {O}}}_L$-b as is of ${\ensu r em a t h {\m a thbb{D}}}({\m athscr{G}}) $ , w e obta in  an elemen t $b\ in G(L )$ where $G =\te xt{Res}_{ {\ensu r emath{\ m athcal{ O}}}/{ \en sur emat h {\ ma thb b{ Z }}} _ p} GL_ n $,such tha t$\ varph i=b\ s i g m a$ u nde r th e ide ntification $ {\e nsur e mat h{\ma thbb{ D}}} ({ \math scr{G} })\co ng  ({\ensuremath{ \mat hcal{O}}} _F\ ot ime s_ {{\en s uremat h{\ mat hbb{Z}} }_p}{\e n sur em a t h {\ mathcal{O}}}_L)^n$ .T h eelement$b$ is we ll - definedup  to  $\s i g ma$-c onju g at ion by $ G({\en s ur em ath{\ma th cal{O} }} _L) $.
We d e fine  the [ *Hodge p olygo n *]{} of ${\mat h scr{G}}$ to b e  t h e  e l emen t $ \mu\in X_*( T)^+ $  suc h th a t$$b \ in G( {\ens ur e ma t h{\mathcal{O}}}_L)\ si gma(\m u(p)) G({\ensuremat h{\mathcal { O } }}_L).$$  ByP ro p osition \[RaRi \], i t followst hat $(\n u_b,\ kappa_G( b))\leq(\ o v erline{\ mu} ,\m u^\ nat u r al )$. If $S$ is a  sch em e of ch ara cterist ic$p$ , i tsHo dge polyg on (resp .Ne wt on  po lygon )  is thefu nct io n a ssign i ng toany g eome tr ic poi nt $\ov e rl i n e{s} $of  $S$  th eHodge  pol y gon  (resp.  the Newt onp olyg on )of thebase change o f${\mathscr {G }}$  to $\ o v erline{s }$.

We now describe ho w  the st udy  of $ p$-d ivisiblegro ups wh ich arisenatura lly f ro m t h e  modu l i  p rob le m in the l a s t s ubsec ti on c an be r educed to the case of$p$-divisible  gr oups w it h $ { \e n sur em a th{ \ m athcal{O}}}$-st ructure. R ec a ll  we have t h e i nt egral P EL datu m $(D _ {{\ensu remath{\m athrm{S}} }} ,*,W , \ psi ,{\ensurem ath{\mat hcal{O}}} _ {D_{{ \ en surem ath {\math rm {S} }}}}, \Lambd a _2\ subse t \Lam bd a_1)$and w ewrite ${ \ensuremath{\mathcal{D} }}$ fo r the  ba se change  of thi s datum t o ${ \ensuremat h{\ mat hbb{Z }}} _ p$. R ecal l  $ g=[ F :{\
ensuremath{\mathcal{O}}}_L$-module of_rank $dn$_equipped with an injective_$\sigma$ semi-linear_map_$\varphi:{\ensuremath{\mathbb{D}}}({\mathscr{G}})\rightarrow {\ensuremath{\mathbb{D}}}({\mathscr{G}})$_and_a action of_${\ensuremath{\mathcal{O}}}$. Fixing an_${\ensuremath{\mathcal{O}}}\otimes_{{\ensuremath{\mathbb{Z}}}_p}{\ensuremath{\mathcal{O}}}_L$-basis of ${\ensuremath{\mathbb{D}}}({\mathscr{G}})$, we_obtain an element_$b\in_G(L)$ where $G=\text{Res}_{{\ensuremath{\mathcal{O}}}/{\ensuremath{\mathbb{Z}}}_p}GL_n$, such that $\varphi=b\sigma$ under the identification ${\ensuremath{\mathbb{D}}}({\mathscr{G}})\cong ({\ensuremath{\mathcal{O}}}_F\otimes_{{\ensuremath{\mathbb{Z}}}_p}{\ensuremath{\mathcal{O}}}_L)^n$. The element $b$_is_well-defined up_to_$\sigma$-conjugation_by $G({\ensuremath{\mathcal{O}}}_L)$.

We define the [*Hodge_polygon*]{} of ${\mathscr{G}}$ to be_the element_$\mu\in X_*(T)^+$ such that $$b\in G({\ensuremath{\mathcal{O}}}_L)\sigma(\mu(p))G({\ensuremath{\mathcal{O}}}_L).$$ By Proposition_\[RaRi\],_it follows that_$(\nu_b,\kappa_G(b))\leq(\overline{\mu},\mu^\natural)$. If $S$ is a scheme of characteristic $p$,_its Hodge polygon (resp. Newton polygon)_is the function_assigning_to_any geometric point $\overline{s}$_of $S$ the Hodge polygon (resp._the Newton polygon) of the base_change of ${\mathscr{G}}$ to $\overline{s}$.

We now describe_how the study of $p$-divisible groups_which arise naturally from the_moduli problem_in the last subsection can_be reduced to_the case_of $p$-divisible groups_with ${\ensuremath{\mathcal{O}}}$-structure. Recall we have the_integral PEL datum_$(D_{{\ensuremath{\mathrm{S}}}},*,W,\psi,{\ensuremath{\mathcal{O}}}_{D_{{\ensuremath{\mathrm{S}}}}},\Lambda_2\subset \Lambda_1)$ and we write ${\ensuremath{\mathcal{D}}}$_for_the base change_of_this_datum to_${\ensuremath{\mathbb{Z}}}_p$. Recall $g=[F:{\