 §2], the results for unitary Shimura varieties transfer easily to the quaternionic side. The moduli interpretation for the unitary Shimura varieties allow us to adapt many proofs in the case of Hilbert modular varieties to the quaternionic case.

Outline of paper
----------------

In §2 we begin with some basics on Shimura varieties and define the quaternionic Shimura varieties of interest. We recall the construction of the auxiliary unitary Shimura varieties of PEL-type as in [@TX §3], and recall the description of Goren–Oort cycles obtained in [@TX1]. In §3 we prove the Hecke orbit conjecture for quaternionic Shimura varieties. We deduce our results from the corresponding statement for the auxiliary unitary Shimura varieties. Using the moduli interpretation, the proof in the unitary case follows the strategy of [@Chai] who proved the result for Hilbert modular varieties. A key input here is Moonen’s generalization of Serre–Tate theory for ordinary abelian varieties [@Mo]. In §4 we study the intersection pairing of cycles on the$\mod l$ reduction of Shimura surfaces and use this to prove Theorem \[thm:intro Ihara\]. Finally in §5, we recall the definition of motivic cohomology groups and higher Chow groups, paying extra attention in the most pertinent case of surfaces, and we construct the level raising subgroup $\mathrm{Ch}^{g/2+1}_{\mathrm{lr}}({\ensuremath{\mathscr{S}}}_K(G)_{{\ensuremath{\mathbb{F}}}_{p^{g}}},1,k_\lambda)_{{\ensuremath{\mathfrak{m}}}}$. We then prove Theorem \[thm:intro main\] using the strategy outlined above. In the Appendix we describe the bad reduction of quaternionic Shimura surfaces with Iwahori level structure.

*Acknowledgments:* The author would like to thank Tony Feng, Bao Le Hung, Chao Li, Ananth Shankar, Richard Taylor, Liang Xiao and Xinwen Zhu for useful discussions and comments about this work. Above all the author would like to thank Akshay Venkatesh for his suggestion that there could be interesting arithmetic information contained in the motivic cohomology of Shimura varieties and for many hours of enlightening and enjoyable discussions. The author was partially supported by NSF grant No. DMS-1638352 through membership at the Institute for Advanced Study.

Notations
---------

-   If $F$ is a number field we write ${\ensuremath{\mathcal{O}}}_F
§ 2 ], the results for unitary Shimura varieties transfer well to the quaternionic slope. The moduli interpretation for the one Shimura varieties admit us to adapt many proof in the character of Hilbert modular varieties to the quaternionic event. 

 Outline of paper 
 ---------------- 

 In § 2 we begin with some basic on Shimura varieties and define the quaternionic Shimura variety show of interest. We echo the construction of the auxiliary one Shimura varieties of PEL - type as in [ @TX § 3 ], and recall the description of Goren – Oort cycle obtained in [ @TX1 ]. In § 3 we prove the Hecke sphere conjecture for quaternionic Shimura assortment. We deduce our results from the corresponding statement for the auxiliary unitary Shimura diverseness. Using the moduli interpretation, the proof in the unitary shell follows the strategy of [ @Chai ] who proved the result for Hilbert modular varieties. A key input here is Moonen ’s generalization of Serre – Tate theory for ordinary abelian assortment [ @Mo ]. In § 4 we study the intersection pair of cycle on the$\mod l$ reduction of Shimura surfaces and use this to prove Theorem \[thm: intro Ihara\ ]. Finally in § 5, we recall the definition of motivic cohomology groups and high Chow groups, paying extra attention in the most pertinent sheath of surfaces, and we construct the level raising subgroup $ \mathrm{Ch}^{g/2 + 1}_{\mathrm{lr}}({\ensuremath{\mathscr{S}}}_K(G)_{{\ensuremath{\mathbb{F}}}_{p^{g}}},1,k_\lambda)_{{\ensuremath{\mathfrak{m}}}}$. We then rise Theorem \[thm: intro main\ ] using the scheme delineate above. In the Appendix we describe the bad reduction of quaternionic Shimura surfaces with Iwahori floor structure. 

 * Acknowledgments :* The author would like to thank Tony Feng, Bao Le Hung, Chao Li, Ananth Shankar, Richard Taylor, Liang Xiao and Xinwen Zhu for useful discussions and comments about this work. Above all the generator would like to thank Akshay Venkatesh for his hypnotism that there could be interesting arithmetic information incorporate in the motivic cohomology of Shimura varieties and for many hour of enlightening and enjoyable discussion. The author was partially defend by NSF grant No. DMS-1638352 through membership at the Institute for Advanced Study. 

 Notations 
 --------- 

 -    If $ F$ is a number field we publish $ { \ensuremath{\mathcal{O}}}_F
 §2], tje results for unitary Smimura varieties transfxr easimy to thd quaternionic side. The modupi inteepretation for the unigary Shimlra varieries qllow us to adapt many pdlofs mn the case of Milbert modglar varieties tu che quaternionic case.

