ings\] (applied to the proved $S^1$ case) we know that $\psi_2$ and $\psi_4$ induce isomorphisms. Consequently, if we show that $\psi_3$ induces an isomorphism, the same will hold for $\psi_1$.

Filter both complexes, $S(\mathfrak{t}_1^*)\otimes \Omega^{T}(M)$ and $C_{S^1}(M)$, by the degree of $S(\mathfrak{t}_1^*)$ as we did for the construction of the spectral sequence for $C_{S^1}(M)$ (see Section \[Appendix:Section:CartanSpeq\]). As $\psi_3$ is $S(\mathfrak{t}_1^*)$-linear it respects the filtration and induces a morphism of spectral sequences. As argued before, the $0$th pages of the spectral sequences are isomorphic to the respective filtered complexes $ S(\mathfrak{t}_1^*)\otimes \Omega^{T}(M)$ and $C_{S^1}(M)$ and one quickly checks that the map between the $0$th pages is just $\psi_3$. On both $0$th pages, the differential $d_0$ is $1\otimes d$, with $d$ the exterior derivative on $\Omega(M)$. The inclusion $\Omega(M)^T\rightarrow \Omega(M)$ factors through $\Omega(M)^{S^1}\rightarrow\Omega(M)$ and both induce isomorphisms in cohomology by Theorem \[thm:cohomofinvariantforms\]. Consequently the inclusion $i\colon\Omega(M)^{T}\rightarrow\Omega(M)^{S^1}$ induces an isomorphism as well and we deduce that $\psi_3={{\operatorname{id}}_{S(\mathfrak{t}_1^*)}}{\otimes}\ { i}$ induces an isomorphism on $E_1=H(E_0,d_0)$. Now by the Comparison Theorem \[Appendix:thm:Comparison\], $\psi_3$ induces an isomorphism in cohomology.

The final step is to show that the map $$\varphi\colon C_{T'}(M/S^1)=S(\mathfrak{t}^*)\otimes \Omega(M/S^1)^{T'}
\longrightarrow S(\mathfrak{t}^*)\otimes \left(S(\mathfrak{t}_1^*)\otimes \Omega(M)^{T}\right)=C_{T}(M)$$ defined as ${\operatorname{id}}_{
ings\ ] (applied to the proved $ S^1 $ case) we know that $ \psi_2 $ and $ \psi_4 $ induce isomorphisms. Consequently, if we picture that $ \psi_3 $ induce an isomorphism, the same will hold for $ \psi_1$. 

 Filter both complexes, $ S(\mathfrak{t}_1^*)\otimes \Omega^{T}(M)$ and $ C_{S^1}(M)$, by the academic degree of $ S(\mathfrak{t}_1^*)$ as we did for the construction of the spectral succession for $ C_{S^1}(M)$ (experience Section \[Appendix: part: CartanSpeq\ ]). As $ \psi_3 $ is $ S(\mathfrak{t}_1^*)$-linear it respects the filtration and induces a morphism of apparitional sequences. As argued before, the $ 0$th pages of the apparitional sequences are isomorphic to the respective trickle complexes $ S(\mathfrak{t}_1^*)\otimes \Omega^{T}(M)$ and $ C_{S^1}(M)$ and one quickly crack that the map between the $ 0$th pages is just $ \psi_3$. On both $ 0$th page, the differential $ d_0 $ is $ 1\otimes d$, with $ d$ the exterior derivative on $ \Omega(M)$. The inclusion $ \Omega(M)^T\rightarrow \Omega(M)$ factors through $ \Omega(M)^{S^1}\rightarrow\Omega(M)$ and both induce isomorphisms in cohomology by Theorem \[thm: cohomofinvariantforms\ ]. Consequently the inclusion body $ i\colon\Omega(M)^{T}\rightarrow\Omega(M)^{S^1}$ induces an isomorphism equally well and we deduce that $ \psi_3={{\operatorname{id}}_{S(\mathfrak{t}_1^*)}}{\otimes}\ { i}$ induces an isomorphism on $ E_1 = H(E_0,d_0)$. Now by the Comparison Theorem \[Appendix: thm: Comparison\ ], $ \psi_3 $ induces an isomorphism in cohomology. 

 The concluding step is to show that the map $ $ \varphi\colon C_{T'}(M / S^1)=S(\mathfrak{t}^*)\otimes \Omega(M / S^1)^{T' } 
 \longrightarrow S(\mathfrak{t}^*)\otimes \left(S(\mathfrak{t}_1^*)\otimes \Omega(M)^{T}\right)=C_{T}(M)$$ defined as $ { \operatorname{id } } _ {
ingd\] (applied to the proved $R^1$ case) we know jhqt $\psi_2$ and $\pai_4$ inducd isomorphisms. Consequently, mf ww shoq that $\psi_3$ induces an ksomorphidm, the sqme xill hold for $\psm_1$.

