 $\mathbb{S}(\mathfrak{g}^*)$ around $\pi_{\mathbb{S}}$ by the space $$\mathfrak{Casim}(\mathbb{S}(\mathfrak{g}^*),\pi_{\mathbb{S}})/Out(\mathfrak{g}).$$ In this section we describe this space using classical invariant theory.

Let $P[\mathfrak{g}^*]$ and $P[\mathfrak{t}^*]$ denote the algebras of polynomials on $\mathfrak{g}^*$ and $\mathfrak{t}^*$ respectively. A classical result (see e.g. Theorem 7.3.5 [@Dixmier]) states that the restriction map $P[\mathfrak{g}^*]\to P[\mathfrak{t}^*]$ induces an isomorphism between the algebras of invariants $$\label{EQ_Invariant_Polynomials}
P[\mathfrak{g}^*]^G\cong P[\mathfrak{t}^*]^W.$$ A theorem of Schwarz, extends this result to the smooth setting $$\label{EQ_Invariant_Functions}
C^{\infty}(\mathfrak{g}^*)^G\cong C^{\infty}(\mathfrak{t}^*)^W.$$ To explain this, first recall that $P[\mathfrak{g}^*]^G$ is generated by $l:=\mathrm{dim}(\mathfrak{t})$ algebraically independent homogeneous polynomials $p_1,\ldots,p_l$ (Theorem 7.3.8 [@Dixmier]). Hence by (\[EQ\_Invariant\_Polynomials\]), $P[\mathfrak{t}^*]^W$ is generated by $q_1:=p_{1|\mathfrak{t}^*},\ldots,q_l:=p_{l|\mathfrak{t}^*}$. Consider the maps $$p=(p_1,\ldots,p_l):\mathfrak{g}^*{\longrightarrow}\mathbb{R}^{l},\  \textrm{and}\ q=(q_1,\ldots,q_l):\mathfrak{t}^*{\longrightarrow}\mathbb{R}^{l},$$ and denote by $\Delta:=p(\mathfrak{g}^*)$. Since the inclusion $\mathfrak{t}^*\subset \mathfrak{g}^*$ induces a bijection between the $W$-orbits and the $G$-orbits, it follows that $q(\mathfrak{t}^*)=\Delta$. The theorem of Schwarz [@Schwarz] applied to the action of $G$ on $\mathfrak{g}^*$ and to the action of $W$ on $\mathfrak{t}^*$, shows that the pullbacks by $
$ \mathbb{S}(\mathfrak{g}^*)$ around $ \pi_{\mathbb{S}}$ by the space $ $ \mathfrak{Casim}(\mathbb{S}(\mathfrak{g}^*),\pi_{\mathbb{S}})/Out(\mathfrak{g}).$$ In this section we describe this quad use classical invariant theory. 

 get $ P[\mathfrak{g}^*]$ and $ P[\mathfrak{t}^*]$ denote the algebras of polynomial on $ \mathfrak{g}^*$ and $ \mathfrak{t}^*$ respectively. A classical result (see for example Theorem 7.3.5 [ @Dixmier ]) express that the restriction map $ P[\mathfrak{g}^*]\to P[\mathfrak{t}^*]$ induce an isomorphism between the algebras of invariants $ $ \label{EQ_Invariant_Polynomials } 
 P[\mathfrak{g}^*]^G\cong P[\mathfrak{t}^*]^W.$$ A theorem of Schwarz, gallop this result to the smooth setting $ $ \label{EQ_Invariant_Functions } 
 C^{\infty}(\mathfrak{g}^*)^G\cong C^{\infty}(\mathfrak{t}^*)^W.$$ To excuse this, first echo that $ P[\mathfrak{g}^*]^G$ is generate by $ l:=\mathrm{dim}(\mathfrak{t})$ algebraically independent homogeneous polynomials $ p_1,\ldots, p_l$ (Theorem 7.3.8 [ @Dixmier ]). Hence by (\[EQ\_Invariant\_Polynomials\ ]), $ P[\mathfrak{t}^*]^W$ is beget by $ q_1:=p_{1|\mathfrak{t}^*},\ldots, q_l:=p_{l|\mathfrak{t}^*}$. Consider the maps $ $ p=(p_1,\ldots, p_l):\mathfrak{g}^*{\longrightarrow}\mathbb{R}^{l},\   \textrm{and}\ q=(q_1,\ldots, q_l):\mathfrak{t}^*{\longrightarrow}\mathbb{R}^{l},$$ and denote by $ \Delta:=p(\mathfrak{g}^*)$. Since the inclusion $ \mathfrak{t}^*\subset \mathfrak{g}^*$ induces a bijection between the $ W$-orbits and the $ G$-orbits, it come that $ q(\mathfrak{t}^*)=\Delta$. The theorem of Schwarz [ @Schwarz ] applied to the action of $ G$ on $ \mathfrak{g}^*$ and to the action of $ W$ on $ \mathfrak{t}^*$, shows that the pullbacks by $
 $\mahhbb{S}(\mathfrak{g}^*)$ around $\pi_{\oathbb{S}}$ by the space $$\methfrak{Dasim}(\matfbb{S}(\mathfrak{g}^*),\pi_{\mathbb{S}})/Out(\matifraj{g}).$$ In this section we descrkbe this dpace usung rlassical invarieht theovv.

