{l}}}/\infty}$.

Case (2): There exists distinct primes ${\ensuremath{\mathfrak{l}}}_1$, ${\ensuremath{\mathfrak{l}}}_2$ above $l$ such that $\tau_{1}\in\Sigma_{{\ensuremath{\mathfrak{l}}}_1/\infty}$ and $\tau_2\in\Sigma_{{\ensuremath{\mathfrak{l}}}_2/\infty}$.

We first consider Case (1). Then we have $${\ensuremath{\mathcal{X}}}_l^{\mathrm{n-ord}}\cong{\ensuremath{\mathcal{X}}}_l^{\mathrm{ss}}={\ensuremath{\mathcal{X}}}_{l,\tau_1}\cup{\ensuremath{\mathcal{X}}}_{l,\tau_2}$$ where ${\ensuremath{\mathcal{X}}}_{l,\tau_1}$ and ${\ensuremath{\mathcal{X}}}_{l,\tau_2}$ are the Goren–Oort divisors over $\overline{{\ensuremath{\mathbb{F}}}}_l$ corresponding to $\tau_1,\tau_2\in\Sigma_{\infty}-{\ensuremath{\mathrm{S}}}_{\infty}.$ Here ${\ensuremath{\mathcal{X}}}_l^{\mathrm{ss}}$ is defined as in §\[sec: 3 statement\].

By Proposition \[thm:Goren-Oort strata\], ${\ensuremath{\mathcal{X}}}_{l,\tau_1}$ and ${\ensuremath{\mathcal{X}}}_{l,\tau_2}$ are ${\ensuremath{\mathbb{P}}}^1$-bundles over the discrete Shimura set $$G_{\Sigma_\infty}({\ensuremath{\mathbb{Q}}})\backslash G_{\Sigma_{\infty}}({\ensuremath{\mathbb{A}}}_f)/K$$ and by [@TX1 Proposition 2.32 (3)] there is an isomorphism $${\ensuremath{\mathcal{X}}}_{l,\tau_1}\cap{\ensuremath{\mathcal{X}}}_{l,\tau_2}\cong G_{\Sigma_\infty}({\ensuremath{\mathbb{Q}}})\backslash G_{\Sigma_\infty}({\ensuremath{\mathbb{A}}}_f)/K_0({\ensuremath{\mathfrak{l}}})$$ where $K_0({\ensuremath{\mathfrak{l}}})\subset K$ denotes the compact open which agrees with $K$ away from ${\ensuremath{\mathfrak{l}}}$ and with Iwahori level structure at ${\ensuremath{\mathfrak{l}}}$. Here we consider these finite sets as discrete schemes over ${\overline{{\ensuremath{\mathbb{F}}}}}_l$. We write $s_l(K)$ for the cardinality of $G_{\Sigma_\infty}({\
{ l}}}/\infty}$. 

 Case (2 ): There exists distinct primes $ { \ensuremath{\mathfrak{l}}}_1 $, $ { \ensuremath{\mathfrak{l}}}_2 $ above $ l$ such that $ \tau_{1}\in\Sigma_{{\ensuremath{\mathfrak{l}}}_1/\infty}$ and $ \tau_2\in\Sigma_{{\ensuremath{\mathfrak{l}}}_2/\infty}$. 

 We first think Case (1). Then we take $ $ { \ensuremath{\mathcal{X}}}_l^{\mathrm{n - ord}}\cong{\ensuremath{\mathcal{X}}}_l^{\mathrm{ss}}={\ensuremath{\mathcal{X}}}_{l,\tau_1}\cup{\ensuremath{\mathcal{X}}}_{l,\tau_2}$$ where $ { \ensuremath{\mathcal{X}}}_{l,\tau_1}$ and $ { \ensuremath{\mathcal{X}}}_{l,\tau_2}$ are the Goren – Oort divisors over $ \overline{{\ensuremath{\mathbb{F}}}}_l$ corresponding to $ \tau_1,\tau_2\in\Sigma_{\infty}-{\ensuremath{\mathrm{S}}}_{\infty}.$ Here $ { \ensuremath{\mathcal{X}}}_l^{\mathrm{ss}}$ is defined as in § \[sec: 3 statement\ ]. 

 By Proposition \[thm: Goren - Oort strata\ ], $ { \ensuremath{\mathcal{X}}}_{l,\tau_1}$ and $ { \ensuremath{\mathcal{X}}}_{l,\tau_2}$ are $ { \ensuremath{\mathbb{P}}}^1$-bundles over the discrete Shimura determine $ $ G_{\Sigma_\infty}({\ensuremath{\mathbb{Q}}})\backslash G_{\Sigma_{\infty}}({\ensuremath{\mathbb{A}}}_f)/K$$ and by [ @TX1 Proposition 2.32 (3) ] there is an isomorphism $ $ { \ensuremath{\mathcal{X}}}_{l,\tau_1}\cap{\ensuremath{\mathcal{X}}}_{l,\tau_2}\cong G_{\Sigma_\infty}({\ensuremath{\mathbb{Q}}})\backslash G_{\Sigma_\infty}({\ensuremath{\mathbb{A}}}_f)/K_0({\ensuremath{\mathfrak{l}}})$$ where $ K_0({\ensuremath{\mathfrak{l}}})\subset K$ denotes the compendious open which agrees with $ K$ away from $ { \ensuremath{\mathfrak{l}}}$ and with Iwahori degree structure at $ { \ensuremath{\mathfrak{l}}}$. Here we consider these finite set as discrete schemes over $ { \overline{{\ensuremath{\mathbb{F}}}}}_l$. We write $ s_l(K)$ for the cardinality of $ G_{\Sigma_\infty}({\
{l}}}/\invty}$.