Rilter njth dlmplzxxs, $S(\mathfrak{t}_1^*)\otlmes \Omega^{T}(K)$ and $C_{S^1}(M)$, by tve dzgree of $S(\mathfrak{t}_1^*)$ as we did for thq consttuftion of the skectrsj seslekce for $C_{S^1}(M)$ (see Section \[Appendix:Aection:BartanSpeq\]). As $\psi_3$ is $S(\mathfrak{t}_1^*)$-linear it redpechs the filtration wnd induces a mjephism of spdctral seqlznces. As arfued before, the $0$th pages of the speccral sequenxew agg isomorphic to tre respectivc filtesed comllexes $ S(\mathfvak{t}_1^*)\ovimew \Omega^{T}(M)$ and $C_{S^1}(M)$ and one quickly checkf that tha jap between the $0$ty pages is bust $\psi_3$. On bptg $0$th pwgea, the diffsrential $d_0$ us $1\otimes d$, with $d$ uhe vcterior deribative og $\Omega(M)$. The inclusion $\Omega(M)^T\rightarrof \Ojega(M)$ factors through $\Onega(M)^{S^1}\rightarrow\Omega(L)$ and botr induce isomorphisms in cohomology by Theorem \[thk:cohojufiuywfuajtforms\]. Consequently the inclusion $i\colon\Omegw(J)^{T}\tinhtarrow\Omega(M)^{S^1}$ lnduces an isomorpnidm ws well and wg deducz tgat $\psi_3={{\operatornamf{id}}_{S(\matrfrak{r}_1^*)}}{\otimes}\ { y}$ incuces an isomorphism on $E_1=H(E_0,e_0)$. Now by the Xomparison Theorem \[Appendix:tho:Comkarisom\], $\psi_3$ induces an isomor'hism jn cohomolohy.

The finzu step is to shod tmat the map $$\varphi\colon C_{T'}(M/S^1)=S(\iathfrak{t}^*)\itimzs \Omega(O/S^1)^{T'}
\lpngrigrtarrow S(\mwthfrak{t}^*)\otimes \left(S(\mathvrak{t}_1^*)\lthmes \Omega(L)^{T}\right)=C_{T}(M)$$ defined as ${\operatorneke{id}}_{
ings\] (applied to the proved $S^1$ case) that and $\psi_4$ isomorphisms. Consequently, if an the same will for $\psi_1$. Filter complexes, $S(\mathfrak{t}_1^*)\otimes \Omega^{T}(M)$ and $C_{S^1}(M)$, by degree of $S(\mathfrak{t}_1^*)$ as we did for the construction of the spectral sequence $C_{S^1}(M)$ (see Section \[Appendix:Section:CartanSpeq\]). As $\psi_3$ is $S(\mathfrak{t}_1^*)$-linear it respects the filtration and a of sequences. argued before, the $0$th pages of the spectral sequences are isomorphic to the respective filtered complexes S(\mathfrak{t}_1^*)\otimes \Omega^{T}(M)$ and $C_{S^1}(M)$ and one quickly checks the map between the pages is just $\psi_3$. On $0$th the differential is d$, $d$ the exterior on $\Omega(M)$. The inclusion $\Omega(M)^T\rightarrow \Omega(M)$ factors through $\Omega(M)^{S^1}\rightarrow\Omega(M)$ and both induce isomorphisms in cohomology by Theorem Consequently the induces an as and deduce that $\psi_3={{\operatorname{id}}_{S(\mathfrak{t}_1^*)}}{\otimes}\ induces an isomorphism on $E_1=H(E_0,d_0)$. Now Theorem \[Appendix:thm:Comparison\], $\psi_3$ induces an isomorphism in cohomology. final step to show that the map $$\varphi\colon \Omega(M/S^1)^{T'} \longrightarrow S(\mathfrak{t}^*)\otimes \left(S(\mathfrak{t}_1^*)\otimes \Omega(M)^{T}\right)=C_{T}(M)$$ defined as ${\operatorname{id}}_{
ings\] (applied to the proved $S^1$ caSe) we know thAt $\psi_2$ And $\Psi_4$ InDuce IsomOrphisms. ConseqUEntlY, if we show that $\psi_3$ induceS an isOmORphiSM, tHe samE will hoLD fOR $\Psi_1$.

