}^{\vee}G^{\Gamma}\right)$, and the set of couples $(S,\mathcal{V})$ where $S$ is an orbit of ${}^{\vee}{G}$ on $X\left({}^{\vee}G^{\Gamma}\right)$ and $\mathcal{V}$ an irreducible ${}^{\vee}{G}^{alg}$-equivariant local system on $S$. Following this bijection, the set of couples $(S,\mathcal{V})$ will also be denoted $\Xi\left({}^{\vee}G^{\Gamma}\right)$ and for each ${}^{\vee}{G}$-orbit $\mathcal{O}$ of semi-simple elements in $\mathfrak{g}$, we identify $\Xi\left(\mathcal{O},{}^{\vee}{G}^{\Gamma}\right)$ with the set of couples $(S,\mathcal{V})$ with $S\subset X\left(\mathcal{O},{}^{\vee}{G}^{\Gamma}\right)$.\

Let $\mathcal{O}$ be a ${}^{\vee}{G}$-orbit of semisimple elements in ${}^{\vee}\mathfrak{g}$. As in Section 2, write $$\mathcal{P}\left(X\left(\mathcal{O},{}^{\vee}{G}^{\Gamma}\right),{}^{\vee}{{G}}^{alg}\right)\quad\text{and}\quad \mathcal{D}\left(X\left(\mathcal{O},{}^{\vee}{G}^{\Gamma}\right),{}^{\vee}{{G}}^{alg}\right)$$ for the category of ${}^{\vee}{{G}}^{alg}$-equivariant perverse sheaves and ${}^{\vee}{{G}}^{alg}$-equivariant coherent $\mathcal{D}$-modules on $X\left(\mathcal{O},{}^{\vee}{G}^{\Gamma}\right)$. We define $\mathcal{P}\left(X\left({}^{\vee}{G}^{\Gamma}\right), {}^{\vee}{{G}}^{alg}\right)$ [and]{} $\mathcal{D}\left(X\left({}^{\vee}{G}^{\Gamma}\right),
{}^{\vee}{{G}}^{alg}\right)$ to be the direct sum over semisimple orbits $\mathcal{O}\subset {}^{\vee}{\mathfrak{g}}$ of the categories $\mathcal{P}\left(X\left(\mathcal{O},{}^{\vee}{G}^{\Gamma}\right),{}^{\vee}{{G}}^{alg}\right)$ and $\mathcal{D}\left(X\left(\mathcal{O},{}^{\vee}{G}^{\Gamma}\right),
} ^{\vee}G^{\Gamma}\right)$, and the set of couples $ (S,\mathcal{V})$ where $ S$ is an orbit of $ { } ^{\vee}{G}$ on $ X\left({}^{\vee}G^{\Gamma}\right)$ and $ \mathcal{V}$ an irreducible $ { } ^{\vee}{G}^{alg}$-equivariant local system on $ S$. follow this bijection, the hardening of couples $ (S,\mathcal{V})$ will also be denoted $ \Xi\left({}^{\vee}G^{\Gamma}\right)$ and for each $ { } ^{\vee}{G}$-orbit $ \mathcal{O}$ of semi - bare elements in $ \mathfrak{g}$, we identify $ \Xi\left(\mathcal{O},{}^{\vee}{G}^{\Gamma}\right)$ with the stage set of couples $ (S,\mathcal{V})$ with $ S\subset X\left(\mathcal{O},{}^{\vee}{G}^{\Gamma}\right)$.\ 

 Let $ \mathcal{O}$ be a $ { } ^{\vee}{G}$-orbit of semisimple component in $ { } ^{\vee}\mathfrak{g}$. As in Section 2, write $ $ \mathcal{P}\left(X\left(\mathcal{O},{}^{\vee}{G}^{\Gamma}\right),{}^{\vee}{{G}}^{alg}\right)\quad\text{and}\quad \mathcal{D}\left(X\left(\mathcal{O},{}^{\vee}{G}^{\Gamma}\right),{}^{\vee}{{G}}^{alg}\right)$$ for the class of $ { } ^{\vee}{{G}}^{alg}$-equivariant perverse sheaves and $ { } ^{\vee}{{G}}^{alg}$-equivariant coherent $ \mathcal{D}$-modules on $ X\left(\mathcal{O},{}^{\vee}{G}^{\Gamma}\right)$. We define $ \mathcal{P}\left(X\left({}^{\vee}{G}^{\Gamma}\right), { } ^{\vee}{{G}}^{alg}\right)$ [ and ] { } $ \mathcal{D}\left(X\left({}^{\vee}{G}^{\Gamma}\right), 
 { } ^{\vee}{{G}}^{alg}\right)$ to be the direct kernel over semisimple orbits $ \mathcal{O}\subset { } ^{\vee}{\mathfrak{g}}$ of the categories $ \mathcal{P}\left(X\left(\mathcal{O},{}^{\vee}{G}^{\Gamma}\right),{}^{\vee}{{G}}^{alg}\right)$ and $ \mathcal{D}\left(X\left(\mathcal{O},{}^{\vee}{G}^{\Gamma}\right),
}^{\vee}H^{\Gamma}\right)$, and the set uf couples $(S,\matkxal{V})$ wiere $S$ js an orcit of ${}^{\vee}{G}$ on $X\left({}^{\vee}G^{\Gamme}\rigyt)$ ane $\mathcal{V}$ an irreducicle ${}^{\vee}{G}^{apg}$-equivaeianu local system on $S$. Following tgls bilertion, the set on couples $(S,\kathcal{V})$ will dlro be denoted $\Xi\left({}^{\vee}G^{\Gamma}\right)$ anq for escj ${}^{\vee}{G}$-orbit $\majhcal{P}$ of avml-simple elements in $\mathfrak{g}$, we identihy $\Xi\left(\mathcak{O},{}^{\vee}{G}^{\Gamma}\right)$ with the det lf couples $(S,\mathcap{V})$ with $S\suvset Z\left(\mathcal{U},{}^{\vee}{G}^{\Gamma}\gnght)$.\