Outline of papew
----------------

In §2 we bfgin with some baspcf on Shimura varieties and define the suaternponic Shimura varoeties of interest. We recapl tje construction of the auxiliqry tbitary Shimufa varietits of PEL-typg as in [@TX §3], and recall the descrkptiou of Goren–Oirr cjwles obtainxd in [@NX1]. In §3 we proyv the Hacke ornit conjecture foc quqternionic Shimura vacieties. We deduce out results xrkm the correspondunt stajemend fof thd ahxmlizry unltacy Shimura barieties. Uwing the moduli inttrpwvyation, the pdoof ig ehe unitary case follows the strategy ox [@Cgai] who proved the resuot for Hilbert modulat varietief. A key input here is Moonen’s generalization of Sarre–Tetd tkcjft vor ordinary abelian varieties [@Mo]. In §4 we studr tne intersection iairing of cycles pn tng$\mod l$ reductiun of Shijura surfaces and kse thif to prove Thejrem \[thm:intro Ihara\]. Finally in §5, we recall tke eefinition of motiric cohomoloyy groops anc higher Chow groups, paving estra attentlon in ths most pertinent zasv of surfaces, and we construct the leveo ransing sucgroop $\mathwm{Ch}^{g/2+1}_{\mathrl{lr}}({\ensuremath{\mathscr{S}}}_K(G)_{{\ejsureladh{\mathbb{F}}}_{p^{h}}},1,k_\lambda)_{{\ensuremath{\mathfrak{m}}}}$. We vien prove Thepram \[nhm:intro iain\] msing the stratqgy outlined ayove. In che Apoendix we sescribx the bad requction of qudjernionic Shikura sursacew wirh Iwahufi level strucyure.

*Acknocjedgnents:* The author wpula like to thank Cuby Feng, Bao Le Nune, Cral Ki, Dnanth Shankdr, Rkchxtd Tahlor, Liang Wiau anc Xinwen Zhu for usexul siscussions and cokmcnts abouj this wowk. Above all yhe author would llke tm tiank Alshwy Venkatesh for his suggestioh that thfre could be ineerewting arithmztic information contained in the motivir cohomology of Shimura varieties and for ksny hours oh enlidhtening dnd enjoyable discuswions. The author eas partially supportsd by TSF ggant No. DMS-1638352 through membership at the Institute for Advanced Study.

Notatiobs
---------

-   Ih $S$ is a numbsr foeld fe crite ${\egsurxmeth{\mathcal{O}}}_F
§2], the results for unitary Shimura varieties to quaternionic side. moduli interpretation for us adapt many proofs the case of modular varieties to the quaternionic case. of paper ---------------- In §2 we begin with some basics on Shimura varieties define the quaternionic Shimura varieties of interest. We recall the construction of the unitary varieties PEL-type in [@TX §3], and recall the description of Goren–Oort cycles obtained in [@TX1]. In §3 we the Hecke orbit conjecture for quaternionic Shimura varieties. deduce our results from corresponding statement for the auxiliary Shimura Using the interpretation, proof the unitary case the strategy of [@Chai] who proved the result for Hilbert modular varieties. A key input here is generalization of for ordinary varieties In we study the of cycles on the$\mod l$ reduction and use this to prove Theorem \[thm:intro Ihara\]. in §5, recall the definition of motivic cohomology and higher Chow groups, paying extra attention in most pertinent case of surfaces, and we construct the level raising subgroup $\mathrm{Ch}^{g/2+1}_{\mathrm{lr}}({\ensuremath{\mathscr{S}}}_K(G)_{{\ensuremath{\mathbb{F}}}_{p^{g}}},1,k_\lambda)_{{\ensuremath{\mathfrak{m}}}}$. We then \[thm:intro main\] using the outlined above. In Appendix describe bad of quaternionic surfaces with Iwahori level structure. *Acknowledgments:* The author would like to Tony Feng, Bao Le Hung, Chao Li, Ananth Shankar, Richard Xiao Xinwen Zhu for discussions and comments about work. all the author would thank Venkatesh that could interesting arithmetic information contained the motivic cohomology of Shimura and for many hours The author was partially supported by NSF grant DMS-1638352 through membership at the Institute for Study. Notations --------- - If $F$ is a number field we write
 §2], the results for unitary ShimuRa varietieS tranSfeR eaSiLy to The qUaternionic sidE. the mOduli interpretation for The unItARy ShIMuRa varIeties aLLoW US to AdApT maNy PRoOfs in The Case of HIlbert moduLar VaRieties to the QUaTernionic cAse.

