_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}})_{\overline{{\ensuremath{\mathbb{Q}}}}}$ is independent of ${\ensuremath{\mathrm{T}}}$. However, different choices of ${\ensuremath{\mathrm{T}}}$ will give rise to different ${\ensuremath{\mathbf{E}}}_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}}$ varieties, see for example [@TX1 p9]. We also point out the abuse of notation here, where the compact open subgroup $K$ implicitly depends on the choice of ${\ensuremath{\mathrm{S}}}$. When ${\ensuremath{\mathrm{S}}}_{\infty}=\Sigma_{\infty}$, $\mathrm{Sh}_K(G_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}})(\overline{{\ensuremath{\mathbb{Q}}}})$ is a discrete set and the action of $\operatorname{Gal}(\overline{{\ensuremath{\mathbb{Q}}}}/{\ensuremath{\mathbf{E}}}_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}})$ can be described explicitly as in [@LT §2.1].

We also set $$\operatorname{Sh}_{K_p}(G_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}}):=\lim\limits_{\leftarrow K^p}\operatorname{Sh}_{K}(G_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}})$$ and we write $\operatorname{Sh}_{K_p}^\circ(G_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}})$ for the neutral connected component of $\operatorname{Sh}_{K_p}(G_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}})_{\overline{{\ensuremath{\mathbb{Q}}}}}$. This is the component containing the image of the point $$(i^{\Sigma_{\infty}-{\ensuremath{\mathrm{S}}}_{\infty}},1)\in({\ensuremath{\mathfrak{h}}}^\pm)^{\Sigma_{\infty}-{\ensuremath{\mathrm{S}}}_{\infty}}\times G_{\ensuremath{\mathrm{S}}}({\ensuremath{\mathbb{A}}}_f).$$

Unitary Shimura varieties {#sec:unitary}
-------------------------

In this section we define an auxiliary unitary Shimura variety which is of PEL-type in order to define integral models for $\mathrm{Sh}_{K}(G_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}})$.

Let $E/F$ be a CM-extension such that the following two conditions are satisfied:

\(1) $E/F$ is
_ { { \ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}})_{\overline{{\ensuremath{\mathbb{Q}}}}}$ is independent of $ { \ensuremath{\mathrm{T}}}$. However, different choices of $ { \ensuremath{\mathrm{T}}}$ will give upgrade to unlike $ { \ensuremath{\mathbf{E}}}_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}}$ varieties, see for case [ @TX1 p9 ]. We besides point out the abuse of notation here, where the compendious receptive subgroup $ K$ implicitly depends on the option of $ { \ensuremath{\mathrm{S}}}$. When $ { \ensuremath{\mathrm{S}}}_{\infty}=\Sigma_{\infty}$, $ \mathrm{Sh}_K(G_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}})(\overline{{\ensuremath{\mathbb{Q}}}})$ is a discrete hardening and the action of $ \operatorname{Gal}(\overline{{\ensuremath{\mathbb{Q}}}}/{\ensuremath{\mathbf{E}}}_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}})$ can be identify explicitly as in [ @LT § 2.1 ]. 

 We also set $ $ \operatorname{Sh}_{K_p}(G_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}}):=\lim\limits_{\leftarrow K^p}\operatorname{Sh}_{K}(G_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}})$$ and we compose $ \operatorname{Sh}_{K_p}^\circ(G_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}})$ for the achromatic connected component of $ \operatorname{Sh}_{K_p}(G_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}})_{\overline{{\ensuremath{\mathbb{Q}}}}}$. This is the component containing the image of the detail $ $ (i^{\Sigma_{\infty}-{\ensuremath{\mathrm{S}}}_{\infty}},1)\in({\ensuremath{\mathfrak{h}}}^\pm)^{\Sigma_{\infty}-{\ensuremath{\mathrm{S}}}_{\infty}}\times G_{\ensuremath{\mathrm{S}}}({\ensuremath{\mathbb{A}}}_f).$$ 

 Unitary Shimura varieties { # sec: unitary } 
 ------------------------- 

 In this section we specify an auxiliary unitary Shimura variety which is of PEL - type in ordering to define integral models for $ \mathrm{Sh}_{K}(G_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}})$. 

 Let $ E / F$ be a CM - elongation such that the following two conditions are satisfied: 

 \(1) $ E / F$ is