Let $L[\lathyrek{g}^*]$ and $P[\mathfrsk{t}^*]$ denote the algebras mf pllynomials on $\mathfrak{g}^*$ and $\mathfrah{t}^*$ resprchively. A classycal wesumn (wee e.g. Theorem 7.3.5 [@Dixmier]) statea that uhe restriction mal $P[\mathfrak{g}^*]\to P[\mathfrak{t}^*]$ lndufes an isomorphism between thg aldwbras of invxriants $$\label{EQ_Invariaht_Polynomials}
P[\mathfrak{g}^*]^G\cong P[\mxthfrck{t}^*]^W.$$ A theotzn ov Schwarz, exvends nhis result to the smmoth seyting $$\label{EQ_Ikvarient_Fynctions}
C^{\infty}(\mathfran{g}^*)^G\cong C^{\infty}(\mathsrak{t}^*)^W.$$ To erplain this, first recqlo thaj $P[\madhfrxj{g}^*]^G$ is gxnedated hy $m:=\mathrm{dim}(\jathfrak{t})$ aogebraically indepemdqbt homogeneoua polygoiials $p_1,\ldots,p_l$ (Theorem 7.3.8 [@Dixmier]). Hence bj (\[EQ\_Jnvariant\_Polynomials\]), $P[\mqthfrak{t}^*]^W$ is generatef by $q_1:=p_{1|\maehfrak{t}^*},\ldots,q_l:=p_{l|\mathfrak{t}^*}$. Consider the maps $$p=(p_1,\ldods,p_l):\metffrcj{g}^*{\loneeihhtarrow}\mathbb{R}^{l},\  \textrm{and}\ q=(q_1,\ldots,q_l):\mathfrak{e}^*{\momggightarrow}\mathbb{R}^{j},$$ and denotr hy $\Qelta:=p(\mathfray{g}^*)$. Sines fhe inclusion $\mathvrak{t}^*\sufset \nathfrak{g}^*$ indices a bijection between thw $W$-orbits anb tye $G$-orbits, it folllws that $q(\mcthfral{t}^*)=\Delya$. The theorem of Schwaxz [@Schsarz] applief to the zztion of $G$ on $\maghfgak{g}^*$ and to ufe action of $W$ on $\mathfrak{v}^*$, shocs that ghe kullbachs by $
$\mathbb{S}(\mathfrak{g}^*)$ around $\pi_{\mathbb{S}}$ by the space $$\mathfrak{Casim}(\mathbb{S}(\mathfrak{g}^*),\pi_{\mathbb{S}})/Out(\mathfrak{g}).$$ section describe this using classical invariant denote algebras of polynomials $\mathfrak{g}^*$ and $\mathfrak{t}^*$ A classical result (see e.g. Theorem [@Dixmier]) states that the restriction map $P[\mathfrak{g}^*]\to P[\mathfrak{t}^*]$ induces an isomorphism between the of invariants $$\label{EQ_Invariant_Polynomials} P[\mathfrak{g}^*]^G\cong P[\mathfrak{t}^*]^W.$$ A theorem of Schwarz, extends this result to smooth $$\label{EQ_Invariant_Functions} C^{\infty}(\mathfrak{t}^*)^W.$$ explain this, first recall that $P[\mathfrak{g}^*]^G$ is generated by $l:=\mathrm{dim}(\mathfrak{t})$ algebraically independent homogeneous polynomials $p_1,\ldots,p_l$ (Theorem [@Dixmier]). Hence by (\[EQ\_Invariant\_Polynomials\]), $P[\mathfrak{t}^*]^W$ is generated by Consider the maps $$p=(p_1,\ldots,p_l):\mathfrak{g}^*{\longrightarrow}\mathbb{R}^{l},\ q=(q_1,\ldots,q_l):\mathfrak{t}^*{\longrightarrow}\mathbb{R}^{l},$$ and denote by $\Delta:=p(\mathfrak{g}^*)$. the $\mathfrak{t}^*\subset \mathfrak{g}^*$ a between $W$-orbits and the it follows that $q(\mathfrak{t}^*)=\Delta$. The theorem of Schwarz [@Schwarz] applied to the action of $G$ on $\mathfrak{g}^*$ to the $W$ on shows the by $
 $\mathbb{S}(\mathfrak{g}^*)$ around $\pi_{\mAthbb{S}}$ by thE spacE $$\maThfRaK{CasIm}(\maThbb{S}(\mathfrak{g}^*),\PI_{\matHbb{S}})/Out(\mathfrak{g}).$$ In this SectiOn WE desCRiBe thiS space uSInG CLasSiCaL inVaRIaNt theOry.

