 have canonical injections $$\begin{gathered}
  \mathscr{S}_{\phi^\sharp_M} \hookrightarrow \mathscr{S}_{\phi^\sharp}, \\
  \mathscr{S}_{\phi^\sharp_M} \hookrightarrow \mathfrak{N}_{\phi^\sharp}.\end{gathered}$$ The first one follows from the fact that $Z^{\Gamma_F}_{\widehat{M^\sharp}} = Z^{\Gamma_F}_{\widehat{G^\sharp}} Z^{\Gamma_F, 0}_{\widehat{M^\sharp}}$ (see [@Ar99 Lemma 1.1]). The injectivity of the second map follows; moreover, its image is characterized as the elements fixing $A_{\widehat{M^\sharp}}$ pointwise.

The relations among these groups are recapitulated in the following result.

\[prop:diagram\] The groups above fit into a commutative diagram $$\xymatrix{
    & & 1 \ar[d] & \ar[d] 1 & \\
    & & W^0_{\phi^\sharp} \ar@{=}[r] \ar[d] & W^0_{\phi^\sharp} \ar[d] & \\
    1 \ar[r] & \mathscr{S}_{\phi^\sharp_M} \ar[r] \ar@{=}[d] & \mathfrak{N}_{\phi^\sharp} \ar[r] \ar[d] & W_{\phi^\sharp} \ar[r] \ar[d] & 1 \\
    1 \ar[r] & \mathscr{S}_{\phi^\sharp_M} \ar[r] & \mathscr{S}_{\phi^\sharp} \ar[r] \ar[d] & R_{\phi^\sharp} \ar[r] \ar[d] & 1 \\
    & & 1 & 1 & \\
  }$$ whose rows and columns are exact.

The arrow $\mathscr{S}_{\phi^\sharp} \to R_{\phi^\sharp}$ is uniquely determined by the other terms in this diagram. Cf. the proof of Lemma \[prop:X-W\] below.

The same constructions can be applied to $\phi$ and $\phi_M$. The corresponding objects are denoted by $W_{\phi}$, $W^0_\phi$, etc.