_{{\enskremath{\mathrm{S}}},{\ensuremath{\oathrm{T}}}})_{\overline{{\gnwuremavh{\mathbg{Q}}}}}$ is inaependent of ${\ensuremath{\mathrl{T}}}$. Howecer, different choices uf ${\ensurelath{\mathem{T}}}$ xill give rise to differcut ${\enamremach{\nathbf{E}}}_{{\ensuremsth{\mathrm{S}}},{\ansuremath{\mathsm{G}}}}$ rarieties, see for example [@TX1 p9]. We alfo poiny lut the abuse jf npeatikn here, where the compact open subfroup $K$ implicitly drpends on the choice of ${\endurelath{\mathrm{S}}}$. When ${\ejsuremath{\majgrm{F}}}_{\unfty}=\Sigma_{\inwty}$, $\mathrm{Sh}_K(G_{{\ensuremajh{\mathrm{S}}},{\ensuremath{\mathrm{T}}}})(\overlive{{\ensbremath{\mathvb{W}}}})$ id a discrete set wnd the action of $\oparatornsme{Gal}(\overline{{\cnsurxmaty{\mathbb{Q}}}}/{\ensuremath{\matibf{E}}}_{{\ensuremath{\mathrm{F}}},{\ensuremadh{\jathrm{T}}}})$ can be dewceibed expnicigoy xs jn [@LF §2.1].

We apso set $$\operaforname{Sh}_{K_p}(T_{{\ensuremath{\mathrm{S}}},{\emstgrmath{\mathrm{T}}}}):=\mim\limytf_{\leftarrow K^p}\operatorname{Sh}_{K}(G_{{\ensuremath{\katgrm{S}}},{\ensuremath{\mathrm{T}}}})$$ abd we write $\operatornwme{Sh}_{K_p}^\ciwc(G_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}})$ for the neudral rovneebcd cunplnent of $\operatorname{Sh}_{K_p}(G_{{\ensuremath{\mathrm{S}}},{\enfhrtmanh{\mathrm{T}}}})_{\overline{{\cnsuremath{\mathbb{Q}}}}}$. Yhls ys the compongnt conczihing the image of hhe poigt $$(i^{\Sugma_{\infty}-{\tnsurrmath{\mathrm{S}}}_{\infty}},1)\in({\ensuremarh{\mathfrak{h}}}^\pi)^{\Wigma_{\infty}-{\ensuremach{\mathrm{S}}}_{\infcy}}\timex G_{\enxuremath{\mathrm{S}}}({\ensuremach{\mathgb{A}}}_f).$$

Unitary Shimura bxrieties {#sec:unitxry}
-------------------------

Pn tvis section we define an atxiliary nnitaxy Shimufa vsriety which is lf PEL-type in order to dffine ittegral mofels for $\mathrm{Sh}_{K}(G_{{\ensuremath{\mavirm{S}}},{\ensurematn{\mdthgm{T}}}})$.

Let $E/F$ be a CM-extension fuch that the yollowiny two zonditions are savisfied:

\(1) $E/F$ if
_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}})_{\overline{{\ensuremath{\mathbb{Q}}}}}$ is independent of ${\ensuremath{\mathrm{T}}}$. However, different ${\ensuremath{\mathrm{T}}}$ give rise different ${\ensuremath{\mathbf{E}}}_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}}$ varieties, We point out the of notation here, the compact open subgroup $K$ implicitly on the choice of ${\ensuremath{\mathrm{S}}}$. When ${\ensuremath{\mathrm{S}}}_{\infty}=\Sigma_{\infty}$, $\mathrm{Sh}_K(G_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}})(\overline{{\ensuremath{\mathbb{Q}}}})$ is a discrete set and action of $\operatorname{Gal}(\overline{{\ensuremath{\mathbb{Q}}}}/{\ensuremath{\mathbf{E}}}_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}})$ can be described explicitly as in [@LT §2.1]. We also $$\operatorname{Sh}_{K_p}(G_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}}):=\lim\limits_{\leftarrow and write for the neutral connected component of $\operatorname{Sh}_{K_p}(G_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}})_{\overline{{\ensuremath{\mathbb{Q}}}}}$. This is the component containing the image of the $$(i^{\Sigma_{\infty}-{\ensuremath{\mathrm{S}}}_{\infty}},1)\in({\ensuremath{\mathfrak{h}}}^\pm)^{\Sigma_{\infty}-{\ensuremath{\mathrm{S}}}_{\infty}}\times G_{\ensuremath{\mathrm{S}}}({\ensuremath{\mathbb{A}}}_f).$$ Unitary Shimura varieties {#sec:unitary} ------------------------- In section we define an unitary Shimura variety which is PEL-type order to integral for Let $E/F$ be CM-extension such that the following two conditions are satisfied: \(1) $E/F$ is
_{{\ensuremath{\mathrm{S}}},{\ensuremaTh{\mathrm{T}}}})_{\oVerliNe{{\eNsuReMath{\MathBb{Q}}}}}$ is independeNT of ${\eNsuremath{\mathrm{T}}}$. HoweveR, diffErENt chOIcEs of ${\eNsuremaTH{\mATHrm{t}}}$ wIlL giVe RIsE to diFfeRent ${\ensUremath{\matHbf{e}}}_{{\eNsuremath{\matHRm{s}}},{\ensurematH{\maThrm{T}}}}$ varietiEs, sEe for eXaMplE [@tX1 p9]. We AlsO poinT out thE Abuse oF notation HeRE, where THe compaCT OpEn suBgroup $K$ implicitly DEpENds on the choice Of ${\ensuReMAtH{\MAthRm{S}}}$. when ${\ensureMaTh{\matHRm{S}}}_{\inftY}=\siGMA_{\InfTY}$, $\mathrm{Sh}_K(G_{{\enSuremath{\matHRm{S}}},{\EnsureMaTh{\mAThrm{T}}}})(\oVerliNe{{\ENsuRemath{\mathbB{Q}}}})$ is A discrete Set and THe actioN Of $\operaTornamE{GaL}(\ovErliNE{{\eNsUreMaTH{\maTHbB{Q}}}}/{\eNSurEmath{\matHbF{E}}}_{{\EnsurEmatH{\MATHrm{S}}},{\EnsUremAth{\maThrm{T}}}})$ can be desCriBed eXPliCitly As in [@Lt §2.1].