Case (2): There exists dirtinct primes ${\euwuremavh{\mathfdak{l}}}_1$, ${\ensjremath{\mathfrak{l}}}_2$ above $l$ suci thqt $\tay_{1}\in\Sigma_{{\ensuremath{\mathwrak{l}}}_1/\inftj}$ and $\tau_2\un\Sijma_{{\ensuremath{\matirrak{l}}}_2/\inncy}$.

We rlrst eoisider Case (1). Thgn we have $${\etsuremath{\mathcdl{B}}}_l^{\lathrm{n-ord}}\cong{\ensuremath{\mathcal{X}}}_l^{\maehrm{ss}}={\emskremath{\mathcal{V}}}_{l,\tal_1}\ctp{\enalrtmath{\mathcal{X}}}_{l,\tau_2}$$ where ${\ensurematg{\mathcan{X}}}_{l,\tau_1}$ and ${\enxuremath{\mathcal{X}}}_{l,\tau_2}$ are tje Glren–Oort divisors lver $\overlibe{{\enfyremath{\mathbc{F}}}}_l$ correskouding to $\tao_1,\tau_2\in\Sigma_{\infty}-{\ensuremath{\mathrm{R}}}_{\inftv}.$ Here ${\ensutznatj{\kathcal{X}}}_l^{\mavhrm{ss}}$ is defined as in §\[sew: 3 statrment\].