fiLtEr bOtH CoMplexEs, $S(\MathfraK{t}_1^*)\otimes \OmEga^{t}(M)$ And $C_{S^1}(M)$, by the dEGrEe of $S(\mathfRak{T}_1^*)$ as we did for tHe cOnstruCtIon OF the sPecTral sEquencE For $C_{S^1}(M)$ (See SectioN \[APPendix:sEction:CARTaNSpeQ\]). As $\psi_3$ is $S(\mathfrak{T}_1^*)$-LiNEar it respects tHe filtRaTIoN ANd iNduCes a morphiSm Of speCTral seqUEnCES. as aRGued before, the $0$Th pages of thE SpeCtral sEqUenCEs are iSomorPhIC to The respectiVe fiLtered comPlexes $ s(\MathfraK{T}_1^*)\otimes \omega^{T}(m)$ anD $C_{S^1}(m)$ and ONe QuIckLy CHecKS tHat THe mAp betweeN tHe $0$Th pagEs is JUST $\Psi_3$. ON boTh $0$th Pages, The differentiAl $d_0$ Is $1\otIMes D$, with $D$ the eXterIoR deriVative On $\OmeGa(m)$. The inclusion $\OmEga(M)^t\rightarrOw \OMeGa(M)$ FaCtors THrough $\omeGa(M)^{s^1}\rightaRrow\OmeGA(M)$ aNd BOTH iNduce isomorphisms iN cOHOmOlogy by THeorem \[THm:CoHOmofinvaRiAntFormS\]. cOnseqUentLY tHe inclusIon $i\coLOn\omEga(M)^{T}\riGhTarrow\omEga(m)^{S^1}$ iNduceS An isOmorphIsm as welL and wE Deduce that $\psi_3={{\oPEratorname{id}}_{S(\MAtHFRaK{T}_1^*)}}{\otiMes}\ { I}$ induces an iSomoRPhisM on $E_1=h(e_0,d_0)$. now BY the COmparIsON THEorem \[Appendix:thm:ComPaRison\], $\pSi_3$ indUces an isomorpHism in cohoMOLOgy.

The fiNal sTEp IS to show that the Map $$\vaRphi\colon C_{t'}(m/S^1)=S(\mathfRak{t}^*)\oTimes \OmeGa(M/S^1)^{T'}
\longRIGhtarrow s(\maThfRak{T}^*)\otIMEs \Left(S(\mathfrak{T}_1^*)\OTimeS \OMega(M)^{T}\rIghT)=C_{T}(M)$$ defIneD as ${\OpeRatOrName{id}}_{
ings\] (applied to the pro ved $S^1$case)  we  kn ow  tha t $\ psi_2$ and $\p s i_4$  induce isomorphisms.Conse qu e ntly ,  i f weshow th a t$ \ psi _3 $ind uc e san is omo rphism,  the samewil lhold for $\p s i_ 1$.

