mu_i$ for all $k\geq 1$.

Let ${{\textsf}{Irrep}({{W}})}$\[irred-defn\] denote the set of simple ${{W}}$-modules, up to isomorphism. As usual, irreducible representations of ${{W}}$ will be parametrised by partitions of $n$. We use the ordering on ${{\textsf}{Irrep}({{W}})}$ arising from the dominance ordering; thus, as in [@MacD Example 1, p.116], the [trivial representation]{} $\operatorname{{\textsf}{triv}}$\[triv-defn\] is labelled by $(n)$ while the [sign representation]{} $\operatorname{{\textsf}{sign}}$\[sign-defn\] is parametrised by $(1^n)$ and so $\operatorname{{\textsf}{triv}}>\operatorname{{\textsf}{sign}}$. Note that the operation on ${{\textsf}{Irrep}({{W}})}$ given by tensoring by $\operatorname{{\textsf}{sign}}$ corresponds to the transposition of partitions.

Category $\mathcal{O}_c$ {#subsec-3.7}
------------------------

(See [@GGOR] and [@BEGqi Definition 2.4].) Let $\mathcal{O}_c$\[cat-O-defn\] be the abelian category of finitely-generated $H_c$-modules $M$ which are locally nilpotent for the subalgebra $\mathbb{C}[{\mathfrak{h}}^*]\subset H_c$. By [@guay Theorem 3] $\mathcal{O}_c$ is a highest weight category.

Given $\mu \in {{\textsf}{Irrep}({{W}})}$, we define $\Delta_c(\mu)$,\[standard-defn\] an object of $\mathcal{O}_c$ called the *standard module*, to be the induced module $\Delta_c(\mu) = H_c\otimes_{\mathbb{C}[{\mathfrak{h}}^*]\ast {{W}}} \mu,$ where $\mathbb{C}[{\mathfrak{h}}^*]\ast {{W}}$ acts on $\mu$ by $pw\cdot
m = p(0) (w\cdot m)$ for $p\in \mathbb{C}[{\mathfrak{h}}^*]$, $w\in {{W}}$ and $m\in \mu$. It is shown in [@BEGqi Section 2] that each $\Delta_c(\mu)$ has a unique simple quotient $
mu_i$ for all $ k\geq 1$. 

 Let $ { { \textsf}{Irrep}({{W}})}$\[irred - defn\ ] denote the set of simple $ { { W}}$-modules, up to isomorphism. As common, irreducible representation of $ { { W}}$ will be parametrised by partitions of $ n$. We practice the ordering on $ { { \textsf}{Irrep}({{W}})}$ arise from the dominance order; thus, as in [ @MacD Example   1, p.116 ], the [ trivial representation ] { } $ \operatorname{{\textsf}{triv}}$\[triv - defn\ ] is label by $ (n)$ while the [ sign representation ] { } $ \operatorname{{\textsf}{sign}}$\[sign - defn\ ] is parametrised by $ (1^n)$ and indeed $ \operatorname{{\textsf}{triv}}>\operatorname{{\textsf}{sign}}$. Note that the operation on $ { { \textsf}{Irrep}({{W}})}$ give by tensoring by $ \operatorname{{\textsf}{sign}}$ corresponds to the transposition of partitions. 

 class $ \mathcal{O}_c$ { # subsec-3.7 } 
 ------------------------ 

 (See [ @GGOR ] and [ @BEGqi Definition   2.4 ] .) lease $ \mathcal{O}_c$\[cat - oxygen - defn\ ] be the abelian category of finitely - generated $ H_c$-modules $ M$ which are locally nilpotent for the subalgebra $ \mathbb{C}[{\mathfrak{h}}^*]\subset H_c$. By [ @guay Theorem 3 ] $ \mathcal{O}_c$ is a highest weight unit category. 

 Given $ \mu \in { { \textsf}{Irrep}({{W}})}$, we specify $ \Delta_c(\mu)$,\[standard - defn\ ] an object of $ \mathcal{O}_c$ call the * standard module *, to be the induced module $ \Delta_c(\mu) = H_c\otimes_{\mathbb{C}[{\mathfrak{h}}^*]\ast { { W } } } \mu,$ where $ \mathbb{C}[{\mathfrak{h}}^*]\ast { { W}}$ acts on $ \mu$ by $ pw\cdot 
 m = p(0) (w\cdot m)$ for $ p\in \mathbb{C}[{\mathfrak{h}}^*]$, $ w\in { { W}}$ and $ m\in \mu$. It is shown in [ @BEGqi incision   2 ] that each $ \Delta_c(\mu)$ has a unique simple quotient $
mu_i$ for all $k\geq 1$.

Let ${{\textsf}{Lrrep}({{W}})}$\[irred-defn\] bwnote vhe set of simpue ${{W}}$-modules, up to isomorphisl. Qs usyal, irreducible represdntations of ${{W}}$ wiol bt parametrised by partitions of $k$. We bsx the ordering pn ${{\textsf}{Isrep}({{W}})}$ arising xrum the dominance ordering; thus, as in [@IacD Exsmole 1, p.116], the [trivyal ge[ressntation]{} $\operatorname{{\textsf}{triv}}$\[trib-defn\] iv labelled by $(n)$ while the [sign represenhatiln]{} $\operatorname{{\texhsf}{sign}}$\[sign-eefn\] us parametrired by $(1^n)$ and so $\operatkrname{{\textsf}{triv}}>\operatorname{{\texgsf}{siyn}}$. Note thaj fhf operation in ${{\teqtsf}{Irrep}({{W}})}$ giyvn by tansorinb by $\operatornsme{{\vextwf}{sign}}$ corresponds to the transposition of partidikns.

Category $\mathcql{I}_c$ {#sutsec-3.7}
------------------------

(Vee [@ETOR] ans [@UEGsi Deflnivion 2.4].) Let $\mafhcal{O}_c$\[cat-O-eefn\] be the abelian cwnrgory of finjtely-gqnqrated $H_c$-modules $M$ which are locally ninpofent for the subalgebra $\mathbb{C}[{\mathfrak{h}}^*]\subsgt H_c$. By [@gtay Theorem 3] $\mathcal{O}_c$ is a highest weight categosy.

Givxn $\mu \ik {{\tebrsv}{Irrep}({{W}})}$, we define $\Delta_c(\mu)$,\[standard-defn\] an objqdt on $\mathcal{O}_c$ callcd the *standard mocupe*, jo be the induzed mobhls $\Delta_c(\mu) = H_c\otimfs_{\mathbf{C}[{\matyfrak{h}}^*]\ast {{W}}} \mi,$ where $\mathbb{C}[{\mathfrak{h}}^*]\ast {{W}}$ acts on $\ml$ by $pw\cdot
m = p(0) (w\cdot l)$ for $p\in \mcthbb{C}[{\kathftak{h}}^*]$, $w\in {{W}}$ and $m\in \mu$. Ic is sgown in [@BEGei Sectioh 2] that each $\Delta_z(\mu)$ hds a unique simple quotiene $
mu_i$ for all $k\geq 1$. Let ${{\textsf}{Irrep}({{W}})}$\[irred-defn\] set simple ${{W}}$-modules, to isomorphism. As will parametrised by partitions $n$. We use ordering on ${{\textsf}{Irrep}({{W}})}$ arising from the ordering; thus, as in [@MacD Example 1, p.116], the [trivial representation]{} $\operatorname{{\textsf}{triv}}$\[triv-defn\] is by $(n)$ while the [sign representation]{} $\operatorname{{\textsf}{sign}}$\[sign-defn\] is parametrised by $(1^n)$ and so Note the on given by tensoring by $\operatorname{{\textsf}{sign}}$ corresponds to the transposition of partitions. Category $\mathcal{O}_c$ {#subsec-3.7} ------------------------ (See and [@BEGqi Definition 2.4].) Let $\mathcal{O}_c$\[cat-O-defn\] be the category of finitely-generated $H_c$-modules which are locally nilpotent for subalgebra H_c$. By Theorem $\mathcal{O}_c$ a highest weight Given $\mu \in {{\textsf}{Irrep}({{W}})}$, we define $\Delta_c(\mu)$,\[standard-defn\] an object of $\mathcal{O}_c$ called the *standard module*, to be induced module H_c\otimes_{\mathbb{C}[{\mathfrak{h}}^*]\ast {{W}}} where {{W}}$ on $\mu$ by = p(0) (w\cdot m)$ for $p\in and $m\in \mu$. It is shown in [@BEGqi 2] that $\Delta_c(\mu)$ has a unique simple quotient
mu_i$ for all $k\geq 1$.

Let ${{\textsf}{IrrEp}({{W}})}$\[irred-deFn\] denOte The SeT of sImplE ${{W}}$-modules, up to iSOmorPhism. As usual, irreduciblE reprEsENtatIOnS of ${{W}}$ wIll be paRAmETRisEd By ParTiTIoNs of $n$. we uSe the orDering on ${{\teXtsF}{IRrep}({{W}})}$ arising FRoM the dominaNce Ordering; thus, As iN [@MacD EXaMplE 1, P.116], the [tRivIal rePresenTAtion]{} $\oPeratornaMe{{\TExtsf}{tRIv}}$\[triv-dEFN\] iS labElled by $(n)$ while the [sIGn REpresentation]{} $\oPeratoRnAMe{{\TEXtsF}{siGn}}$\[sign-defn\] Is ParamETrised bY $(1^N)$ aND SO $\opERatorname{{\textSf}{triv}}>\operaTOrnAme{{\texTsF}{siGN}}$. Note tHat thE oPEraTion on ${{\textsF}{IrrEp}({{W}})}$ given bY tensoRIng by $\opERatornaMe{{\textSf}{sIgn}}$ CorrESpOnDs tO tHE trANsPosITioN of partiTiOnS.

CateGory $\MATHCal{O}_C$ {#suBsec-3.7}
------------------------

(see [@GGoR] and [@BEGqi DefIniTion 2.4].) lEt $\mAthcaL{O}_c$\[caT-O-deFn\] Be the AbeliaN cateGoRy of finitely-genEratEd $H_c$-modulEs $M$ WhIch ArE locaLLy nilpOteNt fOr the suBalgebrA $\MatHbB{c}[{\MAtHfrak{h}}^*]\subset H_c$. By [@guAy tHEoRem 3] $\mathcAl{O}_c$ is A HiGhESt weight CaTegOry.

GIVEn $\mu \iN {{\texTSf}{irrep}({{W}})}$, we Define $\dElTa_C(\mu)$,\[stanDaRd-defn\] An ObjEct Of $\matHCal{O}_C$ calleD the *stanDard mODule*, to be the indUCed module $\DeltA_C(\mU) = h_C\oTImes_{\MatHbb{C}[{\mathfraK{h}}^*]\asT {{w}}} \mu,$ wHere $\MAtHbb{c}[{\MathfRak{h}}^*]\aSt {{w}}$ AcTS on $\mu$ by $pw\cdot
m = p(0) (w\cdoT m)$ For $p\in \MathbB{C}[{\mathfrak{h}}^*]$, $w\iN {{W}}$ and $m\in \mu$. iT IS shown in [@bEGqI seCTion 2] that each $\DeLta_c(\mU)$ has a uniquE Simple quOtienT $
mu_i$ for all $k\geq 1$.
Let ${{\te xtsf} {Ir rep }( {{W} })}$ \[irred-defn\] deno te the set of simple $ {{W}} $- m odul e s,  up t o isomo r ph i s m.As  u sua l, ir reduc ibl e repre sentations  of  $ {{W}}$ willb eparametris edby partition s o f $n$.  W e u s e the  or derin g on $ { {\text sf}{Irrep }( { {W}})} $  arisin g fr om t he dominance orde r in g ; thus, as in[@MacD  E x am p l e 1 , p .116], the  [ trivi a l repre s en t a t ion ] {} $\operator name{{\text s f}{ triv}} $\ [tr i v-defn \] is  l a bel led by $(n) $ wh ile the [ sign r e present a tion]{}  $\ope rat orn ame{ { \t ex tsf }{ s ign } }$ \[s i gn- defn\] i spa ramet rise d b y  $(1 ^n) $ an d so$\operatornam e{{ \tex t sf} {triv }}>\o pera to rname {{\tex tsf}{ si gn}}$. Note tha t th e operati onon  ${ {\ texts f }{Irre p}( {{W }})}$ g iven by ten so r i n gby $\operatorname{ {\ t e xt sf}{sign }}$ co r re sp o nds to t he  tr ansp o s ition  ofp ar titions. 

Cate g or y$\mathc al {O}_c$  { #su bse c-3.7 } 
--- ------ -------- ----- - -

(See [@GGOR ]  and [@BEGqiD ef i n it i on 2 .4] .) Let $\ma thca l {O}_ c$\[ c at -O- d efn\]  be t he ab e lian category of fi ni tely-g enera ted $H_c$-mod ules $M$ w h i c h are lo call y  n i lpotent for th e sub algebra $\ m athbb{C} [{\ma thfrak{h }}^*]\sub s e t H_c$.By[@g uay  Th e o re m 3] $\mathca l { O}_c $is a hi ghe st weig htcat ego ry. 
Given $\m u \in {{ \t ex ts f} {Ir rep}( { {W}})}$,  w e d ef ine  $\De l ta_c(\ mu)$, \[st an da r d-d efn\] a n  o b j ectof  $ \mat hca l{ O}_c$  cal l edthe *st andard mo dul e *, t obe  the in duced module$\ Delta_c(\m u)  =H_c\ot i m es_{\mat hbb{C}[{\mathfrak{h}}^* ] \ast {{ W}} } \mu ,$ w here $\ma thb b{C}[{ \ma t hfrak{ h}}^*] \ast{{ W}} $ actso n  $ \mu $by $pw\cdo t m =  p(0)  ( w\cd ot m)$for $p\in \mathbb{ C }[{ \mathfrak{h}} ^*] $, $ w \ in  {{ W }} $  an d$ m\i n \mu$. It is sho wn in [@BE Gq i  S ection 2]t hat  e ach $\D elta_c( \mu)$ has a u nique sim ple quoti en t $
mu_i$ for_all $k\geq_1$.

Let ${{\textsf}{Irrep}({{W}})}$\[irred-defn\] denote the_set of_simple_${{W}}$-modules, up_to_isomorphism. As usual,_irreducible representations of_${{W}}$ will be parametrised_by partitions of_$n$._We use the ordering on ${{\textsf}{Irrep}({{W}})}$ arising from the dominance ordering; thus, as in_[@MacD_Example 1, p.116],_the_[trivial_representation]{} $\operatorname{{\textsf}{triv}}$\[triv-defn\] is labelled by_$(n)$ while the [sign representation]{}_$\operatorname{{\textsf}{sign}}$\[sign-defn\] is_parametrised by $(1^n)$ and so $\operatorname{{\textsf}{triv}}>\operatorname{{\textsf}{sign}}$. Note that_the_operation on ${{\textsf}{Irrep}({{W}})}$_given by tensoring by $\operatorname{{\textsf}{sign}}$ corresponds to the transposition_of partitions.

Category $\mathcal{O}_c$ {#subsec-3.7}
------------------------

(See [@GGOR] and_[@BEGqi Definition 2.4].) Let_$\mathcal{O}_c$\[cat-O-defn\]_be_the abelian category of_finitely-generated $H_c$-modules $M$ which are locally_nilpotent for the subalgebra $\mathbb{C}[{\mathfrak{h}}^*]\subset H_c$._By [@guay Theorem 3] $\mathcal{O}_c$ is a_highest weight category.

Given $\mu \in {{\textsf}{Irrep}({{W}})}$,_we define $\Delta_c(\mu)$,\[standard-defn\] an object_of $\mathcal{O}_c$_called the *standard module*, to_be the induced_module $\Delta_c(\mu)_= H_c\otimes_{\mathbb{C}[{\mathfrak{h}}^*]\ast {{W}}}_\mu,$ where $\mathbb{C}[{\mathfrak{h}}^*]\ast {{W}}$ acts on_$\mu$ by $pw\cdot
m_= p(0) (w\cdot m)$ for $p\in_\mathbb{C}[{\mathfrak{h}}^*]$,_$w\in {{W}}$ and_$m\in_\mu$._It is_shown in [@BEGqi_Section 2]_that each_$\Delta_c(\mu)$_has a unique simple quotient $