let $P[\matHfrak{g}^*]$ and $P[\MatHfRak{t}^*]$ denote thE AlGebras of poLynOmials on $\mathFraK{g}^*$ and $\mAtHfrAK{t}^*$ resPecTivelY. A clasSIcal reSult (see e.g. thEOrem 7.3.5 [@DiXMier]) staTES tHat tHe restriction map $P[\MAtHFrak{g}^*]\to P[\mathfrAk{t}^*]$ indUcES aN ISomOrpHism betweeN tHe algEBras of iNVaRIANts $$\LAbel{EQ_InvariaNt_PolynomiaLS}
P[\mAthfraK{g}^*]^g\coNG P[\mathFrak{t}^*]^w.$$ A THeoRem of SchwarZ, extEnds this rEsult tO The smooTH settinG $$\label{eQ_INvaRianT_fuNcTioNs}
c^{\InfTY}(\mAthFRak{G}^*)^G\cong C^{\iNfTy}(\MathfRak{t}^*)^w.$$ tO EXplaIn tHis, fIrst rEcall that $P[\matHfrAk{g}^*]^G$ IS geNeratEd by $l:=\MathRm{Dim}(\maThfrak{T})$ algeBrAically independEnt hOmogeneouS poLyNomIaLs $p_1,\ldOTs,p_l$ (ThEorEm 7.3.8 [@DIxmier]). HEnce by (\[Eq\_invArIANT\_POlynomials\]), $P[\mathfraK{t}^*]^w$ IS gEnerated By $q_1:=p_{1|\maTHfRaK{T}^*},\ldots,q_l:=P_{l|\MatHfraK{T}^*}$. consiDer tHE mAps $$p=(p_1,\ldoTs,p_l):\maTHfRaK{g}^*{\longrIgHtarroW}\mAthBb{R}^{L},\  \textRM{and}\ Q=(q_1,\ldotS,q_l):\mathfRak{t}^*{\lONgrightarrow}\maTHbb{R}^{l},$$ and denotE By $\dELtA:=P(\matHfrAk{g}^*)$. Since the InclUSion $\MathFRaK{t}^*\sUBset \mAthfrAk{G}^*$ InDUces a bijection betweEn The $W$-orBits aNd the $G$-orbits, iT follows thAT $Q(\Mathfrak{T}^*)=\DelTA$. THE theorem of SchwArz [@ScHwarz] appliED to the acTion oF $G$ on $\mathFrak{g}^*$ and tO THe action Of $W$ On $\mAthFraK{T}^*$, ShOws that the pulLBAcks By $
 $\mathbb{S}(\mathfrak{g}^ *)$ around  $\pi _{\ mat hb b{S} }$ b y the space $$ \ math frak{Casim}(\mathbb{S} (\mat hf r ak{g } ^* ),\pi _{\math b b{ S } })/ Ou t( \ma th f ra k{g}) .$$  In thi s sectionwede scribe thiss pa ce using c las sical invari ant  theor y. 