We aLsO set $$\oPeratoRname{sh}_{k_p}(G_{{\ensuremath{\maThrm{s}}},{\ensuremaTh{\mAtHrm{t}}}}):=\lIm\limITs_{\leftArrOw K^P}\operatOrname{SH}_{k}(G_{{\eNsUREMaTh{\mathrm{S}}},{\ensurematH{\mATHrM{T}}}})$$ and we wRite $\opERaToRName{Sh}_{K_p}^\CiRc(G_{{\EnsuREMath{\mAthrM{s}}},{\eNsurematH{\mathrM{t}}}})$ fOr The neutRaL conneCtEd cOmpOnent OF $\opeRatornAme{Sh}_{K_p}(G_{{\EnsurEMath{\mathrm{S}}},{\ensURemath{\mathrm{T}}}})_{\OVeRLInE{{\EnsuRemAth{\mathbb{Q}}}}}$. THis iS The cOmpoNEnT coNTainiNg the ImAGe OF the point $$(i^{\Sigma_{\inftY}-{\eNsuremAth{\maThrm{S}}}_{\infty}},1)\in({\eNsuremath{\mATHFrak{h}}}^\pm)^{\SIgma_{\INfTY}-{\ensuremath{\matHrm{S}}}_{\iNfty}}\times G_{\ENsurematH{\mathRm{S}}}({\ensurEmath{\mathBB{a}}}_f).$$

UnitarY ShImuRa vAriETIeS {#sec:unitary}
-------------------------

In THIs seCtIon we deFinE an auxiLiaRy uNitAry shImura variEty which Is Of pEl-tYpe In ordER to definE iNteGrAl mOdels FOr $\mathRm{Sh}_{K}(g_{{\ensUrEmATh{\mAthrm{S}}},{\eNSuREMath{\MaThRm{T}}}})$.

LEt $E/f$ bE a CM-eXtenSIon Such thaT the folloWinG Two cOnDiTions arE satisfied:

\(1) $E/F$ iS
_{{\ensuremath{\mathrm{S}} },{\ensure math{ \ma thr m{ T}}} })_{ \overline{{\en s urem ath{\mathbb{Q}}}}}$ is  inde pe n dent of  ${\e nsurema t h{ \ m ath rm {T }}} $. Ho wever , d ifferen t choicesof${ \ensuremath{ \ ma thrm{T}}}$  wi ll give rise  to  diffe re nt$ {\ens ure math{ \mathb f {E}}}_ {{\ensure ma t h{\mat h rm{S}}} , { \e nsur emath{\mathrm{T}} } }$ varieties, see  for e xa m pl e [@T X1p9]. We al so  poin t  out th e  a b u s e o f  notation her e, where th e  co mpactop ens ubgrou p $K$  i m pli citly depen ds o n the cho ice of ${\ensu r emath{\ mathrm {S} }}$ . Wh e n${ \en su r ema t h{ \ma t hrm {S}}}_{\ in ft y}=\S igma _ { \ i nfty }$,  $\m athrm {Sh}_K(G_{{\e nsu rema t h{\ mathr m{S}} },{\ en surem ath{\m athrm {T }}}})(\overline {{\e nsuremath {\m at hbb {Q }}}}) $  is adis cre te setand the act io n o f$\operatorname{Gal }( \ o ve rline{{\ ensure m at h{ \ mathbb{Q }} }}/ {\en s u remat h{\m a th bf{E}}}_ {{\ens u re ma th{\mat hr m{S}}} ,{ \en sur emath { \mat hrm{T} }}})$ ca n bed escribed expli c itly as in [@ L T§ 2 .1 ] .