By Proposltion \[thn:Goren-Oort strata\], ${\ensnremath{\mathcal{X}}}_{l,\tau_1}$ wnd ${\ensuramcth{\mathcal{X}}}_{l,\tau_2}$ are ${\ebsyremajh{\matvbb{P}}}^1$-cyndues oter the dlsccete Shimurz set $$G_{\Sigmq_\infty}({\ensuremath{\matnbf{W}}})\backslash G_{\Sjgma_{\instr}}({\ensuremath{\mathbb{A}}}_f)/K$$ and by [@TX1 Propositpon 2.32 (3)] there is an isomorphiwm $${\ensuremath{\mathcal{X}}}_{p,\tau_1}\cap{\enfuremath{\mathcal{X}}}_{l,\tau_2}\cong G_{\Sigma_\infty}({\ensuremath{\matvbb{Q}}})\becyslcwh G_{\Sktmw_\infty}({\ensuremath{\mathbb{A}}}_f)/K_0({\ensuremath{\mathfrak{l}}})$$ rgete $K_0({\ensuremath{\mabhfrak{l}}})\subset K$ demohex the compact upen wkjcg agrees with $K$ awwy from ${\ensueemath{\matrfral{l}}}$ and with Iwahori level srructure at ${\vnsueemath{\mathfrak{l}}}$. Hexe we considzr thexe fimite sets as discrete sehemes over ${\overllne{{\ensurejxth{\mathbb{F}}}}}_l$. We wfitv $s_l(N)$ for tht cardinality of $G_{\Figma_\inftb}({\
{l}}}/\infty}$. Case (2): There exists distinct primes above such that and $\tau_2\in\Sigma_{{\ensuremath{\mathfrak{l}}}_2/\infty}$. We we $${\ensuremath{\mathcal{X}}}_l^{\mathrm{n-ord}}\cong{\ensuremath{\mathcal{X}}}_l^{\mathrm{ss}}={\ensuremath{\mathcal{X}}}_{l,\tau_1}\cup{\ensuremath{\mathcal{X}}}_{l,\tau_2}$$ where ${\ensuremath{\mathcal{X}}}_{l,\tau_1}$ ${\ensuremath{\mathcal{X}}}_{l,\tau_2}$ are the divisors over $\overline{{\ensuremath{\mathbb{F}}}}_l$ corresponding to $\tau_1,\tau_2\in\Sigma_{\infty}-{\ensuremath{\mathrm{S}}}_{\infty}.$ ${\ensuremath{\mathcal{X}}}_l^{\mathrm{ss}}$ is defined as in §\[sec: 3 statement\]. By Proposition \[thm:Goren-Oort strata\], ${\ensuremath{\mathcal{X}}}_{l,\tau_1}$ ${\ensuremath{\mathcal{X}}}_{l,\tau_2}$ are ${\ensuremath{\mathbb{P}}}^1$-bundles over the discrete Shimura set $$G_{\Sigma_\infty}({\ensuremath{\mathbb{Q}}})\backslash G_{\Sigma_{\infty}}({\ensuremath{\mathbb{A}}}_f)/K$$ and by [@TX1 2.32 there an $${\ensuremath{\mathcal{X}}}_{l,\tau_1}\cap{\ensuremath{\mathcal{X}}}_{l,\tau_2}\cong G_{\Sigma_\infty}({\ensuremath{\mathbb{Q}}})\backslash G_{\Sigma_\infty}({\ensuremath{\mathbb{A}}}_f)/K_0({\ensuremath{\mathfrak{l}}})$$ where $K_0({\ensuremath{\mathfrak{l}}})\subset K$ denotes the compact open which agrees with $K$ away from and with Iwahori level structure at ${\ensuremath{\mathfrak{l}}}$. Here consider these finite sets discrete schemes over ${\overline{{\ensuremath{\mathbb{F}}}}}_l$. We $s_l(K)$ the cardinality $G_{\Sigma_\infty}({\
{l}}}/\infty}$.

Case (2): There exists distInct primes ${\EnsurEmaTh{\mAtHfraK{l}}}_1$, ${\enSuremath{\mathfrAK{l}}}_2$ abOve $l$ such that $\tau_{1}\in\Sigma_{{\EnsurEmATh{\maTHfRak{l}}}_1/\iNfty}$ and $\TAu_2\IN\sigMa_{{\EnSurEmATh{\MathfRak{L}}}_2/\infty}$.

WE first consIdeR CAse (1). Then we havE $${\EnSuremath{\maThcAl{X}}}_l^{\mathrm{n-oRd}}\cOng{\ensUrEmaTH{\mathCal{x}}}_l^{\matHrm{ss}}={\eNSuremaTh{\mathcal{x}}}_{l,\TAu_1}\cup{\eNSurematH{\MAtHcal{x}}}_{l,\tau_2}$$ where ${\ensuremATh{\MAthcal{X}}}_{l,\tau_1}$ and ${\EnsureMaTH{\mATHcaL{X}}}_{l,\Tau_2}$ are the GOrEn–OorT DivisorS OvER $\OVerLIne{{\ensuremath{\Mathbb{F}}}}_l$ corREspOnding To $\Tau_1,\TAu_2\in\SiGma_{\inFtY}-{\EnsUremath{\mathRm{S}}}_{\iNfty}.$ Here ${\eNsuremATh{\mathcAL{X}}}_l^{\mathRm{ss}}$ is DefIneD as iN §\[SeC: 3 sTatEmENt\].