Upon identifying $W^{\hat{G}}(\hat{M})$ and $W^G(M)$, we can make $
have canonical injections $ $ \begin{gathered } 
   \mathscr{S}_{\phi^\sharp_M } \hookrightarrow \mathscr{S}_{\phi^\sharp }, \\ 
   \mathscr{S}_{\phi^\sharp_M } \hookrightarrow \mathfrak{N}_{\phi^\sharp}.\end{gathered}$$ The first one follow from the fact that $ Z^{\Gamma_F}_{\widehat{M^\sharp } } = Z^{\Gamma_F}_{\widehat{G^\sharp } } Z^{\Gamma_F, 0}_{\widehat{M^\sharp}}$ (examine [ @Ar99 Lemma 1.1 ]). The injectivity of the second map follows; moreover, its picture is characterized as the elements fix $ A_{\widehat{M^\sharp}}$ pointwise. 

 The relation among these groups are recapitulate in the following result. 

 \[prop: diagram\ ] The groups above burst into a commutative diagram $ $ \xymatrix { 
     & & 1 \ar[d ] & \ar[d ] 1 & \\ 
     & & W^0_{\phi^\sharp } \ar@{=}[r ] \ar[d ] & W^0_{\phi^\sharp } \ar[d ] & \\ 
     1 \ar[r ] & \mathscr{S}_{\phi^\sharp_M } \ar[r ] \ar@{=}[d ] & \mathfrak{N}_{\phi^\sharp } \ar[r ] \ar[d ] & W_{\phi^\sharp } \ar[r ] \ar[d ] & 1 \\ 
     1 \ar[r ] & \mathscr{S}_{\phi^\sharp_M } \ar[r ] & \mathscr{S}_{\phi^\sharp } \ar[r ] \ar[d ] & R_{\phi^\sharp } \ar[r ] \ar[d ] & 1 \\ 
     & & 1 & 1 & \\ 
   } $ $ whose rows and columns are accurate. 

 The arrow $ \mathscr{S}_{\phi^\sharp } \to R_{\phi^\sharp}$ is uniquely determined by the other terms in this diagram. Cf. the proof of Lemma \[prop :X - W\ ] below. 

 The same construction can be applied to $ \phi$ and $ \phi_M$. The corresponding objects are announce by $ W_{\phi}$, $ W^0_\phi$, etc. 

 Upon identifying $ W^{\hat{G}}(\hat{M})$ and $ W^G(M)$, we can make $
 hage canonical injections $$\negin{gathered}
  \mcrhscr{S}_{\'hi^\sharl_M} \hookrkghtarrow \mathscr{S}_{\phi^\sharp}, \\
  \mqthsce{S}_{\phi^\sharp_M} \hookrightafrow \mathvrak{N}_{\phi^\whark}.\end{gathered}$$ The hjrst onc folmlws yrim the fact thst $Z^{\Gamma_F}_{\fidehat{M^\sharp}} = Z^{\Ealma_F}_{\widehat{G^\sharp}} Z^{\Gamma_F, 0}_{\widehat{M^\srarp}}$ (ser [@Wr99 Lemma 1.1]). The ynjebtyvitg of the second map follows; moreovsr, its pmage is charactetized as the elements fixijg $A_{\aidehat{M^\sharp}}$ poinhwise.

The reoatijbs among there groups are recapitumated in the following result.

\[prup:diayram\] The griups wtove fit invo a cjmmutative dlsgram $$\fymatric{
    & & 1 \ar[d] & \av[d] 1 & \\
    & & W^0_{\phi^\sharp} \ar@{=}[r] \ar[d] & W^0_{\phi^\sharp} \ar[d] & \\
    1 \ar[r] & \mdtkscr{S}_{\phi^\sharp_M} \ar[r] \ar@{=}[e] & \mathxrak{T}_{\phi^\ryaro} \ad[r] \ad[d] & W_{\pji^\siarp} \ar[r] \ar[s] & 1 \\
    1 \ar[e] & \mathscr{S}_{\phi^\sharp_K} \wg[t] & \mathscr{S}_{\pgi^\shar[} \wr[r] \ar[d] & R_{\phi^\sharp} \ar[r] \ar[d] & 1 \\
    & & 1 & 1 & \\
  }$$ shose rows and columns qre exact.

The arrow $\majhscr{S}_{\phi^\srarp} \to R_{\phi^\sharp}$ is uniquely determined by the odher vefms ik thkw fiagram. Cf. the proof of Lemma \[prop:X-W\] below.

The aake constructions can be appkifd jo $\phi$ and $\phi_O$. The ekrdesponding objects are degoted by $W_{\phi}$, $R^0_\phi$, etc.

Upon identifying $W^{\hat{G}}(\hqt{M})$ and $W^G(M)$, ce xan make $
have canonical injections $$\begin{gathered} \mathscr{S}_{\phi^\sharp_M} \hookrightarrow \mathscr{S}_{\phi^\sharp}, \hookrightarrow The first follows from the Z^{\Gamma_F, (see [@Ar99 Lemma The injectivity of second map follows; moreover, its image characterized as the elements fixing $A_{\widehat{M^\sharp}}$ pointwise. The relations among these groups are in the following result. \[prop:diagram\] The groups above fit into a commutative diagram & 1 & 1 & \\ & & W^0_{\phi^\sharp} \ar@{=}[r] \ar[d] & W^0_{\phi^\sharp} \ar[d] & \\ 1 \ar[r] & \ar[r] \ar@{=}[d] & \mathfrak{N}_{\phi^\sharp} \ar[r] \ar[d] & W_{\phi^\sharp} \ar[d] & 1 \\ \ar[r] & \mathscr{S}_{\phi^\sharp_M} \ar[r] & \ar[r] & R_{\phi^\sharp} \ar[d] 1 & & 1 1 & \\ }$$ whose rows and columns are exact. The arrow $\mathscr{S}_{\phi^\sharp} \to R_{\phi^\sharp}$ is uniquely by the in this Cf. proof Lemma \[prop:X-W\] below. constructions can be applied to $\phi$ corresponding objects are denoted by $W_{\phi}$, $W^0_\phi$, etc. identifying $W^{\hat{G}}(\hat{M})$ $W^G(M)$, we can make $
 have canonical injections $$\beGin{gathereD}
  \mathScr{s}_{\phI^\sHarp_m} \hooKrightarrow \matHScr{S}_{\Phi^\sharp}, \\
  \mathscr{S}_{\phi^\shaRp_M} \hoOkRIghtARrOw \matHfrak{N}_{\pHI^\sHARp}.\eNd{GaTheReD}$$ thE firsT onE followS from the faCt tHaT $Z^{\Gamma_F}_{\wideHAt{m^\sharp}} = Z^{\GamMa_F}_{\Widehat{G^\sharP}} Z^{\GAmma_F, 0}_{\wIdEhaT{m^\sharP}}$ (seE [@Ar99 LeMma 1.1]). The INjectiVity of the SeCOnd map FOllows; mOREoVer, iTs image is characteRIzED as the elements Fixing $a_{\wIDeHAT{M^\sHarP}}$ pointwise.

thE relaTIons amoNG tHESE grOUps are recapitUlated in the FOllOwing rEsUlt.

\[PRop:diaGram\] THe GRouPs above fit iNto a CommutatiVe diagRAm $$\xymatRIx{
    & & 1 \ar[d] & \ar[D] 1 & \\
    & & W^0_{\phi^\sHarP} \ar@{=}[R] \ar[d] & w^0_{\PhI^\sHarP} \aR[D] & \\
    1 \ar[R] & \MaThsCR{S}_{\pHi^\sharp_M} \Ar[R] \aR@{=}[d] & \matHfraK{n}_{\PHI^\shaRp} \aR[r] \ar[D] & W_{\phi^\Sharp} \ar[r] \ar[d] & 1 \\
    1 \ar[R] & \maThscR{s}_{\phI^\sharP_M} \ar[r] & \MathScR{S}_{\phi^\Sharp} \aR[r] \ar[d] & r_{\pHi^\sharp} \ar[r] \ar[d] & 1 \\
    & & 1 & 1 & \\
  }$$ whOse rOws and colUmnS aRe eXaCt.

The ARrow $\maThsCr{S}_{\Phi^\sharP} \to R_{\phi^\SHarP}$ iS UNIqUely determined by thE oTHEr Terms in tHis diaGRaM. CF. The proof Of lemMa \[prOP:x-W\] belOw.

ThE SaMe constrUctionS CaN bE applieD tO $\phi$ anD $\pHi_M$. the CorreSPondIng objEcts are dEnoteD By $W_{\phi}$, $W^0_\phi$, etc.

UPOn identifying $w^{\HaT{g}}(\HaT{m})$ and $w^G(M)$, We can make $
 have canonical injections  $$\begin{ gathe red }
 \ math scr{ S}_{\phi^\shar p _M}\hookrightarrow \maths cr{S} _{ \ phi^ \ sh arp},  \\
  \ m at h s cr{ S} _{ \ph i^ \ sh arp_M } \ hookrig htarrow \m ath fr ak{N}_{\phi^ \ sh arp}.\end{ gat hered}$$ The  fi rst on efol l ows f rom  thefact t h at $Z^ {\Gamma_F }_ { \wideh a t{M^\sh a r p} } =Z^{\Gamma_F}_{\wi d eh a t{G^\sharp}} Z ^{\Gam ma _ F, 0 }_{ \wi dehat{M^\s ha rp}}$ (see [@ A r9 9 L emm a  1.1]). The i njectivityo f t he sec on d m a p foll ows;mo r eov er, its ima ge i s charact erized as thee lements  fixin g $ A_{ \wid e ha t{ M^\ sh a rp} } $poi n twi se.

The  r el ation s am o n g thes e g roup s are  recapitulate d i n th e  fo llowi ng re sult .
\[pr op:dia gram\ ]The groups abov e fi t into acom mu tat iv e dia g ram $$ \xy mat rix{
   & & 1 \ar [d ] &  \ ar[d] 1 & \\
    &  & W ^0 _{\phi^\ sharp} \a r@ { =}[r] \a r[ d]& W^ 0 _ {\phi ^\sh a rp } \ar[d]  & \\  1  \ar[r]  &  \math sc r{S }_{ \phi^ \ shar p_M} \ ar[r] \a r@{=} [ d] & \mathfrak { N}_{\phi^\sha r p} \ ar [ r] \ ar[ d] & W_{\ph i^\s h arp}  \ar [ r]  \a r [d] &  1 \\ 
 1  \ar[r] & \mathscr{ S} _{\phi ^\sha rp_M} \ar[r]& \mathscr { S } _{\phi^\ shar p }\ ar[r] \ar[d] &  R_{\ phi^\sharp }  \ar[r]\ar[d ] & 1 \\ 
    & &1 & 1 & \\ 
 }$$  wh ose r ow s and columns a re e xa ct.

Th e a rrow $\ mat hsc r{S }_{ \p hi^\sharp } \to R_ {\ ph i^ \s har p}$ i s  uniquel ydet er min ed by the ot her t erms  i nt his  diagra m .C f . th epr oofofLe mma \ [pro p :X- W\] bel ow.

Thesam e  con st ru ctionscan be applie dto $\phi$an d $ \phi_M $ .  The cor responding objects ared enotedby$W_{\ phi} $, $W^0_\ phi $, etc .
U pon id entify ing $ W^ {\h a t {G}}( \ h at {M} )$  and $W^G( M ) $,we ca nmake  $
 have_canonical injections_$$\begin{gathered}
  \mathscr{S}_{\phi^\sharp_M} \hookrightarrow_\mathscr{S}_{\phi^\sharp}, \\
__\mathscr{S}_{\phi^\sharp_M} \hookrightarrow_\mathfrak{N}_{\phi^\sharp}.\end{gathered}$$_The first one_follows from the_fact that $Z^{\Gamma_F}_{\widehat{M^\sharp}} =_Z^{\Gamma_F}_{\widehat{G^\sharp}} Z^{\Gamma_F, 0}_{\widehat{M^\sharp}}$_(see_[@Ar99 Lemma 1.1]). The injectivity of the second map follows; moreover, its image is_characterized_as the_elements_fixing_$A_{\widehat{M^\sharp}}$ pointwise.

The relations among these_groups are recapitulated in the_following result.

\[prop:diagram\]_The groups above fit into a commutative diagram_$$\xymatrix{
_  _& & 1 \ar[d] & \ar[d] 1 & \\
_   & & W^0_{\phi^\sharp}_\ar@{=}[r] \ar[d] &_W^0_{\phi^\sharp}_\ar[d]_& \\
  _ 1 \ar[r] & \mathscr{S}_{\phi^\sharp_M} \ar[r]_\ar@{=}[d] & \mathfrak{N}_{\phi^\sharp} \ar[r] \ar[d] &_W_{\phi^\sharp} \ar[r] \ar[d] & 1 \\
 _  1 \ar[r] & \mathscr{S}_{\phi^\sharp_M}_\ar[r] & \mathscr{S}_{\phi^\sharp} \ar[r] \ar[d]_& R_{\phi^\sharp}_\ar[r] \ar[d] & 1 \\
_  _& &_1 & 1_& \\
  }$$ whose rows_and columns are_exact.

The arrow $\mathscr{S}_{\phi^\sharp} \to R_{\phi^\sharp}$ is_uniquely_determined by the_other_terms_in this_diagram. Cf. the_proof_of Lemma_\[prop:X-W\]_below.

The same constructions can be applied_to_$\phi$ and $\phi_M$. The corresponding objects are_denoted by $W_{\phi}$, $W^0_\phi$,_etc.

Upon_identifying $W^{\hat{G}}(\hat{M})$ and $W^G(M)$,_we can make $