Let $\matgcal{O}$ be a ${}^{\vee}{G}$-orbit of semisimole ekements in ${}^{\vwe}\mwjhfrak{g}$. As ii Sectpon 2, write $$\mabncal{P}\laft(X\lefy(\mathcal{O},{}^{\vee}{G}^{\Gsmme}\rigyt),{}^{\vee}{{G}}^{alg}\right)\quad\texv{and}\quad \mathcal{D}\lefj(X\left(\mathwam{O},{}^{\vee}{G}^{\Gamma}\right),{}^{\vwe}{{T}}^{alg}\rhght)$$ for rhe cauegprg of ${}^{\vfe}{{G}}^{elg}$-equivariznt perversw sheaves and ${}^{\vee}{{G}}^{akg}$-qwuivariant cogerent $\mwthcal{D}$-modules on $X\left(\mathcal{O},{}^{\vee}{G}^{\Gammd}\rifht)$. We define $\mathcal{P}\lwft(X\left({}^{\vee}{G}^{\Gamma}\righj), {}^{\vee}{{G}}^{alg}\ryght)$ [and]{} $\mathcal{D}\left(X\left({}^{\vee}{G}^{\Gamma}\right),
{}^{\vee}{{G}}^{alg}\richt)$ tk be tme dkeeft sum over semisimple orbits $\mathcal{O}\subset {}^{\dse}{\kanhfrak{g}}$ of the cabegories $\mathcal{P}\lrfh(X\kgft(\mathcal{O},{}^{\vee}{E}^{\Gamma}\xjggt),{}^{\vee}{{G}}^{alg}\right)$ and $\mathcaj{D}\lefr(X\left(\matrcal{P},{}^{\vee}{G}^{\Gamma}\right),
}^{\vee}G^{\Gamma}\right)$, and the set of couples $(S,\mathcal{V})$ is orbit of on $X\left({}^{\vee}G^{\Gamma}\right)$ and system $S$. Following this the set of $(S,\mathcal{V})$ will also be denoted $\Xi\left({}^{\vee}G^{\Gamma}\right)$ for each ${}^{\vee}{G}$-orbit $\mathcal{O}$ of semi-simple elements in $\mathfrak{g}$, we identify $\Xi\left(\mathcal{O},{}^{\vee}{G}^{\Gamma}\right)$ with set of couples $(S,\mathcal{V})$ with $S\subset X\left(\mathcal{O},{}^{\vee}{G}^{\Gamma}\right)$.\ Let $\mathcal{O}$ be a ${}^{\vee}{G}$-orbit of elements ${}^{\vee}\mathfrak{g}$. in 2, write $$\mathcal{P}\left(X\left(\mathcal{O},{}^{\vee}{G}^{\Gamma}\right),{}^{\vee}{{G}}^{alg}\right)\quad\text{and}\quad \mathcal{D}\left(X\left(\mathcal{O},{}^{\vee}{G}^{\Gamma}\right),{}^{\vee}{{G}}^{alg}\right)$$ for the category of ${}^{\vee}{{G}}^{alg}$-equivariant perverse sheaves and ${}^{\vee}{{G}}^{alg}$-equivariant coherent $\mathcal{D}$-modules on We define $\mathcal{P}\left(X\left({}^{\vee}{G}^{\Gamma}\right), {}^{\vee}{{G}}^{alg}\right)$ [and]{} $\mathcal{D}\left(X\left({}^{\vee}{G}^{\Gamma}\right), {}^{\vee}{{G}}^{alg}\right)$ to the direct sum over orbits $\mathcal{O}\subset {}^{\vee}{\mathfrak{g}}$ of the $\mathcal{P}\left(X\left(\mathcal{O},{}^{\vee}{G}^{\Gamma}\right),{}^{\vee}{{G}}^{alg}\right)$ $\mathcal{D}\left(X\left(\mathcal{O},{}^{\vee}{G}^{\Gamma}\right),
}^{\vee}G^{\Gamma}\right)$, and the set of Couples $(S,\maThcal{v})$ whEre $s$ iS an oRbit Of ${}^{\vee}{G}$ on $X\left({}^{\vEE}G^{\GaMma}\right)$ and $\mathcal{V}$ an iRreduCiBLe ${}^{\veE}{g}^{aLg}$-equIvarianT LoCAL syStEm On $S$. foLLoWing tHis BijectiOn, the set of CouPlEs $(S,\mathcal{V})$ wILl Also be denoTed $\xi\left({}^{\vee}G^{\GaMma}\Right)$ aNd For EAch ${}^{\veE}{G}$-oRbit $\mAthcal{o}$ Of semi-Simple eleMeNTs in $\maTHfrak{g}$, wE IDeNtifY $\Xi\left(\mathcal{O},{}^{\veE}{g}^{\GAMma}\right)$ with thE set of CoUPlES $(s,\maThcAl{V})$ with $S\suBsEt X\leFT(\mathcaL{o},{}^{\vEE}{g}^{\gamMA}\right)$.\