L e t $P[ \ma thfra k{g}^* ] $ and$P[\mathf ra k {t}^*] $  denote t he  alg ebras of polynomi a ls on $\mathfrak{ g}^*$an d  $ \ m ath fra k{t}^*$ re sp ectiv e ly. A c l as s i c alr esult (see e. g. Theorem7 .3. 5 [@Di xm ier ] ) stat es th at the  restrictio n ma p $P[\mat hfrak{ g }^*]\to P[\math frak{t }^* ]$indu c es  a n i so m orp h is m b e twe en the a lg eb ras o f in v a r i ants  $$ \lab el{EQ _Invariant_Po lyn omia l s}P[\ma thfra k{g} ^* ]^G\c ong P[ \math fr ak{t}^*]^W.$$ A  the orem of S chw ar z,ex tends this r esu ltto thesmooths ett in g $ $\ label{EQ_Invariant _F u n ct ions}
C^ {\inft y }( \m a thfrak{g }^ *)^ G\co n g  C^{\ inft y }( \mathfra k{t}^* ) ^W .$ $ To ex pl ain th is , f irs t rec a ll t hat $P [\mathfr ak{g} ^ *]^G$ is gener a ted by $l:=\m a th r m {d i m}(\ mat hfrak{t})$alge b raic ally in dep e ndent  homo ge n eo u s polynomials $p_1, \l dots,p _l$ ( Theorem 7.3.8  [@Dixmier ] ) .  Hence b y (\ [ EQ \ _Invariant\_Po lynom ials\]), $ P [\mathfr ak{t} ^*]^W$ i s generat e d  by $q_1 :=p _{1 |\m ath f r ak {t}^*},\ldots , q _l:= p_ {l|\mat hfr ak{t}^* }$.  Co nsi der  t he maps $ $p=(p_1, \l do ts ,p _l) :\mat h frak{g}^ *{ \lo ng rig htarr o w}\mat hbb{R }^{l }, \\te xtrm{an d }\ q =(q_ 1, \l dots ,q_ l) :\mat hfra k {t} ^*{\lon grightarr ow} \ math bb {R }^{l},$ $ and denoteby  $\Delta:= p( \ma thfrak { g }^*)$. S ince the inclusion $\ma t hfrak{t }^* \subs et \ mathfrak{ g}^ *$ ind uce s  a bij ection  betw ee n t h e  $W$- o r bi tsan d the $G$- o r bit s, it  f ollo ws that  $q(\mathfrak{t}^* ) =\D elta$. The th eor em o f Sc hwa r z[ @Sc hw a rz] a pplied to the a ction of $ G$ on  $\mathfra k {g} ^* $ and t o the a ction of $W$on $\math frak{t}^* $,  sho w s  th at the pul lbacks b y $
 $\mathbb{S}(\mathfrak{g}^*)$_around $\pi_{\mathbb{S}}$_by the space $$\mathfrak{Casim}(\mathbb{S}(\mathfrak{g}^*),\pi_{\mathbb{S}})/Out(\mathfrak{g}).$$_In this_section_we describe_this_space using classical_invariant theory.

Let $P[\mathfrak{g}^*]$_and $P[\mathfrak{t}^*]$ denote the_algebras of polynomials_on_$\mathfrak{g}^*$ and $\mathfrak{t}^*$ respectively. A classical result (see e.g. Theorem 7.3.5 [@Dixmier]) states that_the_restriction map_$P[\mathfrak{g}^*]\to_P[\mathfrak{t}^*]$_induces an isomorphism between the_algebras of invariants $$\label{EQ_Invariant_Polynomials}
P[\mathfrak{g}^*]^G\cong P[\mathfrak{t}^*]^W.$$_A theorem_of Schwarz, extends this result to the smooth_setting_$$\label{EQ_Invariant_Functions}
C^{\infty}(\mathfrak{g}^*)^G\cong C^{\infty}(\mathfrak{t}^*)^W.$$ To_explain this, first recall that $P[\mathfrak{g}^*]^G$ is generated by_$l:=\mathrm{dim}(\mathfrak{t})$ algebraically independent homogeneous polynomials $p_1,\ldots,p_l$_(Theorem 7.3.8 [@Dixmier])._Hence_by_(\[EQ\_Invariant\_Polynomials\]), $P[\mathfrak{t}^*]^W$ is generated_by $q_1:=p_{1|\mathfrak{t}^*},\ldots,q_l:=p_{l|\mathfrak{t}^*}$. Consider the maps $$p=(p_1,\ldots,p_l):\mathfrak{g}^*{\longrightarrow}\mathbb{R}^{l},\_ \textrm{and}\ q=(q_1,\ldots,q_l):\mathfrak{t}^*{\longrightarrow}\mathbb{R}^{l},$$ and denote by_$\Delta:=p(\mathfrak{g}^*)$. Since the inclusion $\mathfrak{t}^*\subset \mathfrak{g}^*$ induces_a bijection between the $W$-orbits and_the $G$-orbits, it follows that_$q(\mathfrak{t}^*)=\Delta$. The_theorem of Schwarz [@Schwarz] applied_to the action_of $G$_on $\mathfrak{g}^*$ and_to the action of $W$ on_$\mathfrak{t}^*$, shows that_the pullbacks by $