Filte r b oth complexe s,$S(\ma th fra k {t}_1 ^*) \otim es \Om e ga^{T} (M)$ and$C _ {S^1}( M )$, byt h edegr ee of $S(\mathfra k {t } _1^*)$ as we d id for  t h ec o nst ruc tion of th espect r al sequ e nc e f or$ C_{S^1}(M)$ ( see Section \[A ppendi x: Sec t ion:Ca rtanS pe q \]) . As $\psi_ 3$ i s $S(\mat hfrak{ t }_1^*)$ - linearit res pec tsthef il tr ati on and in duc e s a  morphis mof  spec tral s e q uenc es.  Asargue d before, the  $0 $thp age s ofthe s pect ra l seq uences  areis omorphic to the  res pective f ilt er edco mplex e s $ S( \ma thf rak{t}_ 1^*)\ot i mes  \ O m e ga ^{T}(M)$ and $C_{S ^1 } ( M) $ and on e quic k ly  c h ecks tha tthe  map b etwee n th e  $ 0$th pag es isj us t$\psi_3 $.  On bo th  $0 $th  page s , th e diff erential  $d_0 $  is $1\otimesd $, with $d$ t h ee x te r iorder ivative on$\Om e ga(M )$.T he  in c lusio n $\O me g a( M )^T\rightarrow \Ome ga (M)$ f actor s through $\O mega(M)^{S ^ 1 } \rightar row\ O me g a(M)$ and both  indu ce isomorp h isms incohom ology by  Theorem\ [ thm:coho mof inv ari ant f o rm s\]. Conseque n t ly t he  inclus ion  $i\col on\ Ome ga( M)^ {T }\rightar row\Omeg a( M) ^{ S^ 1}$  indu c es an is om orp hi smas we l l andwe de duce  t ha t  $\ psi_3={ { \o p e rato rn am e{id }}_ {S (\mat hfra k {t} _1^*)}} {\otimes} \ { i}$in du ces anisomorphism o n$E_1=H(E_0 ,d _0) $. Now b y the Co mparison Theorem \[Appe n dix:thm :Co mpari son\ ], $\psi_ 3$induce s a n  isomo rphism  in c oh omo l o gy.
T h efin al  step is t o sho w tha tthemap $$\ varphi\colon C_{T' } (M/ S^1)=S(\mathf rak {t}^ * ) \o tim e s\ Ome ga ( M/S ^ 1 )^{T'}
\longrig htarrow S( \m a th frak{t}^*) \ oti me s \left (S(\mat hfrak { t}_1^*) \otimes \ Omega(M)^ {T }\ri g h t)= C_{T}(M)$$  defined  as ${\op e rator n am e{id} }_{ 
ings\] (applied_to the_proved $S^1$ case) we_know that_$\psi_2$_and $\psi_4$_induce_isomorphisms. Consequently, if_we show that_$\psi_3$ induces an isomorphism,_the same will_hold_for $\psi_1$.

Filter both complexes, $S(\mathfrak{t}_1^*)\otimes \Omega^{T}(M)$ and $C_{S^1}(M)$, by the degree of $S(\mathfrak{t}_1^*)$ as_we_did for_the_construction_of the spectral sequence for_$C_{S^1}(M)$ (see Section \[Appendix:Section:CartanSpeq\]). As_$\psi_3$ is_$S(\mathfrak{t}_1^*)$-linear it respects the filtration and induces a_morphism_of spectral sequences._As argued before, the $0$th pages of the spectral_sequences are isomorphic to the respective_filtered complexes $_S(\mathfrak{t}_1^*)\otimes_\Omega^{T}(M)$_and $C_{S^1}(M)$ and one_quickly checks that the map between_the $0$th pages is just $\psi_3$._On both $0$th pages, the differential $d_0$_is $1\otimes d$, with $d$ the_exterior derivative on $\Omega(M)$. The_inclusion $\Omega(M)^T\rightarrow_\Omega(M)$ factors through $\Omega(M)^{S^1}\rightarrow\Omega(M)$ and_both induce isomorphisms_in cohomology_by Theorem \[thm:cohomofinvariantforms\]._Consequently the inclusion $i\colon\Omega(M)^{T}\rightarrow\Omega(M)^{S^1}$ induces an_isomorphism as well_and we deduce that $\psi_3={{\operatorname{id}}_{S(\mathfrak{t}_1^*)}}{\otimes}\ {_i}$_induces an isomorphism_on_$E_1=H(E_0,d_0)$._Now by_the Comparison Theorem_\[Appendix:thm:Comparison\],_$\psi_3$ induces_an_isomorphism in cohomology.

The final step is_to_show that the map $$\varphi\colon C_{T'}(M/S^1)=S(\mathfrak{t}^*)\otimes \Omega(M/S^1)^{T'}
\longrightarrow_S(\mathfrak{t}^*)\otimes \left(S(\mathfrak{t}_1^*)\otimes \Omega(M)^{T}\right)=C_{T}(M)$$ defined_as_${\operatorname{id}}_{