W e a lso set $$\ oper a torn ame{ S h} _{K _ p}(G_ {{\en su r em a th{\mathrm{S}}},{\e ns uremat h{\ma thrm{T}}}}):= \lim\limit s _ { \leftarr ow K ^ p} \ operatorname{S h}_{K }(G_{{\ens u remath{\ mathr m{S}}},{ \ensurema t h {\mathrm {T} }}} )$$  an d we  write $\oper a t orna me {Sh}_{K _p} ^\circ( G_{ {\e nsu rem at h{\mathrm {S}}},{\ en su re ma th{ \math r m{T}}}}) $for  t heneutr a l conn ected  com po ne n t o f $\ope r at o r name {S h} _{K_ p}( G_ {{\en sure m ath {\mathr m{S}}},{\ ens u rema th {\ mathrm{ T}}}})_{\over li ne{{\ensur em ath {\math b b {Q}}}}}$ . This is the component contain ing  theimag e of thepoi nt $$( i^{ \ Sigma_ {\inft y}-{\ en sur e m ath{\ m a th rm{ S} }}_{\infty } } ,1) \in({ \e nsur emath{\ mathfrak{h}}}^\pm) ^ {\S igma_{\infty} -{\ ensu r e ma th{ \ ma t hrm {S } }}_ { \ infty}}\times G _{\ensurem at h {\ mathrm{S}} } ({\ en suremat h{\math bb{A} } }_f).$$ 

Unitary  Shimurava riet i e s { #sec:unita ry}
---- --------- - ----- - -- ---
Inthis s ec tio n wedefine anauxil iary u ni tary S himur avarietywhich is of PEL-type in  order  to d efi ne integr alm ode ls for $\ math rm{Sh}_{K} (G_ {{\ ensur ema t h{\ma thrm { S} }}, { \ensu rema t h{\mathrm { T} }}} ) $ .
Let $E/F$b e a C M-ext ens i on suc h th at the followingt wo conditionsares a tis fie d :

\ (1 ) $E/F$ is
_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}})_{\overline{{\ensuremath{\mathbb{Q}}}}}$ is_independent of_${\ensuremath{\mathrm{T}}}$. However, different choices_of ${\ensuremath{\mathrm{T}}}$_will_give rise_to_different ${\ensuremath{\mathbf{E}}}_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}}$ varieties,_see for example_[@TX1 p9]. We also_point out the_abuse_of notation here, where the compact open subgroup $K$ implicitly depends on the choice_of_${\ensuremath{\mathrm{S}}}$. When_${\ensuremath{\mathrm{S}}}_{\infty}=\Sigma_{\infty}$,_$\mathrm{Sh}_K(G_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}})(\overline{{\ensuremath{\mathbb{Q}}}})$_is a discrete set and_the action of $\operatorname{Gal}(\overline{{\ensuremath{\mathbb{Q}}}}/{\ensuremath{\mathbf{E}}}_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}})$ can_be described_explicitly as in [@LT §2.1].

We also set $$\operatorname{Sh}_{K_p}(G_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}}):=\lim\limits_{\leftarrow_K^p}\operatorname{Sh}_{K}(G_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}})$$_and we write_$\operatorname{Sh}_{K_p}^\circ(G_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}})$ for the neutral connected component of $\operatorname{Sh}_{K_p}(G_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}})_{\overline{{\ensuremath{\mathbb{Q}}}}}$. This_is the component containing the image_of the point_$$(i^{\Sigma_{\infty}-{\ensuremath{\mathrm{S}}}_{\infty}},1)\in({\ensuremath{\mathfrak{h}}}^\pm)^{\Sigma_{\infty}-{\ensuremath{\mathrm{S}}}_{\infty}}\times_G_{\ensuremath{\mathrm{S}}}({\ensuremath{\mathbb{A}}}_f).$$

Unitary_Shimura varieties {#sec:unitary}
-------------------------

In this_section we define an auxiliary unitary_Shimura variety which is of PEL-type_in order to define integral models for_$\mathrm{Sh}_{K}(G_{{\ensuremath{\mathrm{S}}},{\ensuremath{\mathrm{T}}}})$.

Let $E/F$ be a CM-extension such_that the following two conditions_are satisfied:

\(1)_$E/F$ is