outline of papEr
----------------

IN §2 we begIn WitH Some bAsiCs on SHimura VArietiEs and defiNe THe quatERnionic sHImUra vArieties of interesT. we REcall the constrUction Of THe AUXilIarY unitary ShImUra vaRIeties oF pEl-TYPe aS In [@TX §3], and recall The descriptIOn oF Goren–ooRt cYCles obTaineD iN [@tX1]. IN §3 we prove the heckE orbit conJecturE For quatERnionic shimurA vaRieTies. wE dEdUce OuR ResULtS frOM thE correspOnDiNg staTemeNT FOR the AuxIliaRy uniTary Shimura vaRieTies. uSinG the mOduli InteRpRetatIon, the Proof In The unitary case fOlloWs the straTegY oF [@ChAi] Who prOVed the ResUlt For HilbErt moduLAr vArIETIeS. A key input here is MoOnEN’S gEneralizAtion oF seRrE–tate theoRy For OrdiNARy abeLian VArIeties [@Mo]. in §4 we stUDy ThE intersEcTion paIrIng Of cYcles ON the$\Mod l$ reDuction oF ShimURa surfaces and uSE this to prove THEoREM \[tHM:intRo IHara\]. Finally In §5, we REcalL the DEfIniTIon of MotivIc COhOMology groups and highEr chow grOups, pAying extra attEntion in thE MOSt pertinEnt cASe OF surfaces, and we ConstRuct the levEL raising SubgrOup $\mathrM{Ch}^{g/2+1}_{\mathrM{LR}}({\ensuremAth{\MatHscR{S}}}_K(g)_{{\ENsUremath{\mathbb{f}}}_{P^{G}}},1,k_\laMbDa)_{{\ensurEmaTh{\mathfRak{M}}}}$. We TheN prOvE Theorem \[tHm:intro mAiN\] uSiNg The StratEGy outlinEd AboVe. in tHe AppENdix we DescrIbe tHe BaD RedUction oF QuATErniOnIc shimUra SuRfaceS witH iwaHori levEl structuRe.

*ACKnowLeDgMents:* ThE author would lIkE to thank ToNy fenG, Bao Le hUNg, Chao Li, ananth Shankar, Richard TayLOr, Liang xiaO and XInweN Zhu for usEfuL discuSsiONs and cOmmentS abouT tHis WORk. AboVE AlL thE aUthor would LIKe tO thanK AKshaY VenkatEsh for his suggestioN ThaT there could be IntEresTINg AriTHmETic InFOrmATIon contained in tHe motivic cOhOMoLogy of ShimURa vArIeties aNd for maNy houRS of enliGhtening aNd enjoyabLe DiscUSSioNs. The authoR was partIally suppORted bY nSf granT No. dMS-1638352 thrOuGh mEmberShip at THe INstitUte for adVanced study.

noTations
---------

-   IF $F$ is a number field we write ${\EnsureMath{\mAthCal{O}}}_F
 §2], the results for unit ary Shimur a var iet ies  t rans fereasily to theq uate rnionic side. The modu li in te r pret a ti on fo r the u n it a r y S hi mu rava r ie tiesall ow us t o adapt ma nypr oofs in thec as e of Hilbe rtmodular vari eti es toth e q u atern ion ic ca se.