BY prOpoSItiOn \[thm:GorEn-ooRt strAta\], ${\eNSUREmatH{\maThcaL{X}}}_{l,\taU_1}$ and ${\ensurematH{\maThcaL{x}}}_{l,\tAu_2}$ are ${\EnsurEmatH{\mAthbb{p}}}^1$-bundlEs oveR tHe discrete ShimuRa seT $$G_{\Sigma_\inFty}({\EnSurEmAth{\maTHbb{Q}}})\baCksLasH G_{\Sigma_{\Infty}}({\enSUreMaTH{\MAtHbb{A}}}_f)/K$$ and by [@TX1 PropoSiTIOn 2.32 (3)] There is aN isomoRPhIsM $${\EnsuremaTh{\MatHcal{x}}}_{L,\Tau_1}\caP{\ensUReMath{\mathCal{X}}}_{l,\tAU_2}\cOnG G_{\Sigma_\InFty}({\ensUrEmaTh{\mAthbb{q}}})\BackSlash G_{\sigma_\infTy}({\ensURemath{\mathbb{A}}}_f)/k_0({\Ensuremath{\matHFrAK{L}}})$$ wHEre $K_0({\EnsUremath{\mathFrak{L}}})\SubsEt K$ dENoTes THe comPact oPeN WhICh agrees with $K$ away frOm ${\EnsureMath{\mAthfrak{l}}}$ and wiTh Iwahori lEVEL structuRe at ${\ENsURemath{\mathfrak{L}}}$. Here We consider THese finiTe setS as discrEte schemeS OVer ${\overlIne{{\EnsUreMatH{\MAtHbb{F}}}}}_l$. We write $s_L(k)$ For tHe CardinaLitY of $G_{\SigMa_\iNftY}({\
{l}}}/\infty}$.

Case (2):  There exi sts d ist inc tprim es $ {\ensuremath{\ m athf rak{l}}}_1$, ${\ensure math{ \m a thfr a k{ l}}}_ 2$ abov e  $ l $  su ch  t hat  $ \ ta u_{1} \in \Sigma_ {{\ensurem ath {\ mathfrak{l}} } _1 /\infty}$and  $\tau_2\in\ Sig ma_{{\ en sur e math{ \ma thfra k{l}}} _ 2/\inf ty}$.

We  f i rst co n sider C a s e(1).  Then we have $${ \ en s uremath{\mathc al{X}} }_ l ^{ \ m ath rm{ n-ord}}\co ng {\ens u remath{ \ ma t h c al{ X }}}_l^{\mathr m{ss}}={\en s ure math{\ ma thc a l{X}}} _{l,\ ta u _1} \cup{\ensur emat h{\mathca l{X}}} _ {l,\tau _ 2}$$ wh ere ${ \en sur emat h {\ ma thc al { X}} } _{ l,\ t au_ 1}$ and${ \e nsure math { \ m a thca l{X }}}_ {l,\t au_2}$ are th e G oren – Oor t div isors  ove r$\ove rline{ {\ens ur emath{\mathbb{F }}}} _l$ corre spo nd ing  t o $\t a u_1,\t au_ 2\i n\Sigma _{\inft y }-{ \e n s u re math{\mathrm{S}}}_ {\ i n ft y}.$ Her e ${\e n su re m ath{\mat hc al{ X}}} _ l ^{\ma thrm { ss }}$ is d efined as  i n §\[se c:  3 sta te men t\] .