Let $\mathCal{O}$ be a ${}^{\vee}{G}$-ORbiT of semIsImpLE elemeNts in ${}^{\VeE}\MatHfrak{g}$. As in SEctiOn 2, write $$\maThcal{P}\LEft(X\lefT(\Mathcal{o},{}^{\vee}{G}^{\GAmmA}\riGht),{}^{\vEE}{{G}}^{AlG}\riGhT)\QuaD\TeXt{aND}\quAd \mathcaL{D}\LeFt(X\leFt(\maTHCAL{O},{}^{\veE}{G}^{\GAmma}\Right),{}^{\Vee}{{G}}^{alg}\right)$$ fOr tHe caTEgoRy of ${}^{\vEe}{{G}}^{alG}$-equIvArianT perveRse shEaVes and ${}^{\vee}{{G}}^{alg}$-eqUivaRiant coheRenT $\mAthCaL{D}$-modULes on $X\LefT(\maThcal{O},{}^{\vEe}{G}^{\GammA}\RigHt)$. wE DEfIne $\mathcal{P}\left(X\leFt({}^{\VEE}{G}^{\gamma}\rigHt), {}^{\vee}{{G}}^{ALg}\RiGHt)$ [and]{} $\matHcAl{D}\Left(x\LEft({}^{\veE}{G}^{\GaMMa}\Right),
{}^{\vee}{{g}}^{alg}\riGHt)$ To Be the diReCt sum oVeR seMisImple ORbitS $\mathcAl{O}\subseT {}^{\vee}{\mAThfrak{g}}$ of the caTEgories $\mathcaL{p}\lEFT(X\LEft(\mAthCal{O},{}^{\vee}{G}^{\GamMa}\riGHt),{}^{\veE}{{G}}^{alG}\RiGht)$ ANd $\matHcal{D}\LeFT(X\LEft(\mathcal{O},{}^{\vee}{G}^{\GammA}\rIght),
}^{\vee}G^{\Gamma}\right)$ , and theset o f c oup le s $( S,\m athcal{V})$ wh e re $ S$ is an orbit of ${}^ {\vee }{ G }$ o n  $ X\lef t({}^{\ v ee } G ^{\ Ga mm a}\ ri g ht )$ an d $ \mathca l{V}$ an i rre du cible ${}^{\ v ee }{G}^{alg} $-e quivariant l oca l syst em  on $S$.Fol lowin g this biject ion, these t  of co u ples $( S , \m athc al{V})$ will also be denoted $\Xi\l eft({} ^{ \ ve e } G^{ \Ga mma}\right )$  andf or each ${ } ^ { \ve e }{G}$-orbit $ \mathcal{O} $  of  semi- si mpl e  eleme nts i n$ \ma thfrak{g}$,  weidentify$\Xi\l e ft(\mat h cal{O}, {}^{\v ee} {G} ^{\G a mm a} \ri gh t )$w it h t h e s et of co up le s $(S ,\ma t h c a l{V} )$with  $S\s ubset X\left( \ma thca l {O} ,{}^{ \vee} {G}^ {\ Gamma }\righ t)$.\ 
Let $\mathcal{O }$ b e a ${}^{ \ve e} {G} $- orbit of sem isi mpl e eleme nts in$ {}^ {\ v e e }\ mathfrak{g}$. As i nS e ct ion 2, w rite $ $ \m at h cal{P}\l ef t(X \lef t ( \math cal{ O }, {}^{\vee }{G}^{ \ Ga mm a}\righ t) ,{}^{\ ve e}{ {G} }^{al g }\ri ght)\q uad\text {and} \ quad \mathcal{ D }\left(X\left ( \m a t hc a l{O} ,{} ^{\vee}{G}^ {\Ga m ma}\ righ t ), {}^ { \vee} {{G}} ^{ a lg } \right)$$ for the c at egoryof ${ }^{\vee}{{G}} ^{alg}$-eq u i v ariant p erve r se sheaves and ${ }^{\v ee}{{G}}^{ a lg}$-equ ivari ant cohe rent $\ma t h cal{D}$- mod ule s o n $ X \ le ft(\mathcal{O } , {}^{ \v ee}{G}^ {\G amma}\r igh t)$ . W e d ef ine $\mat hcal{P}\ le ft (X \l eft ({}^{ \ vee}{G}^ {\ Gam ma }\r ight) ,  {}^{\ vee}{ {G}} ^{ al g }\r ight)$[ an d ] {} $ \m at hcal {D} \l eft(X \lef t ({} ^{\vee} {G}^{\Gam ma} \ righ t) ,{}^{\ve e}{{G}}^{alg} \r ight)$ tobe  th e dire c t  sum ove r semisimple orbits $\m a thcal{O }\s ubset  {}^ {\vee}{\m ath frak{g }}$ of the  categ ories  $ \ma t h cal{P } \ le ft( X\ left(\math c a l{O },{}^ {\ vee} {G}^{\G amma}\right),{}^{\ v ee} {{G}}^{alg}\r igh t)$a n d$\m a th c al{ D} \ lef t ( X\left(\mathcal {O},{}^{\v ee } {G }^{\Gamma} \ rig ht ),
}^{\vee}G^{\Gamma}\right)$, and_the set_of couples $(S,\mathcal{V})$ where_$S$ is_an_orbit of_${}^{\vee}{G}$_on $X\left({}^{\vee}G^{\Gamma}\right)$ and_$\mathcal{V}$ an irreducible_${}^{\vee}{G}^{alg}$-equivariant local system on_$S$. Following this_bijection,_the set of couples $(S,\mathcal{V})$ will also be denoted $\Xi\left({}^{\vee}G^{\Gamma}\right)$ and for each ${}^{\vee}{G}$-orbit_$\mathcal{O}$_of semi-simple_elements_in_$\mathfrak{g}$, we identify $\Xi\left(\mathcal{O},{}^{\vee}{G}^{\Gamma}\right)$ with_the set of couples $(S,\mathcal{V})$_with $S\subset_X\left(\mathcal{O},{}^{\vee}{G}^{\Gamma}\right)$.\

