_p$. This action decomposes $\Sigma_\infty$ into a disjoint union of cycles, parametrized by all $p$-adic places of $F$.

Let $\calA$ denote the universal abelian variety over $X_{{\mathrm{GL}}_2}$. The sheaf of invariant differential 1-forms $\omega_{\calA/X_{{\mathrm{GL}}_2}}$ is then locally free of rank one as a module over $$\calO_F \otimes_\ZZ \calO_{X_{{\mathrm{GL}}_2}} \cong \bigoplus_{\tau \in \Sigma_\infty} \calO_{X_{{\mathrm{GL}}_2, \tau}},$$ where ${\mathcal{O}}_{X_{{\mathrm{GL}}_2, \tau}}$ is the direct summand on which $\calO_F$ acts through $\tau : \calO_F \to \overline \FF_p$. We then write accordingly $\omega_{\calA/X_{{\mathrm{GL}}_2}} = \bigoplus_{\tau \in \Sigma_\infty} \omega_\tau$; each $\omega_\tau$ is locally free of rank one over ${\mathcal{O}}_{X_{{\mathrm{GL}}_2}}$.

The Verschiebung map induces an $\calO_F$-morphism $\omega_{A/X_{{\mathrm{GL}}_2}} \to \omega_{A^{(p)}/ X_{{\mathrm{GL}}_2}}$, which further induces a homomorphism $h_\tau: \omega_\tau \to \omega^{\otimes p}_{\sigma^{-1}\tau}$ for each $\tau \in \Sigma_\infty$. This map then defines a global section $h_\tau \in H^0(X_{{\mathrm{GL}}_2}, \omega_\tau^{\otimes -1} \otimes \omega^{\otimes p}_{\sigma^{-1}\tau})$; it is called the *partial Hasse invariant at* $\tau$. We use $X_\tau$ to denote the zero locus of $h_\tau$. For a subset $\ttT \subseteq \Sigma_\infty$, we put $X_\ttT = \bigcap_{\tau \in \ttT} X_\tau$. These $X_\ttT$’s give the *Goren-Oort stratification* of $X_{{\mathrm{GL}}_2}$.

An alternative definition of $X_\ttT$ is given as follows: $z \in X_\ttT(\overline \FF_p)$ if
_ p$. This action decomposes $ \Sigma_\infty$ into a disjoint union of cycles, parametrized by all $ p$-adic place of $ F$. 

 lease $ \calA$ denote the universal abelian variety over $ X_{{\mathrm{GL}}_2}$. The bundle of invariant differential 1 - forms $ \omega_{\calA / X_{{\mathrm{GL}}_2}}$ is then locally free of rank and file one as a module over $ $ \calO_F \otimes_\ZZ \calO_{X_{{\mathrm{GL}}_2 } } \cong \bigoplus_{\tau \in \Sigma_\infty } \calO_{X_{{\mathrm{GL}}_2, \tau}},$$ where $ { \mathcal{O}}_{X_{{\mathrm{GL}}_2, \tau}}$ is the direct summand on which $ \calO_F$ dissemble through $ \tau: \calO_F \to \overline \FF_p$. We then write accordingly $ \omega_{\calA / X_{{\mathrm{GL}}_2 } } = \bigoplus_{\tau \in \Sigma_\infty } \omega_\tau$; each $ \omega_\tau$ is locally barren of rank one over $ { \mathcal{O}}_{X_{{\mathrm{GL}}_2}}$. 

 The Verschiebung map induce an $ \calO_F$-morphism $ \omega_{A / X_{{\mathrm{GL}}_2 } } \to \omega_{A^{(p)}/ X_{{\mathrm{GL}}_2}}$, which further induces a homomorphism $ h_\tau: \omega_\tau \to \omega^{\otimes p}_{\sigma^{-1}\tau}$ for each $ \tau \in \Sigma_\infty$. This map then defines a global section $ h_\tau \in H^0(X_{{\mathrm{GL}}_2 }, \omega_\tau^{\otimes -1 } \otimes \omega^{\otimes p}_{\sigma^{-1}\tau})$; it is call the * partial Hasse invariant at * $ \tau$. We use $ X_\tau$ to denote the zero venue of $ h_\tau$. For a subset $ \ttT \subseteq \Sigma_\infty$, we put $ X_\ttT = \bigcap_{\tau \in \ttT } X_\tau$. These $ X_\ttT$ ’s give the * Goren - Oort stratification * of $ X_{{\mathrm{GL}}_2}$. 

 An alternate definition of $ X_\ttT$ is given as succeed: $ z \in X_\ttT(\overline \FF_p)$ if