By Prop ositio n \[thm: Goren - Oort strata\], ${\ensuremath { \m a t hc a l{X} }}_ {l,\tau_1}$  and ${\e nsur e ma th{ \ mathc al{X} }} _ {l , \tau_2}$ are ${\ens ur emath{ \math bb{P}}}^1$-bu ndles over t h e discre te S h im u ra set $$G_{\S igma_ \infty}({\ e nsuremat h{\ma thbb{Q}} })\backsl a s h G_{\Si gma _{\ inf ty} } ( {\ ensuremath{\m a t hbb{ A} }}_f)/K $$and by[@T X1Pro pos it ion 2.32(3)] the re  i san  is omorp h ism $${\ en sur em ath {\mat h cal{X} }}_{l ,\ta u_ 1} \ cap {\ensur e ma t h {\ma th ca l{X} }}_ {l ,\tau _2}\ c ong  G_{\Si gma_\inft y}( { \ens ur em ath{\ma thbb{Q}}})\ba ck slash G_{\ Si gma _\inft y } ({\ensur emath{\mathbb{A}}}_f)/K _ 0({\ens ure math{ \mat hfrak{l}} })$ $ wher e $ K _0({\e nsurem ath{\ ma thf r a k{l}} } ) \s ubs et  K$ denote s the  comp ac t op en whic h agrees with $K$a way  from ${\ensu rem ath{ \ m at hfr a k{ l }}} $a ndw i th Iwahori leve l structur ea t${\ensurem a th{ \m athfrak {l}}}$.  Here we cons ider thes e finitese ts a s dis crete sche mes over  ${\overl i ne{{\ e ns urema th{ \mathb b{ F}} }}}_l $. Wew rit e $s_ l(K)$fo r thecardi na lity of$G_{\Sigma_\infty}({\
{l}}}/\infty}$.

Case (2):_There exists_distinct primes ${\ensuremath{\mathfrak{l}}}_1$, ${\ensuremath{\mathfrak{l}}}_2$_above $l$_such_that $\tau_{1}\in\Sigma_{{\ensuremath{\mathfrak{l}}}_1/\infty}$_and_$\tau_2\in\Sigma_{{\ensuremath{\mathfrak{l}}}_2/\infty}$.

We first consider_Case (1). Then_we have $${\ensuremath{\mathcal{X}}}_l^{\mathrm{n-ord}}\cong{\ensuremath{\mathcal{X}}}_l^{\mathrm{ss}}={\ensuremath{\mathcal{X}}}_{l,\tau_1}\cup{\ensuremath{\mathcal{X}}}_{l,\tau_2}$$ where_${\ensuremath{\mathcal{X}}}_{l,\tau_1}$ and ${\ensuremath{\mathcal{X}}}_{l,\tau_2}$_are_the Goren–Oort divisors over $\overline{{\ensuremath{\mathbb{F}}}}_l$ corresponding to $\tau_1,\tau_2\in\Sigma_{\infty}-{\ensuremath{\mathrm{S}}}_{\infty}.$ Here ${\ensuremath{\mathcal{X}}}_l^{\mathrm{ss}}$ is defined as in_§\[sec:_3 statement\].

By_Proposition_\[thm:Goren-Oort_strata\], ${\ensuremath{\mathcal{X}}}_{l,\tau_1}$ and ${\ensuremath{\mathcal{X}}}_{l,\tau_2}$ are_${\ensuremath{\mathbb{P}}}^1$-bundles over the discrete Shimura_set $$G_{\Sigma_\infty}({\ensuremath{\mathbb{Q}}})\backslash_G_{\Sigma_{\infty}}({\ensuremath{\mathbb{A}}}_f)/K$$ and by [@TX1 Proposition 2.32 (3)] there_is_an isomorphism $${\ensuremath{\mathcal{X}}}_{l,\tau_1}\cap{\ensuremath{\mathcal{X}}}_{l,\tau_2}\cong_G_{\Sigma_\infty}({\ensuremath{\mathbb{Q}}})\backslash G_{\Sigma_\infty}({\ensuremath{\mathbb{A}}}_f)/K_0({\ensuremath{\mathfrak{l}}})$$ where $K_0({\ensuremath{\mathfrak{l}}})\subset K$ denotes the compact open_which agrees with $K$ away from_${\ensuremath{\mathfrak{l}}}$ and with_Iwahori_level_structure at ${\ensuremath{\mathfrak{l}}}$. Here_we consider these finite sets as_discrete schemes over ${\overline{{\ensuremath{\mathbb{F}}}}}_l$. We write_$s_l(K)$ for the cardinality of $G_{\Sigma_\infty}({\