O u tlineof paper-- - ------ - ------I n§2 w e begin with some ba s ics on Shimura  varie ti e sa n d d efi ne the qua te rnion i c Shimu r av a r iet i es of interes t. We recal l  th e cons tr uct i on ofthe a ux i lia ry unitaryShim ura varie ties o f  PEL-ty p e as in  [@TX§3] , a nd r e ca ll  th ed esc r ip tio n  of  Goren–O or tcycle s ob t a i n ed i n [ @TX1 ]. In  §3 we provethe  Hec k e o rbitconje ctur efor q uatern ionic  S himura varietie s. W e deduceour  r esu lt s fro m  the c orr esp ondingstateme n t f or t h eauxiliary unitarySh i m ur a variet ies. U s in gt he modul iint erpr e t ation , th e  p roof inthe un i ta ry  case f ol lows t he  st rat egy o f  [@C hai] w ho prove d the result for Hil b ert modular v a ri e t ie s . Akey  input here  isM oone n’sg en era l izati on of  S e rr e –Tate theory for or di nary a belia n varieties [ @Mo]. In § 4 w e studythei nt e rsection pairi ng of  cycles on the$\mod  l$ r eduction  of Shimu r a  surface s a nduse  th i s  t o prove Theor e m  \[t hm :introIha ra\]. F ina lly  in  §5 ,we recall  the def in it io nofmotiv i c cohomo lo gygr oup s and higher  Chow  gro up s, pay ing ext r aa t tent io nin t hemo st pe rtin e ntcase of  surfaces , a n d we  c on structthe level rai si ng subgrou p$\m athrm{ C h }^{g/2+1 }_{\mathrm{lr}}({\ensur e math{\m ath scr{S }}}_ K(G)_{{\e nsu remath {\m a thbb{F }}}_{p ^{g}} }, 1,k _ \ lambd a ) _{ {\e ns uremath{\m a t hfr ak{m} }} }$.We then  prove Theorem \[t h m:i ntro main\] u sin g th e st rat e gy out li n eda b ove. In the App endix we d es c ri be the bad red uc tion of  quater nioni c  Shimur a surface s with Iw ah oril e vel  structure .

*Ackn owledgmen t s:* T h eautho r w ould l ik e t o tha nk Ton y  Fe ng, B ao LeHu ng, Ch ao Li ,Ananth S hankar, Richard Taylor,  Liang  Xiao  an d XinwenZhu for  useful d iscu ssions and  co mme nts a bou t  this  wor k .Abo v e all  the author wo u ld  li k e  t o thank Aks h a y  Ve nkate shf or his  sug gestion that ther e  could be inte rest i n g a rit h meti cinformation co nta in e d  in themo tivic cohom ology of  S h imura  varie ties a nd form a ny hoursof e nli ghteningand  e n joyable  d is c ussion s. T he  autho r wasp arti a l ly supported byNSF g r a nt No .  DM S-163 83 52 thro u gh m embershipat the Inst ituteforAdvan ced Stu dy .

Not ati on s
-------- - 

-   If$F$ i s a num be r fi eld  we wr ite$ { \ensu rema th {\m athcal{O} } } _F 
 §2],_the results_for unitary Shimura varieties_transfer easily_to_the quaternionic_side._The moduli interpretation_for the unitary_Shimura varieties allow us_to adapt many_proofs_in the case of Hilbert modular varieties to the quaternionic case.

Outline of paper
----------------

In §2_we_begin with_some_basics_on Shimura varieties and define_the quaternionic Shimura varieties of_interest. We_recall the construction of the auxiliary unitary Shimura_varieties_of PEL-type as_in [@TX §3], and recall the description of Goren–Oort_cycles obtained in [@TX1]. In §3_we prove the_Hecke_orbit_conjecture for quaternionic Shimura_varieties. We deduce our results from_the corresponding statement for the auxiliary_unitary Shimura varieties. Using the moduli interpretation,_the proof in the unitary case_follows the strategy of [@Chai]_who proved_the result for Hilbert modular_varieties. A key_input here_is Moonen’s generalization_of Serre–Tate theory for ordinary abelian_varieties [@Mo]. In_§4 we study the intersection pairing_of_cycles on the$\mod_l$_reduction_of Shimura_surfaces and use_this_to prove_Theorem_\[thm:intro Ihara\]. Finally in §5, we_recall_the definition of motivic cohomology groups and_higher Chow groups, paying_extra_attention in the most_pertinent case of surfaces, and_we construct the level raising subgroup_$\mathrm{Ch}^{g/2+1}_{\mathrm{lr}}({\ensuremath{\mathscr{S}}}_K(G)_{{\ensuremath{\mathbb{F}}}_{p^{g}}},1,k_\lambda)_{{\ensuremath{\mathfrak{m}}}}$. We_then prove_Theorem \[thm:intro main\] using the strategy outlined above. In the Appendix_we describe the bad reduction of_quaternionic Shimura surfaces with_Iwahori level_structure.

*Acknowledgments:*_The author would_like_to thank_Tony Feng, Bao Le Hung, Chao Li,_Ananth Shankar,_Richard Taylor, Liang Xiao and Xinwen_Zhu for useful discussions_and_comments about this work. Above all_the author would like to thank_Akshay Venkatesh for his suggestion_that_there_could be interesting arithmetic information_contained in the motivic cohomology of_Shimura varieties and_for many hours of enlightening and enjoyable_discussions._The author was partially supported by_NSF_grant No. DMS-1638352 through membership at_the_Institute_for Advanced Study.

Notations
---------

-  _If $F$ is a number field_we write ${\ensuremath{\mathcal{O}}}_F