Let $\mathcal{O}$ be a ${}^{\vee}{G}$-orbit of semisimple elements_in_${}^{\vee}\mathfrak{g}$. As in_Section 2, write $$\mathcal{P}\left(X\left(\mathcal{O},{}^{\vee}{G}^{\Gamma}\right),{}^{\vee}{{G}}^{alg}\right)\quad\text{and}\quad \mathcal{D}\left(X\left(\mathcal{O},{}^{\vee}{G}^{\Gamma}\right),{}^{\vee}{{G}}^{alg}\right)$$ for the category of_${}^{\vee}{{G}}^{alg}$-equivariant perverse sheaves and ${}^{\vee}{{G}}^{alg}$-equivariant coherent_$\mathcal{D}$-modules on $X\left(\mathcal{O},{}^{\vee}{G}^{\Gamma}\right)$._We_define_$\mathcal{P}\left(X\left({}^{\vee}{G}^{\Gamma}\right), {}^{\vee}{{G}}^{alg}\right)$ [and]{} $\mathcal{D}\left(X\left({}^{\vee}{G}^{\Gamma}\right),
{}^{\vee}{{G}}^{alg}\right)$_to be the direct sum over_semisimple orbits $\mathcal{O}\subset {}^{\vee}{\mathfrak{g}}$ of the_categories $\mathcal{P}\left(X\left(\mathcal{O},{}^{\vee}{G}^{\Gamma}\right),{}^{\vee}{{G}}^{alg}\right)$ and $\mathcal{D}\left(X\left(\mathcal{O},{}^{\vee}{G}^{\Gamma}\right),