_p$. Tjis action decomposes $\Sinma_\infty$ into a busjoinv union of cyclds, parametrized by all $p$-adic poaces of $F$.

Let $\calA$ denote tfe univerdal abeluan tariety over $X_{{\mavgrm{GL}}_2}$. Tmz shezn of nntariant differektial 1-forms $\omega_{\calA/X_{{\matvro{GP}}_2}}$ is then locally free of rank one ws a mocupe over $$\calO_F \jtimts_\ZS \camO_{X_{{\mathrm{GL}}_2}} \cong \bigoplus_{\tau \in \Sifma_\inftj} \calO_{X_{{\mathrm{GL}}_2, \tsu}},$$ where ${\mathcal{O}}_{X_{{\mathrm{GL}}_2, \tau}}$ is the direct sumland on whixh $\cwoO_F$ acts thruugh $\tau : \bclO_F \to \ovetline \FF_p$. We then write accordinely $\okega_{\calA/X_{{\mqtyrm{HN}}_2}} = \bigoplus_{\vau \in \Sigma_\infty} \omega_\tau$; each $\okega_\tau$ is locsllb frwe of rank one over ${\methcal{O}}_{X_{{\mathrm{GL}}_2}}$.

The Derschiebgny map induces an $\calO_D$-mirphivm $\okega_{X/Z_{{\maghrj{GK}}_2}} \fo \omeha_{A^{(')}/ X_{{\mathrm{GL}}_2}}$, which furtyer induces a homompr[yism $h_\tau: \omefa_\tau \eo \omega^{\otimes p}_{\sigma^{-1}\tau}$ for each $\tau \in \Vigja_\infty$. This map then dwfines a global sectiln $h_\tau \ig H^0(X_{{\mathrm{GL}}_2}, \omega_\tau^{\otimes -1} \otimes \omega^{\otimes p}_{\vigma^{-1}\vaj})$; iu lf xapled the *partial Hasse invariant at* $\tau$. We usq $X_\uau$ to denote the zero locus ov $n_\jau$. For a subsgt $\ttT \subaeteq \Sigma_\infty$, wf put $X_\jtT = \bugcap_{\tau \yn \tyT} X_\tau$. These $X_\ttT$’s give thw *Goren-Oort frratification* of $X_{{\lathrm{GL}}_2}$.

An clternstive definition of $X_\ttT$ is yiven zs follows: $x \in X_\ttT(\kxerline \FF_p)$ if
_p$. This action decomposes $\Sigma_\infty$ into a of parametrized by $p$-adic places of universal variety over $X_{{\mathrm{GL}}_2}$. sheaf of invariant 1-forms $\omega_{\calA/X_{{\mathrm{GL}}_2}}$ is then locally free rank one as a module over $$\calO_F \otimes_\ZZ \calO_{X_{{\mathrm{GL}}_2}} \cong \bigoplus_{\tau \in \Sigma_\infty} \tau}},$$ where ${\mathcal{O}}_{X_{{\mathrm{GL}}_2, \tau}}$ is the direct summand on which $\calO_F$ acts through : \to \FF_p$. then write accordingly $\omega_{\calA/X_{{\mathrm{GL}}_2}} = \bigoplus_{\tau \in \Sigma_\infty} \omega_\tau$; each $\omega_\tau$ is locally free of rank over ${\mathcal{O}}_{X_{{\mathrm{GL}}_2}}$. The Verschiebung map induces an $\calO_F$-morphism \to \omega_{A^{(p)}/ X_{{\mathrm{GL}}_2}}$, which induces a homomorphism $h_\tau: \omega_\tau \omega^{\otimes for each \in This then defines a section $h_\tau \in H^0(X_{{\mathrm{GL}}_2}, \omega_\tau^{\otimes -1} \otimes \omega^{\otimes p}_{\sigma^{-1}\tau})$; it is called the *partial Hasse invariant at* We use denote the locus $h_\tau$. a subset $\ttT we put $X_\ttT = \bigcap_{\tau \in $X_\ttT$’s give the *Goren-Oort stratification* of $X_{{\mathrm{GL}}_2}$. An definition of is given as follows: $z \in \FF_p)$ if
_p$. This action decomposes $\SigmA_\infty$ into A disjOinT unIoN of cYcleS, parametrized bY All $p$-Adic places of $F$.

Let $\calA$ deNote tHe UNiveRSaL abelIan variETy OVEr $X_{{\MaThRm{Gl}}_2}$. THE sHeaf oF inVariant DifferentiAl 1-fOrMs $\omega_{\calA/X_{{\MAtHrm{GL}}_2}}$ is theN loCally free of rAnk One as a MoDulE Over $$\cAlO_f \otimEs_\ZZ \caLo_{X_{{\mathRm{GL}}_2}} \cong \bIgOPlus_{\taU \In \Sigma_\INFtY} \calo_{X_{{\mathrm{GL}}_2, \tau}},$$ wherE ${\MaTHcal{O}}_{X_{{\mathrm{GL}}_2, \Tau}}$ is tHe DIrECT suMmaNd on which $\cAlo_F$ actS Through $\TAu : \CALo_F \tO \Overline \FF_p$. We Then write acCOrdIngly $\oMeGa_{\cALA/X_{{\matHrm{GL}}_2}} = \BiGOplUs_{\tau \in \SigmA_\infTy} \omega_\taU$; each $\oMEga_\tau$ iS Locally Free of RanK onE oveR ${\MaThCal{o}}_{X_{{\MAthRM{Gl}}_2}}$.

ThE verSchiebunG mAp InducEs an $\CALo_f$-morPhiSm $\omEga_{A/X_{{\Mathrm{GL}}_2}} \to \omeGa_{A^{(P)}/ X_{{\maTHrm{gL}}_2}}$, whiCh furTher InDuces A homomOrphiSm $H_\tau: \omega_\tau \to \oMega^{\Otimes p}_{\siGma^{-1}\TaU}$ foR eAch $\taU \In \SigmA_\inFty$. this map Then defINes A gLOBAl Section $h_\tau \in H^0(X_{{\matHrM{gl}}_2}, \oMega_\tau^{\oTimes -1} \oTImEs \OMega^{\otimEs P}_{\siGma^{-1}\tAU})$; It is cAlleD ThE *partial hasse iNVaRiAnt at* $\taU$. WE use $X_\tAu$ To dEnoTe the ZEro lOcus of $H_\tau$. For a SubseT $\TtT \subseteq \SigMA_\infty$, we put $X_\tTt = \bIGCaP_{\Tau \iN \ttt} X_\tau$. These $X_\TtT$’s GIve tHe *GoREn-oorT StratIficaTiON* oF $x_{{\mathrm{GL}}_2}$.

An alternatIvE definItion Of $X_\ttT$ is given As follows: $z \IN x_\TtT(\overlIne \Ff_P)$ iF
_p$. This action decompose s $\Sigma_ \inft y$int oa di sjoi nt union of cy c les,  parametrized by all $ p$-ad ic plac e sof $F $.

Let $\ c a lA$  d en ote  t h eunive rsa l abeli an variety  ov er  $X_{{\mathr m {G L}}_2}$. T hesheaf of inv ari ant di ff ere n tial1-f orms$\omeg a _{\cal A/X_{{\ma th r m{GL}} _ 2}}$ is t he n lo cally free of ran k  o n e as a moduleover $ $\ c al O _ F \ oti mes_\ZZ \c al O_{X_ { {\mathr m {G L } } _2} }  \cong \bigop lus_{\tau \ i n \ Sigma_ \i nft y } \cal O_{X_ {{ \ mat hrm{GL}}_2,  \ta u}},$$ wh ere ${ \ mathcal { O}}_{X_ {{\mat hrm {GL }}_2 ,  \ ta u}} $i s t h edir e ctsummandon  w hich$\ca l O _ F $ ac tsthro ugh $ \tau : \calO_ F \ to \ o ver line\FF_p $. W ethenwriteaccor di ngly $\omega_{\ calA /X_{{\mat hrm {G L}} _2 }} =\ bigopl us_ {\t au \in\Sigma_ \ inf ty } \ om ega_\tau$; each $\ om e g a_ \tau$ is  local l yfr e e of ran kone  ove r ${\ma thca l {O }}_{X_{{ \mathr m {G L} }_2}}$. 
The Ve rs chi ebu ng ma p  ind uces a n $\calO _F$-m o rphism $\omega _ {A/X_{{\mathr m {G L } }_ 2 }} \ to\omega_{A^{ (p)} /  X_{ {\ma t hr m{G L }}_2} }$, w hi c hf urther induces a ho mo morphi sm $h _\tau: \omega _\tau \to\ o m ega^{\ot imes p} _ {\sigma^{-1}\t au}$for each $ \ tau \in\Sigm a_\infty $. This m a p  then de fin esa g lob a l  s ection $h_\ta u \inH^ 0(X_{{\ mat hrm{GL} }_2 },\om ega _\ tau^{\oti mes -1}\o ti me s\om ega^{ \ otimes p }_ {\s ig ma^ {-1}\ t au})$;  it i s ca ll ed the  *parti a lH a ssein va rian t a t*  $\ta u$.W e u se $X_\ tau$ to d eno t e th eze ro locu s of $h_\tau$ .For a subs et  $\ ttT \s u b seteq \S igma_\infty$, we put $X _ \ttT =\bi gcap_ {\ta u \in \tt T}X_\tau $.T hese $ X_\ttT $’s g iv e t h e  *Gor e n -O ort  s tratificat i o n*of $X _{ {\ma thrm{GL }}_2}$.

An altern a tiv e definitionof$X_\ t t T$  is gi v enas fol l o ws: $z \in X_\t tT(\overli ne \F F_p)$ if
_p$. This_action decomposes_$\Sigma_\infty$ into a disjoint_union of_cycles,_parametrized by_all_$p$-adic places of_$F$.

Let $\calA$ denote_the universal abelian variety_over $X_{{\mathrm{GL}}_2}$. The_sheaf_of invariant differential 1-forms $\omega_{\calA/X_{{\mathrm{GL}}_2}}$ is then locally free of rank one as a_module_over $$\calO_F_\otimes_\ZZ_\calO_{X_{{\mathrm{GL}}_2}}_\cong \bigoplus_{\tau \in \Sigma_\infty} \calO_{X_{{\mathrm{GL}}_2,_\tau}},$$ where ${\mathcal{O}}_{X_{{\mathrm{GL}}_2, \tau}}$ is_the direct_summand on which $\calO_F$ acts through $\tau :_\calO_F_\to \overline \FF_p$._We then write accordingly $\omega_{\calA/X_{{\mathrm{GL}}_2}} = \bigoplus_{\tau \in \Sigma_\infty}_\omega_\tau$; each $\omega_\tau$ is locally free_of rank one_over_${\mathcal{O}}_{X_{{\mathrm{GL}}_2}}$.

The_Verschiebung map induces an_$\calO_F$-morphism $\omega_{A/X_{{\mathrm{GL}}_2}} \to \omega_{A^{(p)}/ X_{{\mathrm{GL}}_2}}$, which_further induces a homomorphism $h_\tau: \omega_\tau_\to \omega^{\otimes p}_{\sigma^{-1}\tau}$ for each $\tau \in_\Sigma_\infty$. This map then defines a_global section $h_\tau \in H^0(X_{{\mathrm{GL}}_2},_\omega_\tau^{\otimes -1}_\otimes \omega^{\otimes p}_{\sigma^{-1}\tau})$; it is_called the *partial_Hasse invariant_at* $\tau$. We_use $X_\tau$ to denote the zero_locus of $h_\tau$._For a subset $\ttT \subseteq \Sigma_\infty$,_we_put $X_\ttT =_\bigcap_{\tau_\in_\ttT} X_\tau$._These $X_\ttT$’s give_the_*Goren-Oort stratification*_of_$X_{{\mathrm{GL}}_2}$.

An alternative definition of $X_\ttT$ is_given_as follows: $z \in X_\ttT(\overline \FF_p)$ if